This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Requirements Validation Through Viewpoint Resolution
December 1991 (vol. 17 no. 12)
pp. 1253-1269

A specific technique-viewpoint resolution-is proposed as a means of providing early validation of the requirements for a complex system, and some initial empirical evidence of the effectiveness of a semi-automated implementation of the technique is provided. The technique is based on the fact that software requirements can and should be elicited from different viewpoints, and that examination of the differences resulting from them can be used as a way of assisting in the early validation of requirements. A language for expressing views from different viewpoints and a set of analogy heuristics for performing a syntactically oriented analysis of views are proposed. This analysis of views is capable of differentiating between missing information and conflicting information, thus providing support for viewpoint resolution.

[1] B. W. Boehm, "A spiral model of software development,"IEEE Computer, pp. 61-72, May 1988.
[2] M. Burstin, "Requirements analysis of large software systems," Ph.D. diss., Tel-Aviv Univ., Israel, 1984.
[3] M. S. Feather, "Detecting interference when merging specifications," inProc. 5th Int. Workshop on Software Specification and Design, Apr. 1989, pp. 169-176.
[4] A. Finkelstein and H. Fuchs, "Multiparty specification," in5th Int. Workshop on Software Specification and Design(Pittsburgh, PA), Los Alamitos, CA: IEEE Computer Soc. Press, 1989, pp. 185-195.
[5] A. Finkelstein and R. Waters, "Summary of the requirements elicitation, analysis and formalization track,"ACM SIGSOFT, vol. 14, no. 5, p. 40, July 1989.
[6] S. Fickas, "Automating the analysis process: an example," in4th Int. Workshop on Software Specification and Design(Monterey, CA), Los Alamitos, CA: IEEE Computer Soc. Press, 1987, pp. 58-67.
[7] P. Freeman,Software Perspectives: The System is the Message. Reading, MA: Addison Wesley, 1987.
[8] P. Freeman and J. C. S. P. Leite, "Requirements techniques and languages: a survey," Dept. Computer Sci., Univ. California, Irvine, 1988.
[9] C. Gane and T. Sarson,Structured Systems Analysis: Tools and Techniques. Englewood Cliffs, NJ: Prentice-Hall, 1979.
[10] S. Greenspan, "Requirements modeling: a knowledge representation approach to software requirements definition Ph.D. thesis," Computer Res. Group, Univ. Toronto, Mar. 1984.
[11] R. Hall, "Computational approaches to analogical reasoning: a comparative analysis,"Artificial Intell., vol. 21, no. 1, pp. 241-250, Jan. 1988.
[12] E. Horowitz, A. Kemper, and B. A. Narasimhan, "Survey of application generators,"IEEE Computer, vol. 18, no. 1, pp. 40-54, Jan. 1985.
[13] C.B. Jones,Systematic Software Development Using VDM, Prentice Hall Int'l, 1986.
[14] R. Kowalski, "Software engineering and artificial intelligence in new generation computing," presented at an Award Lecture in London, May 15, 1984.
[15] S. Ohlsson and P. Langley, "PRISM: tutorial and manual," Dept. Computer Sci., Univ. California, Irvine, Tech. Rep. 86-02, Feb. 1986.
[16] S. Lee and S. Sluizer, "SXL: an executable language," inProc. 4th Int. Workshop on Software Specification and Design(Monterey, CA). Los Alamitos, CA: IEEE Computer Soc. Press, 1987, pp. 231-235.
[17] J. C. Leite, "Viewpoint analysis: A case study," inProc. 5th Int. Workshop Software Specification and Design. Washington, DC: IEEE Computer Society Press, May 1989, pp. 111-119.
[18] J. Leite, "Viewpoint resolution in requirements elicitation," Ph.D. thesis, Dept. Computer Sci., Univ. California, Irvine, 1988.
[19] G. Mullery, "CORE--a method for controlled requirement specification," inProc. 4th Int. Conf. on Software Eng.Los Alamitos, CA: IEEE Computer Soc. Press, 1979, pp. 126-135.
[20] C. Niskier, T. Maibaum, and D. A. Schwabe, "Look through PRISMA: toward pluralistic knowledge-based environments," inProc. 5th Int. Workshop on Software Specification and Design(Pittsburgh, PA). Los Alamitos, CA: IEEE Computer Soc. Press, 1989, pp. 128-136.
[21] M. Ould and C. Vuwin,Testinn in Software Development. Cambridge, UK: British Computer Soc. and Cambridge Univ. Press, 1986; see also, "Requirement specification," inProc. 4th Int. Conf. on Software Eng. Los Alamitos, CA: IEEE Computer Soc. Press, 1979, pp. 126-135.
[22] E. Rich,Artificial Intelligence. New York: McGraw-Hill, 1983.
[23] C. Rich, R. Waters, and H. Reubenstein, "Towards a requirements apprentice," inProc. 4th Int. Workshop on Software Specification and Design(Monterey, CA). Los Alamitos, CA: IEEE Computer Soc. Press, 1987, 79-86.
[24] W. Robinson, "Integrating multiple specifications using domain goals," inProc. 5th Int. Workshop Software Specification and Design. Washington, DC: IEEE Computer Society Press, May 1989, pp. 219-226.
[25] D. Ross, "Structured Analysis (SA): a language for communicating ideas," inTutorial on Design Techniques, P. Freeman and M. Wasserman, Eds. Long Beach, CA: IEEE Computer Soc. Press, 1980, pp. 107-125.
[26] "Special issue on rapid prototyping,"SIGSOFT, Dec. 1982.
[27] G. Steele and G. Sussman, "The revised report on Scheme, a Dialect of LISP," MIT, Cambridge, Tech. Rep. AI Memo. No. 452, Jan. 1978.
[28] J. Wing, "A Larch specification of the library problem," inProc. 4th Int. Workshop on Software Specification and Design(Monterey, CA). Los Alamitos, CA: IEEE Computer Soc. Press, 1987, pp. 34-41.
[29] J. Wing, "A study of 12 specifications of the library problem,"IEEE Software, vol. 5, pp. 66-76, July 1988.
[30] K. Yue, "What does it mean to say that a specification is complete?," inProc. 4th Int. Workshop on Software Specification and Design(Monterey, CA). Los Alamitos, CA: IEEE Computer Soc. Press, 1987, pp. 42-49.

Index Terms:
viewpoint resolution; software requirements; analogy heuristics; syntactically oriented analysis of views; software engineering; systems analysis
Citation:
J.C.S.P. Leite, P.A. Freeman, "Requirements Validation Through Viewpoint Resolution," IEEE Transactions on Software Engineering, vol. 17, no. 12, pp. 1253-1269, Dec. 1991, doi:10.1109/32.106986
Usage of this product signifies your acceptance of the Terms of Use.