Book Volume 5065 2008

Concurrency, Graphs and Models

Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

Editors:

ISBN: 978-3-540-68676-7 (Print) 978-3-540-68679-8 (Online)

Table of contents (53 chapters)

previous Page of 3
  1. Front Matter

    Pages -

  2. Ugo Montanari in a Nutshell

    1. No Access

      Chapter

      Pages 1-8

      Ugo Montanari in a Nutshell

  3. Graph Transformation

    1. No Access

      Chapter

      Pages 9-15

      Ugo Montanari and Graph Transformation

    2. No Access

      Chapter

      Pages 16-36

      Unfolding Graph Transformation Systems: Theory and Applications to Verification

    3. No Access

      Chapter

      Pages 37-56

      Graph-Based Design and Analysis of Dynamic Software Architectures

    4. No Access

      Chapter

      Pages 57-75

      Graph Transformation Units – An Overview

    5. No Access

      Chapter

      Pages 76-95

      Synchronous Multiparty Synchronizations and Transactions

    6. No Access

      Chapter

      Pages 96-113

      Transformations in Reconfigurable Place/Transition Systems

    7. No Access

      Chapter

      Pages 114-132

      Explicit State Model Checking for Graph Grammars

    8. No Access

      Chapter

      Pages 133-150

      Linear-Ordered Graph Grammars: Applications to Distributed Systems Design

  4. Constraint and Logic Programming

    1. No Access

      Chapter

      Pages 151-154

      Constraint and Logic Programming: Ugo Montanari’s Main Contributions and Introduction to the Volume Section

    2. No Access

      Chapter

      Pages 155-173

      Semiring-Based Soft Constraints

    3. No Access

      Chapter

      Pages 174-193

      Declarative Debugging of Membership Equational Logic Specifications

    4. No Access

      Chapter

      Pages 194-208

      SPREADSPACES: Mathematically-Intelligent Graphical Spreadsheets

    5. No Access

      Chapter

      Pages 209-237

      An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy

    6. No Access

      Chapter

      Pages 238-257

      AND/OR Multi-valued Decision Diagrams for Constraint Networks

  5. Software Engineering

    1. No Access

      Chapter

      Pages 258-260

      Software Engineering: Ugo Montanari’s Main Contributions and Introduction to the Section

    2. No Access

      Chapter

      Pages 261-277

      Modeling Business within a UML-Based Rigorous Software Development Approach

    3. No Access

      Chapter

      Pages 278-300

      From Domain to Requirements

    4. No Access

      Chapter

      Pages 301-311

      Business Process Modeling for Organizational Knowledge Management

    5. No Access

      Chapter

      Pages 312-329

      Event-Based Service Coordination

previous Page of 3