首页> 中文会议>信息系统协会中国分会第一届学术年会 >信息系统建模的OCL约束检查和确认

信息系统建模的OCL约束检查和确认

页面导航

摘要
著录项
相似文献
相关主题

摘要

信息系统静态模型通常由UML类图和OCL约束两部分构成.在实现信息系统之前,希望对其进行检查和确认,以保证所建模型的正确性.而OCL约束的检查和确认不为一般的UMLCASE工具支持.本文描述了一个元模型语言框架原理.即通过在元模型层引入UML核心元素和OCL元模型元素来对所建信息系统模型的OCL约束分别在模型层和用户对象实例层进行检查和确认,以检查用户实例层违背OCL约束的系统状态产生的原因.文章最后给出基于USE应用程序的实例.

著录项

来源
《信息系统协会中国分会第一届学术年会》|2005年|192-196|共5页
会议地点北京
作者
黎升洪;
展开▼
作者单位

中国系统工程学会;

中国信息经济学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类程序设计、软件工程;
关键词
信息系统; OCL约束; UML模型; 系统建模;

相似文献

中文文献
外文文献
专利

1. 基于OCL约束建模的嵌入式软件安全性分析 [J] . 崔红军 ,黄美锋 ,吴振宇 . 计算机工程 . 2018,第006期
2. 基于UML模型和OCL约束的类间交互测试用例生成方法研究 [J] . 柴玉梅 ,冯秋燕 ,王黎明 . 电子学报 . 2013,第006期
3. 带OCL约束的多态路径测试线索生成方法 [J] . 曾一 ,刘青香 ,王翠钦 . 计算机工程 . 2013,第008期
4. 在带OCL约束的状态图下测试线索的自动生成 [J] . 曾一 ,徐攀登 ,柴艳欣 . 计算机应用研究 . 2011,第003期
5. OCL约束验证与实现的方法 [J] . 罗清胜 . 计算机工程与设计 . 2010,第006期
6. 基于UML/OCL的C4ISR效能概念建模分析 [C] . 蒋鑫 ,王智学 ,董庆超 . 2011复杂系统理论与方法及其工程实践学术会议 . 2011
7. 基于UML模型和OCL约束的类间交互测试用例生成方法研究 [A] . 冯秋燕 . 2012

信息系统建模的OCL约束检查和确认

摘要

著录项

相似文献

相关主题

期刊订阅