Formal Approach for the Development of Business Processes in Terms of Service-Oriented Architectures Using Pi-ADL

Enabling the specification of a dynamic Service-Oriented Architecture (SOA) for supporting a Business Process is a key challenge for an Architecture Description Language (ADL). This paper presents a formal approach for the development of business processes (modeled in BPMN) in terms of dynamic service-oriented architectures. It uses Pi-ADL for SOA, a novel ADL that has its roots in the ArchWare European Project. It is a formal language specially designed for specifying dynamic architectures based on the typed Pi-Calculus. We introduce the mapping between BPMN and Pi-ADL for SOA through process patterns and illustrate its application. The Pi-ADL for SOA toolset and its experimentation are outlined.