Software, Services, and Systems: Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering (Lecture Notes in Computer Science, 8950)

This book is dedicated to Professor Martin Wirsing on the occasion of his emeritation from Ludwig-Maximilians-Universität in Munich, Germany. The volume is a reflection, with gratitude and admiration, on Professor Wirsing’s life highly creative, remarkably fruitful and intellectually generous life. It also gives a snapshot of the research ideas that in many cases have been deeply influenced by Professor Wirsing’s work. The book consists of six sections. The first section contains personal remembrances and expressions of gratitude from friends of Professor Wirsing. The remaining five sections consist of groups of scientific papers written by colleagues and collaborators of Professor Wirsing, which have been grouped and ordered according to his scientific evolution. More specifically, the papers are concerned with logical and algebraic foundations; algebraic specifications, institutions and rewriting; foundations of software engineering; service oriented systems; and adaptive and autonomic systems. Front Matter....Pages - A Homage to Martin Wirsing....Pages 1-12 Ode to the PST....Pages 13-23 From Formal Logic through Program Transformations to System Dynamics: 40 Years of Meeting Points with Martin Wirsing....Pages 24-26 The Broad View: How To Spawn a Radical Organizational Transformation ‘En Passant’....Pages 27-29 Modal Satisfiability via SMT Solving....Pages 30-45 Division by Zero in Common Meadows....Pages 46-61 Logical Relations and Nondeterminism....Pages 62-74 Simplified Coalgebraic Trace Equivalence....Pages 75-90 Localized Operational Termination in General Logics....Pages 91-114 Partial Valuation Structures for Qualitative Soft Constraints....Pages 115-133 An Institution for Object-Z with Inheritance and Polymorphism....Pages 134-154 Abstract Constraint Data Types....Pages 155-170 Generate & Check Method for Verifying Transition Systems in CafeOBJ ....Pages 171-192 Institutions for OCL-Like Expression Languages....Pages 193-214 Towards an Institutional Framework for Heterogeneous Formal Development in UML....Pages 215-230 Formal Analysis of Leader Election in MANETs Using Real-Time Maude....Pages 231-252 The Foundational Legacy of ASL....Pages 253-272 Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed Cyber-Physical Agent Systems....Pages 273-290 Structured Document Algebra in Action....Pages 291-311 From EU Projects to a Family of Model Checkers....Pages 312-328 Pragmatic Formal Specification of System Properties by Tables....Pages 329-354 Formal Modelling for Cooking Assistance....Pages 355-376 A Framework for Defining and Comparing Modelling Methods....Pages 377-408 A Theory Agenda for Component-Based Design....Pages 409-439 Effective and Efficient Model Clone Detection....Pages 440-457 Living Modeling of IT Architectures: Challenges and Solutions....Pages 458-474 A Flow Analysis Approach for Service-Oriented Architectures....Pages 475-489 Service Composition for Collective Adaptive Systems....Pages 490-505 The Evolution of Jolie....Pages 506-521 Stochastic Model Checking of the Stochastic Quality Calculus....Pages 522-537 Software-Intensive Systems for Smart Cities: From Ensembles to Superorganisms....Pages 538-551 A White Box Perspective on Behavioural Adaptation....Pages 552-581 Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation....Pages 582-601 Formalization of Invariant Patterns for the Invariant Refinement Method....Pages 602-618 On StocS: A Stochastic Extension of SCEL....Pages 619-640 Programming Autonomic Systems with Multiple Constraint Stores....Pages 641-661 Adaptive and Autonomous Systems and Their Impact on Us....Pages 662-675 The KnowLang Approach to Self-adaptation....Pages 676-692 Back Matter....Pages - This book is dedicated to Professor Martin Wirsing on the occasion of his emeritation from Ludwig-Maximilians-Universitat in Munich, Germany. The remaining five sections consist of groups of scientific papers written by colleagues and collaborators of Professor Wirsing, which have been grouped and ordered according to his scientific evolution.