Paper Info
Title
Precise Steps for Choreography Modeling for SOA Validation and Verification
Abstract
Service-oriented architecture (SOA) enables organizations to transform their existing IT infrastructure into a more flexible business process platform. In this architecture, decoupled components that provide standard services can be composed to form individually configured and highly flexible applications. When building such applications it is important to have a formal specification of the interaction protocols between the composed services not only because such a specification provides an accurate and unambiguous description of the interactions and their ordering but also to enable automated verification and validation. In this paper, we present a case study from the SAP context showing the interactions between two SAP service components and use that case study to derive a set of modeling requirements. This motivates a discussion about applicable techniques for service choreography modeling and whether existing choreography languages cover the identified needs.
Year
DOI
Venue
2008
10.1109/SOSE.2008.43
SoSE
Keywords
Field
DocType
service-oriented architecture,soa validation,choreography language,flexible business process platform,choreography modeling,formal specification,flexible application,existing it infrastructure,case study,sap service component,service choreography modeling,sap context,validation and verification,software architecture,testing,business process,soa,modeling,service,choreography,unified modeling language,concurrent computing,business,service oriented architecture
Verification and validation,Unified Modeling Language,Business process,Service choreography,Computer science,Real-time computing,Formal specification,Choreography,Software architecture,Service-oriented architecture,Distributed computing
Conference
Citations 
PageRank 
References 
9
0.66
7
Authors
4
Name
Order
Citations
PageRank
Sebastian Wieczorek1655.72
Andreas Roth2213.72
Alin Stefanescu320917.79
Anis Charfi466348.32