- KonferenzbeitragOptimal Product Line Architectures for the Automotive Industry(Modellierung 2018, 2018) Wägemann, Tobias; Tavakoli Kolagari, Ramin; Schmid, Klaus; Schaefer, Ina; Karagiannis, Dimitris; Vogelsang, Andreas; Méndez, Daniel; Seidl, ChristophThe creation of product line architectures is a difficult and complex task. The resulting architectures must support the required system variabilities as well as further quality attributes. In the automotive domain, product lines of software-intensive system models have a great diversity of products, which leads to vast design spaces. Finding optimal product line architectures as part of the system design process requires the consideration of a variety of trade-offs. In practice, this challenge cannot be solved manually for all but the smallest problems, therefore an automated solution is required. Our contribution is the generation of a sound mathematical formalization of the problem. This formalization makes the product line optimization problem accessible to various established multi-objective optimization techniques. The applicability of the chosen approach is shown by means of applying a commercial tool for multi-criteria decision making.
- KonferenzbeitragTransforming Enterprise Models to Linked Data via Semantic Annotations(Modellierung 2018, 2018) Pittl, Benedikt; Fill, Hans-Georg; Schaefer, Ina; Karagiannis, Dimitris; Vogelsang, Andreas; Méndez, Daniel; Seidl, ChristophThe use of conceptual models in enterprises is today a well-known fact. This includes many zdifferent types of models ranging from process models, organizational models, and infrastructure models to various types used in software engineering and technical systems development. Although these models are largely specified in a formal or at least semi-formal way, the knowledge contained in them is often only accessible via manual inspection. The primary reason for this shortcoming is the use of different formats for expressing models and the lack of machine-processable semantic specifications of the model content. In this paper we present a flexible approach for transforming information from such enterprise models to RDF. Thereby, we use a model weaving technique to annotate conceptual models with concepts from ontologies. For assessing its technical feasibility, the approach has been implemented on the SeMFIS platform and applied to a use case in the area of business process management.
- KonferenzbeitragExploiting Modular Language Extensions in Legacy C Code: An Automotive Case Study(Modellierung 2018, 2018) Grosche, Andreas; Igel, Burkhard; Spinczyk, Olaf; Schaefer, Ina; Karagiannis, Dimitris; Vogelsang, Andreas; Méndez, Daniel; Seidl, ChristophModel-driven software development using language workbenches like JetBrains MPS provide many advantages compared to traditional software development. Base languages can be incrementally extended to increase the abstractness up to domain-specific languages (DSLs). Changes can be performed more efficiently in problem-oriented language extensions or DSLs, than in a base language. In addition, formal analysis can be performed on abstract models. To benefit from the model-driven approach, non-model-based legacy code has to be reusable and transformable to language extensions and DSLs. For the development of embedded systems, mbeddr provides a C99-like base language and extensions for MPS, such as mathematical symbols and state machines. This paper presents a case study that shows how many legacy C code fragments of three automotive series projects could be replaced by mbeddr language extensions. Furthermore, a proof of concept shows the feasibility of fraction and foreach loop refactorings. This work is a first approach for future language extension refactorings.
- KonferenzbeitragTowards a run-time model for data protection in the cloud(Modellierung 2018, 2018) Mann, Zoltan; Metzger, Andreas; Schoenen, Stefan; Schaefer, Ina; Karagiannis, Dimitris; Vogelsang, Andreas; Méndez, Daniel; Seidl, ChristophThe protection of sensitive data in the cloud is a challenge of increasing importance. It is made particularly difficult by the complex and dynamic interactions of many entities (hardware and software, as well as organizations and individuals). A model-based approach can be used to reason about these interactions and their impact on data protection during deployment and at run time. The basis for such an approach is a model of all relevant socio-technical cloud entities, which is created during deployment and kept alive at run-time to support adaptations. In this paper, we focus on the meta-model of this model. The meta-model is created during design and instantiated during deployment. We discuss what entities must be present in the meta-model to allow reasoning about data protection. In particular, we discuss to what extent the results of previous cloud modeling efforts can be reused and what extensions are necessary because of the particular requirements of data protection.
- KonferenzbeitragNutzung von Bilddatenbanken zur Erstellung von Symbolen für graphische Modellierungssprachen(Modellierung 2018, 2018) Laue, Ralf; Schaefer, Ina; Karagiannis, Dimitris; Vogelsang, Andreas; Méndez, Daniel; Seidl, ChristophUm graphische Modellierungssprachen effektiv für die Kommunikation zu nutzen, müssen die verwendeten Symbole verständlich und gut erlernbar sein. Nachdem festgestellt wurde, dass dies bei bisher entwickelten Sprachen häufig nicht der Fall war, wurde von mehreren Autoren als Alternative die Methode der kollektiven Symbolerstellung untersucht. Bei dieser Methode werden Symbolvorschläge von potentiellen Nutzern der Modellierungssprache gesammelt. Dieser Beitrag untersucht, ob dieses aufwendige Verfahren durch die Suche nach Symbolen in Bilddatenbanken ersetzt werden kann. Nachdem diese Frage bejaht werden kann, wird eine Methode zur Erstellung von Notationen unter Einbeziehung einer Suche in Bilddatenbanken vorgeschlagen.
- KonferenzbeitragA Framework to Model and Implement Mobile Context-Aware Business Applications(Modellierung 2018, 2018) Dörndorfer, Julian; Seel, Christian; Schaefer, Ina; Karagiannis, Dimitris; Vogelsang, Andreas; Méndez, Daniel; Seidl, ChristophThe success and ubiquity of mobile devices like smartphones and tablets changed the daily work activities of many employees and employers. With the data provided by mobile devices in combination with external data from databases or web services, it is possible to recognize the context of a business process. Context recognition allows to adapt the business process by selecting the next process step or providing the necessary data, like the next customer near the current location. However, to use the advantages of context recognition, mobile business processes have to be designed, implemented and executed in a context-aware manner. Therefore, this paper presents a comprehensive framework for modeling context-aware business processes, which comprise the business process as well as the information collection to evaluate the needed context. Furthermore, it presents an architecture for the realization of context-aware applications.
- KonferenzbeitragModel-driven Development of Virtual Network Embedding Algorithms with Model Transformation and Linear Optimization Techniques(Modellierung 2018, 2018) Tomaszek, Stefan; Leblebici, Erhan; Wang, Lin; Schürr, Andy; Schaefer, Ina; Karagiannis, Dimitris; Vogelsang, Andreas; Méndez, Daniel; Seidl, ChristophEnhancing the scalability and utilization of data centers, virtualization is a promising technology to manage, develop and operate network functions in a flexible way. For the placement of virtual networks in the data center, many approaches and algorithms are discussed in the literature to optimize solving the so-called virtual network embedding problem with respect to various optimization goals. This paper presents a new approach for the model-driven specification, simulation-based evaluation, and implementation of possible mapping algorithms that respect a set of given constraints and using linear optimization solving techniques to select one almost optimal mapping. Rule-based model transformation techniques are used to translate a given mapping problem into a linear optimization problem by taking domain specific knowledge into account. The resulting framework thus supports the design and evaluation of (correct-by-construction) virtual network embedding algorithms on a high level of abstraction. Well-defined model transformation rule refinement strategies can be used to reduce the search space for the employed linear optimization techniques.
- KonferenzbeitragA web-based modeling tool for studying the learning of conceptual modeling(Modellierung 2018, 2018) Ternes, Benjamin; Strecker,Stefan; Schaefer, Ina; Karagiannis, Dimitris; Vogelsang, Andreas; Méndez, Daniel; Seidl, ChristophHow do we learn conceptual modeling? What are common learning difficulties? Which tool support assists learners in what respect? We report on the design and development of a web-based modeling tool aimed at studying the learning of conceptual modeling by observing learner interactions with graphical model editors. Learner interactions with graphical model editors are tracked, recorded and analyzed at the individual and aggregate learner levels with support for graphically reproducing the learner-editor interactions over time. In this short paper, we report on the current state of the tool development.
- TextdokumentModellierung 2018(2018) Schaefer, Ina; Karagiannis, Dimitris; Vogelsang, Andreas; Méndez, Daniel; Seidl, Christoph
- KonferenzbeitragInteractive information zoom on Component Fault Trees(Modellierung 2018, 2018) Velasco Moncada, David Santiago; Reich, Jan; Tchangou, Maxime; Schaefer, Ina; Karagiannis, Dimitris; Vogelsang, Andreas; Méndez, Daniel; Seidl, ChristophThe visualization approach realized in this work was implemented as extension of the safeTbox modeling tool (safeTbox.iese.fraunhofer.de). It represents a new way in displaying information for component-oriented fault trees (CFTs), in which the goal was to enhance the understandability of hierarchical models while facilitating reviewing purposes. This represents a big advantage for safety analysis, which analyze at system level and which are hindered by the traditional approach of hiding the realization information of components behind the specification views.