Business process management (BPM) is often employed as a driver of integration, by
articulating business processes that cross the boundaries of individual business functions …

Elektronische Netzwerke und Medien werden schon seit langer Zeit für wirtschaftliche
Tätigkeiten genutzt, doch die seit etwa dem Jahr 1992 einsetzende kommerzielle Nutzung …

Abstract The Internet of Things (IoT) is an emerging paradigm where practically every
(physical and virtual) thing will be interconnected through innovative distributed services …

This paper introduces the multiagent protocols (MAP) Web service choreography language
and demonstrates how service choreographies can be specified, verified, and enacted with …

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

Manufacturing Execution Systems (MES) optimize production and business processes at the
same time. However, the engineering and specification of MES is a challenging …

Communication between organizations is formalized as process choreographies in daily
business. While the correct ordering of exchanged messages can be modeled and enacted …

Interacting services play a key role to realize business process integration among different
business partners by means of electronic message exchange. In order to provide seamless …

A process model discovered from an event log of a multi-agent system often does not fully
cover certain viewpoints of its architecture. We consider those concerned with the structure …

In this book, Mathias Weske details the complete business process lifecycle from process
modeling to process enactment and process evaluation. After starting with the general …