PROS
PROcesses & Services lab
Research in computer science within the PROS Lab deals with developing languages and techniques for modeling, analyzing, and developing 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 unfamiliar 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 application domains such as smart manufacturing, smart government, smart health, and smart city.
A Mapping Methodology for Object-Centric Process Mining on Blockchain Applications
The mapping methodology enables object-centric process mining on blockchain applications…
