图形转换的构件组装框架唯一性研究
图形转换为动态的构件组装带来了新的思路.H.Ehrig在基于连接件体系结构的框架上利用此技术给出一种通用构件组装框架,该框架可以适用于不同领域的动态和静态的构件组装.但由于其限制连接件的输入接口是互不相交的,因而限制了其实际应用的灵活性.本文扩充了该框架体系,侧重从每一归约步组装的语法和语义的实现进行描述,给出归约步组装的唯一性条件及基于该条件的结构唯一性和内容兼容性的证明.
通用构件、态射、转换、连接件、Petri网
31
TP302(计算技术、计算机技术)
国家自然科学基金项目60673115;国家"八六三"高技术研究发展计划项目2007AA01Z144;国家"九七三"重大基础研究项目2007CB310800;上海市教委科研项目07ZZ06;上海市重点学科建设项目J50103
2010-04-26(万方平台首次上网日期,不代表论文的发表时间)
共5页
285-289