微信服务号

微信订阅号

2025-4-24- 10
Home > Archive>Volume 25, Issue 6, 2014 >1212-1224. DOI:10.13328/j.cnki.jos.004515
PDF HTML XML Export Cite reminder
Denotational Semantics of Tabular Expressions
Author:
Affiliation:

  • Article
    • | |
  • Metrics
    • |
  • Reference [18]
    • |
  • Related [20]
    • | | |
  • Comments
    Abstract:

    Tabular expressions are a formal notation using Tabular form to organize functions or relationships, and they have been widely used in documenting and analyzing software systems. To avoid misunderstanding and to support user with trustworthy tools, the meaning of these expressions must be fully defined. This paper presents the formal grammar and denotational semantics of the Tabular expressions in general model. By defining semantics assigned equation of each syntax unit of the Tabular expressions' formal grammar, denotational semantics of the Tabular expressions is specified. In addition, the meaning of some classical Tabular expression types and new table types are described based on this semantics. Comparisons made with other semantics description methods show that the denotational semantics method defines Tabular expressions' meaning precisely without subjecting to the restrictions of models and types of Tabular expressions. The proposed method breaks the existing methods' limitations and is an effective method.

    Reference
    [1] Jin Z, Liu L, Jin Y. Software Requirements Engineering: Principles and Methods. Beijing: Science Press, 2008. 282-299 (in Chinese).
    [2] Heninger KL, Kallander J, Parnas DL, Shore JE. Software requirements for the A-7E aircraft. NRL Report 9194, U.S. Naval Research Lab., 1978.
    [3] Heninger KL. Specifying software requirements for complex systems: New techniques and their applications. IEEE Trans. on Software Engineering, 1980,SE-6(1):2-13. [doi: 10.1109/TSE.1980.230208]
    [4] Parnas DL. Software aspects of strategic defense systems. Communications of the ACM, 1985,28(12):1326-1335. [doi: 10.1145/214956.214961]
    [5] Parnas DL, Asmis GLK, Madey J. Assessment of safety-critical software in nuclear power plants. Nuclear Safety, 1991,32(2):189-198.
    [6] Parnas DL. Inspection of safety critical software using function tables. In: Proc. of the IFIP World Congress. Vol.3. 1994.270-277.
    [7] Parnas DL, Madey J. Functional documentation for computer systems engineering. Science of Computer Programming, 1995,25(1):41-61. [doi: 10.1016/0167-6423(95)96871-J]
    [8] Parnas DL, Madey J, Iglewski M. Precise documentation of well-structured programs. IEEE Trans. on Software Engineering,1994,20(12):948-976. [doi: 10.1109/32.368133]
    [9] Parnas DL. Document based rational software development. Knowledge-Based Systems, 2009,22(3):132-141. [doi: 10.1016/j.knosys.2008.11.001]
    [10] Degiovanni R, Ponzio P, Aguirre N, Frias M. Abstraction based automated test generation from formal tabular requirements specifications. LNCS 6706: Tests and Proofs, 2011. 84-101. [doi: 10.1007/978-3-642-21768-5_8]
    [11] Feng X, Parnas DL, Tse TH. Fault propagation in Tabular expression-based specifications. In: Proc. of the 32nd Annual IEEE Int'l Computer Software and Applications Conf. 2008. 180-183. [doi: 10.1109/COMPSAC.2008.115]
    [12] Herrmannsdörfer M, Konrad S, Berenbach B. Tabular notations for state machine-based specifications. Crosstalk, 2008,21(3):18-23.
    [13] Peters DK, Lawford M, Widemann BT. An IDE for software development using Tabular expressions. In: Proc. of the 2007 Conf.of the Center for Advanced Studies on Collaborative Research. 2007. 248-251. [doi: 10.1145/1321211.1321238]
    [14] Janicki R. Towards a formal semantics of Parnas tables. In: Proc. of the 17th Int'l Conf. on Software Engineering. 1995. 231-240.[doi: 10.1145/225014.225036]
    [15] Janicki R, Khedri R. On a formal semantics of Tabular expressions. Science of Computer Programming, 2001,39(2-3):189-213.[doi: 10.1016/S0167-6423(00)00004-6]
    [16] Abraham RF. Evaluating Generalized Tabular Expressions. McMaster University Canada, 1997.
    [17] Kahl W. Compositional syntax and semantics of tables. Technical Report, SQRL 15, Software Quality Research Laboratory,McMaster University Canada, 2003.
    [18] Jin Y, Parnas DJ. Defining the meaning of Tabular mathematical expressions. Science of Computer Programming, 2010,75(11):980-1000. [doi: 10.1016/j.scico.2009.12.009]
    Cited by
    Comments
    Comments
    分享到微博
    Submit
Get Citation

张鹏,刘磊,刘华虓,金英. Tabular表达式的指称语义研究.软件学报,2014,25(6):1212-1224

Copy
Share
Article Metrics
  • Abstract:4040
  • PDF: 5523
  • HTML: 1628
  • Cited by: 0
History
  • Received:February 26,2013
  • Revised:August 21,2013
  • Online: February 07,2014
Links:Institute of Software, CASChina Computer FederationCASNSFC
You are the first2038001Visitors
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