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 条
  • [31] Reliable variant calling during runtime of Illumina sequencing
    Loka, Tobias P.
    Tausch, Simon H.
    Renard, Bernhard Y.
    SCIENTIFIC REPORTS, 2019, 9 (1)
  • [32] Reliable variant calling during runtime of Illumina sequencing
    Tobias P. Loka
    Simon H. Tausch
    Bernhard Y. Renard
    Scientific Reports, 9
  • [33] PARROT: A Practical Runtime for Deterministic, Stable, and Reliable Threads
    Cui, Heming
    Simsa, Jiri
    Lin, Yi-Hong
    Li, Hao
    Blum, Ben
    Xu, Xinan
    Yang, Junfeng
    Gibson, Garth A.
    Bryant, Randal E.
    SOSP'13: PROCEEDINGS OF THE TWENTY-FOURTH ACM SYMPOSIUM ON OPERATING SYSTEMS PRINCIPLES, 2013, : 388 - 405
  • [34] Runtime Monitoring of Dynamic Fairness Properties
    Henzinger, Thomas A.
    Karimi, Mahyar
    Kueffner, Konstantin
    Mallik, Kaushik
    PROCEEDINGS OF THE 6TH ACM CONFERENCE ON FAIRNESS, ACCOUNTABILITY, AND TRANSPARENCY, FACCT 2023, 2023, : 604 - 614
  • [35] Software rejuvenation and runtime reliability monitoring
    Fantechi, Alessandro
    Gori, Gloria
    Papini, Marco
    2022 IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW 2022), 2022, : 162 - 169
  • [36] Compensation-Aware Runtime Monitoring
    Colombo, Christian
    Pace, Gordon J.
    Abela, Patrick
    RUNTIME VERIFICATION, 2010, 6418 : 214 - +
  • [37] Runtime Monitoring of Object Invariants with Guarantee
    Gopinathan, Madhu
    Rajamani, Sriram K.
    RUNTIME VERIFICATION, 2008, 5289 : 158 - +
  • [38] A comparison framework for runtime monitoring approaches
    Rabiser, Rick
    Guinea, Sam
    Vierhauser, Michael
    Baresi, Luciano
    Grunbacher, Paul
    JOURNAL OF SYSTEMS AND SOFTWARE, 2017, 125 : 309 - 321
  • [39] Runtime Monitoring of Stream Logic Formulae
    Halle, Sylvain
    Khoury, Raphael
    FOUNDATIONS AND PRACTICE OF SECURITY (FPS 2015), 2016, 9482 : 251 - 258
  • [40] Runtime monitoring of software energy hotspots
    INRIA Lille-Nord Europe, Project-team ADAM, France
    不详
    不详
    Proc. IEEE/ACM Int. Conf. Autom. Softw. Eng., ASE, (160-169):