A Formal Approach to Model Composition Applied to VUML

TitreA Formal Approach to Model Composition Applied to VUML
Publication TypeConference Paper
Year of Publication2011
AuthorsAnwar, A, Dkaki, T, Ebersold, S, Coulette, B, Anwar, A, Nassar, M
EditorPerseil, I, Breitman, K, Sterritt, R
Conference Name2011 16TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS)
PublisherIEEE; IEEE Comp Soc Tech Comm Engn Autonomous & Autonom Syst (TC-AAS); IEEE Comp Soc
ISBN Number978-0-7695-4381-9
Abstract

Several approaches adopted by the software engineering community rely on the principle of multi-modeling which allows to separate concerns and to model a system as a set of less complex sub-models. Model composition is a crucial activity in Model Driven Engineering (MDE). It is particularly useful when adopting a multi-modeling approach to analyze and design software systems. In previous work, we have defined a view-based UML profile called VUML. In this paper, we describe a formal approach for model composition in which we consider the composition as an algebraic operator on the set of UML-compliant models. We specify the semantics of our composition operator by means of graph transformations. Furthermore, we present a composition scheme interpreted by a two-steps composition process based on two strategies of correspondence and merging. To illustrate our approach, we apply it to the composition of UML class models diagrams into one VUML model class diagram.

DOI10.1109/ICECCS.2011.26
Revues: 

Partenaires

Localisation


Location map

Suivez-nous sur

  

Contactez-nous

ENSIAS

Avenue Mohammed Ben Abdallah Regragui, Madinat Al Irfane, BP 713, Agdal Rabat, Maroc

Résultat de recherche d'images pour "icone fax" Télécopie : (+212) 5 37 77 72 30

    Compteur de visiteurs:280,148
    Education - This is a contributing Drupal Theme
    Design by WeebPal.