Abstract
This paper examines ways in which the addition of data modeling features can enhance the capabilities of mathematical modeling languages. It demonstrates how such integration is achieved as an application of the embedded languages technique proposed by Bhargava and Kimbrough [4]. Decision-making, and decision support systems, require the representation and manipulation of both data and mathematical models. Several data modeling languages as well as several mathematical modeling languages exist, but they have different sets of these capabilities. We motivate with a detailed example the need for the integration of these capabilities. We describe the benefits that might result, and claim that this could lead to a significant improvement in the functionality of model management systems. Then we present our approach for the integration of these languages, and specify how the claimed benefits can be realized.
Similar content being viewed by others
References
S. Abiteboul and R. Hull, IFO: A formal semantic database model, ACM Trans. Database Syst. 12(1987).
A. Aho, J. Hopcroft and J. Ullman,The Design and Analysis of Computer Algorithms (Addison-Wesley, MA, 1974).
R. Andreu and A. Corominas, SUCCESS92: A DSS for scheduling the Olympic Games, Interfaces 19(1989)1–12.
H.K. Bhargava and S.O. Kimbrough, Model Management: An embedded languages approach, forthcoming in Dec. Support Syst. (1992).
H.K. Bhargava, S.O. Kimbrough and R. Krishnan, Unique names violations, a problem for model integration or you say tomato, I say tomahto, ORSA J. Comput. 3(1991)107–120.
H.K. Bhargava, A logic model for model management: An embedded languages approach, Ph.D. Thesis, University of Pennsylvania, Department of Decision Sciences(1990).
H.K. Bhargava and R. Krishnan, A formal approach for model formulation in a model management system,Proc. 23rd Annual Hawaii Int. Conf. on System Sciences, Vol. 3, ed. F. Nunamaker, Jr. (IEEE Computer Society Press, Los Alamitos, CA, 1990) pp. 453–462.
J. Bisschop and A. Meeraus, On the development of a general algebraic modeling system in a strategic planning environment, Math. Progr. Study 20(1982)1–29.
S. Chari and R. Krishnan, Towards a logical reconstruction of structured modeling, forthcoming in Dec. Support Syst. (1992).
J. Choobineh, SQLMP: A data sublanguage for representation and solution of linear mathematical models, ORSA J. Comput. 3(1991)358–375.
E.F. Codd, A relational model for large shared data banks, Comm. ACM 13(1970)377–387.
D.R. Dolk, A generalized model management system for mathematical programming, ACM Trans. Math. Software 12(1986)92–126.
R. Fourer, D. Gay and B.W. Kernighan, A mathematical programming language, Manag. Sci. 36(1990)519–554.
R. Fourer, Modeling languages versus matrix generators for linear programming, ACM Trans. Math. Software 9(1983)143–183.
A.M. Geoffrion, FW/SM: A prototype structured modeling environment, Working Paper No. 377, Western Management Science Institute, UCLA (1990).
A.M. Geoffrion, SML: A model definition language for structured modeling, forthcoming in Oper. Res.
A.M. Geoffrion, Indexing in modeling languages for mathematical programming, forthcoming in Manag. Sci.
A.M. Geoffrion, The formal aspects of structured modeling, Oper. Res. 37(1988)30–51.
A.M. Geoffrion, An introduction to structured modeling, Manag. Sci. 33(1987)547–588.
H.J. Greenberg, A functional description of analyze: A computer assisted analysis system for linear programming models, ACM Trans. Math. Software 9(1983).
R. Hull and R. King, Semantic data modeling: Survey, application and research issues, ACM Comput. Surveys 19(1987).
C.V. Jones, An introduction to graph based modeling systems, Part I: Overview, ORSA J. Comput. 2(1990)136–151.
R. Krishnan, Knowledge based aids for model construction, unpublished Ph.D. Thesis, University of Texas at Austin (1987).
R. Krishnan, A logic modeling language for model construction, Dec. Support Syst. 6(1990) 123–152.
R. Krishnan, P. Piela and A. Westerberg, Reusing mathematical models in ASCEND, forthcoming in:Recent Developments in Decision Support Systems, ed. A.B. Whinston, (Springer, New York, 1992).
P. Ma, F.H. Murphy and E.A. Stohr, Computer assisted formulation of linear programs,IMA J. Math. Manag. 1(1987).
J. Peckham and F. Maryanski, Semantic data models, ACM Comput. Surveys 20(1988).
P. Piela, ASCEND: An object-oriented computer environment for modeling and analysis, Ph.D. Dissertation, Carnegie Mellon University (1988).
S. Raghunathan, An artificial intelligence approach to the formulation and maintenance of models, unpublished Ph.D. Thesis, University of Pittsburgh, Pittsburgh, PA (1990).
S. Raghunathan, R. Krishnan and J. May, Computer-assisted model development: A belief maintenance approach, Working Paper, Decision Systems Research Institute, SUPA, Carnegie Mellon University, Pittsburgh, PA (1991).
R.H. Sprague and E.D. Carlson,Building Effective Decision Support Systems (Prentice Hall, 1982).
J.D. Ullman,Principles of Database and Knowledge-base Systems (Computer Science Press, Rockwell, MD, 1988).
Author information
Authors and Affiliations
Additional information
The author's work on this paper was performed in conjunction with research funded by the Naval Postgraduate School.
Rights and permissions
About this article
Cite this article
Bhargava, H.K., Krishnan, R. & Mukherjee, S. On the integration of data and mathematical modeling languages. Ann Oper Res 38, 69–95 (1992). https://doi.org/10.1007/BF02283651
Issue Date:
DOI: https://doi.org/10.1007/BF02283651