广告

原子:多形式主义和元建模工具

  • 胡安·德拉拉
  • 汉斯·万赫鲁韦
会议文件
部分计算机科学讲义丛书(LNCS,第2306卷)

摘要

本文介绍了多重形式主义建模和元建模促进复杂系统的计算机辅助建模。该方法允许使用不同的形式对系统的不同部分进行建模。由于在形式变换图(FTG),作者提出。为了帮助自动生成多形式主义建模工具,形式主义在适当的形式主义中以自己的方式(在元级别)进行建模。这已经在交互式工具AToM中实现了. 该工具用于描述动态系统仿真中常用的形式,以及生成自定义工具来处理(创建、编辑、转换、模拟、优化等)以相应形式表示的模型。原子依赖于图重写技术和图语法来执行形式之间的转换以及其他任务,例如代码生成和操作语义规范。

关键词

建模与仿真元建模多重形式主义建模自动代码生成图语法

工具书类

  1. 三。
    Aho,A.V.,Sethi,R.,Ullman,J.D.,1986年。编译器、原理、技术和工具。第6章,类型检查。艾迪生·韦斯利。谷歌学者
  2. 4
    布朗斯坦,D.,法米,H.,格尔巴韦克,A。。1996图重写在实际应用中的问题。计算机科学课堂讲稿,第1073卷,斯普林格,第38-55页。谷歌学者
  3. 5
    圆顶导向装置。http://www.htc.honeywell.com/dome/霍尼韦尔技术中心。霍尼韦尔,1999,5.2.1版
  4. 6
    Dorr,H.1995年。高效图重写及其实现。计算机科学讲义,922。斯普林格。谷歌学者
  5. 7
    J、 Ebert,R.Sttenbach,I.Uhe 1997年。实践中的元案例:科格的案例。高级信息系统工程,第九届国际会议论文集,CAiSE'97 LNCS 1250,S.203–216,柏林,1997年。参见KOGGE主页:http://www.uni-koblenz.de/~ist/kogge.en.html 谷歌学者
  6. 8
    Ehrig,H.,Kreowski,H.-J.,Rozenberg,G.(编辑),1991年。图文法及其在计算机科学中的应用:第四届国际研讨会论文集。计算机科学讲义,第532卷,斯普林格。兹马思谷歌学者
  7. 9
    Enders,B.E.,Heverhagen,T.,Goedicke,M.,Troepfner,P.,Tracht,R.2001年。利用ViewPoint框架实现不同规范方法的集成。SDPS专刊:集成设计与工艺科学杂志,设计与工艺科学学会,即将出版。谷歌学者
  8. 10
    Fiadeiro,J.L.,Maibaum,T.1995年。互连形式:支持模块化、重用和增量。第三届软件工程基础研讨会,G.E.Kaiser(ed)。页码:72-80,ACM出版社。谷歌学者
  9. 11
    Finkelstein,A.,Kramer,J.,Goedickie,M.,1990年。面向视点的软件开发。第三届国际软件工程及其应用研讨会论文集。谷歌学者
  10. 12
    Gamma,E.,Helm,R.,Johnson,R.和Vlissides,J.1995年。设计模式,可重用面向对象软件的元素。专业计算系列。艾迪生·韦斯利。谷歌学者
  11. 14
    哈雷尔,1998年。论视觉形式主义。ACM通讯,31(5):514–530。谷歌学者
  12. 17
    Mosterman,P.和Vangheluwe,H.2000年。控制系统设计中的计算机自动多范式建模。IEEE计算机辅助控制系统设计研讨会,第65-70页。IEEE计算机协会出版社。谷歌学者
  13. 18
    Niskier,C.,Maibaum,T.,Schwabe,D.1989软件规范的多元知识方法。第二届欧洲软件工程会议,LNCS 387,Springer Verlag 1989,第411–423页谷歌学者
  14. 22
    Sztipanovits,J.等人。1995多重图:模型集成计算的体系结构。1995年11月,佛罗里达州劳德代尔堡,第361-368页。谷歌学者
  15. 23
    Vangheluwe,H.2000年。DEVS作为多形式混合系统建模的一个共同点。IEEE计算机辅助控制系统设计研讨会,第129-134页。IEEE计算机协会出版社。谷歌学者
  16. 24
    Zave,P.,Jackson,M.1993年。连词作构词。ACM软件工程与方法论2(4),1993,371–411。交叉引用谷歌学者
  17. 25
    Zeigler,B.,Praehofer,H.和Kim,T.G.,2000年。连续事件建模与动态仿真集成理论。学术出版社,第二版。谷歌学者

版权信息

©施普林格•维拉格柏林海德堡2002

作者和附属机构

  • 胡安·德拉拉
    • 1
    • 2
  • 汉斯·万赫鲁韦
    • 2
  1. 1ETS通知卡马德里奥托诺马大学马德里西班牙
  2. 2计算机科学学院麦吉尔大学蒙特雷亚尔加拿大

个性化建议