Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

Paolo Baldan, Andrea Corradini (auth.), Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer (eds.)9783540249368, 3540249362

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.

Table of contents :
Front Matter….Pages –
Front Matter….Pages 1-1
On the Concurrent Semantics of Algebraic Graph Grammars….Pages 3-23
From Graph Transformation to Software Engineering and Back….Pages 24-37
Flexible Interconnection of Graph Transformation Modules….Pages 38-63
Simulating Algebraic High-Level Nets by Parallel Attributed Graph Transformation….Pages 64-83
Graph Processes with Fusions: Concurrency by Colimits, Again….Pages 84-100
Graph Transformation with Variables….Pages 101-115
Graph Transformation in Molecular Biology….Pages 116-133
Changing Labels in the Double-Pushout Approach Can Be Treated Categorically….Pages 134-149
Front Matter….Pages 151-151
Modules, Brains and Schemas….Pages 153-166
From Conditional Specifications to Interaction Charts….Pages 167-189
Algebraic Properties of Interfaces….Pages 190-203
∈ T -Integration of Logics….Pages 204-219
Functorial Semantics of Rewrite Theories….Pages 220-235
Expander2….Pages 236-258
Relationships Between Equational and Inductive Data Types….Pages 259-274
Cofree Coalgebras for Signature Morphisms….Pages 275-290
Front Matter….Pages 291-291
Nested Constraints and Application Conditions for High-Level Structures….Pages 293-308
Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements….Pages 309-324
Main Concepts of Networks of Transformation Units with Interlinking Semantics….Pages 325-342
Embeddings and Contexts for Link Graphs….Pages 343-351
Front Matter….Pages 291-291
Towards Architectural Connectors for UML….Pages 352-369
Loose Semantics of Petri Nets….Pages 370-384
A Formal Framework for the Development of Concurrent Object-Based Systems….Pages 385-401
A Formal Description of the Basic Concepts of System Theory for Transportation….Pages 402-411
Back Matter….Pages –