基于图形转换的构件组装研究与应用

• 作者: 喻钢 徐中伟 杜军威
• 来源期刊: 同济大学学报（自然科学版）
• 学科: 工学
• 关键词: 图形转换 态射 构件组装 Petri网
• 年，卷（期）: 2009,（5）
• 所属期刊栏目: 计算机与信息工程
• 页码范围: 680-684,695
• 页数: 6页
• 分类号: TP02
• 字数: 5454字
• 语种: 中文

摘要

Padberg J,Ehrig H等使用代数规格语义的Petri,基于图形转换理论提出一种通用构件组装框架,该框架可以适用于不同领域的动态和静态的构件组装.但由于其限制连接件的输入接口是互不相交的,即割裂了与传统Petri网的同步合成和共享合成的联系,也限制了其实际应用的灵活性.给出一种较弱的唯一性条件,及基于该条件的结构唯一性和内容兼容性的证明,并讨论在此框架体系中融合传统Petri网综合方法.最后将该框架体系实际应用于联锁逻辑的描述.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐中伟	同济大学电子与信息工程学院	95	644	13.0	20.0
2	杜军威	同济大学电子与信息工程学院	50	341	9.0	17.0
6	喻钢	同济大学电子与信息工程学院	13	73	5.0	8.0