To main content

Modeling and Validating Service Choreography with Semantic Interfaces and Goals

Abstract

Service choreography is a composition approachwhich has not yet received wide attention in SOAresearch. In this paper, we describe an approach forthe modeling and validation of choreography based onso-called Semantic Interfaces and Goals. Ourcontributions include flexible modeling ofchoreography with formal semantics and solidvalidation techniques supported by tools. Theapproach is explained through an illustrating example.

Category

Academic chapter

Language

English

Author(s)

Affiliation

  • SINTEF Digital / Software Engineering, Safety and Security

Year

2008

Publisher

IEEE (Institute of Electrical and Electronics Engineers)

Book

IEEE International Symposium on Service-Oriented System Engineering 2008 : SOSE '08, Jhongli, Taiwan, December 18-19, 2008

ISBN

9780769534992

Page(s)

73 - 78

View this publication at Norwegian Research Information Repository