论文部分内容阅读
系统的静态模型通常由UML类图和OCL约束两部分构成。OCL约束可以转化为相应的程序代码，为此需要对模型及约束进行验证与确认。本文阐述了OMG的四层元横型框架，并以一个简易的模型为例，说明用USE对模型进行验证的全过程。
基于USE的OCL约束验证过程解析
【摘 要】
：
系统的静态模型通常由UML类图和OCL约束两部分构成。OCL约束可以转化为相应的程序代码，为此需要对模型及约束进行验证与确认。本文阐述了OMG的四层元横型框架，并以一个简易的模
【机 构】
：
江西财经大学信息学院
【出 处】
：
计算机与现代化
【发表日期】
：
2006年12期
其他文献
论述计算机电磁兼容性问题的重要性，着重探讨了计算机电磁兼容性的实现方法，展望未来计算机电磁兼容性技术。
对软件项目风险分析中的定性分析方法和定量分析方法进行了讨论,提出了定性分析与定量分析相结合的方式对软件项目中已识别的风险进行分析的方法,并且在分析过程中考虑了风险
网格计算是构筑在Internet上的一组新兴技术,是分布式计算中的一种,用来解决复杂度越来越超高的计算和应用.文章介绍了网格计算的概念、特点、基本功能和体系结构,典型的网格
从日常管理、制度建设、执行补丁、防火墙、RAS、权限配置方面探讨了服务器安全管理的实践经验，从网卡、集线器、传输介质、资源共享、代理服务器故障等方面分析了网络故障产
首先分析了目前流行的MVC模式的工作原理和性能特点；然后基于MVC和浏览器／服务器（B／S）多层体系结构，在J2EE开发环境下采用JSF、Servlet、EJB等核心技术进行储粮害虫查询与防治系统
随着远程监控技术的发展,系统监控的设备数量越来越多,监控数据也日益复杂.利用数据库技术可以对复杂的设备监控数据进行有效存储、分析和处理,得到更多决策信息.本文介绍了
介绍了数字监控系统的一般设计方法，并通过实例说明了数字监控系统的简单应用。
首先介绍了一卡通应用开发的现状与新的任务,引出了中间件技术对软件工业推动的必要性.接着提出了一个校园一卡通圈存子系统的设计与实现,并使用UML方法进行分析与建模.最后,
虽然动态路由已经成为趋势,但是由于在某些考虑到安全性的路由系统(如洋葱路由系统)中,还是需要用源路由作为最主要的路由形式,而当需要路由的网络十分庞大的时候,传统的路由
分析了动态级联下拉框的应用前景,介绍了基本的实现理论、手段,最后结合XML的特点提出并实现了能够动态配置、满足不同用户需求的动态级联下拉框的实现方法.