A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems

Résumé

Over the past two decades, numerous verification tools have been successfully used for verifying complex concurrent systems, modelled using various formalisms. However, it is still hard to coordinate these tools since they rely on such a large number of formalisms. Having a proper syntactical mechanism to interrelate them through variability would increase the capability of effective integrated formal methods. In this paper, we propose a modular approach for defining new formalisms by reusing existing ones and adding new features and/or constraints. Our approach relies on standard XML technologies; their use provides the capability of rapidly and automatically obtaining tools for representing and validating models. It thus enables fast iterations in developing and testing complex formalisms. As a case study, we applied our modular definition approach on families of Petri nets and timed automata.

Dates et versions

hal-00926126 , version 1 (09-01-2014)

Identifiants

Citer

Étienne André, Benoît Barbot, Clément Démoulins, Lom Messan Hillah, Francis Hulin-Hubard, et al.. A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems. 15th International Conference on Formal Engineering Methods (ICFEM'13), Oct 2013, Queenstown, New Zealand. pp.199-214, ⟨10.1007/978-3-642-41202-8_14⟩. ⟨hal-00926126⟩
214 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More