Reliable Monitoring for Runtime Validation of Choreographies

被引:0
|
作者
von Riegen, Michael [1 ]
Ritter, Norbert [1 ]
机构
[1] Univ Hamburg, D-22527 Hamburg, Germany
关键词
D O I
暂无
中图分类号
O61 [无机化学];
学科分类号
070301 ; 081704 ;
摘要
Cross-organizational business processes gain more and more attention in the scientific community. For modeling these processes, choreographies are. an adequate solution to describe the observable behavior for each business participant and the corresponding protocols between them. Nevertheless, current approaches mainly focus on modeling and conformance checking before runtime. fit contrast, this contribution concentrates oil the runtime validation of choreographies and will thus propose a monitoring infrastructure that supports this validation. We will sketch the requirements for a monitoring infrastructure as well as the solutions in order to meet these requirements. Without such a reliable monitoring framework, a runtime validation framework simply would not be able to correctly validate the interactions.
引用
收藏
页码:310 / 315
页数:6
相关论文
共 50 条
  • [1] Flexible and Reliable Messaging using Runtime Monitoring
    Halle, Sylvain
    Villemaire, Roger
    2009 13TH ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE WORKSHOPS (EDOCW 2009), 2009, : 116 - +
  • [2] Dynamic Choreographies Safe Runtime Updates of Distributed Applications
    Preda, Mila Dalla
    Gabbrielli, Maurizio
    Giallorenzo, Saverio
    Lanese, Ivan
    Mauro, Jacopo
    COORDINATION MODELS AND LANGUAGES, COORDINATION 2015, 2015, 9037 : 67 - 82
  • [3] A runtime monitoring and validation framework for Web service interactions
    Li, Zheng
    Jin, Yan
    Han, Jun
    2006 AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2006, : 70 - +
  • [4] Monitoring Service Choreographies
    Roeder, Andre
    Lehmann, Matthias
    Kabitzsch, Klaus
    2011 9TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2011,
  • [5] RUNTIME MONITORING
    不详
    IEEE SOFTWARE, 2016, 33 (01) : 95 - 95
  • [6] On the Validation of Invariants at Runtime
    Kosiuczenko, Piotr
    FUNDAMENTA INFORMATICAE, 2013, 125 (02) : 183 - 222
  • [7] Governance Policies for Verification and Validation of Service Choreographies
    Bertolino, Antonia
    De Angelis, Guglielmo
    Polini, Andrea
    WEB INFORMATION SYSTEMS AND TECHNOLOGIES, WEBIST 2012, 2013, 140 : 86 - 102
  • [8] Rule-based validation of SLA choreographies
    Ul Haq, Irfan
    Paschke, Adrian
    Schikuta, Erich
    Boley, Harold
    JOURNAL OF SUPERCOMPUTING, 2013, 63 (01): : 24 - 45
  • [9] Reversible Choreographies via Monitoring in Erlang
    Francalanza, Adrian
    Mezzina, Claudio Antares
    Tuosto, Emilio
    DISTRIBUTED APPLICATIONS AND INTEROPERABLE SYSTEMS (DAIS 2018), 2018, 10853 : 75 - 92
  • [10] Rule-based validation of SLA choreographies
    Irfan Ul Haq
    Adrian Paschke
    Erich Schikuta
    Harold Boley
    The Journal of Supercomputing, 2013, 63 : 24 - 45