Formal Methods in Software and Systems Modeling

Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

  • Hans-Jörg Kreowski
  • Ugo Montanari
  • Fernando Orejas
  • Grzegorz Rozenberg
  • Gabriele Taentzer

Part of the Lecture Notes in Computer Science book series (LNCS, volume 3393)

Table of contents

  1. Front Matter
  2. Graph Transformation

    1. Front Matter
      Pages 1-1
    2. Paolo Baldan, Andrea Corradini
      Pages 3-23
    3. Luciano Baresi, Mauro Pezzè
      Pages 24-37
    4. Gregor Engels, Reiko Heckel, Alexey Cherchago
      Pages 38-63
    5. Claudia Ermel, Gabriele Taentzer, Roswitha Bardohl
      Pages 64-83
    6. Fabio Gadducci, Ugo Montanari
      Pages 84-100
    7. Berthold Hoffmann
      Pages 101-115
    8. Francesc Rosselló, Gabriel Valiente
      Pages 116-133
  3. Algebraic Specification and Logic

    1. Front Matter
      Pages 151-151
    2. Michael A. Arbib
      Pages 153-166
    3. Egidio Astesiano, Gianna Reggio
      Pages 167-189
    4. Michael Löwe, Harald König, Christoph Schulz
      Pages 190-203
    5. Bernd Mahr, Sebastian Bab
      Pages 204-219
    6. José Meseguer
      Pages 220-235
    7. Peter Padawitz
      Pages 236-258
  4. Formal and Visual Modeling

    1. Front Matter
      Pages 291-291
    2. Annegret Habel, Karl-Heinz Pennemann
      Pages 293-308
    3. David Harel, Hillel Kugler, Amir Pnueli
      Pages 309-324
    4. Dirk Janssens, Hans-Jörg Kreowski, Grzegorz Rozenberg
      Pages 325-342
    5. Robin Milner
      Pages 343-351
    6. Fernando Orejas, Sonia Pérez
      Pages 352-369
    7. Julia Padberg, Hans-Jörg Kreowski
      Pages 370-384
    8. Leila Ribeiro, Fernando Luís Dotti, Roswitha Bardohl
      Pages 385-401
    9. Eckehard Schnieder, Jörg R. Müller
      Pages 402-411
  5. Back Matter

About this book


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.


Signatur UML Unified Modeling Language (UML) formal method formal methods formal reasoning graph transformations logic modeling petri net software development software modeling statecharts system modeling systems modeling

Editors and affiliations

  • Hans-Jörg Kreowski
    • 1
  • Ugo Montanari
    • 2
  • Fernando Orejas
    • 3
  • Grzegorz Rozenberg
    • 4
  • Gabriele Taentzer
    • 5
  1. 1.Department of Computer ScienceUniversity of BremenBremenGermany
  2. 2.Dipartimento di InformaticaUniversità di Pisa 
  3. 3.Dpto de L.S.I.Universitat Politècnica de CatalunyaBarcelonaSpain
  4. 4.Leiden Center of Advanced Computer Science (LIACS)Leiden UniversityLeidenThe Netherlands
  5. 5.Philipps-Universität MarburgGermany

Bibliographic information

Industry Sectors
IT & Software