Skip to main content
Springer Nature Link
Log in

Revisiting the Meaning of Requirements

  • Published:
Journal of Computer Science and Technology Aims and scope Submit manuscript

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
€32.70 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price includes VAT (France)

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Explore related subjects

Discover the latest articles, news and stories from top researchers in related subjects.

References

  1. Jackson M. The meaning of requirements. Annals of Software Engineering, 1997, 3: 5–21.

    Article  Google Scholar 

  2. Zave P, Jackson M. Four dark corners of requirements engineering. ACM Trans. Software Engineering and Methodology, January 1997, 6(1): 1–30.

    Google Scholar 

  3. Harnad S. The symbol grounding problem. Physica D, 1990, 42: 335–346.

    Article  Google Scholar 

  4. Xu G, Gu J, Che H (eds.). Systems Science. Shanghai Scientific and Technological Education Publishing House, 2000.

  5. Leszek A Maciaszek. Requirements Analysis and System Design: Developing Information Systems with UML. Pearson Education Limited, 2001.

  6. Jackson M. Problem Frames: Analyzing and Structuring Software Development Problems. Addison-Welsley, 2001.

  7. Buschmann F, Meunier R, Rohnert H, Sommerlad P, Stahl M (eds.). Pattern-Oriented Software Architecture: A System of Patterns. John Wiley, 1996.

  8. Jackson M, Zave P. Deriving specifications from requirements: An example. In Proc. the 17th Int. Conf. Software Engineering, ACM and IEEE Computer Society Press, Los Alamiton, CA, 1995, pp.15–24.

  9. Chandrasekaran B, Josephson J R, Benjamins V R. Ontology of tasks and methods. In Proc. the Workshop on Knowledge Acquisition, Modeling and Management (KAW'98), Banff, Canada, 1998, pp.1–13.

  10. Leveson N G, Heimdahl M P E, Hildreth H, Reese J D. Requirements specification for process-control systems. IEEE Trans. Software Engineering, 1994, 20(9): 684–707.

    Google Scholar 

  11. Axel van Lamsweerde. Formal refinement patterns for goal-driven requirements elaboration. In Proc. the 4th ACM Symposium on the Foundations of Software Engineering (FSE4), San Francisco, USA, 1996, pp.179–190.

  12. Mylopoulos J, Chung L, Yu E. From object-oriented to goal-oriented requirements analysis. Communication of ACM, 1999, 42(1): 31–37.

    Google Scholar 

  13. Letier E, Axel van Lamsweerde. Deriving operational software specification from system goals. In Proc. 10th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Charleston, South Carolina, USA, 2002, pp.119–128.

  14. Parnas D L, Madey J. Functional documentation for computer systems. Science of Computer Programming, 1995, 25(1): 41–61.

    Article  Google Scholar 

  15. Heitmeyer C L, Jeffords R D, Labaw B G. Automated consistency checking of requirements specification. ACM Trans. Software Engineering and Methodology, July 1996, 5(3): 231–261.

    Google Scholar 

  16. Gunter C A, Gunter E L, Jackson M, Zave P. A reference model for requirements and specification. IEEE Software, May/June 2000, 17(3): 37–43.

    Google Scholar 

  17. Jon G Hall, Lucia Rapanotti, Michael Jackson. Problem frames semantics for software development. Journal of Software and System Modeling, 2005, 40(2): 189–198.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Academy of Mathematics and System Science, Chinese Academy of Sciences, Beijing, 100080, P.R. China

    Zhi Jin

  2. Institute of Computing Technology, Chinese Academy of Sciences, Beijing, 100080, P.R. China

    Zhi Jin

Authors
  1. Zhi Jin
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Zhi Jin.

Additional information

Supported by the National Natural Science Foundation of China (Grant Nos. 60233010 and 60496324), the National Basic Research 973 Program of China (Grant No. 2002CB312004), the Knowledge Innovation Program of the Chinese Academy of Sciences, MADIS of the Chinese Academy of Sciences.

Zhi Jin received the B.S. degree in computer science from Zhejiang University in 1984, and studied for her M.S. degree in computer science (expert system) and her Ph.D. degree in computer science (artificial intelligence) at National Defence University of Technology. She received the Ph.D. degree in 1992. She is a senior member of China Computer Federation. Her research interests include knowledge-based systems, artificial intelligence, requirements engineering, ontology engineering, etc. Her current research focuses on ontology-based requirements elicitation and analysis. She has published about 60 publications, including one co-authoring book.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Jin, Z. Revisiting the Meaning of Requirements. J Comput Sci Technol 21, 32–40 (2006). https://doi.org/10.1007/s11390-006-0032-x

Download citation

  • Received:

  • Accepted:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11390-006-0032-x

Keywords

Search

Navigation