A formal model for service mediators

Autoren Klaus-Dieter Schewe
Qing Wang
Editoren J. Trujillo et al.
TitelA formal model for service mediators
BuchtitelAdvances in Conceptual Modeling - Applications and Challenges, Proceedings ER 2010 Workshops
Typin Konferenzband
VerlagSpringer
SerieLecture Notes in Computer Science
Band6413
ISBN978-3-642-16384-5
MonatNovember
Jahr2010
Seiten76-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.