A generalized model management system for mathematical programming
ACM Transactions on Mathematical SoftwarePublished 1 June 1986Open access
Daniel R. Dolk
Citations65
SJR quartileQ1
SJR score1.23
SNIP2.12
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
The database structures required to implement a knowledge-based MMS are discussed and a prototype system for mathematical programming, the Generalized eXperimental Math Programming system (GXMP), is described, including an algebraic language developed for use in GXMP.
Abstract
This paper examines mathematical programming software in the context of model management and decision support. The concept of a model management system (MMS) is introduced and compared to traditional modeling systems. An MMS is seen as a much more generalized software system that requires the confluence of existing operations research, database management, and artificial intelligence techniques. By incorporating powerful, abstraction-based representation structures, an MMS can support multiple levels of model abstraction, only one of which corresponds to traditional, solution-oriented modeling software. The database structures required to implement a knowledge-based MMS are discussed and a prototype system for mathematical programming, the Generalized eXperimental Math Programming system (GXMP), is described. An algebraic language developed for use in GXMP is described in detail.
Keywords
Computer Science
Communications of the ACMA relational model of data for large shared data banks
5,238 Citations1970E. F. Codd
A model based on n-ary relations, a normal form for data base relations, and the concept of a universal data sublanguage are introduced and certain operations on relations are discussed and applied to the problems of redundancy and consistency in the user's model.
Communications of the ACMA relational model of data for large shared data banks
4,834 Citations1983E. F. Codd
Communications of the ACMOn the criteria to be used in decomposing systems into modules
4,674 Citations1972David Lorge Parnas
Journal of the ACMA Machine-Oriented Logic Based on the Resolution Principle
3,885 Citations1965John A. Robinson
The paper concludes with a discussion of several principles which are applicable to the design of efficient proof-procedures employing resolution as the basle logical process.
Artificial IntelligencePlanning in a hierarchy of abstraction spaces
1,163 Citations1974Earl D. Sacerdoti
Examples of the ABSTRIPS system's performance are presented that demonstrate the significant increases in problem-solving power that this approach provides, and some further implications of the hierarchical planning approach are explored.
Communications of the ACMAbstraction mechanisms in CLU
772 Citations1977Barbara Liskov, Alan Snyder +2 more
This paper provides an introduction to the abstraction mechanisms in CLU by means of programming examples, and it is shown how CLU programs may be written to use and implement abstractions.
Communications of the ACMA technique for software module specification with examples
737 Citations1972David Lorge Parnas
This paper presents an approach to writing specifications for parts of software systems sufficiently precise and complete that other pieces of software can be written to interact with the piece specified without additional information.
Journal of the Operational Research SocietyFoundations of Decision Support Systems
640 Citations1982Howard H. Carter, ROBERT H. BONCZEK +2 more
The manuscript also examines operationalizing modeling knowledge in terms of predicate calculus; combining the data base and formal logic approaches; and the language and knowledge systems of a DSS based on formal logic.
ACM Transactions on Mathematical SoftwareThe Design of the XMP Linear Programming Library
246 Citations1981Roy E. Marsten
XMP is a hierarchically structured library of FORTRAN subroutines for linear programming that helps facilitate algorithmic research and model development in operations research and related disciplines.
IEEE Transactions on Software EngineeringKnowledge Representation for Model Management Systems
223 Citations1984Daniel R. Dolk, Benn R. Konsynski
The model abstraction structure is introduced as a vehicle for model representation which supports both heuristic and deterministic inferencing as well as the conceptual/external schema notion familiar to database management.
AI MagazineR1 Revisited: Four Years in the Trenches
185 Citations1984Judith Bachant, John McDermott
R1's knowledge has increased substantially and its usefulness to Digital continues to grow and this article describes what is involved in extending R1's performance during the four year period.
ACM Transactions on Mathematical SoftwareModeling languages versus matrix generators for linear programming
174 Citations1983Robert Fourer
It is argued that modehng languages should lead to more reliable application of linear programming at lower overall cost.
AIS Electronic Library (AISeL) (Association for Information Systems)MODEL MANAGEMENT SYSTEMS: AN APPROACH TO DECISION SUPPORT IN COMPLEX ORGANIZATIONS
117 Citations1980Joyce J. Elam, John C. Henderson +1 more
A system designed to extend the traditional DSS concept in order to support the model management requirements of complex organizations and provide a mechanism to represent and to diffuse the organizational knowledge about models so that the user community can utilize this knowledge to adapt or build decision aids.
Operations ResearchA Generalized Decision Support System Using Predicate Calculus and Network Data Base Management
115 Citations1981ROBERT H. BONCZEK, Clyde W. Holsapple +1 more
This paper shows how first-order predicate calculus can be used as a language for formally stating modeling knowledge and how knowledge stated in this manner can be subjected to the resolution principle.
ACM Transactions on Mathematical SoftwareA Functional Description of ANALYZE: A Computer-Assisted Analysis System for Linear Programming Models
102 Citations1983Harvey J. Greenberg
The functions of a system, called ANALYZE, designed to assist analysts with their use of a linear programming model, supplements a mathematical programming system to fullfdl some of the functions of Computer-Assisted Analysis (CAA): documentation/verification, debugging, interpreting results, simplification, and sensitivity analysis.
Information & ManagementModel management in organizations
45 Citations1985Daniel R. Dolk, Benn R. Konsynski
Nolan's stage model of organizational data processing activity is used as a basis for discussing the nature of change in organizations as local computing capability proliferates and the role of model administration within organizations is discussed.
The International Institute for Applied Systems Analysis
30 Citations2004Régis Ferrière, Ulf Dieckmann +1 more
ACM Transactions on Mathematical SoftwarePERUSE: An Interactive System for Mathematical Programs
24 Citations1980William G. Kurator, Richard P. O’Neill
The design, implementation, testing, and use of PERUSE, an interactive software system for obtaining information from mathematmal programs, are described and future enhancements are discussed.
IBM Systems JournalA system for constructing linear programming models
21 Citations1980Shmuel Katz, Lawrence J. Risman +1 more
An experimental interactive system called LPMODEL simplifies the development of linear programming models and provides a nonprocedural language for constructing a model in terminology that is natural to the problem, using ordinary algebraic expressions.
ComputerEditor-in-Chief's Introduction: The State of Computing: Environment Systems Applications
5 Citations1984Yau Yau