Keywords:

Keywords:
Astract: With the emergence of Cyber-Physical Systems (CPS), several sophisticated runtime monitoring solutions havebeen proposed in order to deal with extensive execution logs. One promising development in this respect is the integration oftime series databases that support the storage of massive amounts of historical data as well as to provide fast query capabilitiesto reason about runtime properties of such CPS.In this paper, we discuss how conceptual modeling can benefit from time series databases, and vice versa. In particular,we present how metamodels and their instances, i.e., models, can be partially mapped to time series databases. Thus, thetraceability between design and simulation/runtime activities can be ensured by retrieving and accessing runtime information,i.e., time series data, in design models. On this basis, the contribution of this paper is four-fold. First, a dedicated profilefor annotating design models for time series databases is presented. Second, a mapping for integrating the metamodelingframework EMF with InfluxDB is introduced as a technology backbone enabling two distinct mapping strategies for modelinformation. Third, we demonstrate how continuous time series queries can be combined with the Object Constraint Language(OCL) for navigation through models, now enriched with derived runtime properties. Finally, we also present an initial evaluationof the different mapping strategies with respect to data storage and query performance. Our initial results show the efficiency ofapplying derived runtime properties as time series queries also for large model histories.

Keywords:
Astract: Among the plethora of industrial standards available in the context of smart manufacturing, one series of standards is consistently being mentioned for dealing with manufacturing operations management: IEC 62264. Its second part provides a conceptual model for the description of production systems and their capabilities, including runtime information such as concrete maintenance schedules or achieved production goals. In this work, we present a concrete graphical syntax and toolkit for the creation and presentation of IEC 62264-2 compliant models, using techniques from model-driven (software) engineering. We have evaluated our tool by conducting a user study for assessing its usability and effectiveness.

Keywords:
Astract: Legacy systems and their associated data models often evolve into large, monolithic artifacts. This threatens comprehensibility and maintainability by human beings. Breaking down a monolith into a modular structure is an established technique in software engineering. Several previous works aimed to adapt modularization also for conceptual data models. However, we currently see a research gap manifested in the absence of: (i) a flexible and extensible modularization concept for Entity Relationship (ER) models; (ii) of openly available tool support; and (iii) empirical evaluation. With this paper, we introduce a generic encoding of a modularization concept for ER models which enables the use of meta-heuristic search approaches. For the efficient application we introduce the ModulER tool. Eventually, we report on a twofold evaluation: First, we demonstrate feasibility and performance of the approach by two demonstration cases. Second, we report on an initial empirical experiment and a survey we conducted with modelers to compare automated modularizations with manually created ones and to better understand how humans approach ER modularization.

Keywords:
Astract: Variability is crucial in the design of many advanced goods and it is also receiving increasing attention in production systems engineering. Since OPC Unified Architecture plays an important role when it comes to standardized information exchange in modern production systems, it can be a melting pot for information from various engineering domains, such as product design and production engineering - thus, it is an ideal place to hold variability information of products and production systems alike. Based on an initial variability information model we propose additional concepts for the persisting of configurations.