English

应用科学学报 ›› 2009, Vol. 27 ›› Issue (4): 403-408.

• 计算机科学与应用 • 上一篇    下一篇

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

陈中育 缪淮扣   

  1. 上海大学计算机工程与科学学院，上海200072
  • 收稿日期:2008-11-03 修回日期:2009-04-14 出版日期:2009-07-30 发布日期:2009-07-30
  • 作者简介:陈中育，博士生，研究方向：需求工程、软件形式方法，E-mail: zjnuczy@shu.edu.cn；缪淮扣，教授，博导，研究方向：软件工程、软件形式方法、软件建模，E-mail: hkmiao@shu.edu.cn
  • 基金资助:
    国家“973”重点基础研究发展计划基金(No.2007CB310800)；国家自然科学基金(No.60673115)；国家“863”高技术研究发展计划基金(No.2007AA01Z144)；上海市教委科研项目基金(No.07ZZ06)；上海市重点学科建设项目基金(No.J50103)资助
    作者简介:

System Behavior Modeling for Scenario-Based Specifications

  1. School of Computer Engineering and Science, Shanghai University, Shanghai 200072, China
  • Received:2008-11-03 Revised:2009-04-14 Online:2009-07-30 Published:2009-07-30

PDF

1527

被引次数

29

摘要：

提出一种基于场景规约的系统行为建模方法. 采用消息序列图描述场景，把场景规约中构件实例之间消息传递的事件序列作为一种显式的场景提取物并给出语义表示，通过场景正样本构造前缀树接受器. 此前缀树接受器是一个能接受正样本的最大确定有限自动机，通过合并状态得到商自动机，给出一个状态合并算法. 该算法支持交互式增量的场景产生.

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

Abstract:

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.

Key words: message sequence chart, scenario-based specifications, component behavioral, quotient automaton

中图分类号: