Pragmatic Tabular Specification Framework for Interactive Systems

The need for a multi-format specification method with unambiguous, easy-to-understand, and easy-to-validate notation is widely recognized. In practice, presenting specifications by diagrams or tables is considered a significant help. In this paper, we focus on the tabular specification method for the multi-functional systems. We introduce a pragmatic tabular specification framwork for interactive systems, i.e., formal specification method using tabular method on Focus framework. The proposed framework can not only supply a method to specify the multifunctional systems in an effective way, but can also analyze the properties of the specified system, and eliminate ambiguity in the initial requirement documents.

Read More