Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models - Archive ouverte HAL
Article Dans Une Revue Lecture Notes in Computer Science Année : 2006

Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models

Résumé

We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformations and process algebra and combines semi-formal object-oriented models with formal validation. We perform the validation of behavioral aspects of objectoriented models by using a projection into a well-defined formal technical space (Finite State Process algebra) where model-checkers are available (we use LTSA; a model checker for Labeled Transition Systems). We then target an implementation platform, which conforms to the semantics of the formal technical space; in turn, this ensure conformance of the final application to the validated specification.
Fichier principal
Vignette du fichier
MIPS_2006_06_ARTICLE.pdf (254.9 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00911624 , version 1 (29-11-2013)

Identifiants

Citer

Alban Rasse, Jean-Marc Perronne, Pierre-Alain Muller, Bernard Thirion. Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models. Lecture Notes in Computer Science, 2006, 3844, pp.39-47. ⟨10.1007/11663430_5⟩. ⟨hal-00911624⟩
199 Consultations
168 Téléchargements

Altmetric

Partager

More