【摘 要】
：
信息系统静态模型通常由UML类图和OCL约束两部分构成.在实现信息系统之前,希望对其进行检查和确认,以保证所建模型的正确性.而OCL约束的检查和确认不为一般的UMLCASE工具支持
【机 构】
：
江西财经大学信息学院,南昌,330013
【出 处】
：
信息系统协会中国分会第一届学术年会
论文部分内容阅读
信息系统静态模型通常由UML类图和OCL约束两部分构成.在实现信息系统之前,希望对其进行检查和确认,以保证所建模型的正确性.而OCL约束的检查和确认不为一般的UMLCASE工具支持.本文描述了一个元模型语言框架原理.即通过在元模型层引入UML核心元素和OCL元模型元素来对所建信息系统模型的OCL约束分别在模型层和用户对象实例层进行检查和确认,以检查用户实例层违背OCL约束的系统状态产生的原因.文章最后给出基于USE应用程序的实例.
其他文献
研究型审计是一种理念,它强调在审计工作中注重调查研究.任何一个部门、任何一项工作都离不开调查研究,离开调查研究就得不到正确的结论,就不
刘家义审计长提出的发挥审计“免疫系统”功能,是在总结26年审计实践经验的基础上,对国家审计本质及其功能的理性认识和科学定位.它标志着国家审计有了全新的内涵和更高的追
如果将一篇论文比作建设一座高楼,那么论点就好比施工蓝图,论据好比施工材料,论证则是施工方法。笔者发现,有些审计人员写不好论文,其中一个重要原因就是没有真正理解什么是
生活中有许多随机性和不确定性问题,有些问题很难用解析的数学模型来解决.计算机仿真利用计算机模拟整个流程或系统的运作来处理不确定性,已经成为管理科学的一门关键技术.Cr
从信息技术的角度来看,客户关系管理(CustomerRelationshipManagement,简称CRM)是一套以客户为导向的信息系统工程.客户潜在价值的定义及定量计算问题,一直是客户关系管理研
模型驱动架构技术(MDA)使得应用程序和开发工具能够跨越中间件的边界,从而更容易地实现软件系统的集成与开发.该技术将业务逻辑功能和行为定义为一个代表分析结果的平台无关
针对现行所存在的高考志愿填报政策带来的问题,通过理论和实际数据分析,本文认为志愿填报扎堆带来的撞车现象是最为严重的.结合信息经济学的知识,本文对当前志愿填报政策进行
目前,我国社会保障体系正处在逐步完善过程中,这既给社保审计提出监督与保障民生政策落实、资金安全有效运行的高要求,同时也提出了深入分析和反映体制、机制层面存在的问题,
新修订的国家审计准则即将于2011年1月1日实施.这部准则改变了过去由若干准则和规范组成的相对零散的体系,将审计职业道德规范、审计技术准则和审计质量
本文积极探索信息系统生命周期中存在的问题及解决思路,融合信息系统应用的最新研究理论,有针对性地提出并研制了信息系统监理、CMM和IT审计的融合框架CICI(theConjunctionof