Mapping OWL-S Process Model to Timed Automata: A Model-Checking Timed Temporal Logic Oriented Approach

E-ISSN： 1938-7865|11|1|29-48

ISSN： 1938-7857

Source： Journal of Information Technology Research (JITR), Vol.11, Iss.1, 2018-01, pp. : 29-48

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Model checking for probabilistic timed automata

By Norman Gethin Parker David Sproston Jeremy

Formal Methods in System Design, Vol. 43, Iss. 2, 2013-10 ,pp. : 164-190

Springer Publishing Company

Access to resources Recommend Favorite

Dealing with practical limitations of distributed timed model checking for timed automata

By Braberman V. Olivero A. Schapachnik F.

Formal Methods in System Design, Vol. 29, Iss. 2, 2006-09 ,pp. : 197-214

Springer Publishing Company

Access to resources Recommend Favorite

New Approach of Diagnosis by Timed Automata

International Journal of Ambient Computing and Intelligence (IJACI), Vol. 8, Iss. 3, 2017-07 ,pp. : 76-93

IGI Global_journal

Access to resources Recommend Favorite

Distributed model-checking and counterexample search for CTL logic

By Boukala Mohand Cherif

International Journal of Critical Computer-Based Systems, Vol. 3, Iss. 1-2, 2012-01 ,pp. : 44-59

Inderscience Publishers

Access to resources Recommend Favorite

Model Checking of Time Petri Nets Using the State Class Timed Automaton

By Lime Didier Roux Olivier

Discrete Event Dynamic Systems, Vol. 16, Iss. 2, 2006-04 ,pp. : 179-205

Springer Publishing Company

Access to resources Recommend Favorite