A Formal Model for Service Mediators
Klaus‐Dieter Schewe, Qing Wang · ANU Open Research (Australian National University) · 2010
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.