Concurrency, Graphs and Models : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

by Degano, Pierpaolo; De Nicola, Rocco; Meseguer, Jose

• ISBN13: 9783540686767
• ISBN10: 3540686762
• Format: Paperback
• Copyright: 2008-07-04
• Publisher: Springer Verlag

Summary

"This Festschrift volume, published in honor of Ugo Montanari on the occasion of his 65th birthday, contains 43 papers, written by friends and colleagues, all leading scientists in their own right, who congregated at a celebratory symposium held on June 12, 2008, in Pisa." "The volume consists of seven sections, six of which are dedicated to the main research areas to which Ugo Montanari has contributed: Graph Transformation; Constraint and Logic Programming; Software Engineering; Concurrency; Models of Computation; and Software Verification. Each of this six sections starts with an introductory paper giving an account of Ugo Montanari's contribution to the area and describing the papers in the section. The final section consists of a number of papers giving a laudation of Ugo Montanari's numerous achievements."--BOOK JACKET.

Table of Contents

Ugo Montanari in a Nutshell	p. 1
Graph Transformation
Ugo Montanari and Graph Transformation	p. 9
Unfolding Graph Transformation Systems: Theory and Applications to Verification	p. 16
Graph-Based Design and Analysis of Dynamic Software Architectures	p. 37
Graph Transformation Units - An Overview	p. 57
Synchronous Multiparty Synchronizations and Transactions	p. 76
Transformations in Reconfigurable Place/Transition Systems	p. 96
Explicit State Model Checking for Graph Grammars	p. 114
Linear-Ordered Graph Grammars: Applications to Distributed Systems Design	p. 133
Constraint and Logic Programming
Constraint and Logic Programming: Ugo Montanari's Main Contributions and Introduction to the Volume Section	p. 151
Semiring-Based Soft Constraints	p. 155
Declarative Debugging of Membership Equational Logic Specifications	p. 174
Spreadspaces: Mathematically-Intelligent Graphical Spreadsheets	p. 194
An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy	p. 209
AND/OR Multi-valued Decision Diagrams for Constraint Networks	p. 238
Software Engineering
Software Engineering: Ugo Montanari's Main Contributions and Introduction to the Section	p. 258
Modeling Business within a UML-Based Rigorous Software Development Approach	p. 261
From Domain to Requirements	p. 278
Business Process Modeling for Organizational Knowledge Management	p. 301
Event-Based Service Coordination	p. 312
Dynamically Evolvable Dependable Software: From Oxymoron to Reality	p. 330
The Temporal Logic of Rewriting: A Gentle Introduction	p. 354
A Heterogeneous Approach to UML Semantics	p. 383
Concurrency Theory
Ugo Montanari and Concurrency Theory	p. 403
On the Synthesis of Zero-Safe Nets	p. 409
A Note on Persistent Petri Nets	p. 427
Secure Data Flow in a Calculus for Context Awareness	p. 439
On Beta-Binders Communications	p. 457
On the Asynchronous Nature of the Asynchronous [pi]-Calculus	p. 473
StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes	p. 493
Models of Computation
Models of Computation: A Tribute to Ugo Montanari's Vision	p. 503
Automatic Mutual Exclusion and Atomicity Checks	p. 510
Petri Nets, Discrete Physics, and Distributed Quantum Computation	p. 527
A Category of Explicit Fusions	p. 544
What Do Semantics Matter When the Meat Is Overcooked?	p. 563
Calculating Colimits Compositionally	p. 581
Observability Concepts in Abstract Data Type Specification, 30 Years Later	p. 593
Software Verification
Ugo Montanari and Software Verification	p. 618
History Dependent Automata for Service Compatibility	p. 625
A Type System for Client Progress in a Service-Oriented Calculus	p. 642
Session and Union Types for Object Oriented Programming	p. 659
The Pairing of Contracts and Session Types	p. 681
Specifying and Analysing SOC Applications with COWS	p. 701
Approximating Behaviors in Embedded System Design	p. 721
Friends
Ugo Montanari and Friends	p. 743
Calculating with Automata	p. 747
Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra	p. 757
Some Theorems Concerning the Core Function	p. 778
The Seventies	p. 797
Categories, Software and Meaning	p. 799
A Roman Senator	p. 802
The Semantics of Ugo Montanari	p. 804
Abstraction for a Career in Industry: A Praise for Ugo's 65 Years	p. 806
Author Index	p. 809
Table of Contents provided by Ingram. All Rights Reserved.