MBT4Chor: A Model-Based Testing Approach for Service Choreographies
ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models
TESTCOM '09/FATES '09 Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop
Local Enforceability and Inconsumable Messages in Choreography Models
SEEFM '09 Proceedings of the 2009 Fourth South-East European Workshop on Formal Methods
Towards a quality model for choreography
ICSOC/ServiceWave'09 Proceedings of the 2009 international conference on Service-oriented computing
Software and Systems Modeling (SoSyM)
| Hi-index | 0.00 |
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.