{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,28]],"date-time":"2026-02-28T16:02:06Z","timestamp":1772294526577,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540435617","type":"print"},{"value":"9783540460374","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-46037-3_9","type":"book-chapter","created":{"date-parts":[[2007,11,16]],"date-time":"2007-11-16T18:10:40Z","timestamp":1195236640000},"page":"94-96","source":"Crossref","is-referenced-by-count":1,"title":["Compositional Semantics for Diagrams Using Constrained Objects"],"prefix":"10.1007","author":[{"given":"Bharat","family":"Jayaraman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pallavi","family":"Tambay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,4,10]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"R. Futrelle and N. Nikolakis. Efficient Analysis of Complex Diagrams using Constraint-based Parsing. In Intl. Conf. on Document Analysis and Recognition, 1995.","DOI":"10.1109\/ICDAR.1995.602019"},{"issue":"4","key":"9_CR2","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1145\/235321.235322","volume":"5","author":"D. Harel","year":"1996","unstructured":"D. Harel and A Naamad. The STATEMATE Semantics of Statecharts. ACM Trans. on Software Engineering and Methodology, 5(4):293\u2013333, October 1996.","journal-title":"ACM Trans. on Software Engineering and Methodology"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"B. Jayaraman and P. Tambay. Modeling Engineering Structures with Constrained Objects. In Symp. on Practical Aspects of Declarative Languages, pages 28\u201346, 2002.","DOI":"10.1007\/3-540-45587-6_4"},{"key":"9_CR4","unstructured":"T. Kanungo, R. Haralick, and D. Dori. Reconstruction of CAD Objects from Engineering Drawings: A Survey. In First IAPR Workshop on Graphics Recognition, pages 217\u2013228, 1995."},{"key":"9_CR5","unstructured":"L. Priese and H. Wimmel. On Some Compositional Petri Net Semantics. Technical Report 20-95, Institut fur Informatik, Universitat Koblenz, 1995."},{"key":"9_CR6","unstructured":"G. Luettgen, M. Beeck, and R. Cleaveland. A Compositional Approach to Statecharts Semantics. ICASE Report No. 2000-12, NASA\/CR-2000-210086,2000, 2000."},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"K. Marriot and B. Meyer. Non-standard Logics for Diagram Interpretation. In Intl. Conf. on the Theory and Application of Diagrams, 2000.","DOI":"10.1007\/3-540-44590-0_9"}],"container-title":["Lecture Notes in Computer Science","Diagrammatic Representation and Inference"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46037-3_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,25]],"date-time":"2019-02-25T16:24:33Z","timestamp":1551111873000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46037-3_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540435617","9783540460374"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-46037-3_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2002]]}}}