Lightweight Verification of Executable Models

Abstract : Executable models play a key role in many development methods by facilitating the immediate simulation/implementation of the software system under development. This is possible because executable models include a fine-grained specification of the system behaviour. Unfortunately, a quick and easy way to check the correctness of behavioural specifications is still missing, which compromises their quality (and in turn the quality of the system generated from them). In this paper, a lightweight verification method to assess the strong executability of fine-grained behavioural specifications (i.e. operations) at design-time is provided. This method suffices to check that the execution of the operations is consistent with the integrity constraints defined in the structural model and returns a meaningful feedback that helps correcting them otherwise.
Type de document :
Communication dans un congrès
30th International Conference on Conceptual Modeling (ER 2011), Oct 2011, Brussels, Belgium. 2011
Liste complète des métadonnées

https://hal.inria.fr/inria-00610208
Contributeur : Elena Planas <>
Soumis le : jeudi 21 juillet 2011 - 12:41:29
Dernière modification le : mardi 16 janvier 2018 - 14:36:19

Identifiants

  • HAL Id : inria-00610208, version 1

Collections

Citation

Elena Planas, Jordi Cabot, Cristina Gómez. Lightweight Verification of Executable Models. 30th International Conference on Conceptual Modeling (ER 2011), Oct 2011, Brussels, Belgium. 2011. 〈inria-00610208〉

Partager

Métriques

Consultations de la notice

348