Current trends on ICT technologies for enterprise information s²ystems

The proposed paper discusses the current trends on ICT technologies for Enterprise Information Systems. The paper starts by defining four big challenges of the next generation of information systems: (1) Data Value Chain Management; (2) Context Awareness; (3) Interaction and Visualization; and (4) Human Learning. The major contributions towards the next generation of information systems are elaborated based on the work and experience of the authors and their teams. This includes: (1) Ontology based solutions for semantic interoperability; (2) Context aware infrastructures; (3) Product Avatar based interactions; and (4) Human learning. Finally the current state of research is discussed highlighting the impact of these solutions on the economic and social landscape

Automated Validation of State-Based Client-Centric Isolation with TLA ⁺

Clear consistency guarantees on data are paramount for the design and implementation of distributed systems. When implementing distributed applications, developers require approaches to verify the data consistency guarantees of an implementation choice. Crooks et al. define a state-based and client-centric model of database isolation. This paper formalizes this state-based model in, reproduces their examples and shows how to model check runtime traces and algorithms with this formalization. The formalized model in enables semi-automatic model checking for different implementation alternatives for transactional operations and allows checking of conformance to isolation levels. We reproduce examples of the original paper and confirm the isolation guarantees of the combination of the well-known 2-phase locking and 2-phase commit algorithms. Using model checking this formalization can also help finding bugs in incorrect specifications. This improves feasibility of automated checking of isolation guarantees in synthesized synchronization implementations and it provides an environment for experimenting with new designs.</p

A Knowledge Graph Based Integration Approach for Industry 4.0

The fourth industrial revolution, Industry 4.0 (I40) aims at creating smart factories employing among others Cyber-Physical Systems (CPS), Internet of Things (IoT) and Artificial Intelligence (AI). Realizing smart factories according to the I40 vision requires intelligent human-to-machine and machine-to-machine communication. To achieve this communication, CPS along with their data need to be described and interoperability conflicts arising from various representations need to be resolved. For establishing interoperability, industry communities have created standards and standardization frameworks. Standards describe main properties of entities, systems, and processes, as well as interactions among them. Standardization frameworks classify, align, and integrate industrial standards according to their purposes and features. Despite being published by official international organizations, different standards may contain divergent definitions for similar entities. Further, when utilizing the same standard for the design of a CPS, different views can generate interoperability conflicts. Albeit expressive, standardization frameworks may represent divergent categorizations of the same standard to some extent, interoperability conflicts need to be resolved to support effective and efficient communication in smart factories. To achieve interoperability, data need to be semantically integrated and existing conflicts conciliated. This problem has been extensively studied in the literature. Obtained results can be applied to general integration problems. However, current approaches fail to consider specific interoperability conflicts that occur between entities in I40 scenarios. In this thesis, we tackle the problem of semantic data integration in I40 scenarios. A knowledge graphbased approach allowing for the integration of entities in I40 while considering their semantics is presented. To achieve this integration, there are challenges to be addressed on different conceptual levels. Firstly, defining mappings between standards and standardization frameworks; secondly, representing knowledge of entities in I40 scenarios described by standards; thirdly, integrating perspectives of CPS design while solving semantic heterogeneity issues; and finally, determining real industry applications for the presented approach. We first devise a knowledge-driven approach allowing for the integration of standards and standardization frameworks into an Industry 4.0 knowledge graph (I40KG). The standards ontology is used for representing the main properties of standards and standardization frameworks, as well as relationships among them. The I40KG permits to integrate standards and standardization frameworks while solving specific semantic heterogeneity conflicts in the domain. Further, we semantically describe standards in knowledge graphs. To this end, standards of core importance for I40 scenarios are considered, i.e., the Reference Architectural Model for I40 (RAMI4.0), AutomationML, and the Supply Chain Operation Reference Model (SCOR). In addition, different perspectives of entities describing CPS are integrated into the knowledge graphs. To evaluate the proposed methods, we rely on empirical evaluations as well as on the development of concrete use cases. The attained results provide evidence that a knowledge graph approach enables the effective data integration of entities in I40 scenarios while solving semantic interoperability conflicts, thus empowering the communication in smart factories

Towards Sketching Interfaces for Multi-Paradigm Modeling

International audienceExisting design processes typically begin with informal ideation by sketching out a basic approach that can be further developed into a more complete design. Although intuitively simple, and seemingly informal, the sketching process is actually a structured activity that strongly influences the design of the system; hence, it has an important role in the design success. In this work, we develop a well defined specification of the sketching activity. We consider sketching as a process of achieving agreement, based on stakeholders communicating ideas about a design and its properties, with the side-effect of incrementally developing a (set of) common language(s) specific to the idea domain. Our perspective on sketching further differs from more common notions of ideation by noting the roles of requirements and system properties, and offering a general perspective on sketching as a modular activity within design. We validate our approach by analyzing the sketches of a research group at the CAMPaM 2019 workshop. By recognizing sketching as a fundamental activity in design, we enhance the formalization of the design process, and suggest improvements to the tool support for sketching beyond the basic drawing features

