Dresden University of Technology
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. The authors present ePASS-IoS, a unified approach to describe processes and service choreographies with well-defined execution and verification semantics.