Software, Services, and Systems: Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering

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 -