| 期刊全称 | A Process Algebraic Approach to Software Architecture Design | | 影响因子2023 | Alessandro Aldini,Marco Bernardo,Flavio Corradini | | 视频video | | | 发行地址 | 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 | | 图书封面 |  | | 影响因子 | 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. Neverthe | | Pindex | Textbook 2010 |
The information of publication is updating
|
|
发表于 2025-3-21 19:12:35
