A logic-based calculus of events
New Generation Computing
The Nature of Knowledge in an Abductive Event Calculus Planner
EKAW '00 Proceedings of the 12th European Workshop on Knowledge Acquisition, Modeling and Management
Composing Web services on the Semantic Web
The VLDB Journal — The International Journal on Very Large Data Bases
QoS computation and policing in dynamic web service selection
Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters
A service creation environment based on end to end composition of Web services
WWW '05 Proceedings of the 14th international conference on World Wide Web
Applying AI Planning to Semantic Web Services for Workflow Generation
SKG '05 Proceedings of the First International Conference on Semantics, Knowledge and Grid
Evaluation of Service Composition Planning with OWLS-XPlan
WI-IATW '06 Proceedings of the 2006 IEEE/WIC/ACM international conference on Web Intelligence and Intelligent Agent Technology
Selection Algorithm for Grid Services based on a Quality of Service Metric
HPCS '07 Proceedings of the 21st International Symposium on High Performance Computing Systems and Applications
A probabilistic approach to modeling and estimating the QoS of web-services-based workflows
Information Sciences: an International Journal
Developing Consistent Contractual Policies in Service Composition
APSCC '07 Proceedings of the The 2nd IEEE Asia-Pacific Service Computing Conference
Understanding approaches for web service composition and execution
COMPUTE '08 Proceedings of the 1st Bangalore Annual Compute Conference
Generalized Semantics-Based Service Composition
ICWS '08 Proceedings of the 2008 IEEE International Conference on Web Services
Journal of Artificial Intelligence Research
Prediction is deduction but explanation is abduction
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
HTN planning for Web Service composition using SHOP2
Web Semantics: Science, Services and Agents on the World Wide Web
Artificial intelligence today
A survey of automated web service composition methods
SWSWPC'04 Proceedings of the First international conference on Semantic Web Services and Web Process Composition
Transformations between UML and OWL-S
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
Automated composition of web services with the abductive event calculus
Information Sciences: an International Journal
Single-player Monte-Carlo tree search for SameGame
Knowledge-Based Systems
Symbolic model checking composite Web services using operational and control behaviors
Expert Systems with Applications: An International Journal
Event calculus-based adaptive services composition policy for ami systems
AMT'12 Proceedings of the 8th international conference on Active Media Technology
A cross organisation compatible workflows generation and execution framework
Knowledge-Based Systems
Hi-index | 0.00 |
In this paper, a web service composition and execution framework is presented for semantically -annotated web services. A monolithic approach to automated web service composition and execution problem is chosen, which provides some benefits by separating composition and execution phases. An AI planning method using a logical formalism, namely Abductive Event Calculus, is chosen for the composition phase. This formalism allows one to generate a narrative of actions and temporal orderings using abductive planning techniques given a goal. The functional properties of services, namely input/output/precondition/effects (IOPE) are taken into consideration in the composition phase and non-functional properties, namely Quality of Service (QoS) parameters are used in selecting the most appropriate solution to be executed. The repository of OWL-S semantic web services are translated to the Event Calculus axioms and the resulting plans found by the Abductive Event Calculus Planner are converted to graphs. These graphs can be sorted according to a score calculated using the defined quality of service parameters of the atomic services in the composition to determine the optimal solution. The selected graph is converted to an OWL-S file which is executed consequently.