E-LOTOS公司

E-LOTOS在向UML添加形式时的使用。E-LOTOS是ISO标准规范语言LOTOS的新版本,目前正在开发中。我们描述了如何使用它来给UML模型一个正式的含义,并发现其中的不一致。作为这项工作的一部分,我们给出了从UML构造到E-loto的映射。重点放在处理UML用例、类和交互图上,因为它们在UML分析或高层设计模型的开发中起主导作用。需求通常是不一致和不完整的,我们处理如何用正式语言建模。


zbMATH中的参考文献(参考文献25条,1标准件)

显示第1到第20个结果,共25个。
按年份排序(引用)
  1. 杰巴里,法特玛;朗,法国édé风险投资委员会;Mateescu,Radu:使用GRL和CADP对GALS系统进行正式建模和验证(2016年)
  2. Garavel,Hubert:重温过程计算中的顺序组合(2015)
  3. 加雷维尔,休伯特;朗,法国édé风险投资委员会;Mateescu,Radu:使用CADP对异步并发系统进行组合验证(2015)
  4. 凯伦,杰伦J。A、 :平价游戏基准(2015年)ioport公司
  5. 马泰斯库,拉杜;萨拉ün、 Gwen:PIC2LNT:model transformation for model checking an applied pi演算(2013)
  6. 马泰斯库,拉杜;Serwe,Wendelin:共享内存互斥协议的CADP模型检查和性能评估(2013)ioport公司
  7. 卡托恩,乔斯特·皮尔特;波尔哈克,范;斯托琳加,玛丽ëlle;Timmer,Mark:概率自动机数据的线性过程代数格式(2012)
  8. 布洛姆,斯特凡;利瑟,伯特;范德波尔,雅科;韦伯,迈克尔:分布式状态空间生成的数据库方法(2011)
  9. 加雷维尔,休伯特;朗,法国édé风险投资委员会;马泰斯库,拉杜;Serwe,Wendelin:CADP 2010:分布式过程的构造和分析工具箱(2011)
  10. 赫尔曼,霍尔格;Katoen,Joost Pieter:交互马尔可夫链的原理和原因(2010)
  11. 布洛姆,斯特凡;van de Pol,Jaco:具有递归数据类型的过程代数的符号可达性(2008)
  12. 马泰斯库,拉杜;蒙泰罗,佩德罗T。;大仲马,埃斯特尔;de Jong,Hidde:遗传调节网络的计算树正则逻辑(2008)
  13. 朗,法国édéric:用于成分验证的改进接口(2006)
  14. 洛基,米尔科;玛格丽亚,提兹亚娜;普拉瓦德利,格拉齐亚诺;Steffen,Bernhard:嵌入式系统的动态和形式化验证:比较调查(2005)
  15. 梅斯盖尔,乔斯é; 反渗透şu、 格里戈尔:重写逻辑语义学:从语言规范到形式分析工具(2004)
  16. 罗宾逊,彼得;香克兰,卡隆:用能量论对抗无限状态(2003)
  17. 加雷维尔,休伯特;朗,法国édéric:NTIF:用数据通信顺序过程的通用符号模型(2002)
  18. 赫尔曼,霍尔格:交互式马尔可夫链。以及对量化质量的追求(2002)
  19. D'Argenio,佩德罗·R。;赫尔曼,霍尔格;卡托恩,乔斯特·皮尔特;Klaren,Ric:谦虚——随机时间系统的建模和描述语言(2001)
  20. Judi Romijn:IEEE 1394领导人选举协议的定时验证(2001)