Initiating a Benchmark for UML and OCL Analysis Tools

Martin Gogolla 1, 2 Fabian Büttner 3, 4 Jordi Cabot 3
3 ATLANMOD - Modeling Technologies for Software Production, Operation, and Evolution
LINA - Laboratoire d'Informatique de Nantes Atlantique, Département informatique - EMN, Inria Rennes – Bretagne Atlantique
Abstract : The Object Constraint Language (OCL) is becoming more and more popular for model-based engineering, in particular for the development of models and model transformations. OCL is supported by a variety of analysis tools having different scopes, aims and technological corner stones. The spectrum ranges from treating issues concerning formal proof techniques to testing approaches, from validation to verification, and from logic programming and rewriting to SAT-based technologies. This paper is a first step towards a well-founded benchmark for assessing validation and verification techniques on UML and OCL models. The paper puts forward a set of UML and OCL models together with particular questions for these models roughly characterized by the notions consistency, independence, consequences, and reachability. The paper sketches how these questions are handled by two OCL tools, USE and EMFtoCSP. The claim of the paper is not to present a complete benchmark right now. The paper is intended to initiate the development of further UML and OCL models and accompanying questions within the UML and OCL community. The OCL community is invited to check the presented UML and OCL models with their approaches and tools and to contribute further models and questions which emphasize the possibilities offered by their own tools.
Type de document :
Communication dans un congrès
International Conference on Tests & Proofs (TAP), Jun 2013, Budapast, Hungary. Springer, 2013, Lecture Notes in Computer Science
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00815040
Contributeur : Fabian Buettner <>
Soumis le : jeudi 18 avril 2013 - 10:18:09
Dernière modification le : vendredi 22 juin 2018 - 09:29:50
Document(s) archivé(s) le : vendredi 19 juillet 2013 - 04:00:57

Fichier

tap2013.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00815040, version 1

Citation

Martin Gogolla, Fabian Büttner, Jordi Cabot. Initiating a Benchmark for UML and OCL Analysis Tools. International Conference on Tests & Proofs (TAP), Jun 2013, Budapast, Hungary. Springer, 2013, Lecture Notes in Computer Science. 〈hal-00815040〉

Partager

Métriques

Consultations de la notice

463

Téléchargements de fichiers

641