UML2合金

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


zbMATH参考文献(13篇文章引用)

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

  1. Jahangard Rafsanjani,Amir;Mirian Hosseinabadi,Seyed Hassan:ORM模型的轻量级形式化和验证(2015)
  2. Kevin Ahdou,模型验证(Kevin Ahdou,2015;模型验证)
  3. 弗朗西斯科杜兰;曼努埃尔·罗尔丹;安东尼奥·莫雷诺;阿尔瓦雷斯、何塞·马利亚:UML模型的maude原型的动态验证(2014)ioport公司
  4. Ameedeen,Mohamed A.;Bordbar,Behzad;Anane,Rachid:《通过模型驱动开发实现模型互操作性》(2011)ioport公司
  5. Soeken,Mathias;Wille,Robert;Drechsler,Rolf:编码OCL数据类型,用于基于SAT的UML/OCL模型验证(2011)
  6. Anastasakis,Kyriakos;Bordbar,Behzad;Georg,Geri;Ray,Indrakshi:从UML到合金的模型转换的挑战(2010)ioport公司
  7. Boronat,Artur;Meseguer,José:MOF的代数语义(2010)
  8. 卡博特,乔迪;保罗,拉奎尔;拉文图斯,鲁思:从UML/OCL到SBVR规范:一个富有挑战性的转变(2010)ioport公司
  9. Naouel Moha;Sen,Sagar;Faucher,Cyril;Barais,Olivier;Jézéquel,Jean-Marc:Kermeta解决基于图的问题的评价(2010)ioport公司
  10. 博罗纳特,阿图尔;克纳普,亚历山大;梅斯盖尔,何塞;维尔辛,马丁:什么是多重建模语言?(2009年)
  11. Ehrig,Karsten;Küster,Jochen Malte;Taentzer,Gabriele:从元模型生成实例模型(2009)ioport公司
  12. Turner,Edward;Treharne,Helen;Schneider,Steve;Evans,Neil:从xUML模型自动生成CSP(\parallel)B骨架(2008)
  13. 《挑战性变革》;格奥尔扎阿纳什(Georza,2007);劳埃德·拉基(Georzakhosi),2007;劳埃德·劳埃德·劳埃德·拉基(Georgia-Tasindar);2007年版《挑战性变革》(model Behrakia)ioport公司