Generating operation specifications from UML class diagrams: A model transformation approach

Abstract : One of the more tedious and complex tasks during the specification of conceptual schemas (CSs) is modeling the operations that define the system behavior. This paper aims to simplify this task by providing a method that automatically generates a set of basic operations that complement the static aspects of the CS and suffice to perform all typical life-cycle create/update/delete changes on the population of the elements of the CS. Our method guarantees that the generated operations are executable, i.e. their executions produce a consistent state wrt the most typical structural constraints that can be defined in CSs (e.g. multiplicity constraints). In particular, our method takes as input a CS expressed as a Unified Modeling Language (UML) class diagram (optionally defined using a profile to enrich the specification of associations) and generates an extended version of the CS that includes all necessary operations to start operating the system. If desired, these basic operations can be later used as building blocks for creating more complex ones. We show the formalization and implementation of our method by means of model-to-model transformations. Our approach is particularly relevant in the context of Model Driven Development approaches.
Type de document :
Article dans une revue
Data and Knowledge Engineering / Data and Knowledge Engineering, 2011, 70 (4), pp.365-389. 〈10.1016/j.datak.2011.01.003〉
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00573717
Contributeur : Jordi Cabot <>
Soumis le : vendredi 4 mars 2011 - 13:42:21
Dernière modification le : vendredi 22 juin 2018 - 09:34:14

Fichier

DerivingBehaviourSpecification...
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Manoli Albert, Jordi Cabot, Cristina Gómez, Vicente Pelechano. Generating operation specifications from UML class diagrams: A model transformation approach. Data and Knowledge Engineering / Data and Knowledge Engineering, 2011, 70 (4), pp.365-389. 〈10.1016/j.datak.2011.01.003〉. 〈inria-00573717〉

Partager

Métriques

Consultations de la notice

320

Téléchargements de fichiers

489