Process Algebraic Approach To Software Architecture Design
By: Aldini, Alessandro (Author), Bernardo, Marco (Author), Corradini, Flavio (Author).
Springer London Ltd. Published: 00/11/2009. Audience Guide: Undergraduate, Postgraduate, Research & Scholarly.
Hardback. Sourced from U.S.A.
The design and the verification of modern software applications requires the analysis of several different aspects, such as software correctness, quality of service, and security, and of the possible inter-relations among them. Process algebraic architectural languages and the related analysis techniques provide a formal paradigm that allows for the modeling and analysis of such systems and of the related properties during the early stages of the design process. The book presents such a paradigm in a novel way that privileges the discussion of its foundational characteristics and then introduces a number of guidelines, integrated with ad-hoc methodologies and exemplifying case studies, to support the practical benefits of using such a paradigm. The book can be of help for both researchers and graduate students who intend to approach the process algebraic formal paradigm and for the practitioners who intend to apply the related approach to software design and verification. Item Details
ISBN10/13: 184800222X/9781848002227
TITLE: Process Algebraic Approach to Software Architecture Design, A
CONTRIBUTORS: Aldini, Alessandro (Author), Bernardo, Marco (Author), Corradini, Flavio (Author)
IMPRINT: Springer London Ltd
PUBLISHER: Springer London Ltd
FORMAT: Hardback
PUBLICATION DATE: 00/11/2009
SUBJECT: Computers/Internet, Computers/Internet, General Theory Of Computing, Programming
DIMENSIONS (Width x Height): 155mm x 235mm
PAGES: 310
AUDIENCE GUIDE: Undergraduate, Postgraduate, Research & Scholarly
ILLUSTRATIONS: 30 black & white illustrations
CONTENTS: Part I: Process algebra.-An introduction to process algebra.-Syntax, semantics, and comparison criteria.-Nondeterministic behavioral equivalences.-Timed behavioral equivalences.-Probabilistic behavioral equivalences.-Stochastic behavioral equivalences.-Part II: Software architecture design.-An introduction to software architecture.-Process algebraic architectural descriptions.-Component-oriented verification.-Performance and dependability evaluation.-Architecture-driven code generation.-Architecture-driven test generation.
|
