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/article/Conference paper

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 Cristin