Foundations of Component-Based SystemsGary T. Leavens, Murali Sitaraman 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
Results 1-5 of 84
Page viii
Sorry, this page's content is restricted.
Sorry, this page's content is restricted.
Page 3
Sorry, this page's content is restricted.
Sorry, this page's content is restricted.
Page 8
Sorry, this page's content is restricted.
Sorry, this page's content is restricted.
Page 14
Sorry, this page's content is restricted.
Sorry, this page's content is restricted.
Page 15
Sorry, this page's content is restricted.
Sorry, this page's content is restricted.
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 |
Other editions - View all
Common terms and phrases
abstract Acme ACTI ADLs agent allows Apost Apre architecture description language automata automaton axioms behavioral subtyping calculus colors communication component frameworks component-based systems composition composition language Computer Science connector constraints converted CORBA data type declared defined definition denote dependencies described example formal formal methods function given Hoare logic IEEE implementation information hiding inheritance input instance methods Integer interaction interface connection architecture invariant Java LILEANNA logic modifies-clause module mutable objects notation object object-oriented Object-Oriented Programming operations package parameterized parameters pixel_map plug and socket postcondition precondition predicate programming language properties Qpost Qpre queue refinement refinement calculus relation reusability reuse reuse-ensuring match Section semantics sequence simulation software architecture software components Software Engineering specification match specification module Springer-Verlag structure supertype techniques templates theorem theory tuple set universe variables verification