E-LOTOS公司

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


zbMATH中的参考文献(引用于,1标准件)

显示第1到第20个结果,共25个。
按年份排序(引用)
  1. Jebali,Fatma;Lang,Frédéric;Mateescu,Radu:使用GRL和CADP对GALS系统进行正式建模和验证(2016年)
  2. Garavel,Hubert:重温过程计算中的顺序组合(2015)
  3. Garavel,Hubert;Lang,Frédéric;Mateescu,Radu:使用CADP对异步并发系统的组合验证(2015)
  4. Keiren,Jeroen J.A.:平价游戏的基准(2015)ioport公司
  5. Mateescu,Radu;Salaün,Gwen:PIC2LNT:模型检查的模型转换应用pi演算(2013)
  6. Mateescu,Radu;Serwe,Wendelin:共享内存互斥协议的CADP模型检查和性能评估(2013)ioport公司
  7. Katoen,Joost Pieter;van de Pol,Jaco;Stoelinga,Mariëlle;Timmer,Mark:概率自动机数据的线性过程代数格式(2012)
  8. Blom,Stefan;Lisser,Bert;van de Pol,Jaco;Weber,Michael:分布式状态空间生成的数据库方法(2011)
  9. Garavel,Hubert;Lang,Frédéric;Mateescu,Radu;Serwe,Wendelin:CADP 2010:分布式过程的构造和分析工具箱(2011)
  10. 赫尔曼斯,霍尔格;卡托恩,乔斯特·皮尔特:互动马尔可夫链的方式和原因(2010)
  11. Blom,Stefan;van de Pol,Jaco:具有递归数据类型的过程代数的符号可达性(2008)
  12. Mateescu,Radu;Monteiro,Pedro T.;Dumas,Estelle;de Jong,Hidde:遗传调节网络的计算树正则逻辑(2008)
  13. Lang,Frédéric:用于组合验证的改进接口(2006)
  14. Loghi,Mirko;Margaria,Tiziana;Pravadelli,Graziano;Steffen,Bernhard:嵌入式系统的动态和形式验证:比较调查(2005)
  15. 梅斯格尔,何塞;罗şu,格里戈尔:重写逻辑语义学:从语言规范到形式分析工具(2004)
  16. Robinson,Peter;Shankland,Carron:使用Ergo对抗无限状态(2003)
  17. Garavel,Hubert;Lang,Frédéric:NTIF:用数据通信顺序过程的通用符号模型(2002)
  18. 赫尔曼,霍尔格:交互式马尔可夫链。以及对量化质量的追求(2002)
  19. D'Argenio,Pedro R.;Hermanns,Holger;Katoen,Joost Pieter;Klaren,Ric:一种随机时间系统的建模和描述语言(2001)
  20. Judi Romijn:IEEE 1394领导人选举协议的定时验证(2001)