Simulation, verification and automated composition of web services
Proceedings of the 11th international conference on World Wide Web
NuSMV 2: An OpenSource Tool for Symbolic Model Checking
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Analysis of interacting BPEL web services
Proceedings of the 13th international conference on World Wide Web
LTSA-WS: a tool for model-based verification of web service compositions and choreography
Proceedings of the 28th international conference on Software engineering
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
Conformant planning via symbolic model checking
Journal of Artificial Intelligence Research
ICWE '06 Workshop proceedings of the sixth international conference on Web engineering
Predicting and Learning Executability of Composite Web Services
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Towards an Agent Based Approach for Verification of OWL-S Process Models
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
WSMO choreography: from abstract state machines to concurrent transaction logic
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
A comparative evaluation of state-of-the-art web service composition testing approaches
Proceedings of the 6th International Workshop on Automation of Software Test
Service research challenges and solutions for the future internet
Satisfying agent goals by executing different task semantics: HTN, OWL-S or plug one yourself
Autonomous Agents and Multi-Agent Systems
Cascading verification: an integrated method for domain-specific model checking
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Formal correctness of supply chain design
Decision Support Systems
| Hi-index | 0.00 |
In this paper, we apply automatic tools to the verification of interaction protocols of Web services described in OWL-S. Specifically, we propose a modeling procedure that preserves the control flow and the data flow of OWL-S Process Models. The result of our work provides complete modeling and verification of OWL-S Process Models.