@conference { ISI:000390313000030,
	title = {Integrating SysML with simulation environments (Simulink) by model transformation approach},
	booktitle = {2016 IEEE 25TH INTERNATIONAL CONFERENCE ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES (WETICE)},
	year = {2016},
	note = {25th IEEE International Conference on Enabling Technologies - Infrastructure for Collaborative Enterprises (WETICE), Paris, FRANCE, JUN 13-15, 2016},
	pages = {148-150},
	publisher = {IEEE; IEEE Comp Soc Techl Council Software Engn; West Virginia Univ, CERC; Paris Sch Business; CNRS Samovar Res Lab; Telecom SudParis, Inst Mines Telecom; Paris Sch Business Res Lab; Olab Dynam; eFrei Groupe},
	organization = {IEEE; IEEE Comp Soc Techl Council Software Engn; West Virginia Univ, CERC; Paris Sch Business; CNRS Samovar Res Lab; Telecom SudParis, Inst Mines Telecom; Paris Sch Business Res Lab; Olab Dynam; eFrei Groupe},
	abstract = {In system-level design, descriptive system models seem to be insufficient in order to perform a system verification which fulfils various stakeholders requirements. This fact is accentuated by the increasing complexity of system engineering projects and, as a consequence, the difficulties to deal with both their coordination and traceability. Even if SysML (System Modeling Language) is considered as a flexible and standard tool for system engineering, using only descriptive models are insufficient for system behavior verifications. To deal with this concern, simulation environments (i.e. MATLAB/Simulink) allow verifying if the system preliminary design satisfies requirements or not. As a consequence, various research works have been centered on combining the potential of both SysML modeling and simulation tools. This paper proposes an integration approach based on metamodeling and model transformations to generate Simulink models from SysML diagrams. This approach is handled by models and modern techniques of MDE (ModelDriven Engineering).},
	isbn = {978-1-5090-1663-1},
	doi = {10.1109/WETICE.2016.39},
	author = {Chabibi, Bassim and Douche, Abdelilah and Anwar, Adil and Nassar, Mahmoud},
	editor = {Reddy, SM and Gaaloul, W}
}
@conference { ISI:000386352000004,
	title = {Operator-Based Coordination between Heterogeneous DSLs : Case of Telecommunication Network Supervision},
	booktitle = {2016 INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY FOR ORGANIZATIONS DEVELOPMENT (IT4OD)},
	year = {2016},
	note = {International Conference on Information Technology for Organizations Development (IT4OD), USMBA Univ, ENSA Fez, ERSI Lab, Fez, MOROCCO, MAR 30-APR 01, 2016},
	publisher = {Natl Sch Appl Sci Fez; Univ Sidi Mohamed Ben Abdellah; FST Fez; Fac Sci Fez; Lab Renewable Energies \& Intelligent Syst; Assoc ANRITE; CNRST; IEEE Morocco Sect; IEEE Advancing Technol Human},
	organization = {Natl Sch Appl Sci Fez; Univ Sidi Mohamed Ben Abdellah; FST Fez; Fac Sci Fez; Lab Renewable Energies \& Intelligent Syst; Assoc ANRITE; CNRST; IEEE Morocco Sect; IEEE Advancing Technol Human},
	abstract = {Coordination between heterogeneous DSLs is needed more and more to overcome complexity of modern systems involving many business domains. This article gives a definition of heterogeneity, coordination and a classification of possible relationships between DSLs. Then, propose coordination operators to resolve heterogeneity accordingly with precedent works. As illustrative example, the paper presents a telecommunication network supervision system where two different DSLs: DSL ANS.1 and DSL supervision need to be coordinated, an operator of structural mapping has been used to coordinate between the two DSLs.},
	isbn = {978-1-4673-7689-1},
	author = {Essadi, Naima and Anwar, Adil and Mahmoud, Nassar}
}
@article {10001634720141101,
	title = {A Graph Based Approach to Trace Models Composition.},
	journal = {Journal of Software (1796217X)},
	volume = {9},
	number = {11},
	year = {2014},
	pages = {2813 - 2822},
	abstract = {A model driven engineering process involves different and heterogeneous models that represent various perspectives of the system under development. The model composition operation allows combining those sub-models into an integrated view, but remains a tedious activity. For that, traceability information must be maintained to comprehend the composition effects and better manage the operation itself. Against this context, the current paper describes a framework for model composition traceability. We consider the traces generation concern as a crosscutting concern where the weaving mechanism is performed using graph transformations. A composition specification case study is presented to illustrate our contribution. [ABSTRACT FROM AUTHOR]},
	keywords = {aspect oriented modeling, Computer engineering, Computer simulation, Graph theory, graph transformation, Heterogeneous computing, Information theory, model composition, model transformation, traceability},
	issn = {1796217X},
	url = {http://search.ebscohost.com/login.aspx?direct=true\&db=iih\&AN=100016347\&site=ehost-live},
	author = {Laghouaouta, Youness and Anwar, Adil and Nassar, Mahmoud and Coulette, Bernard}
}
@conference { ISI:000341079600033,
	title = {A Traceability Approach for Model Composition},
	booktitle = {2013 ACS INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS (AICCSA)},
	year = {2013},
	note = {IEEE and Arab-Computing-Society (ACS) International Conference on Computer Systems and Applications (AICCSA), Al Akhawayn Univ, Ifrane, MOROCCO, MAY 27-30, 2013},
	publisher = {IEEE; Arab Comp Soc},
	organization = {IEEE; Arab Comp Soc},
	abstract = {Model composition is one of the important activities in model driven engineering, because complex systems are built based on several viewpoints. The composition operation is a tedious task, however, traceability not only provides us with the tool to comprehend its effects, but also helps us to better manage the operation itself. This paper suggests a traceability framework for the model composition operation based on aspect oriented modeling and graph transformation. The generated trace models conform to a generic metamodel that allows representing nested trace links. A merge specification case study is presented to illustrate our contribution.},
	isbn = {978-1-4799-0792-2},
	author = {Laghouaouta, Youness and Anwar, Adil and Nassar, Mahmoud}
}
@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}
}
@conference { ISI:000271458300071,
	title = {Code Generation in VUML Profile: A Model Driven Approach},
	booktitle = {2009 IEEE/ACS INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS, VOLS 1 AND 2},
	year = {2009},
	note = {7th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA-09), Rabat, MOROCCO, MAY 10-OCT 13, 2009},
	pages = {412-419},
	publisher = {ACS; IEEE},
	organization = {ACS; IEEE},
	abstract = {VUML is a view-based analysis/design method offering a formalism (UML profile) and a process to model software systems through objects and views. The main extension to UML is the multiview class whose goal is to store and deliver information according to the user{\textquoteright}s viewpoint. VUML supports the dynamic change of viewpoints and offers mechanisms to describe view dependencies. On the semantics side, the VUML meta-model extends the UML one with OCL rules. VUML proposes also a generic implementation pattern to generate the object code corresponding to a VUML class diagram. The proposed pattern uses delegation, handle technique and polymorphism. to implement views. In this paper, we present a model driven implementation of this pattern, which integrates the multi-user aspect and supports Java language. We propose a code generation technique that respects the pattern and uses the MDA approach. We specify transformations as a collection of rules implemented in ATL. The proposal is illustrated by a simple example.},
	isbn = {978-1-4244-3807-5},
	doi = {10.1109/AICCSA.2009.5069358},
	author = {Nassar, Mahmoud and Anwar, Adil and Ebersold, Sophie and Elasri, Bouchra and Coulette, Bernard and Kriouile, Abdelaziz}
}
