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

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.

Cite this work

No public copy is stored for this record, so only the metadata is cited.

Stored only when both papers are in the corpus — 8 citations exist upstream.

Papers that cite the same references — the relational fallback while embeddings are still backfilling.