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

by Kreowski, Hans-Jorg; Montanari, Ugo; Orejas, Fernando; Rozenberg, Grzegorz; Taentzer, Gabriele

• ISBN13: 9783540249368
• ISBN10: 3540249362
• Format: Paperback
• Copyright: 2005-02-28
• Publisher: Springer Verlag

Summary

By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, this book commemorates the 60 th 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

Bibliography of Hartmut Ehrig
On the concurrent semantics of algebraic graph grammars	p. 3
From graph transformation to software engineering and back	p. 24
Flexible interconnection of graph transformation modules - a systematic approach	p. 38
Simulating algebraic high-level nets by parallel attributed graph transformation	p. 64
Graph processes with fusions : concurrency by colimits, again	p. 84
Graph transformation with variables	p. 101
Graph transformation in molecular biology	p. 116
Changing labels in the double-pushout approach can be treated categorically	p. 134
Modules, brains and schemas	p. 153
From conditional specifications to interaction charts - a journey from formal to visual means to model behaviour	p. 167
Algebraic properties of interfaces	p. 190
[epsilon][subscript T]-Integration of logics	p. 204
Functorial semantics of rewrite theories	p. 220
Expander2 - towards a workbench for interactive formal reasoning	p. 236
Relationships between equational and inductive data types	p. 259
Cofree coalgebras for signature morphisms	p. 275
Nested constraints and application conditions for high-level structures	p. 293
Synthesis revisited : generating statechart models from scenario-based requirements	p. 309
Main concepts of networks of transformation units with interlinking semantics	p. 325
Embeddings and contexts for link graphs	p. 343
Towards architectural connectors for UML	p. 352
Loose semantics of petri nets	p. 370
A formal framework for the development of concurrent object-based systems	p. 385
A formal description of the basic concepts of system theory for transportation	p. 402
Table of Contents provided by Blackwell. All Rights Reserved.