A framework for requirents monitoring of service based systems

ABSTRACT

This paper proposes a framework for monitoring the compliance of systems composed of web-services with requirements set for th. This framework assumes systems composed of web-services that are co-ordinated by a service composition process expressed in BPEL4WS and uses event calculus to specify the properties to be monitored. The monitorable properties may include behavioural properties of a syst which are automatically extracted from the specification of its composition process in BPEL4WS and/or assumptions that syst providers can specify in terms of events extracted from this specification.

REFERENCES

• 1: Andrews T. et al. "Business Process Execution Language for Web Services", v1.1, http://www 106.ibm.com/developerworks/library/ws-bpel
• 2: Fickas S., Skorodinsky M., Feather M. "Sleeping at Night: Building and Monitoring Better Models of the Environment". In Proc. of 1st Work. on State of the Art on Automated Software Engineering, 2002.
• 3: S. Fickas , M. S. Feather, Requirements monitoring in dynamic environments, Proceedings of the Second IEEE International Symposium on Requirements Engineering, p.140, March 27-29, 1995
• 4: Don Cohen , Martin S. Feather , K. Narayanaswamy , Stephen S. Fickas, Automatic monitoring of software requirements, Proceedings of the 19th international conference on Software engineering, p.602-603, May 17-23, 1997, Boston, Massachusetts, United States [doi>10.1145/253228.253493]
• 5: Jan Chomicki, Efficient checking of temporal integrity constraints using bounded history encoding, ACM Transactions on Database Systems (TODS), v.20 n.2, p.149-186, June 1995 [doi>10.1145/210197.210200]
• 6: M. S. Feather , S. Fickas , A. Van Lamsweerde , C. Ponsard, Reconciling System Requirements and Runtime Behavior, Proceedings of the 9th international workshop on Software specification and design, p.50, April 16-18, 1998
• 7: W. Robinson, Monitoring Software Requirements Using Instrumented Code, Proceedings of the 35th Annual Hawaii International Conference on System Sciences (HICSS'02)-Volume 9, p.276.2, January 07-10, 2002
• 8: Anne Dardenne , Axel van Lamsweerde , Stephen Fickas, Goal-directed requirements acquisition, Science of Computer Programming, v.20 n.1-2, p.3-50, April 1993
• 9: Dingwall-Smith A., Finkelstein A. "From requirements to Monitors by Way of Aspects". Proc. of 1st Int. Conf. on Aspect-Oriented Software Development, 2002
• 10: Capra L., et al. "Reflective middleware solutions for context-aware applications", LNCS 2192, 2001
• 11: Peters D. K.. "Deriving Real-Time Monitors from Syst requirements Documentation". Proc. of 3rd Int. Symp. on requirements Engineering, Doctoral Consortium, 1997
• 12: Dimitris Plexousakis, Integrity Constraint and Rule Maintenance in Temporal Deductive Knowledge Bases, Proceedings of the 19th International Conference on Very Large Data Bases, p.146-157, August 24-27, 1993
• 13: BPWS4J, http://alphaworks.ibm.com/tech/bpws4j
• 14: Shanahan M. "The event calculus explained", In Artificial Intelligence Today, LNCS: 1600, 409--430, Springer, 1999
• 15: William N. Robinson, Monitoring Web Service Requirements, Proceedings of the 11th IEEE International Conference on Requirements Engineering, p.65, September 08-12, 2003
• 16: Mahbub K., Spanoudakis G. "A Sche for requirements Monitoring of Web Service Based systems", Technical Report Series, Department of Computing, City University, London, 2004.

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.4 Software/Program Verification
          Subjects: Assertion checkers

General Terms:
Verification

Keywords:
BPEL4WS, event calculus, requirements monitoring, service-based systems