{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T00:44:43Z","timestamp":1648514683951},"reference-count":18,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1993,10,1]],"date-time":"1993-10-01T00:00:00Z","timestamp":749433600000},"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":[[1993,10]]},"DOI":"10.1016\/0167-9236(93)90065-b","type":"journal-article","created":{"date-parts":[[2003,6,30]],"date-time":"2003-06-30T16:15:45Z","timestamp":1056989745000},"page":"301-317","source":"Crossref","is-referenced-by-count":9,"title":["Towards a logical reconstruction of structured modeling"],"prefix":"10.1016","volume":"10","author":[{"given":"Srikanth","family":"Chari","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ramayya","family":"Krishnan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"No. 4","key":"10.1016\/0167-9236(93)90065-B_BIB1","doi-asserted-by":"crossref","first-page":"525","DOI":"10.1145\/32204.32205","article-title":"IFO: A Formal Semantic Database Model","volume":"12","author":"Abiteboul","year":"1987","journal-title":"ACM Transactions on Database Systems"},{"key":"10.1016\/0167-9236(93)90065-B_BIB2","article-title":"A Logic Model for Model Management","author":"Bhargava","year":"1990"},{"key":"10.1016\/0167-9236(93)90065-B_BIB3","series-title":"Proceedings of the Ninth International Conference on Information Systems","first-page":"179","article-title":"Oona, Max and the WYWWYWI principle: Hypertext and Model Management in a Symbolic Programming Environment","author":"Bhargava","year":"1988"},{"key":"10.1016\/0167-9236(93)90065-B_BIB4","unstructured":"H. Bhargava and S. Kimbrough, Model Management: An Embedded Languages, forthcoming in Decision Support Systems."},{"key":"10.1016\/0167-9236(93)90065-B_BIB5","series-title":"Proceedings of the Twenty Third Hawaii International Conference on System Sciences","article-title":"A Formal Approach to Model Formulation in Model Management Systems","author":"Bhargava","year":"1989"},{"issue":"No. 2","key":"10.1016\/0167-9236(93)90065-B_BIB6","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1287\/ijoc.3.2.107","article-title":"Unique Names Violations: A Problem for Model Integration or You say Tomato, I say Tomahto","volume":"3","author":"Bhargava","year":"1991","journal-title":"ORSA Journal on Computing"},{"issue":"No. 1","key":"10.1016\/0167-9236(93)90065-B_BIB7","first-page":"277","article-title":"A Type Calculus for Executable Modeling Languages","volume":"1","author":"Bradley","year":"1987","journal-title":"IMA Journal of Mathematics in Management"},{"key":"10.1016\/0167-9236(93)90065-B_BIB8","series-title":"Structured Modeling and Logic","author":"Chari","year":"1988"},{"key":"10.1016\/0167-9236(93)90065-B_BIB9","series-title":"Working Paper, Decision Systems Research Institute","article-title":"A Logical Reconstruction of Structured Modeling","author":"Chari","year":"1991"},{"issue":"No. 3","key":"10.1016\/0167-9236(93)90065-B_BIB10","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1145\/45072.45073","article-title":"Semantic Data Modeling: Survey, Applications, and Research Issues","volume":"19","author":"Hull","year":"1987","journal-title":"ACM Computing Surveys"},{"issue":"No. 5","key":"10.1016\/0167-9236(93)90065-B_BIB11","doi-asserted-by":"crossref","first-page":"547","DOI":"10.1287\/mnsc.33.5.547","article-title":"An Introduction to Structured Modeling","volume":"33","author":"Geoffrion","year":"1987","journal-title":"Management Science"},{"issue":"No. 1","key":"10.1016\/0167-9236(93)90065-B_BIB12","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":"1989","journal-title":"Operations Research"},{"key":"10.1016\/0167-9236(93)90065-B_BIB13","series-title":"Proceedings of Hawaii International Conference on the System Sciences","article-title":"Reusing Structured Models via Model Integration","author":"Geoffrion","year":"1990"},{"key":"10.1016\/0167-9236(93)90065-B_BIB14","series-title":"Working Paper 378","article-title":"SML: A Model Definition Language for Structured Modeling","author":"Geoffrion","year":"1990"},{"key":"10.1016\/0167-9236(93)90065-B_BIB15","unstructured":"C. Jones, Attributed Graphs, Graph Grammars, and Structured Modeling, forthcoming in Annals of Operations Research."},{"key":"10.1016\/0167-9236(93)90065-B_BIB16","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1007\/BF02022100","article-title":"Automated Model Construction: A Logic Based Approach","volume":"21","author":"Krishnan","year":"1988","journal-title":"Annals of Operations Research"},{"key":"10.1016\/0167-9236(93)90065-B_BIB17","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/0167-9236(90)90004-B","article-title":"A Logic Modeling Language for Model Construction","volume":"6","author":"Krishnan","year":"1989","journal-title":"Decision Support Systems"},{"key":"10.1016\/0167-9236(93)90065-B_BIB18","series-title":"Logical Foundations of Artificial Intelligence","author":"Nillson","year":"1987"}],"container-title":["Decision Support Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:016792369390065B?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:016792369390065B?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,18]],"date-time":"2019-03-18T15:55:45Z","timestamp":1552924545000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/016792369390065B"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,10]]},"references-count":18,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1993,10]]}},"alternative-id":["016792369390065B"],"URL":"https:\/\/doi.org\/10.1016\/0167-9236(93)90065-b","relation":{},"ISSN":["0167-9236"],"issn-type":[{"value":"0167-9236","type":"print"}],"subject":[],"published":{"date-parts":[[1993,10]]}}}