首页    期刊浏览 2024年12月05日 星期四
登录注册

文章基本信息

  • 标题:A Tile Logic Based Approach for Software Architecture Description Analysis
  • 本地全文:下载
  • 作者:Aïcha Choutri ; Faiza Belala ; Kamel Barkaoui
  • 期刊名称:Journal of Software Engineering and Applications
  • 印刷版ISSN:1945-3116
  • 电子版ISSN:1945-3124
  • 出版年度:2010
  • 卷号:3
  • 期号:11
  • 页码:1067-1079
  • DOI:10.4236/jsea.2010.311126
  • 出版社:Scientific Research Publishing
  • 摘要:A main advantage of Architecture Description Languages (ADL) is their aptitude to facilitate formal analysis and verification of complex software architectures. Since some researchers try to extend them by new techniques, we show in this paper how the use of tile logic as extension of rewriting logic can enforce the ability of existing ADL formalisms to cope with hierarchy and composition features which are more and more present in such software architectures. In order to cover ADL key and generic concepts, our approach is explained through LfP (Language for rapid Prototyping) as ADL offering the possibility to specify the hierarchical behaviour of software components. Then, our contribution goal is to exploit a suitable logic that allows reasoning naturally about software system behaviour, possibly hierarchical and modular, in terms of its basic components and their interactions.
  • 关键词:Tile Logic; LfP Model; Software Architecture; Hierarchical Composition
国家哲学社会科学文献中心版权所有