From OWL-S to Timed Automata Network: Operational Semantic

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.