期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

基于图形转换的构件组装研究与应用 被引量：1

Research and Application of Component Composition Based on Graph Transformation
下载PDF
导出
摘要 Padberg J,Ehrig H等使用代数规格语义的Petri,基于图形转换理论提出一种通用构件组装框架,该框架可以适用于不同领域的动态和静态的构件组装.但由于其限制连接件的输入接口是互不相交的,即割裂了与传统Petri网的同步合成和共享合成的联系,也限制了其实际应用的灵活性.给出一种较弱的唯一性条件,及基于该条件的结构唯一性和内容兼容性的证明,并讨论在此框架体系中融合传统Petri网综合方法.最后将该框架体系实际应用于联锁逻辑的描述. A Generic framework of component composition with algebraic Petri nets, which was presented by Padberg J and Ehrig H on the basis of the graph transformation rule, provides a powerful support for dynamic and static component assembly in different fields. However, this framework is not flexible enough in practice due to the disjunction among import interfaces in each reduction step. The framework is extended by presenting a unique condition of composition. Based on the condition, the structure uniqueness and content compatibleness are proved, and the conventional synthesis of Petri nets in this framework is also discussed. Finally, the interlocking logic based on this framework is illustrated.
作者 杜军威 徐中伟 喻钢
机构地区 同济大学电子与信息工程学院 青岛科技大学信息科学技术学院
出处 《同济大学学报（自然科学版）》 EI CAS CSCD 北大核心 2009年第5期680-684,695,共6页 Journal of Tongji University:Natural Science
基金 国家自然科学基金资助项目(60674004)
关键词 图形转换 态射 构件组装 PETRI网 graph transformation morphism component composition Petri nets
分类号 TP02 [自动化与计算机技术]
  • 相关文献

参考文献10

  • 1Ehrig H,Mahr B.Fundamentals of algebraic specification 2:module specifications and constraints[M].Berlin:Springer Verlag,1990.
  • 2Ehrig H,Orejas F,Braatz B,et al.Fundamental approaches to software engineering:a generic component framework for system modeling[M].Berlin:Springer Verlag,2002.
  • 3Allen R,Garlan D.A formal basis for architectural connection[J].ACM Transactions on Software Engineering and Methodology,1997,6(3):213.
  • 4Ehrig H,Hoffmann K,Padberg J.Independence of net transformations and token firing in reconfigurable place/transition systems[C]∥Proceeding of the 28th Petri Nets and Other Models of Concurrency.Berlin:Springer Verlag,2007:104-123.
  • 5Meseguer J,Montanari U.Petri nets are monoids[J].Information and Computation,1990,88(2):105.
  • 6Padberg J.Petri net modules[J].Journal on Integrated Design and Process Technology,2002,6(4):121.
  • 7Padberg J,Ehrig H.Petri net modules in the transformation-based component framework[J].Journal of Logic and Algebraic Programming,2006,67(1):198.
  • 8Padberg J.Safety properties in Petri net modules[J].Journal of Integrated Design and Process Science,2004,8(4):65.
  • 9Ehrig H,Padberg J,Orejas F.A generic framework for connector architectures based on components and transformations[J].Electronic Notes in Theoretical Computer Science,2004,108(1):53.
  • 10Ehrig H,Ehrig K,Prange U.Fundamentals of algebraic graph transformation[M].Berlin:Springer Verlag,2006.

同被引文献17

  • 1杜军威,徐中伟,王树梅.联锁逻辑模型的安全性分析[J].计算机工程与应用,2007,43(2):1-4. 被引量：12
  • 2CENELEC. EN50129: railway applications-safety related electronic systems for signaling[S]. The European Standard, 2003.
  • 3EHRIG K, PRANGE U, TAENTZER G. Fundamentals of algebraic graph transformation[M]. Heidelberg: Springer, 2006.
  • 4GUERRA E, DE LARA J, KOLOVOS D S, et al. Engineering model transformations with transML[J]. Software and Systems Modeling, 2013, 12(3):555-577.
  • 5MEHNER-HEINDL K, MONGA M, TAENTZER G. Analysis of aspect-oriented models using graph transformation systems[J]. Aspect-oriented Requirements Engineering, 2013:243-270.
  • 6PADBERG J, EHRIG H. Petri net modules in the transformation-based component framework [J]. The Journal of Logic and Algebraic Programming, 2006, 67(1/2): 198-225.
  • 7EHRIG H, PADBERG J, OREJAS F, et al. A generic framework for connector architectures based on components and transformation proc[EB/OL]. [2017-03-12].http://www.researchgate.net/publication/220370614.
  • 8OREJAS F, EHRIG H, KLEIN M, et al. A generic approach to connector architectures part I: the general framework[J]. Fundamenta Informaticae, 2010, 99(1): 63-93.
  • 9KUSKE S. A formal semantics of UML state machines based on structured graph transformation[M]. Lecture Notes in Computer Science, 2001, 2185:241-256.
  • 10STRBER D, TAENTZER G, JURACK S, et al. Towards a distributed modeling process based on composite models [C]// Proceedings of the 16th International Conference on Fundamental Approaches to Software Engineering. Berlin, Heidelberg: Springer, 2013: 6-20.

引证文献1

同济大学学报（自然科学版）
2009年 第5期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部