Overview

OLTSA enables ontology-based model checking through the extension of LTSA (Labeled Transition System Analyzer), the explicit-state model checker that analyzes finite-state processes (FSP), with an OWL-based reasoner to achieve runtime matching verification.

Contributors

• Amel Bennaceur
• Valérie Issarny

Supporting Grant

• Connect -- IST FP7 FET IP - Emergent Connectors for Eternal Software Intensive Networked Systems

Related Research Project

• Dynamic Synthesis of Connectors

Downloads

• OLTSA Software
• Examples : Process definitions (*.lts) and ontology specifications (*.owl)