论文部分内容阅读
LOTOS是ISO制定的描述并发通信系统的标准化形式语言。并发组合操作符行为特征复杂，虽然给出了语义，但在编写及分析LOTOS规格说明文件时，仍然容易混淆。本人对并发操作符的可结合，可交换，多路同步，隐藏等机制进行分析和探讨。有助于LOTOS的学习者理解并发行为的本质，提高编写和分析LOTOS规格说明文档的能力。