Measurement theoretic representation of large, diverse model bases : The unified modeling language LU

The philosophy and features of the Unified Modeling Language LU are presented with emphasis on the support of large, diverse model bases. We argue that measurement theory stressing homomorphic mappings from empirical to mathematical systems is an ideal foundation for integrated modeling environments. Homomorphic mappings are an integral part of the semantics of the LU and motivate a number of language features that support large, diverse model bases. The LU provides a separate but uniform representation of domain worlds and mathematical systems known as model types. Domain worlds are composed of empirical objects, relations, and functions organized into classes and attributes, while model types are defined by standard queries and a rich collection of assumptions. To emphasize the importance of homomorphic mappings, unification constraints combine common patterns of domain and mathematical knowledge in model templates. Reusability and incremental refinement are supported by inheritance based on partial order relations for classes, attributes, assumptions, and model types. Together, the semantic foundation and language features provide a practical and formal knowledge representation for large, diverse model bases.

[1]  Hemant K. Bhargava,et al.  On embedded languages for model management , 1990, Twenty-Third Annual Hawaii International Conference on System Sciences.

[2]  Hemant K. Bhargava,et al.  Oona, Max and the WYWWYWI Principle: generalized Hypertext and Model Management in a Symbolic Programming Environment , 1988, ICIS.

[3]  Narain H. Gehani.  Databases and Units of Measure , 1982, IEEE Transactions on Software Engineering.

[4]  Sa Neung Hong,et al.  Model Libraries: Knowledge Representation and Reasoning , 1990, INFORMS J. Comput..

[5]  Luca Cardelli,et al.  A Semantics of Multiple Inheritance , 1984, Inf. Comput..

[6]  Saul I. Gass,et al.  Feature Article - Decision-Aiding Models: Validation, Assessment, and Related Issues for Policy Analysis , 1983, Oper. Res..

[7]  Ronen Barzel.  INTRODUCTION TO STRUCTURED MODELING , 1992 .

[8]  Arthur M. Geoffrion.  Computer-Based Modeling Environments , 1989 .

[9]  Ting-Peng Liang.  A Graph-Based Approach to Model Management , 1986, ICIS.

[10]  Matthias Jarke,et al.  Domain-Specific Dss Tools for Knowledge-Based Model Building , 1985, Decis. Support Syst..

[11]  John Mylopoulos,et al.  Generalization/Specialization as a Basis for Software Specification , 1982, On Conceptual Modelling.

[12]  Luca Cardelli,et al.  On understanding types, data abstraction, and polymorphism , 1985, CSUR.

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

[14]  Amitava Dutta,et al.  An Artificial Intelligence Approach to Model Management in Decision Support Systems , 1984, Computer.

[15]  Daniel R. Dolk,et al.  Knowledge Representation for Model Management Systems , 1984, IEEE Transactions on Software Engineering.

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

[17]  M.V. Mannino,et al.  Knowledge representation for model libraries , 1988, [1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume III: Decision Support and Knowledge Based Systems Track.

[18]  Peter Wegner,et al.  Concepts and paradigms of object-oriented programming , 1990, OOPS.

[19]  T. Liang.  Reasoning in model management systems , 1988, [1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume III: Decision Support and Knowledge Based Systems Track.

[20]  Alexander Meeraus.  An algebraic approach to modeling , 1983 .

[21]  Sa Neung Hong,et al.  Inheritance and instantiation in model management , 1990, Twenty-Third Annual Hawaii International Conference on System Sciences.

[22]  Hector J. Levesque,et al.  The Tractability of Subsumption in Frame-Based Description Languages , 1984, AAAI.

[23]  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.

[24]  Ting-Peng Liang.  Modeling by analogy : an approach to enhancing model management systems , 1989 .

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

[26]  Vasant Dhar,et al.  Knowledge-based decision support in business: Issues and a solution , 1988, IEEE Expert.

[27]  Sa Neung Hong,et al.  A formal, unified modeling framework: knowledge representation and automated reasoning , 1991 .

[28]  Saul I. Gass,et al.  Managing the modeling process: a personal reflection , 1987 .

[29]  Ronald M. Lee,et al.  Logic modeling: A tool for management science , 1988, Decis. Support Syst..

[30]  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.

[31]  Ramayya Krishnan,et al.  Knowledge-based aids for model construction , 1987 .