A Process Algebraic Approach to Software Architecture Design

Nonfiction, Computers, Computer Hardware, Programming, Software Development, General Computing
Cover of the book A Process Algebraic Approach to Software Architecture Design by Alessandro Aldini, Marco Bernardo, Flavio Corradini, Springer London
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Alessandro Aldini, Marco Bernardo, Flavio Corradini ISBN: 9781848002234
Publisher: Springer London Publication: March 14, 2010
Imprint: Springer Language: English
Author: Alessandro Aldini, Marco Bernardo, Flavio Corradini
ISBN: 9781848002234
Publisher: Springer London
Publication: March 14, 2010
Imprint: Springer
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Springer London

Cover of the book Nuclear Waste Management, Nuclear Power, and Energy Choices by Alessandro Aldini, Marco Bernardo, Flavio Corradini
Cover of the book Surgical Disorders of the Peripheral Nerves by Alessandro Aldini, Marco Bernardo, Flavio Corradini
Cover of the book Computer Medical Databases by Alessandro Aldini, Marco Bernardo, Flavio Corradini
Cover of the book Evolutionary and Adaptive Computing in Engineering Design by Alessandro Aldini, Marco Bernardo, Flavio Corradini
Cover of the book Glances at Renewable and Sustainable Energy by Alessandro Aldini, Marco Bernardo, Flavio Corradini
Cover of the book The Anticipation of Converging Industries by Alessandro Aldini, Marco Bernardo, Flavio Corradini
Cover of the book Energy Systems in the Era of Energy Vectors by Alessandro Aldini, Marco Bernardo, Flavio Corradini
Cover of the book Success in Academic Surgery by Alessandro Aldini, Marco Bernardo, Flavio Corradini
Cover of the book Formal Methods: State of the Art and New Directions by Alessandro Aldini, Marco Bernardo, Flavio Corradini
Cover of the book Electrocatalysis in Fuel Cells by Alessandro Aldini, Marco Bernardo, Flavio Corradini
Cover of the book GSN - The Goal Structuring Notation by Alessandro Aldini, Marco Bernardo, Flavio Corradini
Cover of the book Pervasive Health by Alessandro Aldini, Marco Bernardo, Flavio Corradini
Cover of the book Sets, Logic and Maths for Computing by Alessandro Aldini, Marco Bernardo, Flavio Corradini
Cover of the book CAN System Engineering by Alessandro Aldini, Marco Bernardo, Flavio Corradini
Cover of the book Neurological Emergencies in Clinical Practice by Alessandro Aldini, Marco Bernardo, Flavio Corradini
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy