| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 485383 | Procedia Computer Science | 2016 | 8 Pages |
Abstract
OWL-S Ontology is recognized as a rich vocabulary to describe complex behavior of (composite) web services. While ensuring design correctness at the earliest stage is crucial, there are no dedicated tools that support formal analyses of OWL-S services. In this paper we propose a set of mapping rules to translate OWL-S descriptions to timed automata network which makes such analyses possible in later phase thanks to the many tools available for timed automata.
Related Topics
Physical Sciences and Engineering
Computer Science
Computer Science (General)
Authors
Boumaza Amel, Maamri Ramedane,