Towards cost-aware service recovery

Terry Zhou, Ian Peake, Heinrich Wilhelm Schmidt

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review


    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 languageEnglish
    Title of host publicationProceedings of the 9th International ACM Sigsoft Conference on Quality of Software Architectures
    EditorsPhilippe Kruchten
    Place of PublicationNew York NY USA
    PublisherAssociation for Computing Machinery (ACM)
    Pages53 - 62
    Number of pages10
    ISBN (Print)9781450321266
    Publication statusPublished - 2013
    EventConference on the Quality of Software Architectures 2013 - Vancouver BC, Canada
    Duration: 17 Jun 201321 Jun 2013
    Conference number: 9th (Conference Proceedings)


    ConferenceConference on the Quality of Software Architectures 2013
    Abbreviated titleQoSA 2013
    CityVancouver BC
    OtherProceedings 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

    Cite this