21 research outputs found
Towards a Formalisation of Graph Transformations in Proof Assistants
This paper takes first steps towards a formalization of graph transformations in a general setting of interactive theorem provers, which will form the basis for proofs of correctness of graph transformation systems. We present parts of our formalization and take a glimpse at some strategies for simplifying proof obligations
Software model refactoring based on performance analysis: better working on software or performance side?
Several approaches have been introduced in the last few years to tackle the
problem of interpreting model-based performance analysis results and
translating them into architectural feedback. Typically the interpretation can
take place by browsing either the software model or the performance model. In
this paper, we compare two approaches that we have recently introduced for this
goal: one based on the detection and solution of performance antipatterns, and
another one based on bidirectional model transformations between software and
performance models. We apply both approaches to the same example in order to
illustrate the differences in the obtained performance results. Thereafter, we
raise the level of abstraction and we discuss the pros and cons of working on
the software side and on the performance side.Comment: In Proceedings FESCA 2013, arXiv:1302.478
Managing Complex Data for Electrical/Electronic Components: Challenges and Requirements
In the automotive domain, innovation is driven by the introduction and continuous improvement of electrical and electronic (E/E) components (e.g. sensors, actuators, and electronic control units). This trend is accompanied by increasing complexity and interdependencies between them. In addition, external impact factors (e.g. changes of regulations) demand for management of E/E product data (E/E-PDM). Since E/E product data is scattered over distributed heterogeneous IT systems, application-spanning use cases (e.g. consistency of artifacts, plausibility of logical connections between electronic control units) are difficult to realize. Consequently, the partial integration of the corresponding application data models becomes necessary. Changes of application data models are common in context of E/E-PDM, but they are not considered by existing application integration approaches. Furthermore, no methodology for creating application integration models exists. This paper elaborates challenges to be tackled when integrating applications containing E/E product data. It further presents properties of the IT landscape involved in E/E-PDM and reveals occurring problems. Finally, requirements for E/E-PDM are discussed
Refactoring of UML models using AGG
Model refactoring is an emerging research topic that is heavily inspired
by refactoring of object-oriented programs. Current-day UML modeling environments provide poor support for evolving UML models and applying refactoring techniques at model level. As UML models are intrinsically graph-based in nature we propose to use graph transformations to specify and apply model refactoring. More in particular, we use a specific graph transformation tool, AGG, and provide recommendations of how AGG may be improved to better support model refactoring. These recommendations are based on a small experiment that we have carried out with refactoring of UML class diagrams and state machines
Semantical Correctness of Simulation-to-Animation Model and Rule Transformation
In the framework of graph transformation, simulation rules are well-known to define the operational behavior of visual models.
Moreover, it has been shown already how to construct animation rules in a domain specific layout from simulation rules.
An important requirement of this construction is the semantical correctness which has not yet been considered.
In this paper we give a precise definition for simulation-to-animation (S2A) model and rule transformations.
Our main results show under which conditions semantical correctness can be obtained.
The results are applied to analyze the S2A transformation of a Radio Clock model.
Keywords: graph transformation, model and rule transformation, semantical correctness, simulation, animatio
On the Integration of Electrical/Electronic Product Data in the Automotive Domain
The recent innovation of modern cars has mainly been driven by the development of new as well as the continuous improvement of existing electrical and electronic (E/E) components, including sensors, actuators, and electronic control units. This trend has been accompanied by an increasing complexity of E/E components and their numerous interdependencies. In addition, external impact factors (e.g., changes of regulations, product innovations) demand for more sophisticated E/E product data management (E/E-PDM). Since E/E product data is usually scattered over a large number of distributed, heterogeneous IT systems,
application-spanning use cases are difficult to realize (e.g., ensuring the consistency of artifacts corresponding to different development phases, plausibility of logical connections between electronic control units). To tackle this challenge, the partial integration of E/E product data as well as corresponding schemas becomes necessary. This paper presents the properties of a typical IT system landscape related to E/E-PDM, reveals challenges emerging in this context, and elicits requirements for E/E-PDM. Based on this, insights into our framework, which targets at the partial integration of E/E product data, are given. Such an integration will foster E/E product data integration and hence contribute to an improved E/E product quality
Integration of SysML with Trade-off Analysis Tools
Changes in technology, economy and society create challenges that force us to rethink the way we develop systems. Model-Based Systems Engineering is an approach that can prove catalytic in this new era of systems development. In this work we introduce the concept of the modeling "hub" in order to realize the vision of Model-Based Systems Engineering and especially we focus on the trade-off analysis and design space exploration part of this "hub". For that purpose the capabilities of SysML are extended by integrating it with the trade-off analysis tool Consol-Optcad. The integration framework, the implementation details as well as the tools that were used for this work are described throughout this thesis. The implemented integration is then applied to analyze a very interesting multi-criteria optimization problem concerning power allocation and scheduling of a microgrid
Triple Graph Grammars or Triple Graph Transformation Systems? A Case Study from Software Configuration Management
Abstract. Triple graph grammars have been used to specify consistency maintenance between inter-dependent and evolving models at a high level of abstraction. On a lower level, consistency maintenance may be specified by a triple graph transformation system, which takes care of all operational details required for executing consistency maintenance operations. This paper presents a case study from software configuration management in which we decided to hand-craft a triple graph transformation system rather than to generate it from a triple graph grammar. The case study demonstrates some limitations concerning the kinds of consistency maintenance problems which can be handled by triple graph grammars
Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions (Long Version)
Model transformations are a key concept for modular and distributed model driven development. In this context, triple graph grammars have been investigated and applied to several case studies and they show a convenient combination of formal and intuitive specification abilities. Especially the automatic derivation of forward and backward transformations out of just one specified set of rules for the integrated model simplifies the specification and enhances usability as well as consistency. Since negative application conditions (NACs) are key ingredient for many model transformations based on graph transformation we embed them in the concept of triple graph grammars. As a first main result we can extend the composition/decomposition result for triple graph grammars to the case with NACs. This allows us to show completeness and correctness of model transformations based on rules with NACs and furthermore, we can extend the characterization of information preserving model transformations to the case with NACs. The presented results are applicable to several model transformations and in particular to the well known model transformation from class diagrams to relational data bases, which we present as running example with NACs