ePASS-IoS 1.1: Enabling Inter-enterprise Business Process Modeling by S-BPM and the Internet of Services Concept.

The future "Internet of Services" (IoS) will provide an open environment allowing market participants to offer and consume services over Internet marketplaces. It gives businesses the opportunity to outsource parts of their business processes. This leads to networks of cooperating businesses with a distributed execution of processes and provides a good support for inter-enterprise modeling. Many methods have been proposed to describe such processes, however most only focus on certain aspects and fall short of others. We present ePASS-loS, a unified approach to describe processes and service choreographies with well-defined execution and verification semantics. With the formulation of the well-known workflow and interaction patterns in ePASS-loS, we show that its expressiveness is adequate. To clearly define the semantics of the language, we formalize it using a process algebra.