Skip to main content
SpringerLink
Log in
Book cover

Formal Methods in Software and Systems Modeling

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

  • Book
  • © 2005

Overview

Editors:
  1. Hans-Jörg Kreowski

    1. Department of Computer Science, University of Bremen, Bremen, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ugo Montanari

    1. Dipartimento di Informatica, Università di Pisa,  

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Fernando Orejas

    1. Dpto de L.S.I., Universitat Politècnica de Catalunya, Barcelona, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Grzegorz Rozenberg

    1. Leiden Center of Advanced Computer Science (LIACS), Leiden University, Leiden, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Gabriele Taentzer

    1. Philipps-Universität Marburg, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (24 chapters)

  1. Formal and Visual Modeling

    1. Nested Constraints and Application Conditions for High-Level Structures

      • Annegret Habel, Karl-Heinz Pennemann
      Pages 293-308

    2. Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements

      • David Harel, Hillel Kugler, Amir Pnueli
      Pages 309-324

    3. Main Concepts of Networks of Transformation Units with Interlinking Semantics

      • Dirk Janssens, Hans-Jörg Kreowski, Grzegorz Rozenberg
      Pages 325-342

    4. Embeddings and Contexts for Link Graphs

      • Robin Milner
      Pages 343-351

    5. Towards Architectural Connectors for UML

      • Fernando Orejas, Sonia Pérez
      Pages 352-369

    6. Loose Semantics of Petri Nets

      • Julia Padberg, Hans-Jörg Kreowski
      Pages 370-384

    7. A Formal Framework for the Development of Concurrent Object-Based Systems

      • Leila Ribeiro, Fernando Luís Dotti, Roswitha Bardohl
      Pages 385-401

    8. A Formal Description of the Basic Concepts of System Theory for Transportation

      • Eckehard Schnieder, Jörg R. Müller
      Pages 402-411

  2. Back Matter

    Download chapter PDF
Back to top

Keywords

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.

Editors and Affiliations

  • Department of Computer Science, University of Bremen, Bremen, Germany

    Hans-Jörg Kreowski

  • Dipartimento di Informatica, Università di Pisa,  

    Ugo Montanari

  • Dpto de L.S.I., Universitat Politècnica de Catalunya, Barcelona, Spain

    Fernando Orejas

  • Leiden Center of Advanced Computer Science (LIACS), Leiden University, Leiden, The Netherlands

    Grzegorz Rozenberg

  • Philipps-Universität Marburg, Germany

    Gabriele Taentzer

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation