基于场景规约的系统行为建模  

System Behavior Modeling for Scenario-Based Specifications

作　　者：陈中育[1] 缪淮扣[1] 

机构地区：[1]上海大学计算机工程与科学学院,上海200072

出　　处：《应用科学学报》2009年第4期403-408,共6页Journal of Applied Sciences

基　　金：国家"973"重点基础研究发展计划基金(No.2007CB310800);国家自然科学基金(No.60673115);国家"863"高技术研究发展计划基金(No.2007AA01Z144);上海市教委科研项目基金(No.07ZZ06);上海市重点学科建设项目基金(No.J50103)资助

摘　　要：提出一种基于场景规约的系统行为建模方法。采用消息序列图描述场景,把场景规约中构件实例之间消息传递的事件序列作为一种显式的场景提取物并给出语义表示,通过场景正样本构造前缀树接受器。此前缀树接受器是一个能接受正样本的最大确定有限自动机,通过合并状态得到商自动机,给出一个状态合并算法。该算法支持交互式增量的场景产生。We propose to adopt semi-formal graphic language-message sequence charts to describe scenarios, regard events sequence of message transferring between use cases as an explicit scenario, and give its semantic. The main idea of this approach is to construct a prefix tree with positive scenario samples, which is a deterministic finite state automaton （DFA） accepting these positive scenario samples. A state combination algorithm that can get quotient automation is given.

关 键 词：消息序列图 场景规约 构件行为 商自动机 

分 类 号：O212.7[理学—概率论与数理统计]