. Bundesministerium-fr-bildung and . Forschung, Zukunftsprojekt Industrie 4.0, " https, pp.2017-2021

M. Hermann, T. Pentek, and B. Otto, Design Principles for Industrie 4.0 Scenarios, 2016 49th Hawaii International Conference on System Sciences (HICSS), pp.3928-3937, 2016.
DOI : 10.1109/HICSS.2016.488

J. Dregger, J. Niehaus, P. Ittermann, H. Hirsch-kreinsen, and M. , The digitization of manufacturing and its societal challenges: a framework for the future of industrial labor, 2016 IEEE International Symposium on Ethics in Engineering, Science and Technology (ETHICS), pp.1-3, 2016.
DOI : 10.1109/ETHICS.2016.7560045

M. Szvetits and U. Zdun, Systematic literature review of the objectives, techniques, kinds, and architectures of models at runtime, Software & Systems Modeling, vol.28, issue.1, pp.31-69, 2016.
DOI : 10.1007/3-540-36124-3_51

T. Heineck, E. Gonçalves, A. Sousa, M. Oliveira, and J. Castro, Model-Driven Development in Robotics Domain: A Systematic Literature Review, 2016 X Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS), pp.151-160, 2016.
DOI : 10.1109/SBCARS.2016.12

V. H. Mahdavi-hezavehi, D. Durelli, P. Weyns, and . Avgeriou, A systematic literature review on methods that handle multiple quality attributes in architecture-based self-adaptive systems Information and Software Technology, 2017.

S. Keele, Guidelines for performing systematic literature reviews in software engineering, 2007.

K. Petersen, R. Feldt, S. Mujtaba, and M. Mattsson, Systematic Mapping Studies in Software Engineering, EASE, pp.68-77, 2008.

N. Juristo, A. M. Moreno, S. Vegas, and M. Solari, In Search of What We Experimentally Know about Unit Testing, Search of What We Experimentally Know about Unit Testing, pp.72-80, 2006.
DOI : 10.1109/MS.2006.166

M. Jorgensen and M. Shepperd, A Systematic Review of Software Development Cost Estimation Studies, IEEE Transactions on Software Engineering, vol.33, issue.1, pp.33-53, 2007.
DOI : 10.1109/TSE.2007.256943

A. C. Liborg, A Survey of Controlled Experiments in Software Engineering, IEEE Trans. Softw. Eng, vol.31, issue.9, pp.733-753, 2005.

J. Bailey, D. Budgen, M. Turner, B. Kitchenham, P. Brereton et al., Evidence relating to Object-Oriented software design: A survey, First International Symposium on Empirical Software Engineering and Measurement (ESEM 2007)
DOI : 10.1109/ESEM.2007.58

C. Zhang and D. Budgen, What Do We Know about the Effectiveness of Software Design Patterns?, IEEE Transactions on Software Engineering, vol.38, issue.5, pp.1213-1231, 2012.
DOI : 10.1109/TSE.2011.79

R. Pretorius and D. Budgen, A mapping study on empirical evidence related to the models and forms used in the uml, Proceedings of the Second ACM-IEEE international symposium on Empirical software engineering and measurement, ESEM '08, pp.342-344, 2008.
DOI : 10.1145/1414004.1414076

N. Condori-fernandez, M. Daneva, K. Sikkel, R. Wieringa, O. Dieste et al., A systematic mapping study on empirical evaluation of software requirements specifications techniques, 2009 3rd International Symposium on Empirical Software Engineering and Measurement, 2009.
DOI : 10.1109/ESEM.2009.5314232

E. Engström and P. Runeson, Software product line testing ??? A systematic mapping study, Information and Software Technology, vol.53, issue.1, pp.2-13, 2011.
DOI : 10.1016/j.infsof.2010.05.011

M. A. Laguna and Y. Crespo, A systematic mapping study on software product line evolution: From legacy system reengineering to product line refactoring, Science of Computer Programming, vol.78, issue.8, pp.1010-1034, 2013.
DOI : 10.1016/j.scico.2012.05.003

