Foundations of Component-Based Systems

Front Cover
Gary T. Leavens, Murali Sitaraman
Cambridge University Press, Mar 28, 2000 - Computers - 312 pages
This collection of articles by well-known experts was originally published in 2000 and is intended for researchers in computer science, practitioners of formal methods, and computer programmers working in safety-critical applications or in the technology of component-based systems. The work brings together several elements of this area that were fast becoming the focus of much research and practice in computing. The introduction by Clemens Szyperski gives a snapshot of research in the field. About half the articles deal with theoretical frameworks, models, and systems of notation; the rest of the book concentrates on case studies by researchers who have built prototype systems and present findings on architectures verification. The emphasis is on advances in the technological infrastructure of component-based systems; how to design and specify reusable components; and how to reason about, verify, and validate systems from components. Thus the book shows how theory might move into practice.

From inside the book

Contents

Key Concepts in Architecture Definition Languages
39
A Formal Language for Composition 69
69
A Semantic Foundation for Specification Matching
91
Concepts of Behavioral Subtyping and a Sketch of Their Extension
113
Modular Specification and Verification Techniques for
137
Respectful Type Converters for Mutable Types
161
A Formal Model for Componentware
189
Toward a Normative Theory for ComponentBased System Design
211
An ImplementationOriented Semantics for Module Composition
231
Composition of Reactive System Components
267
Using IO Automata for Developing Distributed Systems
285
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information