比约纳，迪内斯 [Christian Krog，马德森] 软件工程2。系统和语言规范。Christian Krog Madsen的贡献。 （英文） Zbl 1095.68021号 理论计算机科学课文。EATCS系列柏林：施普林格出版社（ISBN 3-540-21150-0/hbk）。第二十四、777页。(2006). 本卷是关于大规模系统正式开发的三部曲中的第二卷。它用一些额外的工具补充了第1卷中涵盖的抽象和建模工具，主要关注系统和语言的形式规范。重点强调了以下四个方面：高级规范方面；语言学；并发性和暂时性；解释器和编译器定义。它通过在RAISE规范语言（第1卷）中添加其他一些新工具来完善抽象和建模工具库：Petri网；序列图（SC）；状态图；区间时间逻辑（ITL）和持续时间微积分（DC）。这样，读者就可以面对并行和实时系统规范带来的挑战，并了解控制复杂计算系统和语言抽象和建模的主要符号学原则。作者指出，抽象和建模的附加原则和技术沿着以下轴线：高级抽象和建模轴线，涵盖层次和组合建模；符号轴，涵盖设计结构的语用、语义和句法；结构轴，简要涵盖RSL方案、类和对象概念以及UML表示设施；并发轴，涵盖时间的定性方面（Petri网、SC、状态图）和定量方面（ITL、DC）；语言开发轴，涵盖为函数式、命令式、模块化和并行编程语言开发具体解释器和编译器的关键步骤。这本书分为九个部分。第一部分“开场白”是RSL引物。第二部分“规范方面”涉及以下概念：层次结构和组成；外延和构成；上下文和状态。第三部分“关键领域和计算方面”介绍了建模时间和空间现象所依据的主要原理和技术。第四部分“语言学”涉及编程语言规范的语用、语义、句法和符号学特征。第五部分“进一步的规范技术”介绍了另外两种规范技术，即模块化、自动机和机器。第六部分“并发性和暂时性”涵盖了Petri网、消息和实时序列图、状态图和时间的定量模型。第七部分“解释器和编译器定义”全面阐述了四种编程语言的发展：简单应用语言的解释器与编译器规范，简单命令语言、简单模块命令语言和简单命令语言的解析器规范，并行命令式语言。最后一部分是第八部分“结束”和第九部分“附录”。重点放在示例和练习上。每个主题都通过许多示例来说明建模和规范的正式过程。每章的末尾都有几个练习，在更现实的环境中演示主题。从RSL方案和UML图到Petri网、（消息和实时）SC、状态图、ITL和DC，各种各样的建模和规范工具为读者提供了对系统和语言建模所需的特定原理和技术的全面理解。凭借其强大的抽象和建模背景，该书吸引了从事实时和并发系统的语言规范和建模的研究人员和实践者。审核人：都铎·巴勒内斯库（皮特斯蒂） 引用于7评论引用于1文件 MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 68甲15 编程语言理论 68N20型 编译与解释理论 68问题65 抽象数据类型；代数规范 65年第68季度 形式语言和自动机 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 68-01 与计算机科学相关的介绍性说明（教科书、教程论文等） 关键词：代数;属性语法;自动机;BNF公司;有色Petri网;通信事务处理;编译器;作文;计算语义学;并发;指称语义学;时段演算;等级制度;口译译员;区间时序逻辑;语言学;实时序列图;消息序列图;模块化;不确定性;平行度;语用学;语义类型;句法类型;语法;RAISE规范语言;符号学;状态图;暂时性;统一建模语言;XML格式 引文：兹比尔1095.68020;Zbl 1095.68022号 PDF格式BibTeX公司 XML格式引用 \textit{D.Björner}，软件工程2。系统和语言规范。Christian Krog Madsen的贡献。柏林：施普林格出版社（2005；Zbl 1095.68021） 全文： 内政部