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.

RePROSitory

RePROSitory

RePROSitory (Repository of open PROcess modelS) is a web-based and open repository of business process models and logs made available…

X-IoT

X-IoT

X-IoT Tool Freedomotic simulation Virtual Machine Publications «X-IoT (read as cross-IoT) is a novel model-driven approach that uses a high…

MIDA

MIDA

MIDA (Multiple Instances and Data Animator) is a BPMN animator based on the Camunda bpmn.io web modeler. MIDA integrates our BPMN…

Purple

Purple

PURPLE (PURPose-guided Log gEnerator) is an automatic event log generator that implements a guided simulation approach for business process models.…

Colliery

Colliery

COLLIERY (COLLaboration dIscovERY) is a novel technique that permits discovering a business process collaboration from a set of event logs…

Best Wordpress Popup Plugin