Auflistung nach:
Auflistung P254 - Modellierung 2016 nach Titel
1 - 10 von 18
Treffer pro Seite
Sortieroptionen
- 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.
- KonferenzbeitragDeducing model metrics from meta models(Modellierung 2016, 2016) Nassar, Nebras; Arendt, Thorsten; Taentzer, GabrieleThe use of model-based software development has become more and more popular because it aims to increase the quality of software development. Therefore, the number and the size of model instances are cumulatively growing and software quality and quality assurance consequently lead back to the quality and quality assurance of the involved models. For model quality assurance, several quality aspects can be checked by the use of dedicated metrics. However, when using a domain specific modeling language, the manual creation of metrics for each specific domain is a repetitive and tedious process. In this paper, we present an approach to derive basic model metrics for any given modeling language by defining metric patterns typed by the corresponding meta-meta model. We discuss several concrete patterns and present an Eclipse-based tool which automates the process of basic model metrics derivation, generation, and calculation.
- 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.
- KonferenzbeitragInfrastructure to use OCL for runtime structural compatibility checks of simulink models(Modellierung 2016, 2016) Bertram, Vincent; Manhart, Peter; Plotnikov, Dimitri; Rumpe, Bernhard; Schulze, Christoph; Wenckstern, Michael VonFunctional development of embedded software systems in the automotive industry is mostly done using models consisting of highly adjustable and potentially reusable components. A basic pre-requisite for reuse is structural compatibility of available component versions and variants. Since each vendor in the automotive domain uses its own toolchain with corresponding models, an unified modeling notation is needed. For this reason based on a detailed feature analysis of wellestablished and commonly used modeling languages, a meta-model has been derived that allows checking structural compatibility, even between heterogeneous modeling languages.
- 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.
- KonferenzbeitragModel validation and verification options in a contemporary UML and OCL analysis tool(Modellierung 2016, 2016) Gogolla, Martin; Hilken, FrankModern systems and their architectures are getting more complex than ever. Development strategies, like model-driven engineering (MDE), help to abstract architectures and provide a promising way to deal with the complexity. Thus, the importance for the underlying models to be correct arises. Today's validation and verification tools should support the developer in generating test cases and provide good concepts for fault detection. In this contribution, we introduce and structure essential use cases for model exploration, validation and verification that help developers find faults in model descriptions. Along with the use cases, we demonstrate the model validator of the USE tool, a modern instance finder for UML and OCL models based on an implementation of relational logic and present the results and findings from the tool.
- KonferenzbeitragModeling variability in template-based code generators for product line engineering(Modellierung 2016, 2016) Greifenberg, Timo; Müller, Klaus; Roth, Alexander; Rumpe, Bernhard; Schulze, Christoph; Wortmann, AndreasGenerating software from abstract models is a prime activity in model-driven engineering. Adaptable and extendable code generators are important to address changing technologies as well as user needs. However, they are less established, as variability is often designed as configuration options of monolithic systems. Thus, code generation is often tied to a fixed set of features, hardly reusable in different contexts, and without means for configuration of variants. In this paper, we present an approach for developing product lines of template-based code generators. This approach applies concepts from feature-oriented programming to make variability explicit and manageable. Moreover, it relies on explicit variability regions (VR) in a code generator's templates, refinements of VRs, and the aggregation of templates and refinements into reusable layers. A concrete product is defined by selecting one or multiple layers. If necessary, additional layers required due to VR refinements are automatically selected.
- Editiertes BuchModellierung 2016(2016)
- 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.