UML2合金

UML2Alloy:一个具有挑战性的模型转换。Alloy语言是一种形式化语言,已被广泛应用于系统建模。它由合金分析仪(Alloy Analyzer)支持,这是一种允许全自动分析的工具。因此,从UML模型创建Alloy代码为开发Alloy分析器的分析功能提供了机会,以便在软件开发的早期阶段发现可能的设计缺陷。我们的研究利用基于模型的技术,将具有OCL约束的UML类图自动转换为Alloy代码。本文展示了模型转换中具有挑战性的方面,这些方面源于UML和Alloy之间的根本区别。我们将讨论一些差异,并说明它们对模型转换过程的影响。通过一个安全电子商务系统的实例说明了所提出的方法。


zbMATH中的参考文献(参考文献13条)

显示结果1到13,共13个。
按年份排序(引用)

  1. 贾汉加德·拉夫桑贾尼,阿米尔;Mirian Hosseinabadi,Seyed Hassan:ORM模型的轻量级形式化和验证(2015)
  2. 拉诺,凯文;克拉克,T。;Kolahdouz Rahimi,S.:模型转换验证框架(2015)
  3. 杜兰,旧金山;曼纽尔,罗尔丹;莫雷诺,安东尼奥;Álvarez,JoséMaría:UML模型maude原型的动态验证(2014)ioport公司
  4. 阿梅德恩,穆罕默德A。;波德巴,贝沙德;Anane,Rachid:通过模型驱动开发的模型互操作性(2011)ioport公司
  5. 索肯,马蒂亚斯;威尔,罗伯特;Drechsler,Rolf:OCL数据类型编码,用于UML/OCL模型的SAT验证(2011)
  6. 阿纳斯塔萨基斯,基里亚科斯;波德巴,贝沙德;格奥尔格,格瑞;Ray,Indrakshi:从UML到Alloy的模型转换的挑战(2010)ioport公司
  7. 博罗纳特,阿图尔;Meseguer,José:MOF的代数语义(2010)
  8. 乔迪,卡博特;保罗,拉克尔;Raventós,Ruth:从UML/OCL到SBVR规范:挑战性的转换(2010)ioport公司
  9. 莫哈,纳乌尔;森,萨加尔;福彻,西里尔;巴拉斯,奥利维尔;jeézéquel,Jean-Marc:Kermeta解决基于图的问题的评价(2010)ioport公司
  10. 博罗纳特,阿图尔;克纳普,亚历山大;梅斯盖尔,何塞;什么是多重建模语言?(2009年)
  11. 艾瑞格,卡斯滕;Küster,Jochen Malte;Taentzer,Gabriele:从元模型生成实例模型(2009)ioport公司
  12. 特纳,爱德华;特雷哈尼,海伦;施耐德,史蒂夫;从xUML模型自动生成CSP(\parallel)B骨架(2008)
  13. 阿纳斯塔萨基斯,基里亚科斯;波德巴,贝沙德;格奥尔格,格瑞;Ray,Indrakshi:UML2Alloy:挑战性的模型转换(2007)ioport公司