It's All About Coordination

Description

This Festschrift volume has been published to celebrate the lifelong scientific achievements of Farhad Arbab on the occasion of his retirement from the Centre of Mathematics and Computer Science (CWI). Over the years Farhad Arbab has sucessfully been engaged in scientific explorations in various directions: Software Composition, Service Oriented Computing, Component-based Software, Concurrency Theory, Coordination Models and Languages, Parallel and Distributed Computing, Visual Programming Environments, Constraints, Logic and Object-Oriented Programming. Farhad Arbab has shaped the field of Coordination Models and Languages. His insight that it is all about exeogeneous coordination gave rise to the striking elegance and beauty of Reo: an exogenous coordination model based on a formal calculus of channel composition. Reo has been extremely successful and is having a great impact in many of the areas mentioned above. The present volume collects a number of papers by several of Farhad’s close collaborators over the years. Front Matter ....Pages I-XII Discovering the “Glue” Connecting Activities (Wil M. P. van der Aalst)....Pages 1-20 Self-stabilization Through the Lens of Game Theory (Krzysztof R. Apt, Ehsan Shoja)....Pages 21-37 Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination (Christel Baier, Philipp Chrszon, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz)....Pages 38-56 A Note on Reactive Transitions and Reo Connectors (Daniel Figueiredo, Manuel A. Martins, Luís S. Barbosa)....Pages 57-67 Personal Note: Working with Farhad Arbab 1990–2005 (Kees Blom)....Pages 68-69 Soft Constraint Automata with Memory (Kasper Dokter, Fabio Gadducci, Francesco Santini)....Pages 70-85 On the Relation Between Control-Based and Data-Based Coordination Languages (Jean-Marie Jacquet, Isabelle Linden, Denis Darquennes)....Pages 86-106 Release the Beasts: When Formal Methods Meet Real World Data (Rudolf Schlatte, Einar Broch Johnsen, Jacopo Mauro, S. Lizeth Tapia Tarifa, Ingrid Chieh Yu)....Pages 107-121 Formalizing Propagation of Priorities in Reo, Using Eight Colors (Sung-Shik Jongmans)....Pages 122-138 Learning to Coordinate (Gerco van Heerdt, Bart Jacobs, Tobias Kappé, Alexandra Silva)....Pages 139-159 Reo Connectors and Components as Tagged Signal Models (Marjan Sirjani, Fatemeh Ghassemi, Bahman Pourvatan)....Pages 160-173 Generating Arduino C Codes from Mediator (Yi Li, Meng Sun)....Pages 174-188 From Soft Agents to Soft Component Automata and Back (Carolyn Talcott)....Pages 189-207 Argumentation as Exogenous Coordination (Leendert van der Torre, Tjitze Rienstra, Dov Gabbay)....Pages 208-223 Extending Paradigm with Data (Luuk P. J. Groenewegen, Jan H. S. Verschuren, Erik P. de Vink)....Pages 224-244 Back Matter ....Pages 245-245