@conference { ISI:000298664200019, title = {A Formal Approach to Model Composition Applied to VUML}, booktitle = {2011 16TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS)}, year = {2011}, note = {IEEE Int Conf/Workshops on Engineering of Autonomic and Autonomous Systems/Int Conf on the Engineering of Computer-Based Systems/Int Conf on the Engineering of Complex Computer Systems, Las Vegas, NV, APR 27-29, 2011}, pages = {188-197}, publisher = {IEEE; IEEE Comp Soc Tech Comm Engn Autonomous \& Autonom Syst (TC-AAS); IEEE Comp Soc}, organization = {IEEE; IEEE Comp Soc Tech Comm Engn Autonomous \& Autonom Syst (TC-AAS); IEEE Comp Soc}, 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.}, isbn = {978-0-7695-4381-9}, doi = {10.1109/ICECCS.2011.26}, author = {Anwar, Adil and Dkaki, Taoufiq and Ebersold, Sophie and Coulette, Bernard and Anwar, Adil and Nassar, Mahmoud}, editor = {Perseil, I and Breitman, K and Sterritt, R} }