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

George Spanoudakis Khaled Mahbub

Published in: ASE (2004)

Keyphrases

event calculus
situation calculus
web services
probabilistic model
machine learning
post processing
temporal reasoning
reasoning tasks