A formal model for service mediators

Autoren Klaus-Dieter Schewe
Qing Wang
Editoren J. Trujillo et al.
Titel A formal model for service mediators
Buchtitel Advances in Conceptual Modeling - Applications and Challenges, Proceedings ER 2010 Workshops
Typ in Konferenzband
Verlag Springer
Serie Lecture Notes in Computer Science
Band 6413
ISBN 978-3-642-16384-5
Monat November
Jahr 2010
Seiten 76-85
SCCH ID# 1027
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.