MSCPDL公司 swMATH ID: 2228 软件作者： 米克尔·克里斯蒂安森 描述： MSCPDL–行为抽象语言分布式系统由一组进程组成。这些过程通过使用通信媒介为共同目标进行合作。了解分布式系统的工作原理通常是困难和复杂的。这种复杂性是由系统中的通信引入的，因为有必要了解单个进程及其如何与系统的其余部分交互。par表示分布式系统复杂性的一种方法是使用消息序列图（MSC）。MSC提供分布式系统的单个执行的图形表示。即使有了这种限制，MSC也很容易变得庞大和难以理解。这促使开发人员需要工具来分析MSCs。par本文介绍了一个专门用于构建MSC分析工具的项目的两个主要结果。该工具的目的是降低从MSC提取信息的复杂性。第一个主要结果是对MSC的正式描述。第二个结果是一种用于描述MSC中模式的语言。该工具已在原型实现中实现。 主页： http://books.google.de/books？hl=de&lr=&id=z5hWcM9zzpMC&oi=fnd&pg=PA186&dq=MSCPDL+Christiansen&ots=QZ9eio0I5V&sig=yZmYIPZ81WV28RgTU-z4o08txtU#v=onepage&q=MSCPDL%20基督 关键词： 分布式系统 相关软件： 引用于： 1文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 MSCPDL–一种行为抽象语言。 Zbl 0966.68017号米克尔·克里斯蒂安森 1998 1位作者引用 1 米克尔·克里斯蒂安森 连载1篇 1 爱沙尼亚科学院院刊。物理、数学 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文