电子LOTOS swMATH ID: 3017 软件作者： 罗伯特·克拉克；安娜·莫雷拉 描述： 使用E-LOTOS向UML添加形式。E-LOTOS是ISO标准规范语言LOTOS的新版本，目前正在开发中。我们描述了如何使用它来给UML模型赋予形式上的含义，并发现UML模型中的不一致性。作为这项工作的一部分，我们给出了从UML构造到E-LOTOS的映射。重点放在处理UML用例图、类图和交互图上，因为它们在UML分析或高级设计模型的开发中起主导作用。需求通常是不一致和不完整的，我们处理如何用形式语言建模。 主页： http://www.inrialpes.fr/vasy/elotos/ 关键词： 电子LOTOS;LOTOS公司 相关软件： 钙磷;自旋蛋白;LOTOS公司;CAESAR_解决;Exp.未结;MoDeST公司;LNT2LOTOS公司;Uppaal公司;棱镜;酯类;mCRL2型;FDR3公司;菲亚克;fc2工具;克洛诺斯;ATERM公司;莫德;IF-2.0型;Uppaal2k公司;CEGAR公司 引用于： 23文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 使用E-LOTOS向UML添加形式。 Zbl 0963.68106号罗伯特·克拉克;安娜·莫雷拉 2000 全部的 前5名30位作者引用 6 拉杜·马特埃斯库 5 休伯特·加拉维 5 弗雷德里克·朗 4 范德波尔，扬·科内利斯 三 霍尔格赫尔曼斯 三 Joost-Pieter卡托恩 2 布隆，斯特凡 2 米哈埃拉·西希雷亚努 2 马里耶·斯托林加 1 佩德罗·鲁宾·达吉尼奥 1 Hidde德容 1 埃斯特尔·杜马斯 1 Jan Friso，格鲁特 1 法塔玛·杰巴利 1 里克·克拉伦 1 伯特·利瑟 1 米尔科·洛吉 1 蒂齐亚娜·玛格丽亚 1 何塞·梅塞盖尔·瓜伊塔 1 佩德罗·蒙泰罗。 1 安娜·克劳迪娅·莫雷拉 1 格拉齐亚诺·普拉瓦德利 1 朱迪·罗米恩 1 格里高·罗什乌 1 格温·萨拉恩 1 温德林·塞维 1 卡隆·桑德兰 1 大卫·P·L·西蒙斯。 1 伯恩哈德·斯特芬 1 马克·蒂默 全部的 前5名9篇连载文章中引用 1 信息学报 1 理论计算机科学 1 国际并行程序设计杂志 1 计算的形式方面 1 逻辑与计算杂志 1 系统设计中的形式化方法 1 通用计算机科学杂志 1 计算机科学课堂讲稿 1 程序设计中的逻辑和代数方法杂志 在4个字段中引用 23 计算机科学（68至XX） 2 概率论与随机过程（60-XX） 1 数学逻辑和基础（03-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的引文