A formal model for service mediators

K. Schewe, Q. Wang. A formal model for service mediators. volume 6413, pages 76-85, 11, 2010.

Autoren
  • Klaus-Dieter Schewe
  • Qing Wang
Editoren
  • J. Trujillo et al.
BuchAdvances in Conceptual Modeling - Applications and Challenges, Proceedings ER 2010 Workshops
TypIn Konferenzband
VerlagSpringer
SerieLecture Notes in Computer Science
Band6413
ISBN978-3-642-16384-5
Monat11
Jahr2010
Seiten76-85
Abstract In this paper we present a model of service mediators, which are high-level specifications of service-based applications. These mediators provide slots that are to be filled by actual services. Suitable services have to match the specification of the slots according to functional and categorical characteristics. Services and mediators are based on the ASM-based model of Abstract State Services.