论文部分内容阅读
本文对描述事件驱动系统的CASL扩展语言进行了研究。文章首先用代数规范语言CASL描述事件驱动系统的数据结构；其次以MSC和STATEMATE两种形式化的图形规范语言为基础，融入CASL规范中定义的类型、操作和谓词以及用这些代数逻辑构成的各种表达式，使其能够方便的描述事件驱动系统的交互性；接着综合上述两个方面的描述得到CASL扩展语言CASL-SSC，它既保留代数规范语言的静态描述优势，同时能够描述事件驱动型系统的事件、事件间的先后顺序、事件执行的时机和条件、事件之间的联系、各个事件中具体的状态变化等动态性要求；最后使用CASL-SSC描述一个具体的实例。