Study applying simulation to improve a real production process in the context of Industry 4.0

During the thesis development, simulation theories and techniques will be applied to a part of the production process of an Italian manufacturing company. A simulation model of the steaming and washing phases will be developed to outline the automated and manual procedures that are performed in the AS-IS state. Several what-if scenarios will be then envisioned and simulated to analyze how the production activities could be re-engineered in the light of the new technological advancements, such as the introduction of full traceability

System of Systems Lifecycle Management: A New Concept Based on Process Engineering Methodologies

In order to tackle interoperability issues of large-scale automation systems, SOA (Service-Oriented Architecture) principles, where information exchange is manifested by systems providing and consuming services, have already been introduced. However, the deployment, operation, and maintenance of an extensive SoS (System of Systems) mean enormous challenges for system integrators as well as network and service operators. The existing lifecycle management approaches do not cover all aspects of SoS management; therefore, an integrated solution is required. The purpose of this paper is to introduce a new lifecycle approach, namely the SoSLM (System of Systems Lifecycle Management). This paper first provides an in-depth description and comparison of the most relevant process engineering methodologies and ITSM (Information Technology Service Management) frameworks, and how they affect various lifecycle management strategies. The paper’s novelty strives to introduce an Industry 4.0-compatible PLM (Product Lifecycle Management) model and to extend it to cover SoS management-related issues on well-known process engineering methodologies. The presented methodologies are adapted to the PLM model, thus creating the recommended SoSLM model. This is supported by demonstrations of how the IIoT (Industrial Internet of Things) applications and services can be developed and handled. Accordingly, complete implementation and integration are presented based on the proposed SoSLM model, using the Arrowhead framework that is available for IIoT SoS. View Full-Tex

Literature review: Simulation approach in production systems for implementing Industry 4.0

Industry 4.0 is one of the novel paradigms and the most talking topics in the recent years, there are many resources about it in literature for almost all the industry sector. Industry 4.0 is defined as the fourth industrial revolution, because it provides a wide and new range of possibilities to the Industry. Recent advances and trends of some key technologies such as actuators, sensors, cloud computing and big data analytics make Industry 4.0 possible. Industry 4.0 is a broad subject and there are many concepts related to it for example, cyber physical systems, smart factory and Internet of Things, etc. Industry 4.0 brings many benefits and challenges, together. In order to eliminate these challenges and increase the benefits of Industry 4.0 implementation, simulation modeling of a system is a one of key approaches using in literature for decision making and provides many other possibilities. This study aims to state possibilities of using simulation approach for implementing Industry 4.0 in production systems by reviewing literature. Simulation have used in industry since the third industry revolution but it has to be effective and dynamic after the forth industrial revolution due to the huge amount of data collected from products, processes, machines and devices. The current study started with the investigation of Industry 4.0 paradigm, its technologies and challenges. Then, simulation approach and its types are defined. Finally, Literature was also reviewed according to defined literature review methodology. The results showed that the simulation approach is very useful to eliminate the challenges of the Industry 4.0 implementation. Furthermore, simulation and new technologies (e.g. Virtual Reality), together, can be used to meet visualization requirements of Industry 4.0. Simulation also provides validation of proposed algorithms for Industry 4.0 implementation

Contracts for System Design

Systems design has become a key challenge and differentiating factor over the last decades for system companies. Aircrafts, trains, cars, plants, distributed telecommunication military or health care systems, and more, involve systems design as a critical step. Complexity has caused system design times and costs to go severely over budget so as to threaten the health of entire industrial sectors. Heuristic methods and standard practices do not seem to scale with complexity so that novel design methods and tools based on a strong theoretical foundation are sorely needed. Model-based design as well as other methodologies such as layered and compositional design have been used recently but a unified intellectual framework with a complete design flow supported by formal tools is still lacking albeit some attempts at this framework such as Platform-based Design have been successfully deployed. Recently an "orthogonal" approach has been proposed that can be applied to all methodologies proposed thus far to provide a rigorous scaffolding for verification, analysis and abstraction/refinement: contractbased design. Several results have been obtained in this domain but a unified treatment of the topic that can help in putting contract-based design in perspective is still missing. This paper intends to provide such treatment where contracts are precisely defined and characterized so that they can be used in design methodologies such as the ones mentioned above with no ambiguity. In addition, the paper provides an important link between interfaces and contracts to show similarities and correspondences. Examples of the use of contracts in design are provided as well as in depth analysis of existing literature.Cet article fait le point sur le concept de contrat pour la conception de systèmes. Les contrats que nous proposons portent, non seulement sur des propriétés de typage de leurs interfaces, mais incluent une description abstraite de comportements. Nous proposons une méta-théorie, ou, si l'on veut, une théorie générique des contrats, qui permet le développement séparé de sous-systèmes. Nous montrons que cette méta-théorie se spécialise en l'une ou l'autre des théories connues

Hybrid modeling to support the smart manufacturing: concepts, theoretic contributions and real-case applications about Hybrid and Wisdom-based Systems

L'abstract è presente nell'allegato / the abstract is in the attachmen