搜索结果: 1-3 共查到“计算机科学技术 OCL”相关记录3条 . 查询时间(0.093 秒)
基于OCL的面向方面监控框架
对象约束语言 面向方面编程 监控框架
2009/8/20
基于面向方面编程技术提出一种软件性质监控框架。该框架根据对象约束语言的约束条件生成监控方面,对监控方面与被监控软件进行编织,使软件在运行时具备发现约束违背的能力。使用模型约束检查工具USE可以进一步分析违约信息,实现其在模型上的可视化呈现。
基于OCL的配置工具研究与实现
对象约束语言 产品配置 配置模型
2009/7/21
大规模定制是现代工业发展的趋势。它不但具有大规模生产的低成本优势,而且能够满足用户的个性化需求。产品配置是实现大规模定制的重要方法,实现产品配置的核心是配置工具。GPCT(Generic Product Configuration Tool)是河北工业大学创新设计研究所开发的领域无关的配置工具。它以UML表示产品配置模型,以OCL文法表达产品部件间的约束。给出了GPCT的约束维护和验证方法,并以数...
A UML 2.0/OCL Extension for Designing Secure Data Warehouses
Secure Data Warehouse UML profile OCL security confidentiality
2005/4/12
At present, it is very difficult to develop a methodology that fulfills all criteria and comprises all security constraints in the successful design of data warehouses. If that methodology were develo...