Tabular Expressions Operators

• Autorzy: Bourguiba I. , Moa B.
• Języki publikacji: EN

Abstrakty

EN

Tabular expressions are one of the most important table-based techniques used to formally specify software requirements. The power of tabular expressions stems from their visual structure, and concise representation of mathematical functions and relations. Towards using tabular expressions as a programming language, we propose a tabular expression language in which tabular expressions are first class citizens. The language is built upon atomic tabular expressions and operators. As such, tabular expressions are viewed as a stack of atomic expressions and operators that we apply on them. This view enhances building tools supporting the semantics of tabular expressions, and using them directly during the implementation. The tabular operators introduced are used to compose and decompose tabular expressions in a modular way, which improves their semantics.

Słowa kluczowe

EN

tabular expressions; Syntax for tabular expressions; semantics

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2012
• Tom: Vol. 119, nr 2
• Strony: 121--147
• Opis fizyczny: Bibliogr. 21 poz., tab.

Twórcy

autor

Bourguiba I.

autor

Moa B.

• McMaster University, Hamilton, Ontario, Canada,

Bibliografia

• [1] Bourguiba, I., Janicki, R.: Table-based specification techniques, International Conference on Computers & Industrial Engineering 2009 (CIE39), IEEE, Troyes, France, July 6-9, 2009.
• [2] Bourguiba, I., Janicki, R.: Tabular Expressions vs Software Cost Reduction, Proceedings of the 2009 International Conference on Software Engineering Research & Practice (SERP 2009) (H. Arabnia, H. Reza, Eds.), 2, 2009 CSREA Press, Las Vegas, USA, July 13-16, 2009.
• [3] Bourguiba, I., Moa, B.: The power of tabular expressions, Work in progress.
• [4] Desharnais, J., Khedri, R., Mili, A.: Interpretation of tabular expressions using arrays of relations., In E. Orlowska and A. Szalas editors. Relational Methods for Computer Science Applications, Vol. 65 of Studies in Fuzziness and Soft Computing, 2001. Springer-Physica Verlag., pages 3-14.
• [5] Desharnais, J., Khedri, R., Mili, A.: Representation, Validation and Integration of Scenarios Using Tabular Expressions, Formal Methods in System Design, 2005. To appear.
• [6] D.L. Parnas, G. A., Madey, J.: Assesment of Safety-Critical Software in Nuclear Power Plants, Nuclear Safety, 32(2), 1991, pages 19-198.
• [7] Henninger, K., Kallander, J., Parnas, D., Shore, J.: Software Requirements for the A-7E Aircraft. NRL Memorandum, Technical report, 3876. U.S. Naval Research Lab, 1978.
• [8] Hurlay, R. B.: Decision Tables in Software Engineering, Prentice Hall PTR, Van Nostrand, New York, 1983.
• [9] Janicki, R.: Towards a Formal Semantics of Parnas Tables, 17th International Conference on Software Engineering, April 23-30, 1995.
• [10] Janicki, R., Khedri, R.: On a Formal Semantics of Tabular Expressions, Science of Computer Programming, 39(2), March 2001, pages 189-213.
• [11] Janicki, R., Wassyng, A.: Tabular Expressions and Their Relational Semantics, Fundamenta Informaticae, 67(4), 2005, pages 343-370.
• [12] Janicki, R.,Wassyng, A.: On Tabular Expressions, D.A. Stewart, ed. Proceedings of CASCON 2003, Ontario, Canada, October 2003.
• [13] Kahl, W.: Compositional Syntax and Semantics of Tables, Technical report, Software Quality Research Laboratory Report no. 15. McMaster University, October 12, 2003.
• [14] Khedri, R., Bourguiba, I.: Requirements scenarios based system-testing, Proceedings of the Sixteenth International Conference on Software Engineering & Knowledge Engineering, Alberta, Canada, June 20-24, 2004.
• [15] Mohrenschildt, M.: Algebraic Composition of Function Tables, Formal Aspects of Computing, 12, 2000, pages 41-51.
• [16] O'regan, G.: Mathematical Approaches to Software Quality, Springer, 2006.
• [17] Parnas, D.: Tabular Representation of Relations, Technical Report CRL Report 260, Telecommunications Research Institute of Ontario (TRIO), McMaster University, Hamilton, Ontario, Canada, 1992.
• [18] Parnas, D., Madey, J.: Functional Documents for Computer Systems, Science of Computer Programming, 25(1), 1995, pages 41-61.
• [19] Sekerinski, E.: Exploring Tabular Verification and Refinement, Formal Aspects of Computing, 15(2-3), November 2003, pages 215-236, Springer-Verlag.
• [20] Wassyng, A., Janicki, R.: Tabular Expressions in Software Engineering, Proceedings of International Conference on Software and Systems Engineering and their Applications, 4, Paris, December 2003.
• [21] Wassyng, A., Lawford, M.: Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project, Proceedings FME 2003: Formal Methods, International Symposium of Formal Methods. Lecture Notes in Computer Science, 2805, September 8-14, 2003, pages 133-153.