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…
Looseness for Choreography-based SoftwareArchitectures on Blockchain
LooseChain supports the modelling and execution of loosely specified BPMN…
CoBlock: a Domain-Specific Language for Compliance Checking on Smart Contract Execution Data
CoBlock is a Domain-Specific Language (DSL) for defining compliance rules…
The Object-Centric Compliance Checking tool
The Object-Centric Compliance Checking tool (The O.(C.)3) is a web…
