Model integration and a theory of models

Model integration extends the scope of model management to include the dimension of manipulation as well. This invariably leads to comparisons with database theory. Model integration is viewed from four perspectives: Organizational, definitional, procedural, and implementational. Strategic modeling is discussed as the organizational motivation for model integration. Schema and process integration are examined as the logical and manipulation counterparts of model integration corresponding to data definition and manipulation, respectively. A model manipulation language based on structured modeling and communicating structured models is suggested which incorporates schema and process integration. The use of object-oriented concepts for designing and implementing integrated modeling environments is discussed. Model integration is projected as the springboard for building a theory of models equivalent in power to relational theory in the database community.

[1]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[2]  Gordon H. Bradley,et al.  A Type Calculus for Executable Modelling Languages , 1986 .

[3]  Harvey J. Greenberg,et al.  Views of mathematical programming models and their instances , 1995, Decis. Support Syst..

[4]  A. Philippakis,et al.  Solver representation for model management systems , 1990, Twenty-Third Annual Hawaii International Conference on System Sciences.

[5]  Arthur M. Geoffrion,et al.  Integrated Modeling Systems , 1989 .

[6]  Ramayya Krishnan,et al.  Towards a logical reconstruction of structured modeling , 1993, Decis. Support Syst..

[7]  Nicholas Carriero,et al.  Linda in context , 1989, CACM.

[8]  Arthur M. Geoffrion,et al.  An Introduction to Structured Modeling , 1987 .

[9]  Arthur M. Geoffrion.  The Formal Aspects of Structured Modeling , 1989, Oper. Res..

[10]  Robert W. Blanning.  An entity-relationship approach to model management , 1986, Decis. Support Syst..

[11]  Chris Jones,et al.  An integrated modeling environment based on attributed graphs and graph-grammars , 1993, Decis. Support Syst..

[12]  Daniel R. Dolk,et al.  Model management and structured modeling: the role of an information resource dictionary system , 1988, CACM.

[13]  Arthur M. Geoffrion.  Reusing structured models via model integration , 1989, [1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume III: Decision Support and Knowledge Based Systems Track.

[14]  A. M. Ireland,et al.  Object-oriented model integration in a financial decision support system , 1991, Decis. Support Syst..

[15]  W.A. Muhanna,et al.  Composite models in SYMMS , 1988, [1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume III: Decision Support and Knowledge Based Systems Track.

[16]  Hemant K. Bhargava,et al.  Model management : An embedded languages approach , 1993, Decis. Support Syst..

[17]  Brian W. Kernighan,et al.  AMPL: A Modeling Language for Mathematical Programming , 1993 .

[18]  Michael Stonebraker,et al.  The POSTGRES next generation database management system , 1991, CACM.

[19]  Robert W. Blanning,et al.  SoftCord: an intelligent agent for coordination in software development projects , 1986 .

[20]  Hemant K. Bhargava,et al.  Unique Names Violations, a Problem for Model Integration or You Say Tomato, I Say Tomahto , 1991, INFORMS J. Comput..

[21]  J.E. Kottemann,et al.  Process-oriented model integration , 1988, [1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume III: Decision Support and Knowledge Based Systems Track.

[22]  Ting-Peng Liang,et al.  Analogical reasoning and case-based learning in model management systems , 1993, Decis. Support Syst..

[23]  Frederic H. Murphy,et al.  A graphics interface for linear programming , 1989, CACM.

[24]  Ramayya Krishnan,et al.  Logic as an integrated modeling framework , 1990 .

[25]  R. Offereins.  Book review: Digital control system analysis and design , 1985 .

[26]  Christopher V. Jones,et al.  An Introduction to Graph-Based Modeling Systems, Part I: Overview , 1990, INFORMS J. Comput..

[27]  Frederic H. Murphy,et al.  Design of a Graphics Interface for Linear Programming , 1986 .

[28]  G.H. Bradley,et al.  Model integration with a typed executable modeling language , 1988, [1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume III: Decision Support and Knowledge Based Systems Track.

[29]  Daniel R. Dolk,et al.  An active modeling system for econometric analysis , 1991, Decis. Support Syst..