E-learning@UnivAQ

Office hours

By appointment (please, contact the teacher via email).

Course objectives

The students will acquire the knowledge of the main service composition techniques, such as orchestration and choreography, and of some widely used development environments available for them. Furthermore, they will learn the main background notions about the development of service transactions (being a 1st edition of the course, this last objective is tentative).

​

Course content

• Service composition and business processes;
  
• Service orchestration;
  
• Service choreography;
  
• WS-BPEL: Web service business process execution language;
  
• BPMN2 Choreography Diagrams and its constructs and semantics;
  
• The CHOReVOLUTION Studio: a development environment to support automated development of service choreographies;
  
• Service transactions, Distributed transactions, and the WS-Coordination model (tentative).
  

​

Prerequisites

The students must have well acquired the topics of the course "Service-Oriented Software Engineering (SoSE)" (Dr. Marco Autili).

​

Learning outcomes

On successful completion of this course, the student should:

• have knowledge about (i) service composition techniques, (ii) orchestration with WS-BPEL;(iii) choreography design and development with BPMN2 Choreography Diagrams; (iv) CHOReVOLUTION Studio: an Eclipse-based development environment for choreographies; and (v) service transactions (this last point is tentative);

• be capable of: (i) understanding and representing orchestration and choreographies; (ii) analyzing and implementing service compositions; (iii) using the CHOReVOLUTION Studio development environment; and (iv) analysing and implementing service transactions (this last point is tentative);

• acquire skills to deal with the engineering of real world distributed service-based systems;

• explain and illustrate the fundamental notions studied in this course;

• demonstrate ability in engineering concrete service compositions;

• acquiring competencies and abilities useful in SOA practical contexts.

​

Textbooks

• Michael P. Papazoglou, Web Services & SOA: Principles and Technology (2nd edition). Pearson. 2012.

  • Part V, only: Service composition and transactions (Chapters 9 and 10).​ Since the topics related to "Service transactions" are tentative, if the course won't cover this part, then the students will avoid to study Chapter 10.

• ​WS-BPEL 2.0 for SOA Composite  - Matjaz B. Juric & Marcel Krize

  • Only the topics covered by the teacher's slides (see the Section "Course material" below).​

​

Assessment method

Practical project/homeworks.

https://univaq.coursecatalogue.cineca.it/insegnamenti/2020/37628/2015/9995/10015

Obiettivi formativi del corso:

Il corso intende fornire agli studenti nozioni sia teoriche che pratiche sui principali metodi analitici impiegati nella determinazione della composizione chimica degli alimenti anche al fine di valutarne la genuinità e qualità. In particolare, al termine del corso lo studente avrà acquisito competenze per la determinazione dei principali componenti (acqua, lipidi, proteine, carboidrati), di additive e sostanze indesiderate o di nutraceutici negli alimenti e bevande anche in relazione alle modificazioni indotte dai processi produttivi.

The topics covered in the course are the following.
- Series of functions: general theory, power series and Fourier series.
- Differential calculation for curves.
- Differential calculus for real scalar functions of several variables: limits in several variables, partial derivatives and directional differentiability. Free and constrained optimization.
- Integral calculation in several variables.
- Differential and integral calculus for functions with vector values: integral calculus on curves and surfaces. Vector fields. Green theorem, Stokes theorem and Divergence theorem.

Biologia Animale (I modulo) - 40 CFU - II semestre

Docente: Prof.ssa Diana M. P. Galassi

contatti e-mail: dianamariapaola.galassi@univaq.it

telefono: 0862.433233/433227

Corso di due moduli. Prova in itinere (parziale) prevista a conclusione del I modulo. Per chi non potesse essere presente o non volesse sostenere la prova in itinere (liberatoria), restano comunque le date di appello sempre aperte anche per sostenere un solo modulo o entrambi. 

L’obiettivo del corso è quello di ampliare le conoscenze di base della biologia cellulare e della biologia dello sviluppo, fornendo un quadro di riferimento per la comprensione di temi scientifici attuali e in continua evoluzione nell’ambito di tali discipline.

Repository delle slide del corso di Calcolatori Elettronici, impartito al II semestre del II anno del Corso di Laurea in Ingegneria dell'Informazione (tutti gli indirizzi). 

Questo repository contiene tutto tutto il materiale didattico (slide delle lezioni e delle esercitazioni, ed eserciziari), mentre per le informazioni amministrative (programmi, parziali, esami) e la bacheca ufficiale del corso si rimanda a: https://moodle.univaq.it/course/view.php?id=580

This course is an introduction to mathematical models for automated decision-making. The domain of decision is basically a data environment that gives information (partly incomplete, partly redundant) on resources, actors, etc. that are subject to decisions aiming at some pre-defined goal(s). 

Decision models can be just descriptive of the data environment, e.g., revealing hidden features of data such as trends, expected values, etc. Or they can be prescriptive, that is, encoide and then suggest decisions that adequately respect relations among resources and address specific goals. Or, finally, they can be predictive, in the sense of giving an outlook of the evolution of some domain data. Also, a decision model can incorporate multiple decision-makers that operate on the domain with possibly contrasting goals. 

The course concentrates on those decision models that have the form of (integer) linear programming problems, describes the mathematical structure of those problems and gives indication of possible solution methods.