对象约束语言论文

基于AOP的软件性质监控技术研究
论文摘要随着软件复杂度的提高,软件失效和故障问题日渐突出,软件可信性越来越受到人们的关注。针对软件实施运行时监控是提高软件可信性的一种有效途径。然而,传统的软件监控技术存在着一...
实时服务构件的语义特征和行为组装形式化技术研究
论文摘要在面向服务的架构中,如何根据系统资源环境的变化以及构件的功能和实时性等QoS属性动态组合已有的功能构件以满足应用需求,成为当前此领域的一个研究热点。由于采用非形式化（自...
基于工作流建模技术的MDA
论文摘要由于传统的模型驱动架构(MDA)在企业级应用中还没有比较成熟的方法来解决不断变化的业务逻辑的开发,因此,MDA在实际应用中受到了很大程度的限制。本文将工作流建模技术引入...