On Formal Semantics and Analysis of Typed Modeling Languages: An Analysis of Ascend

References

• Aho A. , Hopcroft J. , Ullman J. The Design and Analysis of Computer Algorithms (1974) (Addison-Wesley Publishing Co., Reading, MA) Google Scholar
• Aho A. , Sethi R. , Ullman J. Compilers: Principles, Techniques and Tools (1986) (Addison-Wesley Publishing Co., Reading, MA) Google Scholar
• Aiken A. , Wimmers E. L. , Lakshman T. K. Soft Typing with Conditional Types. Proceedings of the ACM Symposium on Principles of Programming Languages (1994) Portland, OR 163 173 Crossref, Google Scholar
• Bhargava H. K. Dimensional Analysis in Mathematical Modeling Systems: A Simple Numerical Method. ORSA Journal on Computing (1993) 5 1 33 39 Link, Google Scholar
• Bhargava H. K. , Kimbrough S. O. , Nash Stephen , Sofer Ariela . On Embedded Languages, Meta-Level Inference and Computer-aided Modeling. Computer Science and Operations Research: The Impact of Emerging Technology (1994) (Kluwer, Dordrecht, The Netherlands) 27 44 . Proceedings of the ORSA CSTS Conference, Williamsburg, VA Google Scholar
• Bhargava H. K. , Krishnan R. , Piela P. Formalizing the Semantics of ASCEND. Proceedings of the Twenty-Seventh International Conference on System Sciences (1994) (Maui, HI, IEEE Press, Los Alamitos, CA) 505 516 Crossref, Google Scholar
• Bhargava H. K. , Kimbrough S. O. Model Management: An Embedded Languages Approach. Decision Support Systems (1993) 10 3 277 300 Crossref, Google Scholar
• Bhargava H. K. , Krishnan R. , Mukherjee S. On the Integration of Data and Mathematical Modeling Languages. Annals of Operations Research (1993) 38 69 95 Crossref, Google Scholar
• Bhargava H. K. , Kimbrough S. O. , Krishnan R. Unique Names Violations: A Problem for Model Integration. ORSA Journal of Computing (1991) 3 2 107 120 Link, Google Scholar
• Bisschop J. , Meeraus A. On the Development of a General Algebraic Modeling Language. Mathematical Programming Study (1982) 20 1 29 Crossref, Google Scholar
• Borgida A. , Brachman R. , Mcguiness D. , Resnick L. , Clifford J. , Lindsay B. G. , Maier D. CLASSIC: A Structural Data Model for Objects. Proceedings of Special Interest Group on Modeling and Databases (1989) Portland, OR 58 67 Crossref, Google Scholar
• Borning A. Thinglab: A Constraint Oriented Simulation Laboratory. (1979) . Ph.D. Thesis, Stanford University Google Scholar
• Bradley G. H. , Clemence R. D. A Type Calculus for Executable Modeling Languages. IMA Journal of Mathematics in Management (1987) 1 277 291 Crossref, Google Scholar
• Bradley G. H. , Clemence R. D. , Konsynski Benn R. Model Integration with a Typed Executable Modeling Language. Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences, Vol. III, Decision Support and Knowledge Based Systems Track (1988) 403 410 Crossref, Google Scholar
• Cardelli L. , Wegner P. On Understanding Types, Data Abstraction, and Polymorphism. Computing Surveys (1985) 17 471 522 Crossref, Google Scholar
• Choobineh J. SQLMP: A Data Sublanguage for the Representation and Formulation of Linear Mathematical Models. ORSA Journal of Computing (1991) 3 358 375 Link, Google Scholar
• Davis E. Representations of Commonsense Knowledge (1990) (Morgan Kaufmann Publ., San Mateo, CA) 12 14 Google Scholar
• Fourer R. Modeling Languages Versus Matrix Generators for Linear Programming. ACM Transactions on Mathematical Software (1983) 9 143 183 Crossref, Google Scholar
• Fourer R. , Gay D. , Kernighan B. W. A Mathematical Programming Language. Management Science (1990) 36 519 554 Link, Google Scholar
• Geoffrion A. M. An Introduction to Structured Modeling. Management Science (1987) 33 547 588 Link, Google Scholar
• Geoffrion A. M. Computer-Based Modeling Environments. European Journal of Operational Research (1989) 41 33 43 Crossref, Google Scholar
• Geoffrion A. M. Reusing Structured Models Via Model Integration. Proceedings of the Twenty-Second Hawaii International Conference on the System Sciences (1990) (IEEE Press, Los Alamitos, CA) 601 611 Google Scholar
• Geoffrion A. M. FW/SM: A Prototype Structured Modeling Environment. Management Sciences (1991) 37 1513 1538 Link, Google Scholar
• Geoffrion A. M. The SML Language for Structured Modeling: Levels 1 and 2. Operations Research (1992) 40 38 57 Link, Google Scholar
• Geoffrion A. M. The SML Language for Structured Modeling: Levels 3 and 4. Operations Research (1992) 40 58 75 Link, Google Scholar
• Genesereth M. , Nilsson N. Logical Foundations of Artificial Intelligence (1987) (Morgan Kaufman, Los Altos, CA) Google Scholar
• Grodon M. J. C. Programming Language Theory and Its Implementation (1988) (Prentice-Hall, Englewood Cliffs, NJ) Google Scholar
• Greenberg H. J. MODLER: Modeling by Object-Driven Linear Elemental Relations. Annals of Operations Research (1993) 38 239 280 Crossref, Google Scholar
• Gunter C. A. , Mitchell J. C. Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design (1994) (The MIT Press, Cambridge, MA) Google Scholar
• Goldberg A. Smalltalk-1980: The Language and Its Interactive Environment (1985) (Addison-Wesley, Reading, MA) . 1985 Google Scholar
• Hong S. M. , Mannino M. Formal Semantics of the Unified Modeling Language. Decision Support Systems (1995) 13 263 293 Crossref, Google Scholar
• Jackson P. , Reichgelt H. , van Harmelen F. Logic-Based Knowledge Representation (1989) (The MIT Press, Cambridge, MA) Google Scholar
• Jones C. An Introduction to Graph Based Modeling Systems, Part I: Overview. ORSA Journal on Computing (1990) 2 136 151 Link, Google Scholar
• Jones C. An Introduction to Graph Based Modeling Systems, Part II: Graph Grammars and the Implementation. ORSA Journal on Computing (1991) 3 180 206 Link, Google Scholar
• Katiyar D. , Luckham D. , Mitchell J. A Type System for Prototyping Languages. Proceedings of the ACM Symposium on Principles of Programming Languages (1994) Portland, OR 138 150 Crossref, Google Scholar
• Kotteman J. , Dolk D. Model Integration and a Theory of Models. Decision Support Systems (1991) 9 51 63 Google Scholar
• Krishnan R. A Logic Modeling Language for Model Construction. Decision Support Systems (1990) 6 123 152 Crossref, Google Scholar
• Krishnan R. , Piela P. , Westerberg A. , Holsapple C. , Whinston A. Reusing Mathematical Models in Ascend. NATO ASI on Decision Support Systems (1993) (Springer-Verlag, New York) 275 294 Crossref, Google Scholar
• Kristoffersen B. A Critical Analysis of Standard ML. (1995) . Working Paper 193, Institute for Informatics, University of Oslo, Norway Google Scholar
• Macgregor R. , Sowa John . The evolving technology of classification-based knowledge representation systems. Principles of Semantic Networks: Explorations in the Representation of Knowledge (1991) (Morgan Kaufman, Los Altos, CA) Google Scholar
• Meyer B. Object-Oriented Software Construction (1988) (Prentice Hall International, Ltd., U.K) Google Scholar
• Muhanna W. A. On the Organization of Large Shared Model Bases. Annals of Operations Research (1992) 38 359 396 Crossref, Google Scholar
• Neustadter L. A Formalization of Expression Semantics for an Executable Modeling Language. Proceedings of the Twenty-Seventh Annual Hawaii International Conference on System Sciences (1994) (IEEE Computer Society Press, Los Alamitos, CA) 492 504 Crossref, Google Scholar
• Ohori A. , Buneman P. , Gunter C. A. , Mitchell J. C. Static Type Inference for Parametric Classes. Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design (1994) (The MIT Press, Cambridge, MA) Google Scholar
• Paulson L. ML for the Working Programmer (1991) (Cambridge University Press, Cambridge, UK) Google Scholar
• Piela P. Ascend: An Object-Oriented Computer Environment for Modeling and Analysis. (1989) . Ph.D. dissertation, Carnegie Mellon University Google Scholar
• Piela P. , Epperly T. , Westerberg K. , Westerberg A. Ascend: An Object-Oriented Computer Environment for Modeling and Analysis: The Modeling Language. Computers and Chemical Engineering (1991) 15 53 72 Crossref, Google Scholar
• Piela P. , McKelvey R. , Westerberg A. An Introduction to Ascend: Its Language and Interactive Environment. Journal of Management Information Systems (1992) 9 91 121 Crossref, Google Scholar
• Piela P. , Katzenberg B. , McKelvey R. Integrating the User into Research on Engineering Design Systems. Research in Engineering Design (1992) 3 211 222 Crossref, Google Scholar
• Reiter R. , Brodie M. , Mylopoulos J. , Schimdt J. Towards a logical reconstruction of relational database theory. On Conceptual Modeling (1984) (Springer Verlag, New York) Crossref, Google Scholar
• Sutherland I. Sketchpad: A Man–Machine Graphical Communication System. (1963) . Technical report no. 296, MIT Lincoln Laboratory Google Scholar
• Vicuna F. Semantic Formalization in Mathematical Modeling Languages. (1990) . Ph.D. dissertation, Computer Science Department, University of California, Los Angeles, CA Google Scholar
• Winston P. , Horn B. LISP (1995) (Addison Wesley Publishing Company, Reading, MA) Google Scholar
• Woods W. A. , Schmolze J. G. The KL-ONE Family. Computers and Mathematics with Applications (1992) 23 1 62 Crossref, Google Scholar