Preferential refinements of abstract state machines for service mediators

Authors Klaus-Dieter Schewe
Qing Wang
Editors A. Tang
H. Muccini
Title Preferential refinements of abstract state machines for service mediators
Booktitle Proceedings of 12th International Conference on Quality Software (QSIC 2012)
Type in proceedings
Publisher IEEE Computer Society
Month August
Year 2012
Pages 158-166
SCCH ID# 1236
Abstract

Large-scale service-oriented computing is based on the idea that services from various servers are combined into one distributed application. For this the notion of service mediator has been coined, which captures specifications of composed services with slots have to be filled by actual services. Such mediators can be specified by expressions in Kleene algebras with tests (KATs) or equivalently by very restricted Abstract State Machines (ASMs). In this paper we address the refinement of such specifications with the intention to capture more meaningful conditions on the service slots and to finetune the matching of the slots with actual services. In particular, we investigate refinements that express user preferences thus leading to personalised mediators. For this form of adaptivity a previously developed term rewriting approach on KATs is generalised to refinements on ASMs.