Tool Integration and Construction Using Generated Graph-Based Design Representations

Bredenfeld, Ansgar

doi:10.1109/dac.1995.250070

Cited by 5 publications

(10 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Graph patterns allow selecting portions of the input (host) graph, and thus specify the scope of individual transformation steps. The specification techniques found in graph grammars and transformation languages [8,9,18,42,46,49] were not sufficient for our purposes, as they did not follow UML concepts. This paper introduces an expressive yet easy to use pattern specification language, which is closely related to UML class diagrams.…”

Section: The Pattern Specification Languagementioning

confidence: 98%

“…Many recent papers have shown how graph transformation techniques can be used for (1) specification of program transformations [2], (2) defining the semantics of hierarchical state machines [32], (3) tool support for design patterns [40], and (4) tool integration [8]. Other recent work [11,27] shows how model transformation can be implemented using graph transformation techniques, and illustrates how interesting properties, like termination, consistency, confluence, etc.…”

Section: Graph Grammars and Transformationsmentioning

confidence: 98%

“…A variety of graph transformation techniques are described in [2,6,8,18,30,42,44]. These techniques include node replacement grammars, hyperedge replacement grammars, algebraic approaches, and programmed graph replacement systems.…”

Section: Graph Grammars and Transformationsmentioning

confidence: 99%

“…The graph transformation language GreAT was inspired by many previous efforts such as [8,9,18,29,46,49]. The language is built upon the notion of the basic transformation entity: a production (or rule).…”

Section: Graph Rewriting/transformation Languagementioning

confidence: 99%

“…Graph grammars and graph transformations (GGT) have been recognized as a powerful technique for specifying complex transformations. They can be used in various situations in a software development process [2,7,8,15,31,37]. Many tasks in software development have been formulated using this approach, including weaving of aspect-oriented programs [3], application of design patterns [40], and the transformation of platform-independent models into platform specific models [36].…”

Section: Introductionmentioning

confidence: 99%

See 4 more Smart Citations

The design of a language for model transformations

et al. 2006

View full text Add to dashboard Cite

Model-driven development of software systems envisions transformations applied in various stages of the development process. Similarly, the use of domain-specific languages also necessitates transformations that map domain-specific constructs into the constructs of an underlying programming language. Thus, in these cases, the writing of transformation tools becomes a first-class activity of the software engineer. This paper introduces a language that was designed to support implementing highly efficient transformation programs that perform model-to-model or model-to-code translations. The language uses the concepts of graph transformations and metamodeling, and is supported by a suite of tools that allow the rapid prototyping and realization of transformation tools.

show abstract

Section: The Pattern Specification Languagementioning

confidence: 98%

Section: Graph Grammars and Transformationsmentioning

confidence: 98%

Section: Graph Grammars and Transformationsmentioning

confidence: 99%

Section: Graph Rewriting/transformation Languagementioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

The design of a language for model transformations

et al. 2006

View full text Add to dashboard Cite

show abstract

Graph rewriting and transformation (GReAT): a solution for the model integrated computing (MIC) bottleneck

Agrawal

18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings.

View full text Add to dashboard Cite

Graph grammars and transformations (GGT) have been a field of theoretical study for over two decades. However, it has produced only a handful of practical implementations. GGT needs a widely used practical application to exploit its potential. On the other hand Model Integrated Computing (MIC) has grown from the practical standpoint and is widely used and recognized in both industry and practice today. In the MIC approach, developing model-interpreters is time consuming and costly, proving to be a bottleneck. This reduces MIC's reach and impact on the programming community.In this paper I propose to use GGT methodologies to solve MIC's bottleneck problem. The solution should place the MIC technology such that it can play a defining role in the next generation of high-level programming languages. Model Integrated Computing (MIC)MIC is a philosophy that advocates the use of domain specific concepts to represent system design. The models capturing the design are then used to synthesize executable systems, perform analysis or drive simulations. The advantage of this methodology is that it speeds up the design process, facilitates evolution, helps in system maintenance and reduces the cost of the development cycle [1].The MIC development cycle starts with the specification of a new domain (for example, a hierarchical concurrent state machine domain). This specification of the domain is called metamodeling; it defines the syntax, semantics and visualization rules of the domain. Once the domain has been defined, the specification of the domain is used to generate a Domain Specific Design Environment (DSDE). The DSDE can then be used to create domain specific designs/models; for example, a particular state machine is a domain specific design that conforms to the rules specified in the metamodel of the state machine domain. However, to do something useful with these models such as synthesize executable, perform analysis or drive simulators, we have to convert the models into another format like executable code, input format of some analysis tool or configuration files for simulators. This mapping of models to a more useful form is called model interpretation and is performed by model interpreters. Model interpreters are programs that convert models of a given domain into another format. Thus, for each domain to output format there will be one model interpreter. This output could be considered as another model that conforms to a different metamodel and thus these model interpreters can be considered to be mappings between models [1].The premier MIC implementation is a metaprogrammable toolkit called Generic Modeling Environment (GME) developed at the Institute for Software Integrated Systems (ISIS), Vanderbilt University. It provides an environment for creating domain-specific modeling environments [2]. The metamodeling environment of GME is based on UML class diagrams [3]. Metamodeling is used to describe a domain specific modeling environment by capturing the syntax, semantics and visualization rules of the environment....

show abstract

Co-design tool construction using APICES

Bredenfeld¹

Proceedings of the Seventh International Workshop on Hardware/Software Codesign (CODES'99) (IEEE Cat. No.99TH8450)

View full text Add to dashboard Cite

In this paper, we present our approach to automate the development process of co-design tools. We demonstrate with a non-trivial real world example how we can accelerate the tool design process using the software prototyping environment APICES.In a very short time we constructed the tool Dual Dynamics Designer (DDD) which supports a novel methodology in robot software development. DDD allows to edit a complex differential equation-based specification of dynamic robot behavior via an intuitive graphical interface and automatically generates microcontroller code in C as well as a simulation model in Java from it.Speed-up of the tool design process is primarily achieved by a rigorous top-down tool modeling approach in combination with a highly configurable tool frame generator.

show abstract

Tool Integration and Construction Using Generated Graph-Based Design Representations

Cited by 5 publications

References 11 publications

The design of a language for model transformations

The design of a language for model transformations

Graph rewriting and transformation (GReAT): a solution for the model integrated computing (MIC) bottleneck

Co-design tool construction using APICES

Contact Info

Product

Resources

About