This book constitutes the thoroughly refereed post-proceedings of the 16th International Workshop on Algebraic Development Techniques, WADT 2002, held at Frauenchiemsee, Germany in September 2002.
The 20 revised full papers presented together with 6 invited papers were carefully improved and selected from 44 workshop presentations during two rounds of reviewing. The papers are devoted to topics like 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 methods.
Author(s): L. Andrade, P. Baldan, H. Baumeister, R. Bruni, A. Corradini, R. De Nicola (auth.), Martin Wirsing, Dirk Pattinson, Rolf Hennicker (eds.)
Series: Lecture Notes in Computer Science 2755
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2003
Language: English
Pages: 464
Tags: Logics and Meanings of Programs; Computer Science, general; Software Engineering; Mathematical Logic and Formal Languages; Symbolic and Algebraic Manipulation
Front Matter....Pages -
AGILE: Software Architecture for Mobility....Pages 1-33
A Coinductive Calculus of Component Connectors....Pages 34-55
An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint....Pages 56-81
MultiMedia Instruction in Safe and Secure Systems....Pages 82-117
Zero, Connected, Empty....Pages 118-126
Zero, Connected, Empty: An Essay after a Cantata....Pages 127-128
Type Checking Parametrised Programs and Specifications in ASL + FPC ....Pages 129-144
Pre-nets, Read Arcs and Unfolding: A Functorial Presentation....Pages 145-164
Coreflective Concurrent Semantics for Single-Pushout Graph Grammars....Pages 165-184
Completeness Results for Fibred Parchments....Pages 185-200
Use of Patterns in Formal Development: Systematic Transition from Problems to Architectural Designs....Pages 201-215
Conditional Circular Coinductive Rewriting with Case Analysis....Pages 216-232
Verifying Generative Casl Architectural Specifications....Pages 233-252
Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens....Pages 253-267
The Coinductive Approach to Verifying Cryptographic Protocols....Pages 268-283
Behavioural Equivalence and Indistinguishability in Higher-Order Typed Languages....Pages 284-298
Approach-Independent Structuring Concepts for Rule-Based Systems....Pages 299-311
Notions of Behaviour and Reachable-Part and Their Institutions....Pages 312-327
Combining Specification Formalisms in the ‘General Logic’ of Multialgebras....Pages 328-342
On How Distribution and Mobility Interfere with Coordination....Pages 343-358
Foundations of Heterogeneous Specification....Pages 359-375
Algebraic-Coalgebraic Specification in CoCasl ....Pages 376-392
Translating Logics for Coalgebras....Pages 393-408
Presenting and Combining Inference Systems....Pages 409-424
Monad-Independent Dynamic Logic in HasCasl ....Pages 425-441
Preserving Properties in System Redesign: Rule-Based Approach....Pages 442-456
Back Matter....Pages -
