斯科特·史密斯。;卡罗琳·塔尔科特。 演员系统规范图。 （英语） Zbl 1020.68051号 高-订购符号。计算。 15，第4期，301-348（2002）. 摘要：规范图是一种新的图形符号形式，用于指定开放的分布式对象系统。设计目标是定义用于指定消息传递行为的符号，该行为具有表达性、直观可理解性，并且具有正式的语义基础。这种符号概括了非正式的符号，如UML的序列图，并将其适用范围扩展到设计周期的后期。规范图不同于现有的参与者和进程代数表示，因为它们本身是不可执行的；相反，与逻辑一样，它们本质上更偏向于规范。在本文中，我们严格定义了语言的语法和语义，并举例说明了语言的表达能力，如何以图表的方式断言规范的属性，以及如何对规范图进行严格和模块化的推理。 引用于三文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 68甲15 编程语言理论 关键词：规范;消息传递行为;演员系统;交互语义 PDF格式BibTeX公司 XML格式引用 \textit{S.F.Smith}和\textit{C.L.Talcott}，高-订购符号。计算。15，第4号，301--348（2002；Zbl 1020.68051） 全文： 内政部