E-LOTOS公司

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

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

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）