A monolithic approach to automated composition of semantic web services with the Event Calculus
Knowledge-Based Systems
Event calculus-based adaptive services composition policy for ami systems
AMT'12 Proceedings of the 8th international conference on Active Media Technology
| Hi-index | 0.00 |
The notion of contracts (or agreements) has been con- sidered useful to promote mutual understanding and con- figuration in service provision between its consumer and provider. However, it has not been discussed how consis- tency can be ensured in multiple contracts that a compos- ite service establishes with its component service providers and its consumers. In response to the problem, this study provides a theoretical foundation, based on Event Calcu- lus, for expressing and reasoning about various constraints on contracts as well as consistency properties. On the basis of the proposed foundation, this study also discusses how an existing reasoner on Event Calculus can be used to help de- velopment of consistent contractual policies, or constraints on contracts. A tool is developed that wraps the reasoner and facilitates consistency checking and testing.