Non-intrusive monitoring of service-based systems

International Journal of Cooperative Information Systems

Volumn 15, Issue 3, 2006, Pages 325-358

  Spanoudakis, George ^a   Mahbub, Khaled ^a  

^a CITY UNIVERSITY   (United Kingdom)

Author keywords

Runtime requirements monitoring; Service based systems

Indexed keywords

EID: 33747106192     PISSN: 02188430     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218843006001384     Document Type: Article

References (26)

1. M. Feather and S. Fickas, Requirements monitoring in dynamic environments, in Proc. 2nd IEEE Int. Symposium on Requirements Engineering (1995), p. 140.
2. M. S. Feather, S. Fickas, A. Van Lamsweerde and C. Ponsard, Reconciling system requirements and runtime behavior, in Proc. 9th Int. Workshop on Software Specification & Design (1998), p. 50.
3. W. Robinson, Monitoring software requirements using instrumented code, in Proc. 35th Hawaii Int. Conf. on Systems Sciences (2002), p. 276b.
4. L. Capra et al., Reflective middleware solutions for context-aware applications, LNCS 2192 (2001) 126.
5. T. Andrews et al. Business process execution language for web services, vl.1, http://www-106.ibm.com/developerworks/library/ws-bpel.
6. M. Shanahan, The event calculus explained, in Artificial Intelligence Today, LNCS 1600 (1999) 409.
7. D. Plexousakis, Integrity constraint and rule maintenance in temporal deductive knowledge bases, in Proc. 19th Int. Conf. on Very Large Data Bases (1993), p. 146.
8. BPWS4J, http://alphaworks.ibm.com/tech/bpws4j.
9. K. Mahbub and G. Spanoudakis, A scheme for requirements monitoring of web service based systems, Technical Report Series, Department of Computing, City University, London (2004).
10. T. Eiter and G. Gottlob, The complexity of logic-based abduction, Journal of the ACM 42(1) (1995) 3.
11. K. Eshghi and R. Kowalski, Abduction through deduction, Technical Report, Imperial College of Science & Technology, Department of Computing (1988).
12. G. Paul, Approaches to abductive reasoning: An overview, Artificial Intelligence 7 (1993) 109.
13. W. N. Robinson, Monitoring Web service requirements, in Proc. 11th Int. Conf. on Requirements Engineering (2003), p. 65.
14. A. Dardenne et al., Goal-directed requirements acquisition, Science of Computer Programming 20 (1993) 3.
15. D. Cohen et al., Automatic monitoring of software requirements, in Proc. 19th Int. Conf. on Software Engineering (1997), p. 602.
16. A. Dingwall-Smith and A. Finkelstein, From requirements to monitors by way of aspects, in Proc. 1st Int. Conf. on Aspect-Oriented Software Development (2002).
17. D. K. Peters, Deriving real-time monitors from system requirements documentation, in Proc. 3rd Int. Symposium on Requirements Engineering, Doctoral Consortium (1997).
18. J. Chominski, Efficient checking of temporal integrity constraints using bounded history encoding, ACM Transactions on Database Systems 20(2) (1995) 149.
19. L. Console, D. T. Dupre and P. Torasso, On the relationship between abduction and deduction, Journal of Logic and Computation 1(5) (1991) 661.
20. XMethods, http://www.xmethods.net/.
21. K. Mahbub and G. Spanoudakis, Run-time monitoring of requirements for systems composed of Web-services: Initial implementation and evaluation experience, in Proc. IEEE Int. Conf. on Web Services (ICWS'05) (2005), pp. 257-265.
22. K. Mahbub and G. Spanoudakis, A framework for requirements monitoring of service based systems, in Proc. 2nd Int. Conf. on Service Oriented Computing (2004), p. 84.
23. Oracle, Orchestrating Web Services: The Case for a BPEL Server. An Oracle White Paper, June 2004 (available from http://www.oracle.com/appserver/ bpel_home.html on 17/12/2005).
24. L. Baresi, C. Ghezzi and S. Guinea, Smart monitors for composed services, in Proc. 2nd Int. Conf. on Service Oriented Computing (2004), p. 193.
25. K. Mahbub, A4: City monitoring tool - user manual, Technical Report, SECSE project, 2005 (available from: www.soi.city.ac.uk/~gespan/secse/ CityMonitoringTool_UserManual2005.pdf).
26. A. Andrieux et al., Web services agreement specification, Global Grid Forum, May 2004, available from: http://www.gridforum.org/Meetings/GGF11/ Documents/draft-ggf-graap-agreement.pdf.