并发模型构件的状态迁移派生图及等价判定

刘芳; 杨兴林; 戴俊

首页> 中文期刊> 《微电子学与计算机》 >并发模型构件的状态迁移派生图及等价判定

并发模型构件的状态迁移派生图及等价判定

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

模型复用是在建立企业模型过程中避免重复劳动的有效解决方案之一,它可以提高企业建模的效率。针对模型复用,提出了基于代数理论的并发模型构件,刻画了模型构件的状态迁移语义和派生图,给出了基于派生图的并发模型构件等价判定算法。与已有的方法相比,综合考虑了模型构件的状态迁移属性和并发属性,实现了动态过程下并发模型构件的等价性判定。

著录项

来源
《微电子学与计算机》 |2006年第9期|200-202|共3页
作者
刘芳; 杨兴林; 戴俊;
展开▼
作者单位

江苏科技大学经济管理学院;

展开▼
原文格式 PDF
正文语种 chi
中图分类信息处理（信息加工）;
关键词
企业建模; 构件; 派生图; 等价;

相似文献

中文文献
外文文献
专利

1. TSRS间限速命令状态的判定及迁移设计的研究 [J] . 刘栋青 . 铁路通信信号工程技术 . 2013,第0z1期
2. 数字设计中基于图的状态等价类集生成算法 [J] . 孙志卓 ,徐凤生 ,任传成 . 计算机应用与软件 . 2009,第005期
3. 问题有解与状态空间图的核为有界格的等价性理论 [J] . 刘小晶 ,杨淑群 ,邓昶 . 计算机工程与应用 . 2008,第009期
4. 时间符号迁移图及其互模拟判定 [J] . 陈靖 ,林惠民 . 计算机学报 . 2002,第002期
5. 关于等价度量的若干等价判定及应用 [J] . 孟旭东 ,易福侠 . 沈阳师范大学学报（自然科学版） . 2012,第002期
6. 并发模型构件的状态迁移派生图及等价判定 [C] . 刘芳 ,杨兴林 ,戴俊 . 2006年全国开放式分布与并行计算学术会议 . 2006
7. 基于状态图和构件的嵌入式系统软件设计及其可靠性分析 [A] . 张德全 . 2010

并发模型构件的状态迁移派生图及等价判定

摘要

著录项

相似文献

相关主题

期刊订阅