An Object-Oriented Executable Requirements Specification Language

  • Oscar Barros
  • Germán Pavez


An end user-, object-oriented requirements specification language, suitable for transaction-processing data base applications, is presented. Such language is formal and hence computer processable, allowing for specification execution and simulation, thus facilitating a prototype development approach.


Computer Support Transaction Processing Type Constructor Specification Execution Problem Entity 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Alford, M. “SREM at the Age Eight; The Distributed Computing Design System.” IEEE Computer, vol.18, p.36, aprii 1985.CrossRefGoogle Scholar
  2. [2]
    Bailin, S.D. “An Object-Oriented Requirements Specification Method.” Comm ACM, vol. 32, p. 608, 1989.CrossRefGoogle Scholar
  3. [3]
    Booch, G. “Object-Oriented Development.” IEEE Trans. Software Eng., vol. SE 12,p. 211, 1986.CrossRefGoogle Scholar
  4. [4]
    Borgida, A. “Features of Languages for the Development of Information Systems at the Conceptual Level.” IEEE Software, p. 63, july 1985.Google Scholar
  5. [5]
    Chikofsky, E.J. and B.L.Rubenstein “CASE: Reliability Engineering for Information Systems.”IEEE Software, p.11, march 1988.Google Scholar
  6. [6]
    Davis, A.M. “A Comparison of Techniques for the Speci- fication of External System Behavior.” Comm ACM, vol. 31, p. 1098, 1988.CrossRefGoogle Scholar
  7. [7]
    Kim, W. and F.H.Lochovsky (eds.) “Object-Oriented Concepts, Databases, and Applications.” ACM Press Frontier Series, Addison-Wesley, Reading, Mass, 1989.Google Scholar
  8. [8]
    Mylopoulos, J. Ph.A.Bernstein and H.K.Wong “A Language Facility for Designing Database Intensive Applications.” ACM Trans. Database Syst., vol. 5, p. 1985, 1980.CrossRefGoogle Scholar
  9. [9]
    Ullman, J.D. “Principles of Database and Knowledge-Base Systems, Volumel.”Computer Science Press, Rockville, Maryland, 1988.Google Scholar
  10. [10]
    Webster, D.E. “Mapping the Design Information Representation Terrain.” Computer, p. 8, december 1988.Google Scholar
  11. [11]
    Wirfs-Brock, J. and R.E. Johnson “Surveying Current Research in ”Object-Oriented Design.“ Comm. ACM, vol. 33, p. 105, 1990.CrossRefGoogle Scholar
  12. [12]
    Yadav, S.B., R.R. Brovoco, A.T.Chatfield andT.M.Rajkumar “Comparison of Techniques for Information Requirement Determination.” Comm. ACM, Vol. 31, p. 1090, 1988.CrossRefGoogle Scholar
  13. [13]
    Zave, P. “An Operational Approach to Requirements Specification for Embedded Systems.” IEEE Trans. Software Eng., vol. SE-8, p. 250. 1982.Google Scholar

Copyright information

© Springer-Verlag Wien 1991

Authors and Affiliations

  • Oscar Barros
    • 1
  • Germán Pavez
    • 1
  1. 1.Industrial Engineering DepartmentUniversity of ChileSantiagoChile

Personalised recommendations