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

Proceedings - 19th International Conference on Automated Software Engineering, ASE 2004

Volumn , Issue , 2004, Pages 379-384

  Spanoudakis, George ^a   Mahbub, Khaled ^a  

^a CITY UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CAR RENTAL SYSTEM (CRS); SENSORING SERVICES (SS); USER INTERACTION SERVICES (UI); WEB SERVICES;

COMPUTER SOFTWARE; CONSTRAINT THEORY; DATABASE SYSTEMS; FORMAL LANGUAGES; MIDDLEWARE; SPECIFICATIONS; WORLD WIDE WEB; XML;

INFORMATION SERVICES;

EID: 15844368701     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2004.1342769     Document Type: Conference Paper

References (15)

1. Andrews T. et al. "Business Process Execution Language for Web Services", vl.1, http://www-106.ibm.com/developerworks/library/ws-bpel.
2. Feather M., Fickas S. "Requirements Monitoring in Dynamic Environments". Proc. of Int. Conf. on Requirements Engineering, 1995.
3. th Int. Conf. on Software Engineering, 1997.
4. Chominski J. "Efficient Checking of Temporal Integrity Constraints Using Bounded History Encoding", ACM Transactions on Database Systems, 20(2), 1995.
5. th Int. Work, on Software Specification & Design, 1998.
6. Robinson W. "Monitoring Software Requirements using Instrumented Code". Proc. of the Hawaii Int. Conf. on Systems Sciences, 2002.
7. Dardenne A., van Lamsweerde A. and Fickas S., "Goal-Directed Requirements Acquisition", Science of Computer Programming, 20, pp. 3-50, 1993.
8. st Int. Conf. on Aspect-Oriented Software Development, 2002.
9. Capra L., Emmerich W., and Mascolo C. "Reflective middleware solutions for context-aware applications", LNCS 2192, 2001.
10. th Int. Conf. on Very Large Data Bases, 1993.
11. BPWS4J, http://alphaworks.ibm.com/tech/bpws4j
12. http://logging.apache.org/log4j/docs/, September 2003
13. Shanahan M. "The event calculus explained", In Artificial Intelligence Today, 409-430, Springer, 1999
14. th Int. Conf. on Requirements Engineering, 2003.
15. Mahbub K., Spanoudakis G. "A Scheme for Requirements Monitoring of Web Service Based Systems", Technical Report, Department of Computing, City University, London, 2004.