Verification of Branch-Time Property Based on Dynamic Description Logic

Abstract : The dynamic description logic DDL provides formalism for describing dynamic system in the semantic Web environment Model checking is a formal verification method based on state transition system. In this paper, we bring dynamic description logic into model checking. Firstly, state transition systems considered in model checking are modeled as complex actions in dynamic description logic. Secondly, a kind of temporal description logic DL-CTL is introduced to specify temporal properties on state transition systems, where DL-CTL is a DL-based extension of propositional branch-time temporal logic CTL. Finally, verification algorithm is presented with the help of reasoning mechanisms provided by description logic.
Type de document :
Communication dans un congrès
Zhongzhi Shi; Zhaohui Wu; David Leake; Uli Sattler. 8th International Conference on Intelligent Information Processing (IIP), Oct 2014, Hangzhou, China. Springer, IFIP Advances in Information and Communication Technology, AICT-432, pp.161-170, 2014, Intelligent Information Processing VII. 〈10.1007/978-3-662-44980-6_18〉
Liste complète des métadonnées

Littérature citée [9 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01383329
Contributeur : Hal Ifip <>
Soumis le : mardi 18 octobre 2016 - 14:55:04
Dernière modification le : mardi 18 octobre 2016 - 15:08:50

Fichier

978-3-662-44980-6_18_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Yaoguang Wang, Liang Chang, Fengying Li, Tianlong Gu. Verification of Branch-Time Property Based on Dynamic Description Logic. Zhongzhi Shi; Zhaohui Wu; David Leake; Uli Sattler. 8th International Conference on Intelligent Information Processing (IIP), Oct 2014, Hangzhou, China. Springer, IFIP Advances in Information and Communication Technology, AICT-432, pp.161-170, 2014, Intelligent Information Processing VII. 〈10.1007/978-3-662-44980-6_18〉. 〈hal-01383329〉

Partager

Métriques

Consultations de la notice

20

Téléchargements de fichiers

28