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

基于π-ADL的软件体系结构描述

Description of Software Architecture by π-ADL
下载PDF
导出
摘要 为便于软件体系结构的形式化描述,在π-ADL的语法基础上,简化其连接,增加了连接件的角色描述,并给出描述体系结构及元素的基本句法.通过一个例子展示了π-ADL的使用方法.最后说明在π-ADL描述基础上软件体系结构的求精. In order to formally describe the software architecture,the connection is simplified,the description of connector role is added,and the syntax of describing software architectures is given based on syntax of π-ADL.How π-ADL can be used for specifying architecture is illustrated through case study.The refinement of software architecture described by π-ADL is introduced.
作者 王小刚 李玉龙 韩虎
机构地区 兰州交通大学数理与软件工程学院
出处 《兰州交通大学学报》 CAS 2010年第6期99-101,共3页 Journal of Lanzhou Jiaotong University
基金 甘肃省自然科学基金(2008GS02625) 甘肃省教育厅科研基金资助项目(0804-01)
关键词 软件体系结构 体系结构描述语言 π-ADL 形式化 software architecture architecture description language π-ADL formalization
分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献5

  • 1Shaw M,Garlan D.软件体系结构[M].北京:清华大学出版社,2007.
  • 2田丽从,张莉,周伯生.软件体系结构描述语言研究现状分析[J].计算机科学,2005,32(2):109-113. 被引量：5
  • 3常志明,毛新军,齐治昌.Bigraph理论在自适应软件体系结构上的应用[J].计算机学报,2009,32(1):97-106. 被引量：14
  • 4Oquendo F.π-ADL:An architecture description language based on the higher order typed π-calculus for specifying dynamic and mobile software architectures[J].ACM Software Engineering Notes,2004,29(3):1-11.
  • 5Oquendo F.π-ARL:An architecture refinement language for formally modelling the stepwise refinement of software architectures[J].ACM Software Engineering Notes,2004,29(5):1-6.

二级参考文献53

  • 1Hoare Tony, Milner Robin. Grand challenges for computing research. The Computer Journal, 2005, 48(1) : 49-52
  • 2Cheng Shang-Wen, Garlan David, Schmerl Bradley, Sousa Joao Pedro, Spitznagel Bridget, Steenkiste Peter, Hu Ning- Ning. Software architecture-based adaptation for pervasive systems//Proceedings of the ARCS: Trends in Network and Pervasive Computing. LNCS 2299. Berlin: Springer-Verlag, 2002 : 67-82
  • 3Cheng Shang-Wen, Garlan David, Schmerl Bradley. Architecture-based self-adaptation in the presence of mutliple objectives//Proceedings of the ICSE SEAMS. Shanghai, China, 2006:2-8
  • 4Jensen O-H, Milner R. Bigraphs and mobile processes (revised). Computer Laboratory, University of Cambridge, Cambridge: Technical Report UCAM-CL-TR-580, 2003
  • 5Milner Robin. Axioms for bigraphieal structure. Journal of Mathematical Structures in Computer Science, 2005, 15(6) : 1005-1032
  • 6Birkedal L, Debois S, Hildebrandt T T. Sortings for reactive systems. IT University of Copenhagen, Copenhagen, Denmark: Technical Report TR-2006-84, 2006
  • 7Milner Robin. Bigraphs whose names have multiple locality. Computer Laboratory, University of Cambridge, Cambridge: Technical Report: UCAM-CL-TR-603, 2004
  • 8Milner Robin. Pure bigraphs. Computer Laboratory, University of Cambridge, Cambridge: Technical Report UCAM- CL-TR-614, Z005
  • 9Milner Robin. Bigraphs for petri nets//Lectures on Concurrency and Petri Nets: Advances in Petri Nets. LNCS 3098. Berlin: Springer-Verlag, 2004:686-701
  • 10Birkedal L, Debois S, Elsborg E, Hildebrandt T T, Niss H. Bigraphical models of context-aware systems. IT University of Copenhagen, Copenhagen, Denmark: Technical Report: TR-2005-74, 2005

共引文献17

兰州交通大学学报
2010年 第6期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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