16,007 Hits in 5.3 sec

Graph grammar engineering: A software specification method [chapter]

Gregor Engels, Claus Lewerentz, Wilhelm Schäfer
1987 Lecture Notes in Computer Science  
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

Alex Bertei, Luciana Foss, Simone A. da Costa Cavalheiro
2016 Electronical Notes in Theoretical Computer Science  
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

Chunying Zhao, Jun Kong, Kang Zhang
2010 IEEE Transactions on Software Engineering  
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

Songpon Thongkum, Wiwat Vatanawood
2014 International Journal of Engineering and Technology  
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]

Simon M. Becker, Bernhard Westfechtel
2003 Lecture Notes in Computer Science  
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]

G. Engels, W. Schäfer
1985 Lecture Notes in Computer Science  
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]

Thomas Buchmann, Alexander Dotor, Bernhard Westfechtel
2009 Lecture Notes in Computer Science  
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

Amir Hooshmand, Matthew I. Campbell
2014 Artificial intelligence for engineering design, analysis and manufacturing  
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

Nasir Mehmood Minhas, Asad Masood Qazi, Sidra Shahzadi, Shumaila Ghafoor
2015 Journal of Software Engineering and Applications  
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]

Pedro Pablo Perez Velasco
2009 arXiv   pre-print
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

Hatime Bencharqui, Younes Moubachir, Adil Anwar
2020 Advances in Science, Technology and Engineering Systems  
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


2006 Computer Aided Methods in Optimal Design and Operations  
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]

Holger Giese, Robert Wagner
2006 Lecture Notes in Computer Science  
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]

Maryam Ghaffari Saadat, Reiko Heckel, Fernando Orejas
2020 Lecture Notes in Computer Science  
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

Jun Kong, O. Barkol, R. Bergman, A. Pnueli, S. Schein, Kang Zhang, Chunying Zhao
2012 IEEE Transactions on Systems Man and Cybernetics Part C (Applications and Reviews)  
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