Revisiting the Meaning of Requirements

Understanding the meaning of requirements can help elicit the real world requirements and refine their specifications. But what do the requirements of a desired software mean is not a well-explained question yet though there are many software development methods available. This paper suggests that the meaning of requirements could be depicted by the will-to-be environments of the desired software, and the optative interactions of the software with its environments as well as the causal relationships among these interactions. This paper also emphasizes the necessity of distinguishing the external manifestation from the internal structure of each system component during the process of requirements decomposition and refinement. Several decomposition strategies have been given to support the continuous decomposition. The external manifestation and the internal structure of the system component have been defined. The roles of the knowledge about the environments have been explicitly described. A simple but meaningful example embedded in the paper illustrates the main ideas as well as how to conduct the requirements decomposition and refinement by using these proposed strategies.

[1]  Michael A. Jackson,et al.  Problem Frames - Analysing and Structuring Software Development Problems , 2000 .

[2]  Stevan Harnad,et al.  Symbol grounding problem , 1990, Scholarpedia.

[3]  David Lorge Parnas,et al.  Functional Documents for Computer Systems , 1995, Sci. Comput. Program..

[4]  Pamela Zave,et al.  Deriving Specifications from Requirements: an Example , 1995, 1995 17th International Conference on Software Engineering.

[5]  Axel van Lamsweerde,et al.  Formal refinement patterns for goal-driven requirements elaboration , 1996, SIGSOFT '96.

[6]  Balakrishnan Chandrasekaran,et al.  The Ontology of Tasks and Methods , 1997 .

[7]  Nancy G. Leveson,et al.  Requirements Specification for Process-Control Systems , 1994, IEEE Trans. Software Eng..

[8]  John Mylopoulos,et al.  From object-oriented to goal-oriented requirements analysis , 1999, CACM.

[9]  Michael Jackson,et al.  Problem frame semantics for software development , 2005, Software & Systems Modeling.

[10]  Michael Jackson,et al.  A Reference Model for Requirements and Specifications , 2000, IEEE Softw..

[11]  Michael Jackson,et al.  The meaning of requirements , 1997, Ann. Softw. Eng..

[12]  Michael Jackson,et al.  Four dark corners of requirements engineering , 1997, TSEM.

[13]  Leszek A. Maciaszek Requirements analysis and system design: developing information systems with UML , 2001 .

[14]  Constance L. Heitmeyer,et al.  Automated consistency checking of requirements specifications , 1996, TSEM.