A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
Filters
Graph grammar engineering: A software specification method
[chapter]
1987
Lecture Notes in Computer Science
Preserved Fulltext
Concepts like abstraction, decomposition, refinement, parameterization, and integration have been adopted from software engineering to yield a comprehensive specification method. ...
We show that such a specification can be written in a systematic, engineering-like manner. This is achieved by an extension of the known programmed, attributed graph grammars. ...
Schleef, A. Schfirr, and B. Westfechtel for a lot of fruitful discussions. ...
doi:10.1007/3-540-18771-5_53
fatcat:o3pcrwgdsfaidb3qvdwcuz4ucm
Translating Controlled Graph Grammars to Ordinary Graph Grammars
2016
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
This is possible through a mechanism where a controlled graph grammar is translated into a regular graph grammar using dependencies and conflicts between rules. ...
Graph Grammar (GG) is an appropriate formal language for specifying complex systems. In a GG the system states are represented by graphs and the changes between the states are described by rules. ...
Since graph grammars are at the same time, intuitive and formal, and permit to deal with aspects of concurrence and distribution in a simple way, they become a promising method for reliable software development ...
doi:10.1016/j.entcs.2016.09.004
fatcat:foqmfnei35bw5g4ugkiuwvbcby
Program Behavior Discovery and Verification: A Graph Grammar Approach
2010
IEEE Transactions on Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
To address this, we present a semi-automatic graph grammar approach to retrieving the hierarchical structure of the program behavior. ...
We formulate the behavior discovery and verification problem as a graph grammar induction and parsing problem, i.e., automatically iteratively mining qualified patterns and then constructing graph rewriting ...
The first author is partially supported by the HP Labs Innovation Research Program (2009-1047-1-A) . ...
doi:10.1109/tse.2010.3
fatcat:ys2by3b335drrfqejnvrrdlx7u
An Approach of Software Architectural Styles Detection Using Graph Grammar
2014
International Journal of Engineering and Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
A case study of repository style detection scheme is demonstrated. The resulting derivation and reduction of the specific graph grammar show the valid parsability of the graph. ...
In this paper, we propose an alternative scheme of the architectural styles detection using the reduction steps of a graph grammar. ...
The architectural style consists of a set of software components and their specific relationship among the components. ...
doi:10.7763/ijet.2014.v6.679
fatcat:biqq5gftvvgjrouvuadkbtcmpu
Incremental Integration Tools for Chemical Engineering: An Industrial Application of Triple Graph Grammars
[chapter]
2003
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We developed a framework which constitutes an industrial application of triple graph grammars. It solves integration problems in a specific domain, namely design processes in chemical engineering. ...
Triple graph grammars, an extension of pair graph grammars, were introduced for the specification of graph translaters. ...
Later on, triple graph grammars were applied in several software engineering projects outside the scope of the IPSEN project. In particular, they were used for the re-engineering of software systems. ...
doi:10.1007/978-3-540-39890-5_5
fatcat:qgj7zacaibcblhydqcdswfybva
Graph grammar engineering: A method used for the development of an integrated programming support environment
[chapter]
1985
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
We introduce a method to specify the functional behaviour of software tools in an incremental and integrated software development environment. This specification method is based on graph grammars. ...
It is an adequate method to specify the behaviour of all software systems using graphs as internal data structures. ...
As the resulting graph grammar is an operational specification which means programming on an 'abstract level's we can use software engineering methods like modularization and integration to decrease the ...
doi:10.1007/3-540-15199-0_12
fatcat:vkyl6i4fwbhczhyfe7su3z5dna
Triple Graph Grammars or Triple Graph Transformation Systems?
[chapter]
2009
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
We present 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. ...
Triple graph grammars have been used to specify consistency maintenance between inter-dependent and evolving models at a high level of abstraction. ...
Thus, a graph grammar is concerned only with the generation of graphs. ...
doi:10.1007/978-3-642-01648-6_15
fatcat:cv2l6xufnrb33eg5gzvfuznvta
Layout synthesis of fluid channels using generative graph grammars
2014
Artificial intelligence for engineering design, analysis and manufacturing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The proposed method uses the generative abilities of graph grammars with simulation and analysis power of conventional CFD methods. ...
The graph grammar interpreter GraphSynth is used to carry out graph transformations, which define different topologies for a given multi-inlet multi-outlet problem. ...
Graph grammars Using a formal grammar is a method to represent elements and their relationships in the design space [27] . ...
doi:10.1017/s0890060414000201
fatcat:l5jlu54qtrb5vne67gvyvwi5li
An Integration of UML Sequence Diagram with Formal Specification Methods—A Formal Solution Based on Z
2015
Journal of Software Engineering and Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
Similarly, in requirement engineering, formal specification methods are also being used in crucial systems where precise information is required. ...
UML Diagrams are considered as a main component in requirement engineering process and these become an industry standard in many organizations. ...
There is a complete method in Software Engineering named as "Clean Room Software Engineering" [1] basically based on formal specifications. ...
doi:10.4236/jsea.2015.88037
fatcat:eshulz4q6bhsbnq725wohk2pl4
Matrix Graph Grammars
[article]
2009
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
Other Versions
On a more discrete mathematical style, it can be said that graph grammars -- Matrix Graph Grammars in particular -- study dynamics of graphs. ...
From the point of view of a computer scientist, graph grammars are a natural generalization of Chomsky grammars for which a purely algebraic approach does not exist up to now. ...
Grammars" in their search engine). ...
arXiv:0801.1245v2
fatcat:i35jdwsbrzgvzj7zey45y2b2qu
On the use of Triple Graph Grammars for Model Composition
2020
Advances in Science, Technology and Engineering Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
In the software engineering research, several works focus on advantages of multi-modeling, which facilitate modeling a system by separating of concerns. ...
Each composition action is represented by one or many graph transformations rules. The composition operator's syntax is specified with triple graph grammars (TGGs) formalism. ...
To tackle the model composition issue, we propose a new method that uses graph transformation with Triple Graph Grammars (TGGs). ...
doi:10.25046/aj050281
fatcat:42y7jlu2mfb7hbgwdzwakfnvqm
CAD GRAMMARS: EXTENDING SHAPE AND GRAPH GRAMMARS FOR SPATIAL DESIGN MODELLING
2006
Computer Aided Methods in Optimal Design and Operations
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
Graph grammars contain production rules with similar generational properties, but operating on graphs. ...
Shape grammars are types of non-linear formal grammars that have been used in a range of design domains such as architecture, industrial product design and PCB design. ...
Graph Grammars Graph grammars (Plump, 1999) consist of production rules to create valid configurations of graphs for a specific domain. ...
doi:10.1142/9789812772954_0013
fatcat:bpqvyb6vsjaipidbrmfoup6lxe
Incremental Model Synchronization with Triple Graph Grammars
[chapter]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Our approach employs the visual, formal, and bidirectional transformation technique of triple graph grammars. ...
The advent of model-driven software development has put model transformations into focus. ...
A triple graph grammar specification is a declarative definition of a bidirectional model transformation. In Fig. 3 , a triple graph grammar rule in the Fujaba-notation is shown. ...
doi:10.1007/11880240_38
fatcat:b4xqci7iibdwrjgx3jeegvckzm
Unfolding Symbolic Attributed Graph Grammars
[chapter]
2020
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Attributed graph grammars can specify the transformation of complex data and object structures within a natural rule-based model of concurrency. ...
We develop a theory of unfolding for attributed graph grammars where attribution is represented symbolically, via logical constraints. ...
Technical and organisational challenges, such as the lack of a central authority both at runtime and during development are being addressed by model-based software engineering methods. ...
doi:10.1007/978-3-030-51372-6_5
fatcat:pkd62ye2y5habosnl7tfg47qru
Web Interface Interpretation Using Graph Grammars
2012
IEEE Transactions on Systems Man and Cybernetics Part C (Applications and Reviews)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
Because of the distinct capability of spatial specifications in the abstract syntax, the spatial graph grammar (SGG) is selected to perform the semantic grouping and interpretation of segmented screen ...
Distinct from existing approaches, this paper develops a robust and formal approach to recovering interface semantics using graph grammars. ...
Our approach is not limited to a specific graph-grammar formalism. ...
doi:10.1109/tsmcc.2011.2171335
fatcat:4gialjak6bhvld3sipyku64wgy
« Previous
Showing results 1 — 15 out of 16,007 results