T. Kosar, S. Bohra, and M. Mernik, Domain-Specific Languages: A Systematic Mapping Study, Information and Software Technology, vol.71, pp.77-91, 2016.
DOI : 10.1016/j.infsof.2015.11.001

A. Mehmood and D. N. Jawawi, Aspect-oriented model-driven code generation: A systematic mapping study, special Section: Component-Based Software Engineering (CBSE), pp.395-411, 2011.
DOI : 10.1016/j.infsof.2012.09.003

B. Vogel-heuser and D. Hess, Guest Editorial Industry 4.0???Prerequisites and Visions, IEEE Transactions on Automation Science and Engineering, vol.13, issue.2, pp.411-413, 2016.
DOI : 10.1109/TASE.2016.2523639

P. J. Mosterman and J. Zander, Cyber-physical systems challenges: a needs analysis for collaborating embedded software systems, Software & Systems Modeling, vol.21, issue.3, pp.5-16, 2016.
DOI : 10.1109/TPDS.2009.67

A. Khan and K. Turowski, A Survey of Current Challenges in Manufacturing Industry and Preparation for Industry 4.0, Proceedings of the First International Scientific Conference on Intelligent Information Technologies for Industry (IITI'16), pp.15-26, 2016.
DOI : 10.1007/978-3-319-33609-1_2

A. J. Trappey, C. V. Trappey, U. H. Govindarajan, J. J. Sun, and A. C. Chuang, A Review of Technology Standards and Patent Portfolios for Enabling Cyber-Physical Systems in Advanced Manufacturing, IEEE Access, vol.4, pp.7356-7382, 2016.
DOI : 10.1109/ACCESS.2016.2619360

M. Hermann, T. Pentek, and B. Otto, Design Principles for Industrie 4.0 Scenarios, 2016 49th Hawaii International Conference on System Sciences (HICSS), pp.3928-3937, 2016.
DOI : 10.1109/HICSS.2016.488

Y. Lu, Industry 4.0: A survey on technologies, applications and open research issues, Journal of Industrial Information Integration, vol.6, 2017.
DOI : 10.1016/j.jii.2017.04.005

L. M. Do-nascimento, D. L. Viana, P. A. Neto, D. A. Martins, V. C. Garcia et al., A systematic mapping study on domain-specific languages, The Seventh International Conference on Software Engineering Advances, pp.2012-179, 2012.

]. B. Kitchenham, O. P. Brereton, D. Budgen, M. Turner, J. Bailey et al., Systematic literature reviews in software engineering ??? A systematic literature review, special Section -Most Cited Articles in 2002 and Regular Research Papers, pp.7-15, 2009.
DOI : 10.1016/j.infsof.2008.09.009

D. Budgen, M. Turner, P. Brereton, and B. Kitchenham, Using mapping studies in software engineering, Proceedings of PPIG, pp.195-204, 2008.

J. R. Gisbert, C. Palau, M. Uriarte, G. Prieto, J. A. Palazón et al., Integrated system for control and monitoring industrial wireless networks for labor risk prevention, Journal of Network and Computer Applications, vol.39, pp.233-252, 2014.
DOI : 10.1016/j.jnca.2013.07.014

S. Stemmler, M. Reiter, and D. Abel, Model predictive control as a module for autonomously running complex plastics production processes, International Polymer Science and Technology, vol.41, issue.12, p.1, 2014.

P. Lahire, D. Parigot, and E. Tundrea, SMARTFACTORY -an Implementation of the Domain Driven Development Approach, SACI2004, 1st Romanian-Hungarian Joint Symposium on Applied Computational Intelligence, p.6, 2004.

M. A. Pisching, F. Junqueira, D. J. Filho, and P. E. Miyagi, Service Composition in the Cloud-Based Manufacturing Focused on the Industry 4.0, pp.65-72, 2015.
DOI : 10.1007/978-3-319-16766-4_7

