Auflistung Modellierung 2018 (LNI P280) nach Erscheinungsdatum
1 - 10 von 29
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragMeasuring the Quality of System Specifications in Use Case Driven Approaches(Modellierung 2018, 2018) Rauh, Alexander; Golubski, Wolfgang; Queins, StefanOne of the biggest challenges of a requirements analyst is to generate and provide a high-quality system specification in order to support other disciplines during system development. Today, there are only few mechanisms to measure the quality of requirements with less effort for the analyst. The following paper describes a meta-modeling and model-to-model transformation approach to formally evaluate different quality characteristics of system specifications like consistency and completeness in use case driven requirements analysis processes with less effort for the requirements analyst. Therefore, the mentioned concept integrates the information contained in different representations of requirements into a common requirements model and analyzes quality characteristics of the specification in two steps. In the first step, every representation within the specification will be evaluated separately according to predefined representation specific rules. In the second step after requirements integration, algorithms analyze the quality of the integrated information and calculate the overall characteristics of the specification.
- KonferenzbeitragImplementing Knowledge Management in Agile Projects by Pragmatic Modeling(Modellierung 2018, 2018) Störrle, HaraldBackground: Team knowledge is diluted and destroyed through domain evolution and staff turnover. A challenge to any project, agile projects are particularly vulnerably as they rely more on tacit knowledge than plan-based approaches. Increasing project sizes and durations deteriorate this situation. Introducing documentation and modeling to turn tacit into explicit knowledge as exercised in traditional approaches is perceived as costly, and impeding with agility. Objective: We want to improve agile practices for large, long-running projects by adopting and adapting long-standing modeling practices, challenging these practices in the process. We aim to establish a more pragmatic view of what should be considered a model, and how complex system models could be organized to better support their usage. Method: We propose several additions and changes to existing agile practices, and a new notion of model. We highlight how models are used in industry, and how existing modeling languages and tools might be improved to better support these usage modes. Results: We have successfully implemented our approach in a large project. A transfer to a smaller, more typical agile project in a different environment is under way. Conclusions: Modeling can be a valuable and appreciated addition to agile development projects. However, this requires a pragmatic approach beyond the conventional wisdom of MDE and academic modeling practices. A broader view on what models and modeling are is useful in practice, and offers relevant new research questions
- KonferenzbeitragExploiting Modular Language Extensions in Legacy C Code: An Automotive Case Study(Modellierung 2018, 2018) Grosche, Andreas; Igel, Burkhard; Spinczyk, OlafModel-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.
- KonferenzbeitragOptimal Product Line Architectures for the Automotive Industry(Modellierung 2018, 2018) Wägemann, Tobias; Tavakoli Kolagari, Ramin; Schmid, KlausThe 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.
- KonferenzbeitragEnhancing MDWE with Collaborative Live Coding(Modellierung 2018, 2018) de Lange, Peter; Nicolaescu, Petru; Winkler, Thomas; Klamma, RalfModel-Driven Web Engineering (MDWE) methodologies enhance productivity and offer a high level view on software artifacts. Coming from classical software development processes, many existing approaches rather enforce a top-down structure instead of supporting a cyclic approach that integrates smoother with modern agile development. State-of-the-art MDWE should integrate established and emerging Web development features, such as (near real-time) collaborative modeling and shared editing on the generated code. The challenge when covering these requirements lies with synchronizing source code and models, an essential need to cope with regular changes in the software architecture and provide the flexibility needed for agile MDWE. In this paper, we present an approach that enables cyclic, collaborative development of Web applications by using traceability in model-to-text transformations to deal with the synchronization. We adopt a trace-based solution for collaborative live coding in order to merge manual code changes into Web application models and ensure that the open-source code repositories reflect both model and manual code refinements. Our evaluation shows a reliable code to model synchronization and investigates the usability in collaborative software development settings. With our approach we contribute to integrating agile development practices into MDWE.
- KonferenzbeitragTransforming Enterprise Models to Linked Data via Semantic Annotations(Modellierung 2018, 2018) Pittl, Benedikt; Fill, Hans-GeorgThe 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.
- KonferenzbeitragTaming the Software Development Complexity with Domain Specific Languages(Modellierung 2018, 2018) Ratiu, Daniel; Nehls, Holger; Michel, JochenModern computed tomography (CT) scanners are highly complex and flexible devices. This versatility is realized with a multitude of interconnected parameters and rules which are defined by domain experts in so-called scanner model specifications distributed over almost one hundred documents. The primarily used tools to write these documents (e.g. MS Word, MS Excel) are domain agnostic and they support only plain natural-language for the specification. Consequently, maintaining a valid scanner specification is a tedious, error-prone and therefore expensive process. To tackle the complexity of scanners parameters specifications, over the last two years we developed and deployed an eco-system of domain specific languages (DSLs) and associated tooling, covering a central portion of the scanner domain. The languages are developed using the Jetbrains’ MPS language workbench. In this paper, we present our experiences with developing our language eco-system. We briefly describe the language architecture, the design and development process that led us there, and discuss variation points of our approach and present in more detail a set of lessons learnt and best practices.
- KonferenzbeitragSystematic Refinement of CPS Requirements using SysML, Template Language and Contracts(Modellierung 2018, 2018) Grabowski, Markus; Kaiser, Bernhard; Bai, YuIn these day we encounter the transition from traditional closed and restricted-purpose embedded systems towards networked Cyber-Physical Systems. This applies to many industries, but in particular to the automotive industry, where assistance and automated driving functions are shaped out of complex combinations of functions and electronic control units, and even the car as a whole becomes part of a larger network of many vehicles plus infrastructure. And still, verifiable assertions must be available in the end to satisfy the safety case. The specification skills in industry often turn out to be insufficient. Even today, the mandatory V-model is hard to apply in practice and expressing appropriate requirements and refinements along with the evolution of the architecture is a hard thing to do. When development becomes agile and centered around component reuse, things become even more complex. We report about our experience with the application of contract-based development and explain keystones of our approach. We present a new template language called SSPL that allows the specification of requirements and assertions on every system architecture level and show how contract-based requirements refinement can go hand in hand with architecture refinement in SysML. We further present our Eclipse-based tool SAVONA that enables practical application of the approach.
- 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, AndyEnhancing 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.
- KonferenzbeitragNutzung von Bilddatenbanken zur Erstellung von Symbolen für graphische Modellierungssprachen(Modellierung 2018, 2018) Laue, RalfUm 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.
- «
- 1 (current)
- 2
- 3
- »