电子LOTOS swMATH编号: 3017 软件作者: 罗伯特·克拉克;安娜·莫雷拉 描述: 使用E-LOTOS向UML添加形式。E-LOTOS是ISO标准规范语言LOTOS的新版本,目前正在开发中。我们描述了如何使用它来给UML模型赋予形式上的含义,并发现UML模型中的不一致性。作为这项工作的一部分,我们给出了从UML构造到E-LOTOS的映射。重点放在处理UML用例图、类图和交互图上,因为它们在UML分析或高级设计模型的开发中起主导作用。需求通常是不一致和不完整的,我们处理如何用形式语言建模。 主页: http://www.inrialpes.fr/vasy/elotos/ 关键词: 电子LOTOS;LOTOS公司 相关软件: CADP公司;自旋蛋白;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 休伯特Garavel 5 弗雷德里克·朗 4 范德波尔,扬·科内利斯 三 霍尔格·赫尔曼斯 三 Joost-Pieter卡托恩 2 斯特凡·布隆 2 米哈埃拉·西希雷亚努 2 玛丽·斯托琳加 1 佩德罗·鲁宾·达吉尼奥 1 德容、希德 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) 按年份列出的引文