URL : https://hal.archives-ouvertes.fr/hal-01343466

D. Strang and R. Anderl, Assembly process driven component data model in cyber-physical production systems, Proceedings of the World Congress on Engineering and Computer Science, 2014.

C. Constantinescu, D. Matarazzo, D. Dienes, E. Francalanza, and M. Bayer, Modeling of System Knowledge for Efficient Agile Manufacturing: Tool Evaluation, Selection and Implementation Scenario in SMEs, Procedia CIRP, vol.25, pp.246-252, 2014.
DOI : 10.1016/j.procir.2014.10.035

S. Bergmann and S. Straßburger, On the use of the Core Manufacturing Simulation Data (CMSD) standard: experiences and recommendations, Fall Simulation Interoperability Workshop 2015 (SIW), 2015.

L. W. Lacy, OWL: Representing information using the web ontology language, 2005.

C. Bscher, H. Voet, M. Krunke, P. Burggrf, T. Meisen et al., Semantic Information Modelling for Factory Planning Projects, Procedia CIRP, vol.41, pp.478-483, 2016.
DOI : 10.1016/j.procir.2015.12.022

Q. Zhang, Y. Liu, and Z. Zhang, A new method for automatic optimization of drawbead geometry in the sheet metal forming process based on an iterative learning control model, The International Journal of Advanced Manufacturing Technology, vol.187, issue.188, pp.1-17, 2016.
DOI : 10.1016/j.camwa.2011.07.023

M. Lütjen, H. Kreowski, M. Franke, K. Thoben, and M. Freitag, Model-driven Logistics Engineering ??? Challenges of Model and Object Transformation, Procedia Technology, vol.15, pp.303-312, 2014.
DOI : 10.1016/j.protcy.2014.09.084

J. Du, Q. He, and X. Fan, Automating generation of the assembly line models in aircraft manufacturing simulation, Assembly and Manufacturing (ISAM), 2013 IEEE International Symposium on. IEEE, pp.155-159, 2013.

N. Medvidovic and R. N. Taylor, A classification and comparison framework for software architecture description languages, IEEE Transactions on Software Engineering, vol.26, issue.1, 2000.
DOI : 10.1109/32.825767

URL : https://hal.archives-ouvertes.fr/hal-00444077

R. Drath, A. Luder, J. Peschke, and L. Hundt, AutomationML - the glue for seamless automation engineering, 2008 IEEE International Conference on Emerging Technologies and Factory Automation, pp.616-623, 2008.
DOI : 10.1109/ETFA.2008.4638461

U. Kannengiesser and H. Müller, Towards Agent-Based Smart Factories: A Subject-Oriented Modeling Approach, 2013 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT), pp.83-86, 2013.
DOI : 10.1109/WI-IAT.2013.155

C. T. Sungur, U. Breitenbücher, F. Leymann, and M. Wieland, Context-sensitive Adaptive Production Processes, Procedia CIRP, vol.41, pp.147-152, 2016.
DOI : 10.1016/j.procir.2015.12.076

URL : http://doi.org/10.1016/j.procir.2015.12.076

J. Michaloski, F. Proctor, J. Arinez, and J. Berglund, Toward the Ideal of Automating Production Optimization, Volume 2A: Advanced Manufacturing, pp.2-02, 2013.
DOI : 10.1115/IMECE2013-63546

M. A. Rashid, H. Qureshi, and N. Khan, ERP Life-cycle Management for Aerospace Smart Factory: A Multi-disciplinary Approach, International Journal of Computer Applications, vol.26, issue.11, 2011.

F. Long, P. Zeiler, and B. Bertsche, Potentials of coloured Petri nets for realistic availability modelling of production systems in industry 4.0, Proceedings of the ESREL 2015
DOI : 10.1201/b19094-585

S. Mechs, S. Grimm, D. Beyer, and S. Lamparter, Evaluation of prediction accuracy for energy-efficient switching of automation facilities, IECON 2013, 39th Annual Conference of the IEEE Industrial Electronics Society, pp.6928-6933, 2013.
DOI : 10.1109/IECON.2013.6700281

