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

  • Authors:

  • Flavio Oquendo

  • Affiliations:

  • -

  • Venue:
  • SOSE '08 Proceedings of the 2008 IEEE International Symposium on Service-Oriented System Engineering
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.