Run-time monitoring of requirements for systems composed of web-services: Initial implementation and evaluation experience

被引：0
|
作者：
Mahbub, K [1 ]
Spanoudakis, G [1 ]
机构：
[1] City Univ London, Dept Comp, London EC1V 0HB, England
来源：
2005 IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, VOLS 1 AND 2, PROCEEDINGS | 2005年
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper describes a framework supporting the run-time monitoring of requirements for systems implemented as compositions of web-services specified in BPEL. The requirements that can be monitored are specified in event calculus. The paper presents an overview of the framework and describes the architecture and implementation of a tool that we have developed to operationalise it. It also presents the results of a preliminary experimental evaluation of the framework.
引用
收藏
页码：257 / 265
页数：9
相关论文
共 50 条
  • [21] Rule Systems for Run-time Monitoring: from EAGLE to RULER
    Barringer, Howard
    Rydeheard, David
    Havelund, Klaus
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2010, 20 (03) : 675 - 706
  • [22] Run-time Performance Monitoring, Verification, and Healing of End-to-End Services
    Choi, Nakjung
    Jagadeesan, Lalita
    Kim, Young Jin
    Mohanasamy, Nishok Narasimha
    Rahman, Muntasir Raihan
    Sabnani, Krishan
    Thottan, Marina
    [J]. PROCEEDINGS OF THE 2019 IEEE CONFERENCE ON NETWORK SOFTWARIZATION (NETSOFT 2019), 2019, : 30 - 35
  • [23] Behavioral modeling and run-time verification of system-of-systems architectural requirements
    Drusinsky, D
    Michael, JB
    Shing, MT
    [J]. INTERNATIONAL CONFERENCE ON COMPUTING, COMMUNICATIONS AND CONTROL TECHNOLOGIES, VOL 6, POST-CONFERENCE ISSUE, PROCEEDINGS, 2004, : 13 - 18
  • [24] Interpretable Run-Time Monitoring and Replanning for Safe Autonomous Systems Operations
    Di Franco, Carmelo
    Bezzo, Nicola
    [J]. IEEE ROBOTICS AND AUTOMATION LETTERS, 2020, 5 (02): : 2427 - 2434
  • [25] A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis
    El-Hokayem, Antoine
    Bensalem, Saddek
    Bozga, Marius
    Sifakis, Joseph
    [J]. SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2020, 2020, 12310 : 284 - 302
  • [26] Enforcing web services business protocols at run-time: A process-driven approach
    Department of Computer Science, ETH Zürich, CH-8092 Zürich, Switzerland
    [J]. Int. J. Web Eng. Technol, 2006, 4 (396-411):
  • [27] Foundations for the run-time monitoring of reactive systems - Fundamentals of the MaC language
    Viswanathan, M
    Kim, M
    [J]. THEORETICAL ASPECTS OF COMPUTING - ICTAC 2004, 2005, 3407 : 543 - 556
  • [28] Implementation and Evaluation of Fine-grain Run-time Power Gating for a Multiplier
    Usami, Kimiyoshi
    Nakata, Mitsutaka
    Shirai, Toshiaki
    Takeda, Seidai
    Seki, Naomi
    Amano, Hideharu
    Nakamura, Hiroshi
    [J]. 2009 IEEE INTERNATIONAL CONFERENCE ON INTEGRATED CIRCUIT DESIGN AND TECHNOLOGY, PROCEEDINGS, 2009, : 7 - +
  • [29] System-level modelling and implementation technique for run-time reconfigurable systems
    Rissa, T
    Vasilko, M
    Niittylahti, J
    [J]. 10TH ANNUAL IEEE SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES, PROCEEDINGS, 2002, : 295 - 296
  • [30] New aspects for run-time QoS evaluation in networks and distributed systems
    Dini, P
    [J]. MODELLING AND SIMULATION 1996, 1996, : 3 - 11
12345