Requirements Monitoring for Service-Based Systems: Towards a framework based on Event Calculus

@inproceedings{Spanoudakis-Mahbub:ASE04,
  author    = {George Spanoudakis and
               Khaled Mahbub},
  title     = {Requirements Monitoring for {Service-Based} Systems: Towards a framework based on Event Calculus},
  booktitle = {ASE},
  pages     = {379--384},
  publisher = {{IEEE} Computer Society},
  year      = {2004},
}