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 条
  • [21] Runtime Monitoring for Executable DSLs
    Leroy, Dorian
    Jeanjean, Pierre
    Bousse, Erwan
    Wimmer, Manuel
    Combemale, Benoit
    JOURNAL OF OBJECT TECHNOLOGY, 2020, 19 (02): : 1 - 23
  • [22] Abstract Runtime Monitoring with USE
    Hamann, Lars
    Vidacs, Laszlo
    Gogolla, Martin
    Kuhlmann, Mirco
    2012 16TH EUROPEAN CONFERENCE ON SOFTWARE MAINTENANCE AND REENGINEERING (CSMR), 2012, : 549 - 552
  • [23] Provably correct runtime monitoring
    Aktug, Irem
    Dam, Mads
    Gurov, Dilian
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2009, 78 (05): : 304 - 339
  • [24] Provably correct runtime monitoring
    School of Computer Science and Communication, KTH, Sweden
    不详
    J. Logic. Algebraic Program., 1600, 5 (304-339):
  • [25] A Survey of Software Runtime Monitoring
    Gao, Lihua
    Lu, Minyan
    Li, Luyi
    Pan, Cong
    PROCEEDINGS OF 2017 8TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS 2017), 2017, : 308 - 313
  • [26] Runtime monitoring & software verification
    Drusinsky, D
    DR DOBBS JOURNAL, 2004, 29 (08): : 68 - 72
  • [27] Stream Runtime Monitoring on UAS
    Adolf, Florian-Michael
    Faymonville, Peter
    Finkbeiner, Bernd
    Schirmer, Sebastian
    Torens, Christoph
    RUNTIME VERIFICATION (RV 2017), 2017, 10548 : 33 - 49
  • [28] Validation and verification of Web services choreographies by using timed automata
    Emilia Cambronero, M.
    Diaz, Gregorio
    Valero, Valentin
    Martinez, Enrique
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2011, 80 (01): : 25 - 49
  • [29] Runtime validation of Transactional Memory systems
    Chen, Kaiyu
    Malik, Sharad
    Patra, Priyadarsan
    ISQED 2008: PROCEEDINGS OF THE NINTH INTERNATIONAL SYMPOSIUM ON QUALITY ELECTRONIC DESIGN, 2008, : 750 - +
  • [30] Securing Smart Contract with Runtime Validation
    Li, Ao
    Choi, Jemin Andrew
    Long, Fan
    PROCEEDINGS OF THE 41ST ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '20), 2020, : 438 - 453