Apress Android Sale

A Process Algebraic Approach to Software Architecture Design

By Alessandro Aldini , Marco Bernardo , Flavio Corradini

  • eBook Price: $69.99
Buy eBook Buy Print Book

A Process Algebraic Approach to Software Architecture Design Cover Image

This book presents a new paradigm that allows modeling and analysis of software applications at an early stage of the design process. It covers foundational aspects before introducing guidelines and methodologies to exemplify case studies.

Full Description

  • Add to Wishlist
  • ISBN13: 978-1-8480-0222-7
  • 324 Pages
  • User Level: Students
  • Publication Date: March 14, 2010
  • Available eBook Formats: PDF

Related Titles

  • Information Systems and Neuroscience
  • BPM - Driving Innovation in a Digital World
  • Data-Driven Process Discovery and Analysis
  • Physical Asset Management
  • Transactions on Large-Scale Data- and Knowledge-Centered Systems XVIII
  • UML @ Classroom
  • AIDA-CMK: Multi-Algorithm Optimization Kernel Applied to Analog IC Sizing
  • Computational Color Imaging
  • Uncertainty Quantification in Computational Fluid Dynamics and Aircraft Engines
  • Non-Linear Finite Element Analysis in Structural Mechanics
Full Description
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.
Table of Contents

Table of Contents

  1. Part I: Process Calculi and Behavioral Equivalences.
  2. Process Algebra.
  3. Deterministically Timed Process Algebra.
  4. Stochastically Timed Process Algebra.
  5. Part II: Process Algebra for Software Architecture.
  6. Component
  7. Orientated Modeling.
  8. Component
  9. Orientated Functional Verification.
  10. Component
  11. Orientated Performance Evaluation.
  12. Trading Dependability and Performance.
  13. References.
  14. Index
Errata

Please Login to submit errata.

No errata are currently published

Best-Sellers

    1. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

      $79.99

      View Details

    2. Service-Oriented Computing

      $89.99

      View Details

    3. Cloud Computing and Services Science

      $49.99

      View Details

    4. Transactions on Aspect-Oriented Software Development XI

      $49.99

      View Details