New Trends in Model and Data Engineering: MEDI 2019 International Workshops, DETECT, DSSGA, TRIDENT, Toulouse, France, October 28–31, 2019, Proceedings

Today we are living a new industrial revolution, which has its origin in the vertiginous deployment of ICT technologies that have been pervasively deployed at all levels of the modern society. This new industrial revolution, known as Industry 4.0, evolves within the context of a totally connected Cyber-Physic world in which organizations face immeasurable challenges related to the proper exploitation of ICT technologies to create and innovate in order to develop the intelligent products and services of tomorrow’s society. This paper introduces a semantic-driven architecture intended to design, develop and manage Industry 4.0 systems by incrementally integrating monitoring, analysis, planning and management capabilities within autonomic processes able to coordinate and orchestrate Cyber-Physical Systems (CPS). This approach is also intended to cope with the integrability and interoperability challenges of the heterogeneous actors of the Internet of Everything (people, things, data and services) involved in the CPS of the Industry 4.0.

[1]  Faiza Belala,et al.  Formal modelling and verifying elasticity strategies in cloud systems , 2019, IET Softw..

[2]  Vegard Engen,et al.  The Interplay Between Human and Machine Agency , 2017, HCI.

[3]  Fabienne Boyer,et al.  Architectural Model and Planification Algorithm for the Self-Management of Elastic Cloud Applications , 2014, 2014 International Conference on Cloud and Autonomic Computing.

[4]  Carlo Ghezzi,et al.  Towards the formalization of properties of cloud-based elastic systems , 2014, PESOS 2014.

[5]  Thai Son Hoang,et al.  Rodin: an open toolset for modelling and reasoning in Event-B , 2010, International Journal on Software Tools for Technology Transfer.

[6]  Colin F. Snook,et al.  Diagram-Led Formal Modelling Using iUML-B for Hybrid ERTMS Level 3 , 2018, ABZ.

[7]  David Sinreich,et al.  An architectural blueprint for autonomic computing , 2006 .

[8]  Mourad Amziani,et al.  Modeling, evaluation and provisioning of elastic service-based business processes in the cloud. (Modélisation, évaluation et mise en oeuvre de l'élasticité des applications à base de services dans le cloud) , 2015 .

[9]  G. Loewenstein,et al.  Privacy and human behavior in the age of information , 2015, Science.

[10]  Colin F. Snook,et al.  Behaviour-Driven Formal Model Development , 2018, ICFEM.

[11]  Thomas Ledoux,et al.  Experimental Analysis on Autonomic Strategies for Cloud Elasticity , 2015, 2015 International Conference on Cloud and Autonomic Computing.

[12]  Julie A. McCann,et al.  A survey of autonomic computing—degrees, models, and applications , 2008, CSUR.

[13]  Mahantapas Kundu,et al.  Handwritten isolated Bangla compound character recognition: A new benchmark using a novel deep learning approach , 2017, Pattern Recognit. Lett..

[14]  R. Lewicki,et al.  Trust, trust development, and trust repair. , 2000 .

[15]  Faiza Belala,et al.  Modeling and Evaluating Cross-layer Elasticity Strategies in Cloud Systems , 2018, MEDI.

[16]  Dana Dghaym,et al.  Formal Model Validation Through Acceptance Tests , 2019, RSSRail.

[17]  Philippe Merle,et al.  Autonomic Vertical Elasticity of Docker Containers with ELASTICDOCKER , 2017, 2017 IEEE 10th International Conference on Cloud Computing (CLOUD).

[18]  Jimmy Ba,et al.  Adam: A Method for Stochastic Optimization , 2014, ICLR.

[19]  Christel Baier,et al.  Principles of model checking , 2008 .

[20]  Narciso Martí-Oliet,et al.  Maude: specification and programming in rewriting logic , 2002, Theor. Comput. Sci..

[21]  B. Sparks,et al.  The impact of online reviews on hotel booking intentions and perception of trust. , 2011 .

[22]  Samuel Kounev,et al.  Elasticity in Cloud Computing: What It Is, and What It Is Not , 2013, ICAC.

[23]  Narciso Martí-Oliet,et al.  All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic , 2007, All About Maude.

[24]  Alya Mlaiki,et al.  Trust as an Organizing Principle in Offshoring Intercultural Relationships , 2008, MCIS.