A Temporal Logic-Based Software Architecture Description Language XYZ/ADL
Affiliation:

  • Article
  • | |
  • Metrics
  • |
  • Reference [14]
  • |
  • Related [20]
  • |
  • Cited by [27]
  • | |
  • Comments
    Abstract:

    The architecture description language (ADL) is the foundation of software development based on software architecture. An ADL supporting stepwise refinement can make it more convenient that a good design leads to a good implementation. The architecture description language XYZ/ADL can support the stepwise transition from higher-level architectures to lower-level architectures, because it is based on the temporal logic language (TLL) XYZ/E, which can represent both dynamic semantics and static semantics under a unified logical framework. In this paper, the framework and syntax of XYZ/ADL is presented and its underlying semantics is explained using XYZ/E, and how to describe software architecture and software architecture style using XYZ/ADL is introduced.

    Reference
    [1]Allen R, Garlan D. A formal basis for architectural connection. ACM Transactions on Software Engineering and Methodology, 1997,6(3):213~249.
    [2]Garlan D, Monroe R, Wile D. Acme: an architecture description interchange language. In: Johnson JH, ed. Proceedings of the CASCON'97: The 7th Annual IBM Centre for Advanced Studies Conference. 1997. 169~183. http://www-2.cs.cmu.edu/afs/cs/ project/compose/ftp/pdf/acme-cascon97.pdf.
    [3]Garlan D, Allen R, Ockerbloom J. Exploiting style in architectural design environments. In: Wile D, ed. Proceedings of the SIGSOFT'94: The 2nd Symposium on the Foundations of Software Engineering. ACM Press, 1994. 175~188. http://www-2.cs. cmu.edu/afs/cs/project/able/ftp/aesop-fse2/aesop-fse2.pdf.
    [4]Medvidovic N, Oreizy P, Robbins JE, Taylor RN. Using object-oriented typing to support architectural design in the C2 style. In: Garlan D, ed. Proceedings of the ACM SIGSOFT'96: The 4th Symposium on the Foundations of Software Engineering. ACM Press, 1996. 24~32. http://www.isr.uci.edu/architecture/papers/ADL-FSE96.pdf.
    [5]Luckham DC, Vera J. An event-based architecture definition language. IEEE Transactions on Software Engineering, 1995,21(9): 717~734.
    [6]Tang ZS, et al. Temporal Logic Programming and Software Engineering. Beijing: Science Press, 2002 (in Chinese).
    [7]Tang ZS. Three stages of XYZ system research project. In: Zhang SM, Nakakoji K, eds. Proceedings of the ISFST'98: International Symposium on Future Software Technology. 1998. 7~12. http://www.iijnet.or.jp/sea.
    [8]Zhou YX, Ai B. A study of architecture modeling. Journal of Software, 1998,9(11):866~872 (in Chinese with English abstract).
    [9]Jiao WP, Shi ZZ. Formalizing architectural style with XYZ/E. Journal of Software, 2000,11(3):410~415 (in Chinese with English abstract).
    [10]Medvidovic N, Taylor RN. A classification and comparison framework for software architecture description language. IEEE Transactions on Software Engineering, 2000,26(1):70~93.
    [11]Shaw M, Garlan D. Software Architecture: Perspectives on an Emerging Discipline. New Jersey: Prentice-Hall International, Inc., 1996.
    [12]唐稚松,等.时序逻辑程序设计与软件工程.北京:科学出版社,2002.
    [13]周莹新,艾波.软件体系结构建模研究.软件学报,1998,9(11):866~872.
    [14]焦文品,史忠植.用XYZ/E形式化体系结构风格.软件学报,2000,11(3):410~415.
    Comments
    Comments
    分享到微博
    Submit
Get Citation

朱雪阳,唐稚松.基于时序逻辑的软件体系结构描述语言XYZ/ADL.软件学报,2003,14(4):713-720

Copy
Share
Article Metrics
  • Abstract:5540
  • PDF: 7822
  • HTML: 0
  • Cited by: 0
History
  • Received:August 22,2002
  • Revised:December 23,2002
You are the first2035297Visitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address:4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code:100190
Phone:010-62562563 Fax:010-62562533 Email:jos@iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063