Requirements monitoring for service-based systems: Towards a framework based on event calculus

被引：9

作者：

Spanoudakis, G ^{[1
]}

Mahbub, K ^{[1
]}

机构：

[1] City Univ London, Dept Comp, London EC1V 0HB, England

来源：

19TH INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS | 2004年

关键词：

D O I：

10.1109/ASE.2004.1342769

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

This paper proposes a framework for run-time monitoring of the compliance of systems composed of web-services with requirements set for them. The framework assumes systems composed of web-services which are co-ordinated by a service composition process expressed in BPEL4WS and uses event calculus to specify the requirements to be monitored. These requirements include behavioural properties of the system which are automatically extracted from the specification of its composition process in BPEL4WS and/or assumptions that system providers can specify in terms of events extracted from this specification. Requirements are checked using a variant of techniques for checking integrity constraints against temporal deductive databases.

引用

页码：379 / 384

页数：6

共 50 条

[1] A Requirements Refinement Approach for Service-based Systems
Zhao, Heng
Wang, Jian
Liang, Peng
Huang, Wei
[J]. PROCEEDINGS OF 2018 IEEE 9TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS), 2018, : 495 - 498
[2] An adaptable security framework for service-based systems
Yau, SS
Yao, YS
Chen, ZJ
Zhu, LP
[J]. WORDS 2005: 10TH IEEE INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE, PROCEEDINGS, 2005, : 28 - 35
[3] Towards a framework for the development of adaptable service-based applications
Lane, Stephen
Gu, Qing
Lago, Patricia
Richardson, Ita
[J]. SERVICE ORIENTED COMPUTING AND APPLICATIONS, 2014, 8 (03) : 239 - 257
[4] Towards Web Service-based Educational Systems
Sampson, Demetrios G.
[J]. INTERACTIVE TECHNOLOGY AND SMART EDUCATION, 2005, 2 (04) : 235 - 246
[5] Towards a Service-Based Framework for Environmental Data Processing
Madjarov, Ivan
Kocijan, Jus
Grancharova, Alexandra
Shishedjiev, Bogdan
[J]. INTERNATIONAL JOURNAL OF ADVANCED COMPUTER SCIENCE AND APPLICATIONS, 2014, 5 (04) : 44 - 51
[6] Towards Automated Monitoring and Alignment of Service-based Workflows
Repp, Nicolas
Eckert, Julian
Schulte, Stefan
Niemann, Michael
Berbner, Rainer
Steinmetz, Ralf
[J]. 2008 2ND IEEE INTERNATIONAL CONFERENCE ON DIGITAL ECOSYSTEMS AND TECHNOLOGIES, 2008, : 120 - 125
[7] A qos-based framework for the adaptation of service-based systems
Mirandola, Raffaela
Potena, Pasqualina
[J]. Scalable Computing, 2011, 12 (01): : 63 - 78
[8] A QOS-BASED FRAMEWORK FOR THE ADAPTATION OF SERVICE-BASED SYSTEMS
Mirandola, Raffaela
Potena, Pasqualina
[J]. SCALABLE COMPUTING-PRACTICE AND EXPERIENCE, 2011, 12 (01): : 63 - 78
[9] Towards the Next Generation of Service-Based Systems: The S-Cube Research Framework
Metzger, Andreas
Pohl, Klaus
[J]. ADVANCED INFORMATION SYSTEMS ENGINEERING, PROCEEDINGS, 2009, 5565 : 11 - 16
[10] A FRAMEWORK FOR MONITORING AND RUNTIME RECOVERY OF WEB SERVICE-BASED APPLICATIONS
Pegoraro, Rene
Halima, Riadh Ben
Drira, Khalil
Guennoun, Karim
Rosario, Joao Mauricio
[J]. ICEIS 2008: PROCEEDINGS OF THE TENTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL ISAS-2: INFORMATION SYSTEMS ANALYSIS AND SPECIFICATION, VOL 2, 2008, : 201 - +

← 1 2 3 4 5 →