论文部分内容阅读
在分布式网络程序的运行过程中，网络消息的传递具有一定的规律和逻辑性．这种逻辑如果与设计者的预期行为不相符合，则说明系统在运行过程中出现了异常模型．文中重点分析了消息的传播模式，提出一种消息逻辑描述语言LT来描述这种消息之间的逻辑关系．此语言为脚本语言，不需要编译，直接解释为二进制模块运行．此逻辑语言具有简明，实用，可扩展的特征．