An ontology of time for the semantic web
ACM Transactions on Asian Language Information Processing (TALIP) - Special Issue on Temporal Information Processing
Pellet: A practical OWL-DL reasoner
Web Semantics: Science, Services and Agents on the World Wide Web
Semantic Web Services Discovery by Matching Temporal Restrictions
SAINT '08 Proceedings of the 2008 International Symposium on Applications and the Internet
Timed Model Checking Based Approach for Web Services Analysis
ICWS '09 Proceedings of the 2009 IEEE International Conference on Web Services
The Balanced Accuracy and Its Posterior Distribution
ICPR '10 Proceedings of the 2010 20th International Conference on Pattern Recognition
Web Services: Concepts, Architectures and Applications
Web Services: Concepts, Architectures and Applications
Analysis and verification of time requirements applied to the web services composition
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Hi-index | 0.00 |
Services are being widely published over the Web and many services may be composed to attend a user's need. A composition of services can demand complex requirements to get an executable composition. Temporal restrictions are one of these requirements. As compositions are dynamically composed, model checking can be applied to verify if compositions are correct in relation to the temporal restrictions required. In this work we propose an algorithm that creates semantic web service compositions and verifies the correctness of a composition checking the temporal restrictions of each iteration. Experiments were carried out and the precision of retrieved services and their execution time were analyzed.