A formal model for service mediators

Authors Klaus-Dieter Schewe
Qing Wang
Editors J. Trujillo et al.
Title A formal model for service mediators
Booktitle Advances in Conceptual Modeling - Applications and Challenges, Proceedings ER 2010 Workshops
Type in proceedings
Publisher Springer
Series Lecture Notes in Computer Science
Volume 6413
ISBN 978-3-642-16384-5
Month November
Year 2010
Pages 76-85
SCCH ID# 1027

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.