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 条
  • [11] Cooperative runtime monitoring
    Halle, Sylvain
    ENTERPRISE INFORMATION SYSTEMS, 2013, 7 (04) : 395 - 423
  • [12] Predictable Runtime Monitoring
    Zhu, Haitao
    Dwyer, Matthew B.
    Goddard, Steve
    PROCEEDINGS OF THE 21ST EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, 2009, : 173 - 183
  • [13] A Foundation for Runtime Monitoring
    Francalanza, Adrian
    Aceto, Luca
    Achilleos, Antonis
    Attard, Duncan Paul
    Cassar, Ian
    Della Monica, Dario
    Ingolfsdottir, Anna
    RUNTIME VERIFICATION (RV 2017), 2017, 10548 : 8 - 29
  • [14] Runtime Monitoring of Component Changes with Spy@Runtime
    Ghezzi, Carlo
    Mocci, Andrea
    Sangiorgio, Mario
    2012 34TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2012, : 1403 - 1406
  • [15] A case for runtime validation of hardware
    Malik, Sharad
    HARDWARE AND SOFTWARE VERIFICATION AND TESTING, 2006, 3875 : 30 - 42
  • [16] Partial Validation of Configurations at Runtime
    Jahanbanifar, Azadeh
    Khendek, Ferhat
    Toeroe, Maria
    2015 IEEE 18TH INTERNATIONAL SYMPOSIUM ON REAL-TIME DISTRIBUTED COMPUTING (ISORC), 2015, : 288 - 291
  • [17] Test Strategies for Reliable Runtime Reconfigurable Architectures
    Bauer, Lars
    Braun, Claus
    Imhof, Michael E.
    Kochte, Michael A.
    Schneider, Eric
    Zhang, Hongyan
    Henkel, Joerg
    Wunderlich, Hans-Joachim
    IEEE TRANSACTIONS ON COMPUTERS, 2013, 62 (08) : 1494 - 1507
  • [18] Zero Overhead Runtime Monitoring
    Wonisch, Daniel
    Schremmer, Alexander
    Wehrheim, Heike
    SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2013, 2013, 8137 : 244 - 258
  • [19] Runtime Monitoring for Concurrent Systems
    Yamagata, Yoriyuki
    Artho, Cyrille
    Hagiya, Masami
    Inoue, Jun
    Ma, Lei
    Tanabe, Yoshinori
    Yamamoto, Mitsuharu
    RUNTIME VERIFICATION, (RV 2016), 2016, 10012 : 386 - 403
  • [20] Runtime monitoring & software verification
    Time Rover
    1600, 68-72 (August 2004):