A Process Algebraic Approach to Software Architecture Design

• Main Authors: Aldini, Alessandro. (Author), Bernardo, Marco. (Author), Corradini, Flavio. (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic
• Language: English
• Published: London : Springer London : Imprint: Springer, 2010.
• Subjects: Computer science.; Computer system performance.; Software engineering.; Computer Science.; Software Engineering.; Software Engineering/Programming and Operating Systems.; System Performance and Evaluation.
• Online Access: https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-1-84800-223-4

Concurrency theory, software architecture, system modeling and verification, and dependability and performance evaluation may seem unrelated disciplines, but in reality they are deeply intertwined and should be part of an integrated view in order to successfully manage the increasing complexity of s...

Table of Contents:

• Part I: Process Calculi and Behavioral Equivalences
• Process Algebra
• Deterministically Timed Process Algebra
• Stochastically Timed Process Algebra
• Part II: Process Algebra for Software Architecture
• Component-Orientated Modeling
• Component-Orientated Functional Verification
• Component-Orientated Performance Evaluation
• Trading Dependability and Performance
• References
• Index.