Programme and Registration


Verification of Data-Aware Processes
Giuseppe De Giacomo, Sapienza Univ. Roma, Italy

Information systems are based on two pillars: data, which constitute the information asset of the organization, and business processes, which constitute its modus operandi. Traditionally these two aspects are considered, conceptualized, and formalized more or less in isolation. Such form of separation of concerns has been considered quite fruitful and it led to significant advances in both data and process management fields. However it has recently been questioned by the so called artifact-centric approach that advocates a holistic view of data and processes as a unity. In this talk, we will look at recent progresses in the analysis of processes that live side-by-side with data, both as first-class citizens. These systems are inherently infinite state and pose serious challenges to traditional verification techniques such as model checking.

Giuseppe De Giacomo is a professor at Sapienza Universita’ di Roma. He has contributed to diverse areas of AI and CS. He explored the correspondence between Description Logics and Logics of Programs, which contributed to the birth of OWL. Later, together with his group in Rome, he started the research on Ontology-Based Data Access, which nowadays are shaping the area of Description Logics and ontologies in KR. In Databases, he did foundational work on data modeling, data integration, and view based query processing with regular path queries, for both semi-structured and graph-structured data. He has a deep contributed to various aspects of Reasoning about Actions and Processes, including the definition of ConGolog, one the best known formalism for expressing high-level robot programs. He devised one of the best known formal approaches for service composition, the so-called “Roman Model”, which has been further developed in AI for behavior composition and synthesis of devices and agents. Recently, he turned his interest to artifact-based business processes, studying decidability of verification and synthesis in infinite state data-aware systems.

Choreographic Programming
Fabrizio Montesi, University of Southern Denmark, Denmark

Choreographic Programming is an emerging paradigm for the development of distributed systems, where programs are guaranteed to be safe by construction from a global description that defines the communications among the system participants. Such global descriptions, called choreographies, give an explicit view of how communications should be performed with a syntax inspired by the “Alice and Bob” notation for security protocols. In this presentation, we will go through an overview of how Choreographic Programming works: we will see the main benefits given by choreographies (e.g., protocol verification and deadlock-freedom) and how the paradigm can be related to other formal models (such as process calculi and linear logic). We will also look at the practical application of choreographies to concrete tools; specifically, we will see the Chor language, a prototype framework for Choreographic Programming, and how Chor can be used to generate executable systems that can be integrated with existing technologies using the Jolie framework.

Fabrizio Montesi is an Assistant Professor at the University of Southern Denmark. He is also an external collaborator at INRIA (France), and a founder member of the board of directors at italianaSoftware s.r.l. (Italy). He is the maintainer of the Jolie programming language, and the Principal Investigator of the project Choreographies for Reliable and efficient Communication software, which aims at researching a formally-founded choreography programming language for the development of real-world, reliable and heterogeneous distributed systems.


Thursday, 11th September, 2014

16:00 – 16:15
Opening (PC Chairs)
16:15 – 17:30
Keynote by Giuseppe De Giacomo, Sapienza Univ. Roma, Italy
Verification of Data-Aware Processes
17:30 – 18:00
18:00 – 19:00
Session 1: Expressiveness of behavioural models
Session chair: Jorge A. Pérez
  • Abel Armas, Marlon Dumas, Luciano García-Bañuelos and Artem Polyvyanyy: On the Suitability of Generalized Behavioral Profiles for Process Model Comparison
  • Marco Montali and Andrey Rivkin: Formal Verification of Petri Nets with Names
Workshop dinner

Friday, 12th September, 2014

9:00 – 10:15
Keynote by Fabrizio Montesi, University of Southern Denmark, Denmark
Choreographic Programming
10:15 – 10:45
10:45 – 11:45
Session 2: Communication-centric systems
Session chair: Søren Debois
  • Paolo Arcaini, Roxana – Maria Holom and Elvinia Riccobene: Modeling and formal analysis of a client-server application for Cloud services
  • Cinzia Di Giusto and Jorge A. Pérez: An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems
11:45 – 12:00
Closing (PC Chairs)


There will be pre-proceedings handed out at the workshop. As in previous years, we expect to publish the post-workshop proceedings shortly after the workshop as a volume in Springer’s Lecture Notes in Computer Science (LNCS).


Please register through the BPM 2014 registration website.

Workshop Dinner

The workshop dinner will take place at the Restaurant Sizzling on Thursday, 11th September, 2014, starting around 19:30. The restaurant is just a short walk away from the workshop location.