A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification

IEEE Transactions on Software Engineering

Volumn 20, Issue 10, 1994, Pages 760-773

  Nuseibeh, Bashar ^a   Kramer, Jeff ^a   Finkelstein, Anthony ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

method engineering; method integration; Multiple views; perspectives; requirements engineering; specification; viewpoints

Indexed keywords

COMPUTER SIMULATION; KNOWLEDGE BASED SYSTEMS; LARGE SCALE SYSTEMS; STANDARDS; USER INTERFACES;

COMPOSITE SYSTEMS; METHOD ENGINEERING; METHOD INTEGRATION; MULTIPLE VIEWS; REQUIREMENT ENGINEERING; REQUIREMENT SPECIFICATION; VIEWPOINTS;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0028518019     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.328995     Document Type: Article

References (63)

1. R. Ahmed, P. De Smedt, W. Du, W. Kent, M. Ketabchi, W. Litwin, A. Rafii, and M. Shan, “The Pegasus heterogeneous multidatabase system,” IEEE Comput., vol. 24, pp. 19-27, Dec. 1991.
2. M. Ainsworth, A. H. Cruickshank, L. G. Groves, and P. J. L. Wallis, “Viewpoint specification and Z,” Inform. Software Technol., vol. 36, pp. 43-51, Feb. 1994.
3. L. A. R. Ballesteros, “Using ViewPoints to support the FUSION object-oriented oriented method,” M.Sc. thesis, Dept. of Computing, Imperial College, London, England, UK, Sept. 1992.
4. R. Balzer, “Tolerating inconsistency,” Proc. 13th Int. Conf. Software Eng. (ICSE-13), 1991, pp. 158-165.
5. N. Barghouti, “Supporting cooperation in the MARVEL process-centered centered environment,” in Proc. ACM SIGSOFT Symp. Software Dev. Environments, reprinted in ACM Software Eng. Notes, vol. 17, pp. 21-31, Dec. 1992.
6. M. W. Bright, A. R. Hurson, and S. H. Pakzad, “A taxonomy and current issues in multidatabase systems,” IEEE Comput., vol. 25, pp. 50-60, Mar. 1992.
7. W. Butcher, “ICDC: An implementation of dialogue in Smalltalk-80,” M.Sc. thesis, Dept. of Computing, Imperial College, London, England, UK, Sept. 1988.
8. J. Castro and A. Finkelstein, “VSCS: An object oriented method for requirements elicitation and formalisation,” FOREST Project Rep. NFR/WP2.2/IC/R/002/A, Dept. of Computing, Imperial College, London, England, UK, Oct. 1991.
9. G. Clemm and L. Osterweil, “A mechanism for environment integration,” ACM Trans. Programming Languages Syst., vol. 12, pp. 1-25, Jan. 1990.
10. D. Coleman, P. Arnold, S. Bodoff, C. Dollin, H. Gilchrist, F. Hayes, and P. Jeremaes, Object-Oriented Development: The Fusion Method. Englewood Cliffs, NJ: Prentice-Hall, 1993.
11. R. Cunningham, A. Finkelstein, S. Goldsack, T. Maibaum, and C. Potts, “Formal requirements specification: The FOREST project,” in Proc. 3rd Int. Workshop on Software Specification and Design (IWSSD-3), 1985.
12. A. Dardenne, S. Fickas, and A. van Lamsweerde, “Goal-directed requirements acquisition,” Sci. Comput. Programming, vol. 20, pp. 3-50, 1993.
13. K. R. Dittrich, “The DAMOLKLES database system for design applications: Its past, its present, and its future,” in K. H. Bennett, Ed., Software Engineering Environments: Research and Practice. Chichester, UK: Ellis Horwood, 1989, pp. 151-171.
14. E. Doerry. S. Fickas, R. Helm, and M. Feather, “A model for composite system design,” Proc. 6th Int. Workshop on Software Specification and Design (IWSSD-6), 1991, pp. 216-219.
15. S. Easterbrook, “Domain modelling with hierarchies of alternative viewpoints,” Proc. Int. Symp. Requirements Eng. (RE ‘93), 1993, pp. 65-72.
16. S. Easterbrook, A. Finkelstein, J. Kramer, and B. Nuseibeh, “Coordinating distributed ViewPoints: The anatomy of a consistency check,” in Concurrent Engineering: Research and Applications. West Bloomfield, IL: CERA Inst., to appear.
17. S. M. Easterbrook, “Elicitation of requirements from multiple perspectives,” Ph.D. dissertation, Dept. of Computing, Imperial College, London, England, UK, June 1991
18. M. S. Feather, “Language support for the specification and development of composite systems,” ACM Trans. Programming Languages Syst., vol. 9, no. 2, pp. 198-234, Apr. 1987.
19. “Constructing specifications by combining parallel elaborations,” IEEE Trans. Software Eng., vol. 15, pp. 198-208, Feb. 1989.
20. A. Finkelstein and H. Fuks, “Multi-party specification,” Proc. 5th Int. Workshop on Software Specification and Design (1WSSD-5), 1989, pp. 185-195.
21. A. Finkelstein, D. Gabbay, A. Hunter, J. Kramer, and B. Nuseibeh, “Inconsistency handling in multiperspective specifications,” IEEE Trans. Software Eng., vol. 20, pp. 569-578, Aug. 1994.
22. A. Finkelstein, J. Kramer, and B. Nuseibeh, Eds., Software Process Modelling and Technology, Advanced Software Development Series. Somerset, England, UK: Research Studies Press (Wiley), 1994.
23. A. Finkelstein. J. Kramer, B. Nuseibeh, L. Finkelstein, and M. Goedicke, “Viewpoints: A framework for integrating multiple perspectives in system development,” Int. J. Software Eng. Knowl. Eng., vol. 2, pp. 31-58, Mar. 1992.
24. D. Gabbay and A. Hunter, “Making inconsistency respectable: A logical framework for inconsistency in reasoning, Part 1—A position paper,” Proc. Fundamentals of Art. Intell. Res. ‘91, 1991, pp. 19-32.
25. P. Graubmann, “Definition of SPEC nets,” REX Tech. Rep. REX-WP3-SIE-008-V1.0, Siemens AG, Germany, July 1990.
26. “The HyperView tool standard methods,” REX Tech. Rep. REX-WP3-SIE-021-V1.0, Siemens AG, Germany, Jan. 1992.
27. “The Petri net method ViewPoints in the HyperView tool,” REX Tech. Rep. REX-WP3-SIE-023-V1.0, Siemens AG, Germany, Jan. 1992.
28. C.A.R. Hoare, Communicating Sequential Processes. Englewood Cliffs, NJ: Prentice-Hall Int., 1985.
29. M. Jackson, “Some complexities in computer-based systems and their implications for system development,” Proc. Int. Conf. Comput. Syst. Software Eng. (CompEuro‘90), 1990, pp. 344-351.
30. M. Jarke, “Strategies for integrating CASE environments,” IEEE Software, vol. 35, pp. 54-61, Mar. 1992.
31. G. Kotonya and I. Sommerville, “Viewpoints for requirements definition,” J. Software Eng., vol. 7, pp. 375-387, Nov. 1992.
32. J. Kramer, “A configurable framework for method and tool integration,” Proc. European Symp. Software Dev. Environments and CASE Technol., 1991, pp. 233-257.
33. J. Kramer, J. Magee, and A. Finkelstein, “A constructive approach to the design of distributed systems,” Proc. 10th Int. Conf. Distrib. Computing Syst., 1990, pp. 580-587.
34. J. Kramer, J. Magee, K. Ng, and M. Sloman, “The system architect's assistant for design and construction of distributed systems,” Proc. 4th Workshop on Future Trends of Distrib. Computing Syst., 1993, pp. 284-290.
35. F. K. Lai, “CORE in The Viewer,” M.Sc. thesis, Dept. of Computing, Imperial College, London, England, UK, Sept. 1993.
36. J. C. S. P. Leite and P. A. Freeman, “Requirements validation through viewpoint resolution,” IEEE Trans. Software Eng., vol. 12, pp. 1253-1269, Dec. 1991.
37. U. Leonhardt, A. Finkelstein, J. Kramer, and B. Nuseibeh, “Decentralized process modeling in a multiperspective development environment,” Tech. Rep., Dept. of Computing, Imperial College, London, England, UK, Aug. 1994.
38. W. Litwin, L. Mark, and N. Roussopoulos, “Interoperability of multiple autonomous databases,” ACM Computing Surv., vol. 22, pp. 267-293, Sept. 1990.
39. S. Meyers, “Difficulties in integrating multiview development systems,” IEEE Software, vol. 8, pp. 49-57, Jan. 1991.
40. S. Meyers and S. P. Reiss, “A system for multiparadigm development of software systems,” Proc. 6th Int. Workshop Software Specification and Design (IWSSD-6), 1991, pp. 202-209.
41. P. Mi and W. Scacchi, “Process integration in CASE environments,” IEEE Software, vol. 35, pp. 45-53, Mar. 1992.
42. G. Mullery, “CORE: A method for controlled requirements expression,” Proc. 4th Int. Conf. Software Eng. (ICSE-4), 1979, pp. 126-135.
43. “Acquisition: Environment,” in M. Paul and H. Siegert, Eds., Distributed Systems: Methods and Tools for Specification. New York: Springer-Verlag, 1985.
44. C. Niskier, T. Maibaum, and D. Schwabe, “A pluralistic knowledge-based based approach to software specification,” Proc. 2nd European Software Eng. Conf. (ESEC ‘89), 1989, pp. 411-423 (also in Lecture Notes in Computer Science 387).
45. B. Nuseibeh and A. Finkelstein, “ViewPoints: A vehicle for method and tool integration,” Proc. 5th Int. Workshop on Comput.—Aided Software Eng. (CASE ‘92), 1992, pp. 50-60.
46. B. Nuseibeh, A. Finkelstein, and J. Kramer, “Fine-grain process modelling,” Proc. 7th Int. Workshop on Software Specification and Design (IWSSD-7), 1993, pp. 42-46.
47. B. Nuseibeh, A. Finkelstein, and J. Kramer, “Method engineering for multiperspective software development,” in Information and Software Technology. Stoneham, MA: Butterworth Heinemann (to appear).
48. L. Osterweil, “Software processes are software too,” Proc. 9th Int. Conf. Software Eng. (ICSE-9), 1987, pp. 2-13.
49. W. Robinson, “Integrating multiple specifications using domain goals,” Proc. 5th Int. Workshop on Software Specification and Design (IWSSD-5),1989, pp. 219-226.
50. D. T. Ross, “Structured snalysis (SA): A language for communicating ideas,” IEEE Trans. Software Eng., vol. 3, no. 1, pp. 16-34, Jan. 1977.
51. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen, Object-Oriented Modelling and Design. Engelwood Cliffs, NJ: Prentice-Hall, 1991.
52. M. Satyanarayanan, “An agenda for research in large-scale distributed data repositories,” Proc. Int. Workshop Operating Syst. 90's and Beyond, 1991, pp. 2-12 (also in Lecture Notes in Computer Science 563).
53. T. Shepard, S. Sibbald, and C. Wortley, “A visual software process language,” Commun. ACM, vol. 35, pp. 37-44, Apr. 1992.
54. J. Souquières and N. Lévy, “Description of specification developments,” Proc. Int. Symp. Requirements Eng. (RE ‘93), 1993, pp. 216-223.
55. J. M. Spivey, The Z Notation: A Reference Manual. London, UK: Prentice-Hall Int., 1989.
56. M. Stanley, “Typing in an object management system (OMS),“ Proc. Int. Workshop on Environments, Sept. 1989, pp. 235-250 (also in Lecture Notes in Computer Science 467).
57. T. Thanitsukkam. “The constructive viewer,” M.Sc. thesis, Dept. of Computing, Imperial College, London, England, UK, Sept. 1993.
58. Y. Wand and R. Weber, “An ontological model of an information system,” IEEE Trans. Software Eng., vol. 16, pp. 1282-1292, Nov. 1990.
59. A. I. Wasserman, “Tool integration in software engineering environments,” in Proc. Int. Workshop on Environments, Sept. 1989, pp. 137-149 (also in Lecture Notes in Computer Science 467).
60. D. S. Wile, “Local formalisms: Widening the spectrum of wide-spectrum languages,” in L. G. L. T. Meertens, Ed., Program Specification and Transformation, Proc. IFIP TC2/WG2.1 Working Conf. Program Specification and Transformation. Amsterdam, Netherlands: Elsevier, 1986, pp. 459-482.
61. “Integrating syntaxes and their associated semantics,” Tech. Rep. RR-92-297, USC/Inform. Sci. Inst., Univ. of Southern California, Marina del Rey, CA, USA, 1992.
62. P. Zave, “A compositional approach to multiparadigm programming,” IEEE Software, vol. 5, pp. 15-25, Sept. 1989.
63. P. Zave and M. Jackson, “Conjunction as composition,” ACM Trans. Software Eng. Methodology, vol. 2, pp. 379-411, Oct. 1993.