亚历山德罗·阿尔迪尼;马尔科·贝尔纳多;弗拉维奥·科拉迪尼 软件架构设计的过程代数方法。 (英语) Zbl 1255.68004号 伦敦:施普林格出版社(ISBN 978-1-84800-222-7/hbk)。xv,304页。(2010). Publisher的描述:并发理论、软件体系结构、系统建模和验证、可靠性和性能评估似乎是不相关的学科,但实际上它们是相互交织的,应该是集成视图的一部分,以便成功地管理当今日益复杂的软件系统。本书介绍了软件架构设计的过程代数方法。进程代数最初是为了推理并发程序的语义而设计的,它为通信并发系统的功能和非功能方面的建模和验证提供了基础。这可以在设计的软件架构(architecture)级别进行利用,以改进设计文档的形式,并使在早期设计阶段分析系统属性成为可能。本书的第一部分概述了过程代数理论的概念和结果,提供了有关过程计算的语法和语义以及非确定性、确定性时间、,以及随机定时过程。第2部分给出了将过程代数原则转换为体系结构描述语言的指南,然后演示了如何使用过程代数技术来解决体系结构级不匹配的检测、替代设计中的性能驱动选择、,以及在可靠性特征和性能指标之间实现折衷。研究生和软件专业人士会发现这本书是他们书架上的一个有用的补充。 引用于8文件 MSC公司: 68-02 与计算机科学有关的研究展览会(专著、调查文章) 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 68N99型 软件理论 关键词:软件体系结构设计;进程代数;通信并发系统;建模;验证;互模拟;测试;体系结构描述语言 软件:CADP公司;ArchJava建筑;卡斯珀;Rapide公司 PDF格式BibTeX公司 XML格式引用 \textit{A.Aldini}等人,软件架构设计的过程代数方法。伦敦:施普林格出版社(2010;Zbl 1255.68004)