Abstract
Tabular expressions, also called tables, are formal notations using tables to organize mathematical functions and relations. They have been widely used in documenting and analyzing software specification. Different tools are developed to support tabular expressions. To further enhance tables’ usage, a convention on storing and parsing tables is required. This paper presents a canonical interchange format for tabular expressions based on XML. This format captures four aspects of tables: the constituent, dynamic, representation and additional information. Our proposal builds on syntax definition of tables and is tailored to provide flexibility in manipulation of table content. It is suitable for existing and emerging kinds of tables. This study facilitates the interchange between different tools for tabular expressions, which would prevent developer’s repetitive work.
This work is supported by National Natural Science Foundation of China (NSFC) under grant 61572306.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Heninger, K.L., Kallander, J., Parnas, D.L., Shore, J.E.: Software requirements for the A-7E aircraft. NRL Memorandum Report 3876, United States Naval Research Laboratory, Washington, DC, November 1978
Parnas, D.L.: Tabular representation of relations. CRL Report 260, Telecomunications Research Institute of Ontario (TRIO), McMaster University, Hamilton (1992)
Janicki, R.: Towards a formal semantics of Parnas tables. In: Proceedings of the 17th International Conference on Software Engineering, pp. 231–240. ACM Press, April 1995
Abraham, R.F.: Evaluating generalized tabular expressions in software documentation. Master’s thesis, McMaster University, Hamilton (1997)
Kahl, W.: Compositional syntax and semantics of tables. SQRL Report 15, McMaster University, Hamilton (2003)
Jin, Y., Parnas, D.L.: Defining the meaning of tabular mathematical expressions. Sci. Comput. Program. 75(11), 980–1000 (2010)
Peters, D.K., Lawford, M., Widemann, B.T.: An IDE for software development using tabular expressions. In: Proceedings of the 2007 Conference of the Centre for Advanced Studies on Collaborative Research, Richmond Hill, IBM, pp. 248–251, October 2007
Kohlhase, M.: OMDoc - An Open Markup Format for Mathematical Documents. LNAI, vol. 4180. Springer, Heidelberg (2006)
Wu, R.: A tool for consistency verification and for integration of formal relational requirements scenarios. Master’s thesis, School of Graduate Studies, McMaster University, Hamilton, November 2001
Khedri, R., Wu, R., Sanga, B.: Scenator: a prototype tool for requirements inconsistency detection. In: Farn, W., Insup, L. (eds.) Proceedings of the 1st International Workshop on Automated Technology for Verification and Analysis, pp. 75–86. National Taiwan University, Taiwan, December 2003
von Mohrenschildt, M.: Communicating software specifications using XML: OpenSpec. CRL Report 373, Department of Computing and Software, McMaster University (1999)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Huang, M., Chen, Y., Khedri, R., Miao, H. (2016). The Interchange Format of Tabular Expressions Using XML. In: Liu, S., Duan, Z. (eds) Structured Object-Oriented Formal Language and Method. SOFL+MSVL 2015. Lecture Notes in Computer Science(), vol 9559. Springer, Cham. https://doi.org/10.1007/978-3-319-31220-0_3
Download citation
DOI: https://doi.org/10.1007/978-3-319-31220-0_3
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-31219-4
Online ISBN: 978-3-319-31220-0
eBook Packages: Computer ScienceComputer Science (R0)