| 实例化过程模型的时间自动机描述方法研究 |
| |
| 引用本文： | 李明,柳军飞.实例化过程模型的时间自动机描述方法研究[J].计算机应用与软件,2008,25(9). |
| |
| 作者姓名： | 李明 柳军飞 |
| |
| 作者单位： | 中国科学院软件研究所,北京,100080 |
| |
| 摘 要： | 语法结构正确的过程模型并不能保证过程运作的实际执行,因为没有考虑实例化阶段的时间资源安排.传统的过程自动机描述法不足以分析实例化过程模型.针对这种情况,提出用时间自动机描述过程模型语义的方法,设计了生成时间自动机的算法,分析了这种描述方法在模型检验中的应用.
|
| 关 键 词： | 软件过程 过程建模 时间自动机 |
TIMED AUTOMATA DESCRIPTION OF PROCESS INSTANTIATION MODEL |
| |
| Li Ming,Liu Junfei.TIMED AUTOMATA DESCRIPTION OF PROCESS INSTANTIATION MODEL[J].Computer Applications and Software,2008,25(9). |
| |
| Authors: | Li Ming Liu Junfei |
| |
| Affiliation: | Li Ming Liu Junfei(Institute of Software,Chinese Academy of Science,Beijing 100080,China) |
| |
| Abstract: | |
| |
| Keywords: | Software process Process modeling Timed automata |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
