Paper Info
Title
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.
Year
DOI
Venue
2008
10.1109/SOSE.2008.38
SoSE
Keywords
Field
DocType
service-oriented architectures,business processes,key challenge,archware european project,dynamic service-oriented architecture,architecture description language,formal approach,business process,dynamic architecture,novel adl,formal language,soa toolset,business process model,service oriented architecture soa,service oriented architecture,software architecture,formal languages,bpmn,service oriented architectures,computer architecture,pi calculus,business,logic gates,visualization
Programming language,Formal language,Business process,Computer science,Real-time computing,Software architecture,OASIS SOA Reference Model,Business Process Model and Notation,Process patterns,Service-oriented architecture,Architecture description language
Conference
Citations 
PageRank 
References 
2
0.36
7
Authors
1
Name
Order
Citations
PageRank
fl vio oquendo120125.10