Concurrency, Graphs and Models

Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
2008
ISBN: 978-3-540-68676-7
Verlag: Springer Berlin Heidelberg

Buch, Englisch, Band 5065, 810 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 1235 g

Reihe: Lecture Notes in Computer Science

This volume contains the 43 papers written by close collaboratorsand friends of UgoMontanariincelebrationofhis65thbirthday.Insomesense,thevolumeisa re?ection, with gratitude and admiration, on Ugo’s highly creative, remarkably fruitful and intellectually generous life, which is thriving as strongly as ever. It provides a snapshot of the manifold research ideas that have been deeply in?uenced by Ugo’s work. In a sense the book gives a vantage point from which to foresee further developments to come: by Ugo himself, and by many other people encouraged and stimulated by his friendship and example. The volume consists of seven sections, six of which are dedicated to the main research areas to which Ugo has contributed. Each of these six sections starts with a contribution by one of Ugo’s closer collaborators providing an account of Ugo’s contribution to the area and brie?y describing the papers in the section. The six scienti?c sections and the respective editors are the following: – Graph Transformation (Andrea Corradini) – Constraint and Logic Programming (Francesca Rossi) – Software Engineering (Stefania Gnesi) – Concurrency (Roberto Gorrieri) – Models of Computation (Roberto Bruni and Vladimiro Sassone) – Software Veri?cation (Gian-Luigi Ferrari) The ?nal section,edited by Fabio Gadducci,contains somelaudatio or memories of working experiences with Ugo, as well as three more technical contributions.

Zielgruppe

Research

Autoren/Hrsg.

Degano, Pierpaolo

Meseguer, José

de Nicola, Rocco

Fachgebiete

• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering Objektorientierte Softwareentwicklung
• Mathematik | Informatik EDV | Informatik Informatik Künstliche Intelligenz Wissensbasierte Systeme, Expertensysteme
• Technische Wissenschaften Elektronik | Nachrichtentechnik Elektronik Robotik
• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Programmierung: Methoden und Allgemeines
• Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten

Inhaltsverzeichnis

Ugo Montanari in a Nutshell.- Ugo Montanari in a Nutshell.- Graph Transformation.- Ugo Montanari and Graph Transformation.- Unfolding Graph Transformation Systems: Theory and Applications to Verification.- Graph-Based Design and Analysis of Dynamic Software Architectures.- Graph Transformation Units – An Overview.- Synchronous Multiparty Synchronizations and Transactions.- Transformations in Reconfigurable Place/Transition Systems.- Explicit State Model Checking for Graph Grammars.- Linear-Ordered Graph Grammars: Applications to Distributed Systems Design.- Constraint and Logic Programming.- Constraint and Logic Programming: Ugo Montanari’s Main Contributions and Introduction to the Volume Section.- Semiring-Based Soft Constraints.- Declarative Debugging of Membership Equational Logic Specifications.- SPREADSPACES: Mathematically-Intelligent Graphical Spreadsheets.- An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy.- AND/OR Multi-valued Decision Diagrams for Constraint Networks.- Software Engineering.- Software Engineering: Ugo Montanari’s Main Contributions and Introduction to the Section.- Modeling Business within a UML-Based Rigorous Software Development Approach.- From Domain to Requirements.- Business Process Modeling for Organizational Knowledge Management.- Event-Based Service Coordination.- Dynamically Evolvable Dependable Software: From Oxymoron to Reality.- The Temporal Logic of Rewriting: A Gentle Introduction.- A Heterogeneous Approach to UML Semantics.- Concurrency Theory.- Ugo Montanari and Concurrency Theory.- On the Synthesis of Zero-Safe Nets.- A Note on Persistent Petri Nets.- Secure Data Flow in a Calculus for Context Awareness.- On Beta-Binders Communications.- On the AsynchronousNature of the Asynchronous ?-Calculus.- StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes.- Models of Computation.- Models of Computation: A Tribute to Ugo Montanari’s Vision.- Automatic Mutual Exclusion and Atomicity Checks.- Petri Nets, Discrete Physics, and Distributed Quantum Computation.- A Category of Explicit Fusions.- What Do Semantics Matter When the Meat Is Overcooked?.- Calculating Colimits Compositionally.- Observability Concepts in Abstract Data Type Specification, 30 Years Later.- Software Verification.- Ugo Montanari and Software Verification.- History Dependent Automata for Service Compatibility.- A Type System for Client Progress in a Service-Oriented Calculus.- Session and Union Types for Object Oriented Programming.- The Pairing of Contracts and Session Types.- Specifying and Analysing SOC Applications with COWS.- Approximating Behaviors in Embedded System Design.- Friends.- Ugo Montanari and Friends.- Calculating with Automata.- Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra.- Some Theorems Concerning the Core Function.- The Seventies.- Categories, Software and Meaning.- A Roman Senator.- The Semantics of Ugo Montanari.- Abstraction for a Career in Industry: A Praise for Ugo’s 65 Years.