Skip to main content
SpringerLink
Log in

A Process Algebraic Approach to Software Architecture Design

  • Textbook
  • © 2010

Overview

Authors:
  1. Alessandro Aldini

    1. Ist. Scienze e Tecnologie, dell'Informazione, Università Urbino, Urbino, Italy

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Marco Bernardo

    1. Ist. Scienze e Tecnologie, Università di Urbino, Urbino, Italy

    View author publications

    You can also search for this author in PubMed   Google Scholar

  3. Flavio Corradini

    1. Dipto. Matematica e Informatica, Università Camerino, Camerino, Italy

    View author publications

    You can also search for this author in PubMed   Google Scholar

  • Presents a new paradigm that allows modelling and analysis of software applications at an early stage of the design process

  • Covers foundational aspects before introducing guidelines and methodologies to exemplify case studies, thus facilitating practical applications

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 54.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (7 chapters)

  1. Front Matter

    Pages i-xv
    Download chapter PDF

  2. Process Calculi and Behavioral Equivalences

    1. Front Matter

      Pages 1-2
      Download chapter PDF

    2. Process Algebra

      • Alessandro Aldini, Flavio Corradini, Marco Bernardo
      Pages 3-39

    3. Deterministically Timed Process Algebra

      • Alessandro Aldini, Flavio Corradini, Marco Bernardo
      Pages 41-73

    4. Stochastically Timed Process Algebra

      • Alessandro Aldini, Flavio Corradini, Marco Bernardo
      Pages 75-124

  3. Process Algebra for Software Architecture

    1. Front Matter

      Pages 125-126
      Download chapter PDF

    2. Component-Oriented Modeling

      • Alessandro Aldini, Flavio Corradini, Marco Bernardo
      Pages 127-167

    3. Component-Oriented Functional Verification

      • Alessandro Aldini, Flavio Corradini, Marco Bernardo
      Pages 169-201

    4. Component-Oriented Performance Evaluation

      • Alessandro Aldini, Flavio Corradini, Marco Bernardo
      Pages 203-238

    5. Trading Dependability and Performance

      • Alessandro Aldini, Flavio Corradini, Marco Bernardo
      Pages 239-289

  4. Back Matter

    Pages 291-304
    Download chapter PDF
Back to top

Keywords

About this book

Inthe?eldofformalmethodsincomputerscience,concurrencytheoryisreceivinga constantlyincreasinginterest.Thisisespeciallytrueforprocessalgebra.Althoughit had been originally conceived as a means for reasoning about the semantics of c- current programs, process algebraic formalisms like CCS, CSP, ACP, ?-calculus, and their extensions (see, e.g., [154,119,112,22,155,181,30]) were soon used also for comprehendingfunctionaland nonfunctionalaspects of the behaviorof com- nicating concurrent systems. The scienti?c impact of process calculi and behavioral equivalences at the base of process algebra is witnessed not only by a very rich literature. It is in fact worth mentioningthe standardizationprocedurethat led to the developmentof the process algebraic language LOTOS [49], as well as the implementation of several modeling and analysis tools based on process algebra, like CWB [70] and CADP [93], some of which have been used in industrial case studies. Furthermore, process calculi and behavioral equivalencesare by now adopted in university-levelcourses to teach the foundations of concurrent programming as well as the model-driven design of concurrent, distributed, and mobile systems. Nevertheless, after 30 years since its introduction, process algebra is rarely adopted in the practice of software development. On the one hand, its technica- ties often obfuscate the way in which systems are modeled. As an example, if a process term comprises numerous occurrences of the parallel composition operator, it is hard to understand the communicationscheme among the varioussubterms. On the other hand, process algebra is perceived as being dif?cult to learn and use by practitioners, as it is not close enough to the way they think of software systems.

Authors and Affiliations

  • Ist. Scienze e Tecnologie, dell'Informazione, Università Urbino, Urbino, Italy

    Alessandro Aldini

  • Ist. Scienze e Tecnologie, Università di Urbino, Urbino, Italy

    Marco Bernardo

  • Dipto. Matematica e Informatica, Università Camerino, Camerino, Italy

    Flavio Corradini

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation