Abstract
We present a semi-automated approach and framework for cost-aware recovery from service inconsistency arising due to unreliable service actions. A range of costs such as time are parameterised and modelled generically using cost algebras. With respect to a user-provided business specification, we distinguish end-state consistency, which must be achieved at service completion, from strong consistency, which may be momentarily violated. Our approach ensures optimal end-state consistency for services where action failure may lead to temporary violations of strong consistency or endstate consistency. Enterprises could not otherwise optimally and dynamically handle strong consistency violation, especially with respect to a variety of costs. Our approach provides quantitative analysis by defining a service model as an high-level message sequence chart (hMSC), annotating service actions with costs, then interpreting the model as a weighted (Mazurkiewicz) trace language, catering for costs in the presence of true concurrency. We devise a framework and method which checks such a model and ensures service end-state consistency optimally by concatenating the traces of recovery strategies (expressed by MSCs) from an enterprise service repository. We evaluate our approach using a popular online shop case study.
Original language | English |
---|---|
Title of host publication | Proceedings of the 9th International ACM Sigsoft Conference on Quality of Software Architectures |
Editors | Philippe Kruchten |
Place of Publication | New York NY USA |
Publisher | Association for Computing Machinery (ACM) |
Pages | 53 - 62 |
Number of pages | 10 |
ISBN (Print) | 9781450321266 |
DOIs | |
Publication status | Published - 2013 |
Event | Conference on the Quality of Software Architectures 2013 - Vancouver BC, Canada Duration: 17 Jun 2013 → 21 Jun 2013 Conference number: 9th http://dblp.org/db/conf/qosa/qosa2013.html (Conference Proceedings) |
Conference
Conference | Conference on the Quality of Software Architectures 2013 |
---|---|
Abbreviated title | QoSA 2013 |
Country/Territory | Canada |
City | Vancouver BC |
Period | 17/06/13 → 21/06/13 |
Other | Proceedings of the 9th international ACM SIGSOFT conference on Quality of Software Architectures, QoSA 2013, part of Comparch '13 Federated Events on Component-Based Software Engineering and Software Architecture, Vancouver, BC, Canada, June 17-21, 2013. ACM 2013, ISBN 978-1-4503-2126-6 |
Internet address |
|