This volume pays tribute to the scientific achievements of Hartmut Ehrig, who passed away in March 2016.The contributions represent a selection from a symposium, held in October 2016 at TU Berlin,  commemorating Hartmut’ s life and work as well as other invited papers in the areas he was active in. These areas include Graph Transformation, Model Transformation,  Concurrency Theory, in particular Petri Nets, Algebraic Specification, and Category Theory in Computer Science.
Les mer
This volume pays tribute to the scientific achievements of Hartmut Ehrig, who passed away in March 2016.The contributions represent a selection from a symposium, held in October 2016 at TU Berlin, commemorating Hartmut’ s life and work as well as other invited papers in the areas he was active in.
Les mer
On the Essence of Parallel Independence for the Double-Pushout and Sesqui-Pushout Approaches.- Integration of graph constraints into graph grammars.- Multi-view Consistency in UML.- A Simple Notion of Parallel Graph Transformation and its Perspectives.- A Tutorial on Graph Transformation.- Initial Conflicts and Dependencies: Critical Pairs Revisited.- Towards a Navigational Logic for Graphical Structures.- Model Transformations as Free Constructions.- The Verigraph Tool for Graph Transformation.- Decomposition Structures for Soft Constraint Evaluation Problems: an Algebraic Approach.- Overview of Recon gurable Petri Nets.- The Category "Undirected Graph".- Modular Termination of Graph Transformation.- Graph Attribution through Sub-Graphs.- On normal forms for structured speci cations with generating constraints.- Towards the Automated Generation of Consistent, Diverse, Scalable and Realistic Graph Models.- Graph Operations and Free Graph Algebras.
Les mer
This volume pays tribute to the scientific achievements of Hartmut Ehrig, who passed away in March 2016.The contributions represent a selection from a symposium, held in October 2016 at TU Berlin,  commemorating Hartmut’ s life and work as well as other invited papers in the areas he was active in.These areas include Graph Transformation, Model Transformation,  Concurrency Theory, in particular Petri Nets, Algebraic Specification, and Category Theory in Computer Science.
Les mer
High quality selected papers Algebraic approach to graph transformation The double-pushout approach
GPSR Compliance The European Union's (EU) General Product Safety Regulation (GPSR) is a set of rules that requires consumer products to be safe and our obligations to ensure this. If you have any concerns about our products you can contact us on ProductSafety@springernature.com. In case Publisher is established outside the EU, the EU authorized representative is: Springer Nature Customer Service Center GmbH Europaplatz 3 69115 Heidelberg, Germany ProductSafety@springernature.com
Les mer

Produktdetaljer

ISBN
9783319753959
Publisert
2018-02-07
Utgiver
Vendor
Springer International Publishing AG
Høyde
235 mm
Bredde
155 mm
Aldersnivå
Research, UP, 05
Språk
Product language
Engelsk
Format
Product format
Heftet