{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T08:10:23Z","timestamp":1771488623740,"version":"3.50.1"},"reference-count":29,"publisher":"Elsevier BV","issue":"3-4","license":[{"start":{"date-parts":[[1995,3,1]],"date-time":"1995-03-01T00:00:00Z","timestamp":794016000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Decision Support Systems"],"published-print":{"date-parts":[[1995,3]]},"DOI":"10.1016\/0167-9236(93)e0046-g","type":"journal-article","created":{"date-parts":[[2003,5,12]],"date-time":"2003-05-12T23:10:20Z","timestamp":1052781020000},"page":"263-293","source":"Crossref","is-referenced-by-count":3,"title":["Formal semantics of the unified modeling language"],"prefix":"10.1016","volume":"13","author":[{"given":"Sa Neung","family":"Hong","sequence":"first","affiliation":[]},{"given":"Michael V.","family":"Mannino","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0167-9236(93)E0046-G_BIB1","series-title":"Proc. 23rd Hawaii Intl. Conference on System Sciences, Decision Support and Knowledge Based Systems Track","article-title":"On Embedded Languages for Model Management","author":"Bhargava","year":"1990"},{"key":"10.1016\/0167-9236(93)E0046-G_BIB2","article-title":"Unique Name Violations: A Problem for Model Integration (Or You Say Tomato, I Say tomahto)","author":"Bhargava","year":"1990","journal-title":"ORSA Journal on Computing"},{"key":"10.1016\/0167-9236(93)E0046-G_BIB3","series-title":"Proc. 23rd Hawaii Intl. Conference on System Sciences, Decision Support and Knowledge Based Systems Track","article-title":"A Formal Approach in a Model Management System","author":"Bhargava","year":"1990"},{"key":"10.1016\/0167-9236(93)E0046-G_BIB4","series-title":"Proc. ACM SIGMOD Conf.","first-page":"58","article-title":"CLASSIC: A Structural Data Model for Objects","author":"Borgida","year":"1989"},{"key":"10.1016\/0167-9236(93)E0046-G_BIB5","series-title":"Dimensional Analysis","author":"Bridgeman","year":"1931"},{"key":"10.1016\/0167-9236(93)E0046-G_BIB6","article-title":"The Use of Typed Lambda Calculus for Requirements Capture in the Domain of Ecological Modelling","author":"Bundy","year":"1989"},{"key":"10.1016\/0167-9236(93)E0046-G_BIB7","first-page":"51","article-title":"A Semantics of Multiple Inheritance","volume":"173","author":"Cardelli","year":"1984"},{"key":"10.1016\/0167-9236(93)E0046-G_BIB8","series-title":"Proceedings ACM POPL","article-title":"Structural Subtyping and the Notion of Power Type","author":"Cardelli","year":"1988"},{"key":"10.1016\/0167-9236(93)E0046-G_BIB9","series-title":"Proc. 23rd Hawaii Intl. Conf. on System Science","article-title":"Towards a Logical Reconstruction of Structured Modeling","author":"Chari","year":"1990"},{"key":"10.1016\/0167-9236(93)E0046-G_BIB10","series-title":"Mathematical Introduction to Logic","author":"Enderton","year":"1972"},{"key":"10.1016\/0167-9236(93)E0046-G_BIB11","series-title":"Dimensional Methods and Their Applications","author":"Focken","year":"1953"},{"issue":"1","key":"10.1016\/0167-9236(93)E0046-G_BIB12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0377-2217(87)90129-9","article-title":"Managing the Modeling Process: A Personal Reflection","volume":"31","author":"Gass","year":"1987","journal-title":"European Journal of Operational Research"},{"issue":"5","key":"10.1016\/0167-9236(93)E0046-G_BIB13","doi-asserted-by":"crossref","first-page":"547","DOI":"10.1287\/mnsc.33.5.547","article-title":"Introduction to Structured Modeling","volume":"33","author":"Geoffrion","year":"1987","journal-title":"Management Science"},{"issue":"1","key":"10.1016\/0167-9236(93)E0046-G_BIB14","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1287\/opre.37.1.30","article-title":"Formal Aspects of Structured Modeling","volume":"37","author":"Geoffrion","year":"1988","journal-title":"Operations Research"},{"key":"10.1016\/0167-9236(93)E0046-G_BIB15","article-title":"A Formal, Unified Modeling Framework: Knowledge Representation and Automated Reasoning","author":"Hong","year":"1991"},{"key":"10.1016\/0167-9236(93)E0046-G_BIB16","series-title":"Proc. 23rd Hawaii Intl. Conference on System Sciences, Decision Support and Knowledge Based Systems Track","first-page":"424","article-title":"Inheritance and Instantiation in Model Management","author":"Hong","year":"1990"},{"key":"10.1016\/0167-9236(93)E0046-G_BIB17","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1016\/0167-9236(93)90066-C","article-title":"Measurement Theoretic Representation of Large, Diverse Model Bases: The Unified Modeling Language LU","volume":"10","author":"Hong","year":"1993","journal-title":"Decision Support Systems"},{"key":"10.1016\/0167-9236(93)E0046-G_BIB18","series-title":"The Scope of Dimensional Analysis in Qualitative Reasoning","author":"Kalagnanam","year":"1990"},{"issue":"1","key":"10.1016\/0167-9236(93)E0046-G_BIB19","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0167-9236(88)90094-2","article-title":"Logic Modeling: A Tool for Management Science","volume":"4","author":"Kimbrough","year":"1988","journal-title":"Decision Support Systems"},{"issue":"No. 1","key":"10.1016\/0167-9236(93)E0046-G_BIB20","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1145\/62029.62030","article-title":"Unification: A Multidisciplinary Survey","volume":"Vol. 21","author":"Knight","year":"1989","journal-title":"ACM Computing Survey"},{"key":"10.1016\/0167-9236(93)E0046-G_BIB21","series-title":"Dimensional Analysis and Theory of Models","author":"Langhaar","year":"1951"},{"key":"10.1016\/0167-9236(93)E0046-G_BIB22","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1111\/j.1467-8640.1987.tb00176.x","article-title":"Expressiveness and Tractability in Knowledge Representation and Reasoning","volume":"Vol. 3","author":"Levesque","year":"1987","journal-title":"Computational Intelligence"},{"issue":"11","key":"10.1016\/0167-9236(93)E0046-G_BIB23","doi-asserted-by":"crossref","first-page":"1258","DOI":"10.1109\/32.60314","article-title":"The Object-Oriented Functional Data Language","volume":"16","author":"Mannino","year":"1990","journal-title":"IEEE Trans. Software Engineering"},{"issue":"3","key":"10.1016\/0167-9236(93)E0046-G_BIB24","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1287\/ijoc.2.3.287","article-title":"Model Libraries: Knowledge Representation and Reasoning","volume":"2","author":"Mannino","year":"1990","journal-title":"ORSA Journal on Computing"},{"key":"10.1016\/0167-9236(93)E0046-G_BIB25","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0165-1889(83)90007-6","article-title":"An Algebraic Approach to Modeling","volume":"Vol. 5","author":"Meeraus","year":"1983","journal-title":"Journal of Economic Dynamics and Control"},{"key":"10.1016\/0167-9236(93)E0046-G_BIB26","series-title":"Formal Specification of Programming Languages-A Panoramic View","author":"Pagan","year":"1981"},{"key":"10.1016\/0167-9236(93)E0046-G_BIB27","series-title":"Measurement Theory","author":"Roberts","year":"1979"},{"key":"10.1016\/0167-9236(93)E0046-G_BIB28","article-title":"The Use of Domain Information for Comprehension and Construction of Simulation-Models","author":"Uschold","year":"1991"},{"issue":"1","key":"10.1016\/0167-9236(93)E0046-G_BIB29","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1145\/382192.383004","article-title":"Concepts and Paradigms of Object-Oriented Programming","volume":"1","author":"Wegner","year":"1990","journal-title":"OOPS Messenger"}],"container-title":["Decision Support Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0167923693E0046G?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0167923693E0046G?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,25]],"date-time":"2019-04-25T05:21:59Z","timestamp":1556169719000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0167923693E0046G"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,3]]},"references-count":29,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[1995,3]]}},"alternative-id":["0167923693E0046G"],"URL":"https:\/\/doi.org\/10.1016\/0167-9236(93)e0046-g","relation":{},"ISSN":["0167-9236"],"issn-type":[{"value":"0167-9236","type":"print"}],"subject":[],"published":{"date-parts":[[1995,3]]}}}