Abstract
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.
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Published version (
Free)
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
