Book Volume 7137 2012

Recent Trends in Algebraic Development Techniques

20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

Editors:

ISBN: 978-3-642-28411-3 (Print) 978-3-642-28412-0 (Online)

Table of contents (18 chapters)

  1. Front Matter

    Pages -

  2. Invited Talks

    1. No Access

      Chapter and Conference Paper

      Pages 1-12

      Building a Modal Interface Theory for Concurrency and Data

    2. No Access

      Chapter and Conference Paper

      Pages 13-24

      My ADT Shrine

    3. No Access

      Chapter and Conference Paper

      Pages 25-26

      Evolving SOA in the Q-ImPrESS Project

  3. Contributed Papers

    1. No Access

      Chapter and Conference Paper

      Pages 27-41

      Sharing in the Graph Rewriting Calculus

    2. No Access

      Chapter and Conference Paper

      Pages 42-60

      A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions

    3. No Access

      Chapter and Conference Paper

      Pages 61-75

      Towards a First-Order Deontic Action Logic

    4. No Access

      Chapter and Conference Paper

      Pages 76-97

      Casl-Mdl, Modelling Dynamic Systems with a Formal Foundation and a UML-Like Notation

    5. No Access

      Chapter and Conference Paper

      Pages 98-117

      Lambda Expressions in Casl Architectural Specifications

    6. No Access

      Chapter and Conference Paper

      Pages 118-138

      A Proof Theoretic Interpretation of Model Theoretic Hiding

    7. No Access

      Chapter and Conference Paper

      Pages 139-159

      Towards Logical Frameworks in the Heterogeneous Tool Set Hets

    8. No Access

      Chapter and Conference Paper

      Pages 160-174

      An Institution for Graph Transformation

    9. No Access

      Chapter and Conference Paper

      Pages 175-192

      New Results on Timed Specifications

    10. No Access

      Chapter and Conference Paper

      Pages 193-208

      Combining Graph Transformation and Algebraic Specification into Model Transformation

    11. No Access

      Chapter and Conference Paper

      Pages 209-225

      Towards Bialgebraic Semantics for the Linear Time – Branching Time Spectrum

    12. No Access

      Chapter and Conference Paper

      Pages 226-250

      Algebraic Signatures Enriched by Dependency Structure

    13. No Access

      Chapter and Conference Paper

      Pages 251-269

      Compositional Modelling and Reasoning in an Institution for Processes and Data

    14. No Access

      Chapter and Conference Paper

      Pages 270-286

      Proving Properties about Functions on Lists Involving Element Tests

    15. No Access

      Chapter and Conference Paper

      Pages 287-301

      Test-Case Generation for Maude Functional Modules

  4. Back Matter

    Pages -