Applications of graph transformations with industrial relevance : third international symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, revised selected and invited papers / / edited by Andy Schürr, Manfred Nagl, Albert Zündorf |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [2008] |
Descrizione fisica | 1 online resource (XIII, 594 p.) |
Disciplina | 004 |
Collana | Programming and Software Engineering |
Soggetto topico |
Rewriting systems (Computer science)
Computer science |
ISBN | 3-540-89020-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Graph Transformation Applications -- Combining Quality Assurance and Model Transformations in Business-Driven Development -- Assuring Consistency of Business Process Models and Web Services Using Visual Contracts -- Transforming Scene Graphs Using Triple Graph Grammars – A Practice Report -- Using Graph Transformation to Support Collaborative Ontology Evolution -- Modelling of Longitudinal Information Systems with Graph Grammars -- Meta-modeling and Domain-Specific Language -- A Generic Layout Algorithm for Meta-model Based Editors -- Domain Specific Languages with Graphical and Textual Views -- Generating Domain-Specific Model Editors with Complex Editing Commands -- Specifying Domain-Specific Refactorings for AndroMDA Based on Graph Transformation -- New Graph Transformation Approaches -- Defining Abstract Graph Views as Module Interfaces -- Programmed Graph Rewriting with DEVS -- Relational Growth Grammars – A Parallel Graph Transformation Approach with Applications in Biology and Architecture -- Applications and Rewriting of Omnigraphs – Exemplified in the Domain of MDD -- Program Transformation Applications -- A Single-Step Term-Graph Reduction System for Proof Assistants -- Shaped Generic Graph Transformation -- Code Graph Transformations for Verifiable Generation of SIMD-Parallel Assembly Code -- Graph Rewriting for Hardware Dependent Program Optimizations -- Dynamic System Modeling -- Transforming Timeline Specifications into Automata for Runtime Monitoring -- Visualization, Simulation and Analysis of Reconfigurable Systems -- Communities of Autonomous Units for Pickup and Delivery Vehicle Routing -- Efficient Graph Matching with Application to Cognitive Automation -- Model Driven Software Development Applications -- Checking and Enforcement of Modeling Guidelines with Graph Transformations -- Aspect Diagrams for UML Activity Models -- Model-Driven Software Development with Graph Transformations: A Comparative Case Study -- Verification and Synthesis of OCL Constraints Via Topology Analysis -- Queries, Views, and Model Transformations -- State of the Art of QVT: A Model Transformation Language Standard -- Adaptable Support for Queries and Transformations for the DRAGOS Graph-Database -- New Pattern Matching and Rewriting Concepts -- Applying a Grouping Operator in Model Transformations -- Modeling Successively Connected Repetitive Subgraphs -- Simulating Set-Valued Transformations with Algorithmic Graph Transformation Languages -- Recursive Graph Pattern Matching -- A First Experimental Evaluation of Search Plan Driven Graph Pattern Matching -- Graph Transformation Tool Contest -- AGTIVE 2007 Graph Transformation Tool Contest -- Ludo: A Case Study for Graph Transformation Tools -- Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools -- Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools -- Graph Transformation Tools -- The EMF Model Transformation Framework -- GrGen.NET: A Fast, Expressive, and General Purpose Graph Rewrite Tool -- The Modelling Platform GroIMP and the Programming Language XL -- Metamodeling with MOFLON -- The Graph Rewriting Language and Environment PROGRES -- Algorithm and Tool for Ontology Integration Based on Graph Rewriting -- Generating Eclipse Editor Plug-Ins Using Tiger -- From Graph Transformation to OCL Using USE -- Introducing the VMTS Mobile Toolkit. |
Record Nr. | UNISA-996466342703316 |
Berlin, Germany ; ; New York, New York : , : Springer, , [2008] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Applications of graph transformations with industrial relevance : third international symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, revised selected and invited papers / / edited by Andy Schürr, Manfred Nagl, Albert Zündorf |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [2008] |
Descrizione fisica | 1 online resource (XIII, 594 p.) |
Disciplina | 004 |
Collana | Programming and Software Engineering |
Soggetto topico |
Rewriting systems (Computer science)
Computer science |
ISBN | 3-540-89020-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Graph Transformation Applications -- Combining Quality Assurance and Model Transformations in Business-Driven Development -- Assuring Consistency of Business Process Models and Web Services Using Visual Contracts -- Transforming Scene Graphs Using Triple Graph Grammars – A Practice Report -- Using Graph Transformation to Support Collaborative Ontology Evolution -- Modelling of Longitudinal Information Systems with Graph Grammars -- Meta-modeling and Domain-Specific Language -- A Generic Layout Algorithm for Meta-model Based Editors -- Domain Specific Languages with Graphical and Textual Views -- Generating Domain-Specific Model Editors with Complex Editing Commands -- Specifying Domain-Specific Refactorings for AndroMDA Based on Graph Transformation -- New Graph Transformation Approaches -- Defining Abstract Graph Views as Module Interfaces -- Programmed Graph Rewriting with DEVS -- Relational Growth Grammars – A Parallel Graph Transformation Approach with Applications in Biology and Architecture -- Applications and Rewriting of Omnigraphs – Exemplified in the Domain of MDD -- Program Transformation Applications -- A Single-Step Term-Graph Reduction System for Proof Assistants -- Shaped Generic Graph Transformation -- Code Graph Transformations for Verifiable Generation of SIMD-Parallel Assembly Code -- Graph Rewriting for Hardware Dependent Program Optimizations -- Dynamic System Modeling -- Transforming Timeline Specifications into Automata for Runtime Monitoring -- Visualization, Simulation and Analysis of Reconfigurable Systems -- Communities of Autonomous Units for Pickup and Delivery Vehicle Routing -- Efficient Graph Matching with Application to Cognitive Automation -- Model Driven Software Development Applications -- Checking and Enforcement of Modeling Guidelines with Graph Transformations -- Aspect Diagrams for UML Activity Models -- Model-Driven Software Development with Graph Transformations: A Comparative Case Study -- Verification and Synthesis of OCL Constraints Via Topology Analysis -- Queries, Views, and Model Transformations -- State of the Art of QVT: A Model Transformation Language Standard -- Adaptable Support for Queries and Transformations for the DRAGOS Graph-Database -- New Pattern Matching and Rewriting Concepts -- Applying a Grouping Operator in Model Transformations -- Modeling Successively Connected Repetitive Subgraphs -- Simulating Set-Valued Transformations with Algorithmic Graph Transformation Languages -- Recursive Graph Pattern Matching -- A First Experimental Evaluation of Search Plan Driven Graph Pattern Matching -- Graph Transformation Tool Contest -- AGTIVE 2007 Graph Transformation Tool Contest -- Ludo: A Case Study for Graph Transformation Tools -- Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools -- Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools -- Graph Transformation Tools -- The EMF Model Transformation Framework -- GrGen.NET: A Fast, Expressive, and General Purpose Graph Rewrite Tool -- The Modelling Platform GroIMP and the Programming Language XL -- Metamodeling with MOFLON -- The Graph Rewriting Language and Environment PROGRES -- Algorithm and Tool for Ontology Integration Based on Graph Rewriting -- Generating Eclipse Editor Plug-Ins Using Tiger -- From Graph Transformation to OCL Using USE -- Introducing the VMTS Mobile Toolkit. |
Record Nr. | UNINA-9910767522203321 |
Berlin, Germany ; ; New York, New York : , : Springer, , [2008] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|