|
|||||
|
|
| 基于Petri网的UML状态图的形式化模型 | |
| 作者姓名： | 郭峰 姚淑珍 |
| 作者单位： | 北京航空航天大学 计算机学院, 北京 100083 |
| 摘 要： | 提出一种可以准确描述UML状态图动态特征的形式化模型SC_Net.首先给出了UML状态图的形式化语法定义,其中用状态集合、转移集合、事件集合、条件集合、活动集合、对象集合和变量集合,定义了一系列辅助函数描述UML状态图特征,用确定目标状态和受限源状态表示层次关系,用开放事件和封闭事件表示对象之间的消息.基于C_Net定义了描述UML状态图动态语义的Petri网模型SC_Net,既能描述状态图中的控制部分,又能描述状态图中的数据处理部分,并给出了从UML状态图到SC_Net的转换步骤,便于实现自动转换过程.最后以柔性制造系统的一个实例说明SC_Net能用于分析UML状态图的性质. |
| 关 键 词： | UML状态图 Petri网 形式化语义 |
| 文章编号： | 1001-5965(2007)02-0248-05 |
| 收稿时间： | 2006-01-05 |
| 修稿时间： | 2006-01-05 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
| 点击此处可从《北京航空航天大学学报》浏览原始摘要信息 | |
| 点击此处可从《北京航空航天大学学报》下载免费的PDF全文 | |