PROS
PROcesses & Services lab
Research in computer science, carried out within the PROS Lab, deals with the development of languages and techniques for the modelling, analysis and developmentof process aware information systems and services oriented applications. Our goal is to push the use of formal methods as methodological and automatic tools for the development of high-quality software development. To make our tools usable by people not acquainted with the underlying mathematical foundations; we aim at effective but disappearing formal methods. Our main areas of expertise are formal method and software engineering, with a wide range of applications domain such as smart manufacturing, smart government, smart health and smart city.
Design & Modelling
BPMN Formal Semantics: Collaborations & ChoreographiesFormal Properties on BPMN Collaboration DiagramsAdvances in Classifying BPMN ModelsModelling IoT-Aware Business Processes
Quality & Analysis
Formal Verification on CollaborationsConformance Checking between Collaboration and ChoreographyBPMN Collaboration AnimationChecking of Modelling Guidelines for BPMN Collaborations
