In this paper, we present a framework for formal modeling and verification of service-based
business processes with focus on their compliance to external regulations such as …

We describe CAT, a toolkit supporting the analysis of communication-centric applications, ie,
applications consisting of ensembles of interacting services. Services are modelled in CAT …

Abstract Service-Oriented Computing (SOC) was introduced some years ago as a paradigm
that allows companies to expose their core competencies as services. Yet, we can only …

Abstract Currently, Service-Oriented Architecture (SOA) is becoming the most popular
software architecture of contemporary enterprise applications, and one crucial technique of …

Summary Even though many IoT (Internet of Things) applications have been implemented
based on distributed events, how to construct scalable IoT services is still unclear. In this …

In this paper, we present a toolset to automate the transformation of Business Process
Modeling Notation (BPMN), UML Sequence Diagrams, and Business Process Execution …

Service-Oriented Computing (SOC) was introduced some years ago as a paradigm that
allows companies to expose their core competencies as services. Yet, we can only benefit …

Behavioral correctness of service compositions refers to the absence of service interaction
flaws, so that essential service properties like deadlock freedom are preserved and …

With the rise of electronic integration between organizations, the need for a precise
specification of interaction behavior increases. Information systems, replacing interaction …

In service-based manufacturing systems, functionalities are independently developed as
services and a central engine orchestrates their integration. As industrial processes tend to …