This book constitutes the thoroughly refereed postproceedings of the 17th International Workshop on Algebraic Development Techniques, WADT 2004, held in Barcelona, Spain in March 2004.
The 14 revised full papers presented together with an invited paper were carefully selected during two rounds of reviewing and improvement. Among the topics addressed are formal methods for system development; specification languages and methods; systems and techniques for reasoning about specifications; specification development systems; methods and techniques for concurrent, distributed, and mobile systems; and algebraic and co-algebraic foundations.
Author(s): Reiko Heckel, Sebastian Thöne (auth.), José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas (eds.)
Series: Lecture Notes in Computer Science 3423 : Theoretical Computer Science and General Issues
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2005
Language: English
Pages: 280
Tags: Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Software Engineering; Symbolic and Algebraic Manipulation
Front Matter....Pages -
Behavior-Preserving Refinement Relations Between Dynamic Software Architectures....Pages 1-27
Modelling Mobility with Petri Hypernets....Pages 28-44
Cryptomorphisms at Work....Pages 45-60
Towards a Formal Specification of an Electronic Payment System in CSP-CASL....Pages 61-78
Algebraic Semantics of Design Abstractions for Context-Awareness....Pages 79-93
CCC – The C asl Consistency Checker....Pages 94-105
Ontologies for the Semantic Web in Casl ....Pages 106-125
Theoroidal Maps as Algebraic Simulations....Pages 126-143
Behavioural Semantics of Algebraic Specifications in Arbitrary Logical Systems....Pages 144-161
A Simple Refinement Language for Casl ....Pages 162-185
A Distributed and Mobile Component System Based on the Ambient Calculus....Pages 186-200
Application and Formal Specification of Sorted Term-Position Algebras....Pages 201-217
From Conditional to Unconditional Rewriting....Pages 218-233
Type Class Polymorphism in an Institutional Framework....Pages 234-251
Architectural Specifications for Reactive Systems....Pages 252-269
Back Matter....Pages -
