@conference {ElHamlaoui2022424,
	title = {A Model Based Approach for Generating Modular Manufacturing Control Systems Software},
	booktitle = {Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE},
	year = {2022},
	note = {cited By 0},
	pages = {424-427},
	abstract = {Digitalization is transforming manufacturing systems to become more agile and smart thanks to the integration of sensors and connection technologies that help capture data at all phases of a product{\textquoteright}s life cycle. Digitalization promises to improve manufacturing flexibility, quality, productivity, and reliability. However, there is still a significant need of effective methods to develop models that could enhance the capabilities of manufacturing systems. Formal methods and tools are becoming essential to achieve this objective. Within this context, this paper introduces a formal software solution for the automatic generation of modular manufacturing control systems software. The proposed solution leverages software Model-Based Design (MBD) techniques to reduce development effort, time, and human error by automating several manual steps. {\textcopyright} 2022 Knowledge Systems Institute Graduate School. All rights reserved.},
	keywords = {All phase, Component, Control system software, Control systems, Cybe-physical manufacturing, Cyber Physical System, Cyber physicals, Digital subscriber lines, Embedded systems, formal methods, Grafcet, Industry 4.0, Life cycle, Manufacturing control systems, MDE, Metadata, Model based approach, Modulars},
	doi = {10.18293/SEKE2022-151},
	url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85137161158\&doi=10.18293\%2fSEKE2022-151\&partnerID=40\&md5=3784648e72d7591498aa74fb97896480},
	author = {El Hamlaoui, M. and Qamsane, Y. and Laghouaouta, Y. and Mishra, A.}
}
@article {ElHamlaoui2019167,
	title = {Support cloud SLA establishment using MDE},
	journal = {Lecture Notes in Networks and Systems},
	volume = {49},
	year = {2019},
	note = {cited By 0},
	pages = {167-184},
	doi = {10.1007/978-3-319-97719-5_12},
	url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85063299209\&doi=10.1007\%2f978-3-319-97719-5_12\&partnerID=40\&md5=78747c9999533ac370999a8301a4f99f},
	author = {El Hamlaoui, M. and Fissaa, T. and Laghouaouta, Y. and Nassar, M.}
}
@article {Laghouaouta2017142,
	title = {A dedicated approach for model composition traceability},
	journal = {Information and Software Technology},
	volume = {91},
	year = {2017},
	note = {cited By 0},
	pages = {142-159},
	abstract = {Context: Software systems are often too complex to be expressed by a single model. Recognizing this, the Model Driven Engineering (MDE) proposes multi-modeling approaches to allow developers to describe a system from different perspectives. In this context, model composition has become important since the combination of those partial representations is inevitable. Nevertheless, no approach has been defined for keeping track of the composition effects, and this operation has been overshadowed by model transformations. Objective This paper presents a traceability approach dedicated to the composition of models. Two aspects of quality are considered: producing relevant traces; and dealing with scalability. Method The composition of softgoal trees has been selected to motivate the need for tracing the composition of models and to illustrate our approach. The base principle is to augment the specification of the composition with the behavior needed to generate the expected composed model accompanied with a trace model. This latter includes traces of the execution details. For that, traceability is considered as a crosscutting concern and encapsulated in an aspect. As part of the proposal, an Eclipse plug-in has been implemented as a tool support. Besides, a comparative experiment has been conducted to assess the traces relevance. We also used the regression method to validate the scalability of the tool support. Results Our experiments show that the proposed approach allows generating relevant traces. In addition, the obtained results reveal that tracing a growing number of elements causes an acceptable increase of response time. Conclusion This paper presents a traceability approach dedicated to the composition of models and its application to softgoal trees. The experiment results reveal that our proposal considers the composition specificities for producing valuable traceability information while supporting scalability. {\textcopyright} 2017 Elsevier B.V.},
	doi = {10.1016/j.infsof.2017.07.002},
	url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85021928111\&doi=10.1016\%2fj.infsof.2017.07.002\&partnerID=40\&md5=efd71b14c98f0091be2f0f61bbb50a3f},
	author = {Laghouaouta, Y. and Anwar, A. and Nassar, M. and Coulette, B.}
}
@conference {Essadi2017,
	title = {Operators role-based approach to coordinate between heterogeneous DSLs},
	booktitle = {2017 International Conference on Wireless Technologies, Embedded and Intelligent Systems, WITS 2017},
	year = {2017},
	note = {cited By 0},
	abstract = {Nowadays systems involve many business domains and are consequently designed by teams of experts with different concerns. Every team uses its Domain Specific Language (DSL) to elaborate heterogeneous models describing different parts of the same system. These heterogeneous models need to be coordinated and integrated, to get a whole view of the system, to ease its validation and to uncover inconsistencies between heterogeneous models. However, many approaches and ways of integration has been already explored, one of important approach among them is coordination between DSLs instead of models, doing so coordination became automatic instead of being manual and tailored to every instance of models. Actually, this work fits in this class by giving a classification of DSLs relationships and their respective operators used to resolve DSLs heterogeneity. Moreover, in this paper we consider coordination as a separate role to be given to DSLs meta-classes responsible of coordination. Explicitly, these meta-classes need to override operations defined in the proposed coordination meta-model. As illustrative example, we present a telecommunication network supervision system where two different DSL are involved. {\textcopyright} 2017 IEEE.},
	doi = {10.1109/WITS.2017.7934657},
	url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85021691244\&doi=10.1109\%2fWITS.2017.7934657\&partnerID=40\&md5=39f75645c1fcfbbea42c9bace8a1bbfd},
	author = {Essadi, N. and Anwar, A. and Laghouaouta, Y.}
}
