The design and implementation of a prototype structured modeling environment (original) (raw)

References

  1. A.V. Aho, R. Sethi and J. Ullman,Compilers: Principles, Techniques, and Tools (Addison-Wesley, Reading, MA, 1986).
    Google Scholar
  2. Arity Prolog Version 5.0, Arity Corporation, 30 Domino Drive, Concord, MA 01742 (1987).
  3. Framework IV, Ashton-Tate, 20101 Hamilton Ave., Torrance, CA 90502 (1991).
  4. A. Brooke, D. Kendrick and A. Meeraus,GAMS:A User's Guide (Scientific Press, Redwood City, CA, 1988).
    Google Scholar
  5. G.G. Brown and R.D. McBride, Solving generalized networks, Manag. Sci. 30(1984)1497–1523.
    Google Scholar
  6. D.R. Dolk, Model management and structured modeling: The role of an information resource dictionary system, Comm. ACM 31(1988)704–718.
    Google Scholar
  7. A.S. Drud, Interfaces between modeling systems and solution algorithms, in:Mathematical Models for Decision Support, ed. G. Mitra (Springer, Berlin, 1988).
    Google Scholar
  8. S.I. Feldman, Make: A program for maintaining computer programs, Software: Practice and Experience 9(1979)255–265.
    Google Scholar
  9. R. Fourer, D.M. Gay and B.W. Kernighan, AMPL: A mathematical programming language, Manag. Sci. 36(1990)519–554.
    Google Scholar
  10. A.M. Geoffrion, An introduction to structured modeling, Manag. Sci. 33(1987)547–588.
    Google Scholar
  11. A.M. Geoffrion, SML: A model definition language for structured modeling, Working Paper 360, Western Management Science Institute, UCLA (May, 1988), Revised 11/89, 8/90.
  12. A.M. Geoffrion, The formal aspects of structured modeling, Oper. Res. 37(1989)30–51.
    Google Scholar
  13. A.M. Geoffrion, Computer-based modeling environments, Eur. J. Oper. Res. 41(1989)33–43.
    Google Scholar
  14. A.M. Geoffrion, The SML language for structured modeling, Working Paper 378, Western Management Science Institute, UCLA (August, 1990). Two-paper extract appeared in Oper. Res. 40(1992)38–75.
  15. A.M. Geoffrion, FW/SM: A prototype structured modeling environment, Manag. Sci. 37(1991)1513–1538.
    Google Scholar
  16. A.M. Geoffrion, S. Maturana, L. Neustadter, Y. Tsai and F. Vicuña, Technical documentation for FW/SM, Anderson Graduate School of Management, UCLA (April, 1990).
  17. A.M. Geoffrion, S. Maturana, L. Neustadter, Y. Tsai and F. Vicuña, User documentation for FW/SM release X92-04, Anderson Graduate School of Management, UCLA (April, 1992).
  18. S.C. Johnson, YACC: Yet another compiler-compiler, UNIX prog. Manual Vol. 2B, Bell Laboratories, Murray Hill, NJ (July, 1978).
    Google Scholar
  19. M.L. Lenard, Representing models as data, J. Manag. Inf. Syst. 2(1986)34–48.
    Google Scholar
  20. M.E. Lesk, Lex: A lexical analyzer, Technical Report 39, AT&T Bell Laboratories, Murray Hill, NJ (1975).
    Google Scholar
  21. S.V. Maturana, A translator writing system for algebraic languages, Ph.D. Dissertation, Anderson Graduate School of Management, UCLA (1990).
  22. QuickC Compiler Version 2.0, Microsoft Corporation, 16011 NE 36th Way, Box 97017, Redmond, WA 98073-9717 (1989).
  23. Xtrieve: Interactive Query Manual, Novell Development Products Division, 6034 W. Courtyard, Suite 220, Austin, TX (1988).
  24. db_FILE: File Manager C-Language User's Guide, RAIMA Corporation, 3245 146th Place SE, Bellevue, WA 98007 (1988).
  25. T.W. Reps and T. Teitelbaum,The Synthesizer Generator (Springer, New York, 1989).
    Google Scholar
  26. L. Schrage,User's Manual for Linear, Integer, and Quadratic Programming with LINDO (Scientific Press, Redwood City, CA, 1987).
    Google Scholar
  27. R.N. Taylor, R.W. Selby, M. Young, F.C. Belz, L.A. Clarke, J.C. Wileden, L. Osterweil and A.L. Wolf, Foundations for the Arcadia environment architecture, SIGPLAN Notices 24(1989)1–13.
    Google Scholar
  28. Y. Tsai, Structured modeling query language, Ph.D. Dissertation, Anderson Graduate School of Management, UCLA (1990).
  29. L. Tung, Relational representations of structured modeling, Dept. of Decision and Information Systems, Arizona State University (February, 1990).
  30. F. Vicuña, Semantic formalization in mathematical modeling languages, Ph.D. Dissertation, Computer Science Department, UCLA (June 1990).
  31. F. Vicuña, T. Aiken and A.M. Geoffrion, Technical documentation for SMLCheck, Anderson Graduate School of Management, UCLA (November, 1990).
    Google Scholar

Download references