期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

一种基于OCL的体系结构一致性验证环境 被引量：2

Validation Environment of Software Architecture Based on OCL
下载PDF
导出
摘要 在软件体系结构的相关研究中,如何保证软件体系结构的一致性成为了很重要的课题。提出了一种基于OCL的体系结构一致性验证方法,通过建模之前的对体系结构的约束进行定义,建模过程中和建模过程后对体系结构模型的一致性验证,来保证最终的模型符合用户所定义的一致性约束,提高了环境的易用性和可靠性。设计并实现了原型体系结构建模工具Artemis-GODE。 在软件体系结构的相关研究中,如何保证软件体系结构的一致性成为了很重要的课题。提出了一种基于OCL的体系结构一致性验证方法,通过建模之前的对体系结构的约束进行定义,建模过程中和建模过程后对体系结构模型的一致性验证,来保证最终的模型符合用户所定义的一致性约束,提高了环境的易用性和可靠性。设计并实现了原型体系结构建模工具Artemis-GODE。
作者 曹流 曹春
机构地区 南京大学计算机软件新技术国家重点实验室 南京大学计算机软件研究所
出处 《计算机科学》 CSCD 北大核心 2012年第S3期409-414,共6页 Computer Science
基金 国家973计划(2009CB320702) 科技部核高基项目(2009ZX01043-001-06) 国家自然科学基金项目(60973044)资助
关键词 软件体系结构 一致性验证 OCL Software architecture Consistency check OCL
分类号 TP3 [自动化与计算机技术—计算机科学与技术]
  • 相关文献

参考文献4

二级参考文献23

  • 1马晓星,余萍,陶先平,吕建.一种面向服务的动态协同架构及其支撑平台[J].计算机学报,2005,28(4):467-477. 被引量：80
  • 2Papazoglou M.P., Georgakopoulos D. Service-oriented computing: Introduction. Communications of the ACM, 2003, 46(10): 24～28 被引量：1
  • 3Burner M. Service orientation and its role in your connected system strategy. Microsoft Corporation. White paper. 2004. Available at http://msdn.microsoft.com/library/en-us/dnbda/html/SrOrientWP.asp 被引量：1
  • 4Channabasavaiah K., Holley K., Tuggle E.M. Migrating to a service-oriented architecture. IBM Corporation. White paper. 2003. Available at http://www.ibm.com/developerworks/webservices/library/ws-migratesoa/ 被引量：1
  • 5Erl T. Service -Oriented Architecture: A Field Guide to Integrating XML and Web Services. NJ, USA: Prentice Hall PTR, 2004 被引量：1
  • 6Papazoglou M.P. Service-oriented computing: Concepts, characteristics and directions. In: Proceedings of the 4th International Conference on Web Information System Engineering, Roma, Italy, 2003, 3～10 被引量：1
  • 7Andrews T., Curbera F., Dholakia H. et al. Business process execution language for Web services, Version 1.1. BPEL4WS specification, 2003. Available at http://www.ibm.com/developerworks/library/ws-bpel/ 被引量：1
  • 8Cabrera L.F., Copeland G., Feingold M. et al. Web services coordination WS-coordination specification, 2004. Available at http://ftpna2.bea.com/pub/downloads/WS -Coordination.pdf 被引量：1
  • 9Curbera F., Khalaf R., Mukhi N. et al. The next step in Web services. Communications of the ACM, 2003, 46(10): 29～34 被引量：1
  • 10Ma X., Cao J., Chan A., Lu J., Zhang K. A graph-oriented approach to the description and implementation of distributed and dynamic software architecture. In: Proceedings of the 15th International Conference on Software Engineering and Knowledge Engineering, San Francisco, USA, 2003, 518～524 被引量：1

共引文献87

同被引文献11

引证文献2

二级引证文献9

计算机科学
2012年 第S3期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部