MDA驱动的英语句子到OCL转换系统:提高可用性和性能比较
69 浏览量
更新于2024-06-17
收藏 1.6MB PDF 举报
本文主要探讨了在OCL模型驱动架构(Model Driven Architecture, MDA)背景下,开发并评估一个名为En2OCL的英语句子转换系统,用于自动化将英语文本转换为OCL规范的过程。OCL是统一建模语言(Unified Modeling Language, UML)中用于表达系统约束的一种语言,但由于其复杂的语法和对使用者专业知识的需求,导致了较低的可用性问题。
研究者Samin Salemi、Ali Selamat和Marek Penhaker针对这一问题,提出了一个基于MDA的模型解决方案,它能够处理英语句子中的OCL规格。他们利用线性时序逻辑(Linear Temporal Logic, LTL)属性并通过Maude模型检查器对其进行了验证,确保模型的有效性和正确性。
为了验证这个模型的实际效能并与其同类工具NL2OCL via SBVR进行比较,作者开发了En2OCL应用程序,并通过三个关键评估指标:精确度(Precision)、召回率(Recall)和F-measure,对转换的准确性和全面性进行了定量评估。结果显示,En2OCL在这些方面实现了显著的改进,特别是在精确度和召回率上,证明了其在提高OCL可用性方面的有效性。
该研究不仅关注技术层面,还涉及到软件设计中的重要实践,即如何通过建模语言更好地表达和理解系统需求。沙特国王大学作为研究机构,对本文进行了同行评审,确保了研究成果的质量。此外,本文作为一篇开放获取的文章,遵循了CC BY-NC-ND许可协议,促进了学术知识的分享和传播。
总结来说,本文的核心贡献在于提出了一种有效的方法,通过模型驱动架构解决英语句子到OCL转换的问题,提高了OCL在软件开发中的实用性,对于软件工程师和建模语言使用者具有实际价值。
2013-03-25 上传
2013-12-18 上传
2023-07-28 上传
2023-12-01 上传
2023-11-07 上传
2023-10-23 上传
2023-11-09 上传
2023-06-06 上传
2023-02-06 上传
![](https://profile-avatar.csdnimg.cn/default.jpg!1)
cpongm
- 粉丝: 5
- 资源: 2万+
最新资源
- 解决Eclipse配置与导入Java工程常见问题
- 真空发生器:工作原理与抽吸性能分析
- 爱立信RBS6201开站流程详解
- 电脑开机声音解析:故障诊断指南
- JAVA实现贪吃蛇游戏
- 模糊神经网络实现与自学习能力探索
- PID型模糊神经网络控制器设计与学习算法
- 模糊神经网络在自适应PID控制器中的应用
- C++实现的学生成绩管理系统设计
- 802.1D STP 实现与优化:二层交换机中的生成树协议
- 解决Windows无法完成SD卡格式化的九种方法
- 软件测试方法:Beta与Alpha测试详解
- 软件测试周期详解:从需求分析到维护测试
- CMMI模型详解:软件企业能力提升的关键
- 移动Web开发框架选择:jQueryMobile、jQTouch、SenchaTouch对比
- Java程序设计试题与复习指南