Recent Trends In Algebraic Development Techniques: 23rd Ifip Wg 1.3 International Workshop, Wadt 2016, Gregynog, Uk, September 21-24, 2016, Revised Selected Papers (lecture Notes In Computer Science)

This book constitutes the thoroughly refereed post-conference proceedings of the 23rd IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2016, held in September 2016 in Gregynog, UK. The 9 revised papers presented together with two invited talks, one invited paper and two survey papers were carefully reviewed and selected from numerous submissions and focus on foundations of algebraic specification; other approaches to formal specification, including process calculi and models of concurrent, distributed and mobile computing; specification languages, methods, and environments; semantics of conceptual modeling methods and techniques; model-driven development; graph transformations, term rewriting and proof systems; integration of formal specification techniques; formal testing and quality assurance, validation, and verification areas, broadly falling into three categories: multimedia content analysis; multimedia signal processing and communications; and multimedia applications and services. Front Matter ....Pages I-X Front Matter ....Pages 1-1 Advances in Verification of Multi-agent Systems (Alessio Lomuscio)....Pages 3-4 The Distributed Ontology, Model and Specification Language – DOL (Till Mossakowski)....Pages 5-10 Front Matter ....Pages 11-11 Theorising Monitoring: Algebraic Models of Web Monitoring in Organisations (Kenneth Johnson, John V. Tucker, Victoria Wang)....Pages 13-35 Front Matter ....Pages 37-37 Asymmetric Combination of Logics is Functorial: A Survey (Renato Neves, Alexandre Madeira, Luis S. Barbosa, Manuel A. Martins)....Pages 39-55 Algebraic Model Management: A Survey (Patrick Schultz, David I. Spivak, Ryan Wisnesky)....Pages 56-69 Front Matter ....Pages 71-71 Probability Functions in the Context of Signed Involutive Meadows (Extended Abstract) (Jan A. Bergstra, Alban Ponse)....Pages 73-87 A Calculus of Virtually Timed Ambients (Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf)....Pages 88-103 An Institution for Event-B (Marie Farrell, Rosemary Monahan, James F. Power)....Pages 104-119 On the Most Suitable Axiomatization of Signed Integers (Hubert Garavel)....Pages 120-134 Observational Semantics for Dynamic Logic with Binders (Rolf Hennicker, Alexandre Madeira)....Pages 135-152 Towards Critical Pair Analysis for the Graph Programming Language GP 2 (Ivaylo Hristakiev, Detlef Plump)....Pages 153-169 Canonical Selection of Colimits (Till Mossakowski, Florian Rabe, Mihai Codescu)....Pages 170-188 Formalizing and Validating the P-Store Replicated Data Store in Maude (Peter Csaba Ölveczky)....Pages 189-207 Generic Hoare Logic for Order-Enriched Effects with Exceptions (Christoph Rauch, Sergey Goncharov, Lutz Schröder)....Pages 208-222 Back Matter ....Pages 223-223