Auflistung Modellierung 2016 (LNI P254) nach Erscheinungsdatum
1 - 10 von 18
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragTunit - unit testing for template-based code generators(Modellierung 2016, 2016) Kolassa, Carsten; Look, Markus; Müller, Klaus; Roth, Alexander; Reiß, Dirk; Rumpe, BernhardTemplate-based code generator development as part of model-driven development (MDD) demands for strong mechanisms and tools that support developers to improve robustness, i.e., the desired code is generated for the specified inputs. Although different testing methods have been proposed, a method for testing only parts of template-based code generators that can be employed in the early stage of development is lacking. Thus, in this paper we present an approach and an implementation based on JUnit to test template-based code generators. Rather than testing a complete code generator, it facilitates partial testing by supporting the execution of templates with a mocked environment. This eases testing of code generators in early stages of development as well as testing new or changed parts of a code generator. To test the source code generated by the templates under test, different methods are presented including string comparisons, API-based assertions, and abstract syntax tree based assertions.
- KonferenzbeitragAutomatically binding variables of invariants to violating elements in an OCL-aligned xbase-language(Modellierung 2016, 2016) Fiss, Sebastian; Kramer, Max E.; Langhammer, MichaelConstraints that have to hold for all models of a modeling language are often specified as invariants using the Object Constraint Language (OCL). If violations of such invariants shall be documented or resolved in a software system, the exact model elements that violate these conditions have to be computed. OCL validation engines provide, however, only a single context element at which a check for a violated invariant originated.Therefore, the computation of elements that caused an invariant violation is often specified in addition to the invariant declaration with redundant information. These redundancies can make it hard to develop and maintain systems that document or resolve invariant violations. In this paper, we present an automated approach and tool for declaring and binding parameters of invariants to violating elements based on boolean invariant expressions that are similar to OCL invariants. The tool computes a transformed invariant that returns violating elements for each iterator variable of the invariant expression that matches an explicitly declared invariant parameter. The approach can be used for OCL invariants and all models of languages conforming to the Meta- Object Facility (MOF) standard. We have evaluated our invariant language and transformation tool by transforming 88 invariants of the Unified Modeling Language (UML).
- KonferenzbeitragBPM considered harmful (Kurzbeitrag)(Modellierung 2016, 2016) Berner, StefanBusiness Process Modeling (BPM) spielt eine grosse Rolle in den frühen Schritten der Softwareentwicklung. Eine zu grosse Rolle nach Meinung des Autors. Fast alle Vorgehensmethoden empfehlen für den Beginn einer Geschäftsmodellierung BPM. Fast alle Business-Analysten nutzen BPM als Einstieg und einfachsten Zugang zu Wissen und Verständnis um eine Geschäftswelt. Ohne gemeinsames Verständnis der Begriffe und ihrer Relevanz für eine Umgebung können weder künftige Nutzende noch Informatiker gute Geschäftsprozesse modellieren. BPM ist nicht der beste Weg dieses gemeinsame Verständnis zu erlangen. BPM hat weitere gravierende Nachteile, die es als Einstiegsvorgehen in ein IT-Projekt ungeeignet machen. Dieses Paper zeigt die Nachteile des BPM auf. Es zeigt weiter auf, wie vor der Prozessmodellierung ein besseres Verständnis der zu modellierenden Welt erlangt werden kann.
- KonferenzbeitragNESTML: a modeling language for spiking neurons(Modellierung 2016, 2016) Plotnikov, Dimitri; Blundell, Inga; Ippen, Tammo; Eppler, Jochen Martin; Morrison, Abigail; Rumpe, BernhardBiological nervous systems exhibit astonishing complexity. Neuroscientists aim to capture this complexity by modeling and simulation of biological processes. Often very complex models are necessary to depict the processes, which makes it difficult to create these models. Powerful tools are thus necessary, which enable neuroscientists to express models in a comprehensive and concise way and generate efficient code for digital simulations. Several modeling languages for computational neuroscience have been proposed [Gl10, Ra11]. However, as these languages seek simulator independence they typically only support a subset of the features desired by the modeler. In this article, we present the modular and extensible domain specific language NESTML, which provides neuroscience domain concepts as first-class language constructs and supports domain experts in creating neuron models for the neural simulation tool NEST. NESTML and a set of example models are publically available on GitHub.
- KonferenzbeitragTool support for model transformations: on solutions using internal languages(Modellierung 2016, 2016) Hinkel, Georg; Goldschmidt, ThomasModel-driven engineering (MDE) has proven to be a useful approach to cope with todays ever growing complexity in the development of software systems, yet it is not widely applied in industry. As suggested by multiple studies, tool support is a major factor for this lack of adoption. Existing tools for MDE, in particular model transformation approaches, are often developed by small teams and cannot keep up with advanced tool support for mainstream languages such as provided by IntelliJ or Visual Studio. In this paper, we propose an approach to leverage existing tool support for model transformation using internal model transformation languages and investigate design decisions and their consequences for inherited tool support. The findings are used for the design of an internal model transformation language on the .NET platform.
- KonferenzbeitragTowards a catalog of structural and behavioral verification tasks for UML/OCL models(Modellierung 2016, 2016) Hilken, Frank; Niemann, Philipp; Gogolla, Martin; Wille, RobertVerification tasks for UML and OCL models can be classified into structural and behavioral tasks. For both task categories a variety of partly automatic solving approaches exist. But up to now, different interpretations of central notions as, for example, `consistency' or `reachability' can be found in current approaches and tools. This paper is designed to clarify central verification notions and to establish a collection of typical verification tasks that are common to multiple approaches and tools. In addition, the verification tasks are categorized with the aim of creating a central catalog of tasks, providing a common understanding of the terms used in model verifications.
- KonferenzbeitragAn extended symbol table infrastructure to manage the composition of output-specific generator information(Modellierung 2016, 2016) Nazari, Pedram Mir Seyed; Roth, Alexander; Rumpe, BernhardCode generation is regarded as an essential part of model-driven development (MDD) to systematically transform the abstract models to concrete code. One current challenges of templatebased code generation is that output-specific information, i.e., information about the generated source code, is not explicitly modeled and, thus, not accessible during code generation. Existing approaches try to either parse the generated output or store it in a data structure before writing into a file. In this paper, we propose a first approach to explicitly model parts of the generated output. These modeled parts are stored in a symbol for efficient management. During code generation this information can be accessed to ensure that the composition of the overall generated source code is valid. We achieve this goal by creating a domain model of relevant generator output information, extending the symbol table to store this information, and adapt the overall code generation process.
- KonferenzbeitragA software product line of feature modeling notations and cross-tree constraint languages(Modellierung 2016, 2016) Seidl, Christoph; Winkelmann, Tim; Schaefer, InaA Software Product Line (SPL) encompasses a set of closely related software systems in terms of common and variable functionality. On a conceptual level, the entirety of all valid configurations may be captured in a variability model such as a feature model with additional crosstree constraints. Even though variability models are essential for specifying configuration knowledge, various notations for feature models and cross-tree constraints exist, which increases implementation effort when having to realize new tools for a different language. In this paper, we provide remedy to this problem by introducing an SPL to generate different variants of feature modeling notations and cross-tree constraint languages. We base our approach on the state of the art in various works and surveys on feature modeling to create a family of feature modeling notations with similar expressiveness as the original approaches. For our findings, we provide both conceptual configuration knowledge as well as a generative model-based realization. We further demonstrate the feasibility of our approach by generating feature modeling notations similar to those of various publications.
- KonferenzbeitragOn the de-facto standard of event-driven process chains: reviewing EPC implementations in process modelling tools(Modellierung 2016, 2016) Karhof, Arne; Jannaber, Sven; Riehle, Dennis M.; Thomas, Oliver; Delfmann, Patrick; Becker, JörgNowadays, most process modelling tools implement popular modelling languages such as the Business Process Model and Notation (BPMN) or the Event-driven Process Chain (EPC). However, in contrast to BPMN, no effort has yet been undertaken to standardize the EPC language, thus rendering EPCs as being merely a de-facto standard for business process modelling. Subsequently, this paper addresses this issue by laying ground for a successful EPC standardization. To achieve this task, several process modelling tools have been evaluated regarding their implementation of the EPC language with the objective to derive consensus about important language constructs. The evaluation reveals that there is a high degree of variety in the way tools implement EPCs. Especially syntax, semantic and pragmatic of the EPC language are not perceived homogenously and, in fact, commonly neglected. Hence, our research provides valuable implications for further EPC standardization by highlighting the state-of-the-art of the EPC from a software point of view.
- KonferenzbeitragKonzeptionelle Modellierung ausführbarer Event Processing Networks für das Eventdriven Business Process Management (Kurzbeitrag)(Modellierung 2016, 2016) Gabriel, Stefan; Janiesch, ChristianUnternehmensübergreifende Geschäftsprozesse müssen nicht nur interne, sondern auch externe Ereignisse berücksichtigen, um adäquat auf auftretende Situationen reagieren zu können. Eine kurze Reaktionszeit auf Basis von Event-driven BPM-Systemen verbessert hierbei den Entscheidungsspielraum. Die Planung derartiger Systeme auf Basis von BPM- und CEP-Technologie ist derzeit allerdings nicht ohne frühzeitige Festlegung auf proprietäre Technologie möglich. Um dem zu begegnen, schlagen wir eine Sprache und Architektur zur konzeptionellen Modellierung und Serialisierung in ausführbaren Code von CEP-Modellen für das Event-driven BPM vor. Wir zeigen, wie eine entsprechende Implementierung auf Basis einer herstellerunabhängigen CEP- Modellierungssprache und Notation, umgesetzt in der Open-Source-Modellierungs-Plattform Oryx, für die Esper Event Processing Language aussehen kann und demonstrieren diese an einem Beispiel.