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

软件体系结构的属性图文法描述及其约束验证 被引量：7

Attributed Graph Grammar-based Description and Constraints Verification of Software Architectures
下载PDF
导出
摘要 在前人工作的基础上,使用了一种利于约束检查和属性刻画的属性图文法,该方法形式地描述了体系结构及其演化;接着给出了一个算法检查演化动作是否会破坏体系结构约束。在对属性图文法系统AGG的图形解析器进行定制和改进的基础上,设计并实现了体系结构自动检查器。该检查器已应用于面向体系结构的服务集成开发平台Artemis-ARC系统中。 Based on existing researches on graph grammar-based formalisms of software architecture, firstly an Attributed Graph Grammar-based（AGG） approach was proposed to describe software architectures, which emphasized the description and verification of attribute-related constrains. Secondly an algorithm to verify the simulated evolved architecture against the constraints was discussed. Finally an automatic architecture checker was implemented based on TU Berlin＇ s AGG parser with some enhancing customization and adaptation. The checker has been integrated into the Artemis-ARC system.
作者 石兵 冉平 马晓星 陶先平 吕建
机构地区 南京大学计算机软件研究所计算机软件新技术国家重点实验室
出处 《计算机应用研究》 CSCD 北大核心 2007年第3期163-168,共6页 Application Research of Computers
基金 国家"973""863"计划资助项目(2002CB312002 2005AA113160 2004AA112090) 国家自然科学基金资助项目(60273034 60233010 60403014)
关键词 软件体系结构 动态演化 属性图文法 验证 software architecture dynamic evolution attributed graph grammar verification
分类号 TP311 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献20

  • 1马晓星,余萍,陶先平,吕建.一种面向服务的动态协同架构及其支撑平台[J].计算机学报,2005,28(4):467-477. 被引量：80
  • 2ANDERSSON J. Issues in dynamic software architectures: proc. of the 4th Int : Software Architecture Workshop ( ISAW- 4 ) [ C ]. [ S. 1. ] :[s. n. ] ,2000:111-114.
  • 3The attributed graph grammar system: a development environment for attributed graph transformation systems [ EB/OL]. [ 2005- 05 ]. http://tfs. cs. tu-berlln. de/agg/index. html.
  • 4GARLAN D, MONROE R T, WILE D. Acme: architectural description of component-based systems[ C]//LEAVENS G T, SITARAMAN M. Foundations of component,based systems. Cambridge : Cambridge University Press, 2000:47-68.
  • 5MONROE R T. Capturing software architecture design expertise with armani, CMU-CS-163 [ R]. Pittsburgh: Carnegie Mellon University,1998.
  • 6The wright architecture description language [ EB/OL ]. [ 2005- 05 ],http ://www- 2. es. emu. edu/- able/wright.
  • 7Wright analysis tutorial[ EB/OL]. [2005-05]. http://www-2. cs.emu. edu/afs/es/project/able/ftp/Wright-tutorial.
  • 8A new implementation for the darwin architectural description language [ EB/OL ]. [ 2005 - 05 ]. http://www. doc. ic. ae. uk/- igeozg/Project/Darwin.
  • 9RADESTOCK M, Eisenbach S. What do you get from a H-calculus semantics : proc. of the 6th International PARLE Conference on Parallel Architectures and Languages Europe[ C ]. [ S. 1. ] : [ s. n. ], 1994 :635 - 647.
  • 10RADESTOCK M, Eisenbaeh S. Formalising system structure: proc.of the 8th ACM/IEEE Int. Workshop on Software Specification and Design (IWSSD) [ C ]. [ S. 1. ]: [ s. n. ], 1996.

二级参考文献22

  • 1Papazoglou M.P., Georgakopoulos D. Service-oriented computing: Introduction. Communications of the ACM, 2003, 46(10): 24～28
  • 2Burner 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
  • 3Channabasavaiah 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/
  • 4Erl T. Service -Oriented Architecture: A Field Guide to Integrating XML and Web Services. NJ, USA: Prentice Hall PTR, 2004
  • 5Papazoglou 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
  • 6Andrews 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/
  • 7Cabrera 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
  • 8Curbera F., Khalaf R., Mukhi N. et al. The next step in Web services. Communications of the ACM, 2003, 46(10): 29～34
  • 9Ma 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
  • 10Shaw M., DeLine R., Klein D.V. et al. Abstractions for software architecture and tools to support them. IEEE Transactions on Software Engineering, 1995, 21(4): 314～335

共引文献79

同被引文献74

引证文献7

二级引证文献22

计算机应用研究
2007年 第3期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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