E-LOTOS公司

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

此软件的关键字

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

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）