Translation of SLAs into Monitoring Specifications
暂无分享,去创建一个
George Spanoudakis | Khaled Mahbub | Theocharis Tsigkritis | G. Spanoudakis | K. Mahbub | Theocharis Tsigkritis
[1] Luciano Baresi,et al. Dynamo: Dynamic Monitoring of WS-BPEL Processes , 2005, ICSOC.
[2] George Spanoudakis,et al. The SERENITY Runtime Monitoring Framework , 2009, Security and Dependability for Ambient Intelligence.
[3] Roger Villemaire,et al. Runtime monitoring of web service choreographies using streaming XML , 2009, SAC '09.
[4] Susan Stepney,et al. A Formal Template Language Enabling Metaproof , 2006, FM.
[5] George Spanoudakis,et al. Monitoring WS-Agreement s: An Event Calculus-Based Approach , 2007, Test and Analysis of Web Services.
[6] Schahram Dustdar,et al. Non-intrusive monitoring and service adaptation for WS-BPEL , 2008, WWW.
[7] Jocelyn Simmonds,et al. Runtime Monitoring of Web Service Conversations , 2007, IEEE Transactions on Services Computing.
[8] Roger Villemaire,et al. Runtime Monitoring of Message-Based Workflows with Data , 2008, 2008 12th International IEEE Enterprise Distributed Object Computing Conference.
[9] Dimitris Dranidis,et al. Run-time Verification of Behavioural Conformance for Conversational Web Services , 2009, 2009 Seventh IEEE European Conference on Web Services.
[10] George Spanoudakis,et al. A framework for requirents monitoring of service based systems , 2004, ICSOC '04.
[11] Carlo Ghezzi,et al. Run-Time Monitoring in Service-Oriented Architectures , 2007, Test and Analysis of Web Services.
[12] Carlo Ghezzi,et al. Monitoring conversational web services , 2007, IW-SOSWE '07.
[13] Murray Shanahan,et al. The Event Calculus Explained , 1999, Artificial Intelligence Today.