Semantic service modeling: enabling system interoperability

Author(s): Pokraev, S., Quartel, D., Steen, M.W.A. & Reichert, M.

Published: In: Proceedings of the Interoperability for Enterprise Software and Applications Conference (I-ESA'06), March 22-24, 2006, Bordeaux, France. Springer

Publication no.: TI/SS/2006/006

Projectreference: A-MUSE/D1.12

Summary: Interoperability is the capability of multiple, autonomous and heterogeneous systems to use each other’s services effectively. It is about meaningful sharing of functionality and information that leads to a desired result. In this paper we propose a framework for modeling system’s services. The framework enables service developers to describe the communication structure, behavior and information aspects of their systems, and to formally verify whether the components of a composite system are interoperable.