Logo des Repositoriums

Modellierung 2018 (LNI P280)

https://dl.gi.de/handle/20.500.12116/39455
Auflistung nach:

Auflistung Modellierung 2018 (LNI P280) nach Erscheinungsdatum

Zu einem Punkt im Index springen:
1 - 10 von 29
  • Konferenzbeitrag
    Modeling and Safety-Certification of Model-based Development Processes
    (Modellierung 2018, 2018) Slotosch, Oscar; Abu-Alqumsan, Mohammad
    In this paper, we describe a two-step approach to show evidence for compliance with safety standards within certification efforts for model-based development projects that share some commonalities (i.e. using the same metamodel). The approach is based on modeling model-based development processes in combination with the requirements imposed on them by safety standards. Besides the typical benefits of model-based approaches (modularity, rigor, formalization and simulation), we use the combined hierarchic processes-requirements model in order to automatically generate formalized descriptions of processes, standard compliance report and verification check-lists. The process description can be used to introduce new team members to the deployed development processes. As a concrete example of the proposed approach, we present representative parts of the Validas model-based tool qualification process that has been fully modeled and certified based on the automatically generated documents by TÜV SÜD
  • Textdokument
    Modellierung 2018
    (2018)
  • Konferenzbeitrag
    Interactive information zoom on Component Fault Trees
    (Modellierung 2018, 2018) Velasco Moncada, David Santiago; Reich, Jan; Tchangou, Maxime
    The 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.
  • Konferenzbeitrag
    Why SysML does often fail – and possible solutions
    (Modellierung 2018, 2018) Regnat, Nikolaus
  • Konferenzbeitrag
    Graphical App Designer: Konzept für die prozessbasierte Modellierung mobiler Cloud-Anwendungen
    (Modellierung 2018, 2018) Roth-Dietrich, Gabriele; Gerten, Rainer; Schäfer, André
    Der Graphical App Designer (GAD) unterstützt Unternehmen, die Cloud-Plattformen betreiben und versetzt Anwender und Berater, die über fachliche Prozessexpertise sowie über Prozessmodellierungskenntnisse, aber nicht über Programmiererfahrung verfügen, in die Lage, Cloud-Anwendungen für heterogene mobile Frontends zu modellieren und zu implementieren. Der GAD stellt die Modellierungsumgebung bereit, die sich an Prozessdarstellungen in BPMN orientiert, und stellt durch Prüfungen bereits während der Modellierung die Generierbarkeit und die Funktionsfähigkeit der Entwürfe sicher. Aus den Modellen kann ein plattformspezifischer GAD-Compiler später die ausführbaren Anwendungen auf Cloud-Seite generieren.
  • Konferenzbeitrag
    Collaborative Modeling Enabled By Version Control
    (Modellierung 2018, 2018) Kuryazov, Dilshodbek; Winter, Andreas; Reussner, Ralf
    Model-Driven Software Development is a key field in software development activities which is well-suited to design and develop large-scale software systems. Developing and maintaining large-scale model-driven software systems entail a need for collaborative modeling by a large number of software designers and developers. As long as software models are constantly changed during development and maintenance, collaborative modeling requires frequently sharing of model changes between collaborators. Thereby, a solid change representation support for model changes plays an essential role for collaborative modeling systems. This paper focuses on the problem of model change representation for collaborative modeling. It introduces a meta-model generic, operation-based and textual difference language to represent model changes in collaborative modeling. This paper also demonstrates a collaborative modeling application Kotelett.
  • Konferenzbeitrag
    Development of a prototype for Smart Glasses-based process modelling
    (Modellierung 2018, 2018) Jannaber, Sven; Zobel, Benedikt; Berkemeier, Lisa; Thomas, Oliver
    The integration of mobile technology is considered a major challenge for the BPM domain. Wearable devices such as smart glasses have already been successfully applied in high-mobility fields as technical services. However, the utilization of smart glasses to document and model processes still remains on a conceptual level and has not yet been instantiated. To this end, the paper demonstrates a prototype that enables the usage of smart glasses for process modelling. It is shown how glasses-specific functionality e.g. voice recognition and audio/video recording can incorporated into a modelling environment that facilitates the run-time modelling of processes, even for modelling novices.
  • Konferenzbeitrag
    Synthesis of Cost-optimized Controllers from Scenario-based GR(1) Specifications
    (Modellierung 2018, 2018) Gritzner, Daniel; Greenyer, Joel
    Modern systems often consist of many software-controlled components which must cooperate to fulfill difficult to achieve goals. Each component must properly react to both, external events, e.g., user inputs, and internal events, i.e., actions of other components. Making each component behave such that the cost of running the system is minimized, e.g., by minimizing total energy consumption, adds additional complexity. To support engineers in the difficult design of such systems we developed a scenario-based specification approach enabling the intuitive modeling of goals and assumptions using short scenarios. These specifications can be simulated and automatically analyzed, allowing defects to be detected and fixed early in the development process. In this paper we present and evaluate an extension to our approach which makes it possible to model costs of processes and thus to synthesize controllers which not only guarantee that the specified goals are fulfilled but are being fulfilled in a cost-optimized manner. Our approach even considers the transfer of energy between components to enable the design of systems in which, e.g., the braking energy of moving components can be leveraged to reduce the cost and environmental impact of a system instead of wasting this energy in the form of heat.
  • Konferenzbeitrag
    A web-based modeling tool for studying the learning of conceptual modeling
    (Modellierung 2018, 2018) Ternes, Benjamin; Strecker,Stefan
    How 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.
  • Konferenzbeitrag
    Towards a run-time model for data protection in the cloud
    (Modellierung 2018, 2018) Mann, Zoltan; Metzger, Andreas; Schoenen, Stefan
    The 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.