Rocco De Nicola, Pierpaolo Degano, José Meseguer (auth.), Pierpaolo Degano, Rocco De Nicola, José Meseguer (eds.)3540686762, 9783540686767
This Festschrift volume, pubished 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 these 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.
Table of contents :
Front Matter….Pages –
Ugo Montanari in a Nutshell….Pages 1-8
Ugo Montanari and Graph Transformation….Pages 9-15
Unfolding Graph Transformation Systems: Theory and Applications to Verification….Pages 16-36
Graph-Based Design and Analysis of Dynamic Software Architectures….Pages 37-56
Graph Transformation Units – An Overview….Pages 57-75
Synchronous Multiparty Synchronizations and Transactions….Pages 76-95
Transformations in Reconfigurable Place/Transition Systems….Pages 96-113
Explicit State Model Checking for Graph Grammars….Pages 114-132
Linear-Ordered Graph Grammars: Applications to Distributed Systems Design….Pages 133-150
Constraint and Logic Programming: Ugo Montanari’s Main Contributions and Introduction to the Volume Section….Pages 151-154
Semiring-Based Soft Constraints….Pages 155-173
Declarative Debugging of Membership Equational Logic Specifications….Pages 174-193
SPREADSPACES : Mathematically-Intelligent Graphical Spreadsheets….Pages 194-208
An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy….Pages 209-237
AND/OR Multi-valued Decision Diagrams for Constraint Networks….Pages 238-257
Software Engineering: Ugo Montanari’s Main Contributions and Introduction to the Section….Pages 258-260
Modeling Business within a UML-Based Rigorous Software Development Approach….Pages 261-277
From Domain to Requirements….Pages 278-300
Business Process Modeling for Organizational Knowledge Management….Pages 301-311
Event-Based Service Coordination….Pages 312-329
Dynamically Evolvable Dependable Software: From Oxymoron to Reality….Pages 330-353
The Temporal Logic of Rewriting: A Gentle Introduction….Pages 354-382
A Heterogeneous Approach to UML Semantics….Pages 383-402
Ugo Montanari and Concurrency Theory….Pages 403-408
On the Synthesis of Zero-Safe Nets….Pages 409-426
A Note on Persistent Petri Nets….Pages 427-438
Secure Data Flow in a Calculus for Context Awareness….Pages 439-456
On Beta-Binders Communications….Pages 457-472
On the Asynchronous Nature of the Asynchronous π -Calculus….Pages 473-492
StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes….Pages 493-502
Models of Computation: A Tribute to Ugo Montanari’s Vision….Pages 503-509
Automatic Mutual Exclusion and Atomicity Checks….Pages 510-526
Petri Nets, Discrete Physics, and Distributed Quantum Computation….Pages 527-543
A Category of Explicit Fusions….Pages 544-562
What Do Semantics Matter When the Meat Is Overcooked?….Pages 563-580
Calculating Colimits Compositionally….Pages 581-592
Observability Concepts in Abstract Data Type Specification, 30 Years Later….Pages 593-617
Ugo Montanari and Software Verification….Pages 618-624
History Dependent Automata for Service Compatibility….Pages 625-641
A Type System for Client Progress in a Service-Oriented Calculus….Pages 642-658
Session and Union Types for Object Oriented Programming….Pages 659-680
The Pairing of Contracts and Session Types….Pages 681-700
Specifying and Analysing SOC Applications with COWS ….Pages 701-720
Approximating Behaviors in Embedded System Design….Pages 721-742
Ugo Montanari and Friends….Pages 743-746
Calculating with Automata….Pages 747-756
Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra….Pages 757-777
Some Theorems Concerning the Core Function….Pages 778-796
The Seventies….Pages 797-798
Categories, Software and Meaning….Pages 799-801
A Roman Senator….Pages 802-803
The Semantics of Ugo Montanari….Pages 804-805
Abstraction for a Career in Industry: A Praise for Ugo’s 65 Years….Pages 806-808
Back Matter….Pages –
Reviews
There are no reviews yet.