A Process Algebraic Approach to Software Architecture Design

A Process Algebraic Approach to Software Architecture Design
Author :
Publisher : Springer Science & Business Media
Total Pages : 316
Release :
ISBN-10 : 9781848002234
ISBN-13 : 1848002238
Rating : 4/5 (238 Downloads)

Book Synopsis A Process Algebraic Approach to Software Architecture Design by : Alessandro Aldini

Download or read book A Process Algebraic Approach to Software Architecture Design written by Alessandro Aldini and published by Springer Science & Business Media. This book was released on 2010-03-14 with total page 316 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


A Process Algebraic Approach to Software Architecture Design Related Books

A Process Algebraic Approach to Software Architecture Design
Language: en
Pages: 316
Authors: Alessandro Aldini
Categories: Computers
Type: BOOK - Published: 2010-03-14 - Publisher: Springer Science & Business Media

GET EBOOK

Inthe?eldofformalmethodsincomputerscience,concurrencytheoryisreceivinga constantlyincreasinginterest.Thisisespeciallytrueforprocessalgebra.Althoughit had been o
Evaluation of Novel Approaches to Software Engineering
Language: en
Pages: 267
Authors: Joaquim Filipe
Categories: Computers
Type: BOOK - Published: 2013-12-20 - Publisher: Springer

GET EBOOK

This book constitutes the thoroughly refereed proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2
Formal Aspects of Component Software
Language: en
Pages: 377
Authors: Farhad Arbab
Categories: Computers
Type: BOOK - Published: 2012-12-15 - Publisher: Springer Science & Business Media

GET EBOOK

This book constitutes revised selected papers of the 8th International Workshop on Formal Aspects of Component Software, FACS 2011, held in Oslo, Norway in Sept
Formal Techniques for Distributed Systems
Language: en
Pages: 244
Authors: John Hatcliff
Categories: Computers
Type: BOOK - Published: 2010-06-07 - Publisher: Springer

GET EBOOK

This book constitutes the refereed proceedings of the 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMO
Correct Software in Web Applications and Web Services
Language: en
Pages: 345
Authors: Bernhard Thalheim
Categories: Computers
Type: BOOK - Published: 2015-06-12 - Publisher: Springer

GET EBOOK

The papers in this volume aim at obtaining a common understanding of the challenging research questions in web applications comprising web information systems,