A. Hoffmann, A. Angerer, A. Schierl, M. Vistein, and W. Reif, Service-oriented robotics manufacturing by reasoning about the scene graph of a robotics cell, ISR 41st International Symposium on Robotics; Proceedings of. VDE, pp.1-8, 2014.

M. Loskyll, I. Heck, J. Schlick, and M. Schwarz, Context-Based Orchestration for Control of Resource-Efficient Manufacturing Processes, Future Internet, vol.1, issue.4, pp.737-761, 2012.
DOI : 10.1007/11537847_11

D. Holz, A. Topalidou-kyniazopoulou, F. Rovida, M. R. Pedersen, V. Krüger et al., A skill-based system for object perception and manipulation for automating kitting tasks, 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA), pp.1-9, 2015.
DOI : 10.1109/ETFA.2015.7301453

B. Vogel-heuser, S. Rösch, J. Fischer, T. Simon, S. Ulewicz et al., Fault Handling in PLC-Based Industry 4.0 Automated Production Systems as a Basis for Restart and Self-Configuration and Its Evaluation, Journal of Software Engineering and Applications, vol.09, issue.01, p.1, 2016.
DOI : 10.4236/jsea.2016.91001

K. Alexopoulos, S. Makris, V. Xanthakis, K. Sipsas, and G. Chryssolouris, A concept for context-aware computing in manufacturing: the white goods case, International Journal of Computer Integrated Manufacturing, vol.26, issue.11, pp.839-849, 2016.
DOI : 10.1080/0951192X.2013.874589

E. Irisarri, M. V. García, F. Pérez, E. Estévez, and M. Marcos, A model-based approach for process monitoring in oil production industry, 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA), pp.1-4, 2016.
DOI : 10.1109/ETFA.2016.7733633

D. S. Aleksi´caleksi´c, D. S. Jankovi´cjankovi´c, and L. V. Stoimenov, A case study on the object-oriented framework for modeling product families with the dominant variation of the topology in the one-of-a-kind production, The International Journal of Advanced Manufacturing Technology, vol.16, issue.17, pp.397-412, 2012.
DOI : 10.1080/00207540500137530

M. V. García, E. Irisarri, F. Pérez, E. Estévez, and M. Marcos, OPC-UA communications integration using a CPPS architecture, 2016 IEEE Ecuador Technical Chapters Meeting (ETCM), pp.1-6, 2016.
DOI : 10.1109/ETCM.2016.7750838

M. Bergert, C. Diedrich, J. Kiefer, and T. Bar, Automated PLC software generation based on standardized digital process information, " in Emerging Technologies and Factory Automation, pp.352-359, 2007.
DOI : 10.1109/efta.2007.4416789

D. Schubert, C. Heinzemann, and C. Gerking, Towards Safe Execution of Reconfigurations in Cyber-Physical Systems, 2016 19th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE), pp.33-38, 2016.
DOI : 10.1109/CBSE.2016.10

A. Mazak and C. Huemer, A standards framework for value networks in the context of Industry 4.0, 2015 IEEE International Conference on Industrial Engineering and Engineering Management (IEEM), pp.1342-1346, 2015.
DOI : 10.1109/IEEM.2015.7385866

K. Thramboulidis and F. Christoulakis, UML4IoT???A UML-based approach to exploit IoT in cyber-physical manufacturing systems, Computers in Industry, vol.82, pp.259-272, 2016.
DOI : 10.1016/j.compind.2016.05.010

A. Thoma, B. Kormann, and B. Vogel-heuser, Fault-centric system modeling using SysML for reliability testing, Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012), pp.1-8, 2012.
DOI : 10.1109/ETFA.2012.6489543

S. Feldmann, S. J. Herzig, K. Kernschmidt, T. Wolfenstetter, D. Kammerl et al., Towards Effective Management of Inconsistencies in Model-Based Engineering of Automated Production Systems, IFAC-PapersOnLine, vol.48, issue.3, pp.916-923, 2015.
DOI : 10.1016/j.ifacol.2015.06.200

O. Berndt, U. F. Lukas, and A. Kuijper, Functional Modelling And Simulation Of Overall System Ship ??? Virtual Methods For Engineering And Commissioning In Shipbuilding, ECMS 2015 Proceedings edited by: Valeri M. Mladenov, Petia Georgieva, Grisha Spasov, Galidiya Petrova, pp.347-353, 2015.
DOI : 10.7148/2015-0347

E. Negri, L. Fumagalli, M. Garetti, and L. Tanca, Requirements and languages for the semantic representation of manufacturing systems, Computers in Industry, vol.81, pp.55-66, 2016.
DOI : 10.1016/j.compind.2015.10.009

O. Harcuba and P. Vrba, Ontologies for flexible production systems, 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA), pp.1-8, 2015.
DOI : 10.1109/ETFA.2015.7301482

T. Divoux, E. Rondeau, and F. Lepage, Using the EXPRESS language as a reference interface to define MMS communication, Journal of Intelligent Manufacturing, vol.8, issue.1, pp.59-66, 1997.
DOI : 10.1023/A:1018544418379

B. Kádár, W. Terkaj, and M. Sacco, Semantic Virtual Factory supporting interoperable modelling and evaluation of production systems, CIRP Annals - Manufacturing Technology, vol.62, issue.1, pp.443-446, 2013.
DOI : 10.1016/j.cirp.2013.03.045

R. Petrasch and R. Hentschke, Process modeling for industry 4.0 applications: Towards an industry 4.0 process modeling language and method, 2016 13th International Joint Conference on Computer Science and Software Engineering (JCSSE), pp.1-5, 2016.
DOI : 10.1109/JCSSE.2016.7748885

M. Schneider, T. Mittag, and J. Gausemeier, Modeling Language for Value Networks International Association for Management of Technology (IAMOT), 25th International Association for Management of Technology Conference Proceedings, ser. 25th International Association for Management of Technology Conference, pp.94-110

M. Lütjen and D. , GRAMOSA framework for graphical modelling and simulation-based analysis of complex production processes, The International Journal of Advanced Manufacturing Technology, vol.55, issue.1-4, pp.171-181, 2015.
DOI : 10.1016/S0007-8506(07)60134-6

M. M. Merkumians, M. Baierling, and G. Schitter, A service-oriented domain specific language programming approach for batch processes, 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA), pp.1-9, 2016.
DOI : 10.1109/ETFA.2016.7733729

O. Niggemann, A. Maier, and J. Jasperneite, Model-based Development of Automation Systems, MBEES, pp.45-54, 2010.

H. Kern, F. Stefan, and V. Dimitrieski, Intelligent and self-adapting integration between machines and information systems, IADIS International Journal on Computer Science & Information Systems, vol.10, issue.1, 2015.

D. Chen, A. Maffei, J. Ferreirar, H. Akillioglu, M. R. Khabazzi et al., A Virtual Environment for the Management and Development of Cyber-Physical Manufacturing Systems, IFAC-PapersOnLine, vol.48, issue.7, pp.29-36, 2015.
DOI : 10.1016/j.ifacol.2015.06.469

D. Chen, D. V. Panfilenko, M. R. Khabbazi, and D. Sonntag, A model-based approach to qualified process automation for anomaly detection and treatment, 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA), pp.1-8, 2016.
DOI : 10.1109/ETFA.2016.7733731

O. Kovalenko, M. Wimmer, M. Sabou, A. Lüder, F. J. Ekaputra et al., Modeling AutomationML: Semantic Web technologies vs. Model-Driven Engineering, 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA), pp.1-4, 2015.
DOI : 10.1109/ETFA.2015.7301643

J. Wollert and M. Lehne, Modeling for Ship Design and Production, 1991 Ship Production Symposium Proceedings: Building the Ships and Boats of 2010-The Way Forward, pp.1-9, 1991.