A model-driven framework for component-based development
SDL'11 Proceedings of the 15th international conference on Integrating System and Software Modeling
Hi-index | 0.00 |
Service choreography is a composition approach which has not yet received wide attention in SOA research. In this paper, we describe an approach for the modeling and validation of choreography based on so-called Semantic Interfaces and Goals. Our contributions include flexible modeling of choreography with formal semantics and solid validation techniques supported by tools. The approach is explained through an illustrating example.