Gianluigi Zavattaro is Full Professor and Director of First Cycle Degree of Information Science for Management at University of Bologna. He is member of the IFIP (International Federation for Information Processing), of the editorial board of the "Journal of Software (JSW)" and member of the "steering committee'' of conferences such as the "International Conference on Coordination Models and Languages (COORDINATION)" and the "IFIP International Conference on Formal Techniques for Distributed Systems". He is co-author of more than 100 scientific publications published in journals, conference proceedings, and books. He has been speaker at PhD schools, chair of the program committee of international conferences and member of almost 50 program committee of international conferences. He participated to several research projects: in particular he has been coordinator of the strategic project "CompReNDe (Compositional and executable Representations of Nano Devices)" and he has been responsible for specific research themes within the European project "SENSORIA (Software Engineering for Service-Oriented Overlay Computers)".
The course aims to analyse high-level languages and diagrammatic notations for the specification and representation of business processes.
In particular, the focus will be on the impact of the selected modelling language on the analysis and verification of relevant properties.
Also executable models will be experimented by adopting orchestration languages that are used to enact business processes deployed as aggregations of services (or microservices) according to the Service Oriented Computing paradigm.