Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th BirthdayHans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, this book commemorates the 60th birthday of Hartmut Ehrig. The 24 invited reviewed papers are written by students and collaborators of Hartmut Ehrig who are established researchers in their fields. Reflecting the scientific interest and work of Hartmut Ehrig, the papers fall into three main parts on graph transformation, algebraic specification and logic, and formal and visual modeling. |
Contents
On the Concurrent Semantics of Algebraic Graph Grammars | 3 |
From Graph Transformation to Software Engineering and Back | 24 |
Flexible Interconnection of Graph Transformation Modules | 38 |
Simulating Algebraic HighLevel Nets | 64 |
Concurrency by Colimits Again Fabio Gadducci and Ugo Montanari | 84 |
Graph Transformation with Variables | 101 |
Graph Transformation in Molecular Biology | 116 |
Changing Labels in the DoublePushout Approach Can | 134 |
Functorial Semantics of Rewrite Theories | 220 |
Expander2 Towards a Workbench for Interactive Formal Reasoning | 236 |
Relationships Between Equational and Inductive Data Types | 259 |
Cofree Coalgebras for Signature Morphisms | 275 |
Nested Constraints and Application Conditions | 293 |
Generating Statechart Models | 309 |
Main Concepts of Networks of Transformation Units | 325 |
Embeddings and Contexts for Link Graphs | 343 |
Algebraic Specification and Logic | 150 |
From Conditional Specifications to Interaction Charts | 167 |
Algebraic Properties of Interfaces | 190 |
GTIntegration of Logics Bernd Mahr and Sebastian Bab | 204 |
Loose Semantics of Petri Nets | 370 |
A Formal Framework for the Development | 385 |
A Formal Description of the Basic Concepts of System Theory | 402 |
Other editions - View all
Common terms and phrases
2-category abstract AHL nets Algebraic Specification application conditions artificial chemistry attributed graph axioms basic behavior coalgebras colimit components composition concepts concurrent constraints construction contact structures Corradini corresponding data types defined Definition denote derivation edges editors embeddings epimorphisms equations event structure example F-coalgebra finite forgetful functor formal function functor given Graph Grammars graph morphisms graph rewriting graph transformation systems Grzegorz Rozenberg induction injective instantiation integration interaction charts interaction machines interface interlinking semantics isomorphic Kreowski label language link graphs LNCS logic Löwe module Montanari nodes OBGG object operations parallel Petri nets Proc proof Proposition pushout pushout complement recursive relation rewrite theories Rozenberg rules schema theory Section semantic entities sequence diagrams signature simulation Springer Springer-Verlag statechart step subrule Theorem Theoretical Computer Science tion transformation units transition systems type graph variables visual Workshop