Recent Trends in Algebraic Development Techniques [recurso electrónico] : 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

This book constitutes the thoroughly refereed post-conference proceedings of the 20th International Workshop on Algebraic Development Techniques, WADT 2010, held in July 2010 in Etelsen, Germany. The 15 revised papers presented were carefully reviewed and selected from 32 presentations. The workshop deals with the following topics: 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. Front Matter....Pages - Building a Modal Interface Theory for Concurrency and Data....Pages 1-12 My ADT Shrine....Pages 13-24 Evolving SOA in the Q-ImPrESS Project....Pages 25-26 Sharing in the Graph Rewriting Calculus....Pages 27-41 A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions....Pages 42-60 Towards a First-Order Deontic Action Logic....Pages 61-75 Casl-Mdl , Modelling Dynamic Systems with a Formal Foundation and a UML-Like Notation....Pages 76-97 Lambda Expressions in Casl Architectural Specifications....Pages 98-117 A Proof Theoretic Interpretation of Model Theoretic Hiding....Pages 118-138 Towards Logical Frameworks in the Heterogeneous Tool Set Hets....Pages 139-159 An Institution for Graph Transformation....Pages 160-174 New Results on Timed Specifications....Pages 175-192 Combining Graph Transformation and Algebraic Specification into Model Transformation....Pages 193-208 Towards Bialgebraic Semantics for the Linear Time – Branching Time Spectrum....Pages 209-225 Algebraic Signatures Enriched by Dependency Structure....Pages 226-250 Compositional Modelling and Reasoning in an Institution for Processes and Data....Pages 251-269 Proving Properties about Functions on Lists Involving Element Tests....Pages 270-286 Test-Case Generation for Maude Functional Modules....Pages 287-301 Back Matter....Pages -