PowerPoint Add-in Tool Support for Informal and Semi-Formal Specification Animation

Informal and semi-formal specifications are commonly adopted for requirements engineering (RE), especially for customer-oriented system development projects, but their validity with respect to the user's requirements is usually difficult to perform. The common reason for the difficulty is that the specifications are often misinterpreted by the stakeholders due to the ambiguity of the natural language or graphical notation used in writing the specifications. This paper describes a tool to assist the animation of informal and semi-formal specifications intuitively and comprehensively for their validation. The underlying animation principle is called SOFL Requirements Specification Animation Framework (SOFL-RSAF). The framework integrates specification animation into the SOFL method for constructing specifications and is supported by a prototype add-in tool.

[1]  Linda A. Macaulay.  Requirements capture as a cooperative activity , 1993, [1993] Proceedings of the IEEE International Symposium on Requirements Engineering.

[2]  Peter Gorm Larsen,et al.  A Lightweight Approach to Formal Methods , 1998, FM-Trends.

[3]  N. Amare,et al.  Using visual rhetoric to avoid PowerPoint pitfalls , 2005, IPCC 2005. Proceedings. International Professional Communication Conference, 2005..

[4]  Christopher D. Hundhausen,et al.  The design and experimental evaluation of a tool to support the construction and wizard-of-oz testing of low fidelity prototypes , 2008, 2008 IEEE Symposium on Visual Languages and Human-Centric Computing.

[5]  Manfred Tscheligi,et al.  Paper prototyping - what is it good for?: a comparison of paper- and computer-based low-fidelity prototyping , 2003, CHI Extended Abstracts.

[6]  Marc Rettig,et al.  Prototyping for tiny fingers , 1994, CACM.

[7]  Nancy G. Leveson.  Completeness in formal specification language design for process-control systems , 2000, FMSP '00.

[8]  Vangalur S. Alagar,et al.  Transformation of a semi-formal specification to VDM , 1992, Proceedings of the Seventh Knowledge-Based Software Engineering Conference.

[9]  Andrew Gemino,et al.  Empirical comparisons of animation and narration in requirements validation , 2004, Requirements Engineering.

[10]  Barry W. Boehm,et al.  Software Engineering Economics , 1993, IEEE Transactions on Software Engineering.

[11]  Vangalur S. Alagar,et al.  (In)completeness in specifications , 1994, Inf. Softw. Technol..

[12]  Marjo Kauppinen,et al.  The role of user involvement in requirements quality and project success , 2005, 13th IEEE International Conference on Requirements Engineering (RE'05).

[13]  Shaoying Liu,et al.  An Approach to Low-fidelity Prototyping Based on SOFL Informal Specification , 2012, 2012 19th Asia-Pacific Software Engineering Conference.

[14]  Yan Liu,et al.  Adding Autonomic Capabilities to Network Fault Management System , 2007 .

[15]  Demetrios Karis,et al.  Usability problem identification using both low- and high-fidelity prototypes , 1996, CHI.

[16]  Shaoying Liu,et al.  Integrating Prototyping into the SOFL Three-Step Modeling Approach , 2011, ICFEM.

[17]  Mark W. Newman,et al.  DENIM: finding a tighter fit between tools and practice for Web site design , 2000, CHI.

[18]  Shaoying Liu.  Formal Engineering for Industrial Software Development: Using the SOFL Method , 2004 .

[19]  Erik Stolterman,et al.  The anatomy of prototypes: Prototypes as filters, prototypes as manifestations of design ideas , 2008, TCHI.

[20]  Shaoying Liu.  Utilizing Test Case Generation to Inspect Formal Specifications for Completeness and Feasibility , 2007, 10th IEEE High Assurance Systems Engineering Symposium (HASE'07).

[21]  A. Jefferson Offutt,et al.  SOFL: A Formal Engineering Methodology for Industrial Applications , 1998, IEEE Trans. Software Eng..