工具总线 swMATH ID: 2041 软件作者： J.A.Bergstra；P.Klint先生 描述： 离散时间工具——一种软件协调体系结构。构建大型、异构、分布式软件系统给软件工程师带来了严重的问题；实现软件系统的互操作性仍然是一项重大挑战。我们描述了一个为解决这些问题而设计通用软件架构的实验。为了控制软件组件（“工具”）之间可能的交互，我们禁止直接的跨平台通信。相反，所有交互都由一个“脚本”控制，该脚本将工具之间的所有所需交互形式化。这导致了一种类似于硬件通信总线的组件互连体系结构，因此我们将其称为“工具总线”。我们描述了面向流程的“T脚本”中工具的协调，其中包括（1）流程的顺序组合、选择和迭代；（2） 消息的握手（同步）通信；（3） 将notes异步通信到任意数量的进程；（4） 票据认购；（5） 动态流程创建。最明显的不足是内置数据类型：对数据的操作只能由工具执行，这为高效实现提供了机会。在三个大型案例研究中，ToolBus体系结构被用于构建具有用户定义扩展的编辑器界面，研究智能网络中的特征交互，以及构建交通灯控制模拟器。我们对这些案例研究进行了概述，并简要概述了ToolBus设计的演变，其中包含了我们从中吸取的教训。 主页： https://link.springer.com/chapter/10.1007%2F3-540-61052-9_40 相关软件： 萨帕托;E定理证明器;CVC精简版;糠;网格卫星;蟒蛇;班德拉;NuSMV公司;高超声速;自旋蛋白;克洛诺斯;佩尔;jETI公司;工具生成器;扬子乙酰氯;PL/I公司;COBOL公司;UniForM公司;OBJ3型;ATERM公司 引用于： 7文件 全部的 前5名16位作者引用 三 Jan A.Bergstra。 2 Jos C.M.Baeten。 1 埃吉迪奥·阿斯泰西亚诺 1 米歇尔·比多特 1 戴维·戴哈贝 1 威廉·扬·福克金 1 赫莱内·基什内尔 1 保罗·克林特 1 Krieg-Brückner，伯尔尼 1 拉尔夫·拉梅尔 1 彼得·莫塞斯（Peter D.Mosses）。 1 西尔维奥·兰伊斯 1 唐纳德·桑内拉。 1 安德烈·塔莱基 1 克里斯·弗霍夫 1 Jorgiano维达尔 4篇连载文章中引用 1 软件。实践与经验 1 理论计算机科学 1 计算机程序设计科学 1 计算的形式方面 在1个字段中引用 7 计算机科学（68至XX） 按年份列出的引文