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 条
  • [41] Runtime Monitoring of Software Energy Hotspots
    Noureddine, Adel
    Bourdon, Aurelien
    Rouvoy, Romain
    Seinturier, Lionel
    2012 PROCEEDINGS OF THE 27TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE), 2012, : 160 - 169
  • [42] A monitoring approach for runtime service discovery
    Mahbub, K.
    Spanoudakis, G.
    Zisman, A.
    AUTOMATED SOFTWARE ENGINEERING, 2011, 18 (02) : 117 - 161
  • [43] Timed runtime monitoring for multiparty conversations
    Neykova, Rumyana
    Bocchi, Laura
    Yoshida, Nobuko
    FORMAL ASPECTS OF COMPUTING, 2017, 29 (05) : 877 - 910
  • [44] Timed Runtime Monitoring for Multiparty Conversations
    Neykova, Rumyana
    Bocchi, Laura
    Yoshida, Nobuko
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (162): : 19 - 26
  • [45] Runtime monitoring of software energy hotspots
    Noureddine, Adel
    Bourdon, Aurelien
    Rouvoy, Romain
    Seinturier, Lionel
    2012 27th IEEE/ACM International Conference on Automated Software Engineering, ASE 2012 - Proceedings, 2012, : 160 - 169
  • [46] A monitoring approach for runtime service discovery
    K. Mahbub
    G. Spanoudakis
    A. Zisman
    Automated Software Engineering, 2011, 18 : 117 - 161
  • [47] A Portable Interface for Runtime Energy Monitoring
    Imes, Connor
    Bergstrom, Lars
    Hoffmann, Henry
    FSE'16: PROCEEDINGS OF THE 2016 24TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON FOUNDATIONS OF SOFTWARE ENGINEERING, 2016, : 968 - 974
  • [48] A runtime monitoring environment for mobile java
    Istituto di Informatica e Telematica Consiglio Nazionale delle Ricerche, Pisa, Italy
    不详
    不详
    IEEE Int. Conf. Softw. Test. Verif. Validation Workshop, ICSTW, 2008, (270-278):
  • [49] Runtime verification and monitoring of embedded systems
    Watterson, C.
    Heffernan, D.
    IET SOFTWARE, 2007, 1 (05) : 172 - 179
  • [50] Runtime Monitoring Neuron Activation Patterns
    Cheng, Chih-Hong
    Nuehrenberg, Georg
    Yasuoka, Hirotoshi
    2019 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2019, : 300 - 303