{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:07:32Z","timestamp":1725520052972},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540889052"},{"type":"electronic","value":"9783540889069"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-88906-9_55","type":"book-chapter","created":{"date-parts":[[2008,11,3]],"date-time":"2008-11-03T09:56:39Z","timestamp":1225706199000},"page":"436-443","source":"Crossref","is-referenced-by-count":3,"title":["Cross Checking Rules to Improve Consistency between UML Static Diagram and Dynamic Diagram"],"prefix":"10.1007","author":[{"given":"IlKyu","family":"Ha","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Byunguk","family":"Kang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"55_CR1","unstructured":"OMG: OMG Unified Modeling Language Specification Version. 2.0 Object Management Group Inc. (2005)"},{"key":"55_CR2","unstructured":"OMG: Object Constraint Language Specification in OMG Unified Modeling Language Specification Version 2.0 Object Management Group Inc. (2006)"},{"key":"55_CR3","unstructured":"Chong, K.W., Cho, Y.S., Kwon, S.G.: Detecting Errors and Checking Consistency in the Object-Oriented Design Models. Journal of KIPS, 2072\u20132087 (1999)"},{"key":"55_CR4","unstructured":"Tsiolakis, A., Ehrig, H.: Consistency analysis of UML class and sequence Diagrams using attributed graph grammars. In: Proc. of Joint APPLIGRAPH\/GETGRATS Workshop (2000)"},{"key":"55_CR5","unstructured":"Tsiolakis, A.: Consistency Analysis of UML Class and Sequence Diagrams based on Attributed Typed Graphs and their Transformation. Technical Report 2000\/3. Technical University of Berlin (2000)"},{"key":"55_CR6","unstructured":"Sunetnanta, T., Finkelsteing, A.: Automated Consistency Checking for Multiperspective Software Specifications. In: Proc. of ICSE 2001 (2001)"},{"key":"55_CR7","unstructured":"Cho, J.H., Bae, D.H.: Scenario-Driven Verification Method for Completeness and Consistency Checking of UML Object-Oriented Analysis Model. Journal of KISS (2001)"},{"key":"55_CR8","unstructured":"Richters, M.: A Precise Approach to Validating UML Models and OCL Constraints. PhD thesis. University Bremen. Logos Verlag. Berlin. BISS Monographs. No.14 (2002)"},{"key":"55_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/3-540-40011-7_19","volume-title":"UML 2000 - The Unified Modeling Language. Advancing the Standard","author":"M. Richters","year":"2000","unstructured":"Richters, M., Gogolla, M.: Validating UML models and OCL Constraints. In: Evans, A., Kent, S., Selic, B. (eds.) UML 2000. LNCS, vol.\u00a01939, pp. 265\u2013277. Springer, Heidelberg (2000)"},{"key":"55_CR10","series-title":"Lecture Notes in Computer Science","volume-title":"UML 2000 - The Unified Modeling Language. Advancing the Standard","author":"P. Bottoni","year":"2000","unstructured":"Bottoni, P., Koch, M., Parisi-Presicce, F., Taentzer, G.: Consistency Checking and Visualization of OCL Constraints. In: Evans, A., Kent, S., Selic, B. (eds.) UML 2000. LNCS, vol.\u00a01939. Springer, Heidelberg (2000)"},{"key":"55_CR11","volume-title":"The Object Constraint Language","author":"J.B. Wormer","year":"1999","unstructured":"Wormer, J.B., Kleppe, A.G.: The Object Constraint Language. Addison-Wesley, Reading (1999)"},{"key":"55_CR12","series-title":"Lecture Notes in Computer Science","volume-title":"UML 2000 - The Unified Modeling Language. Advancing the Standard","author":"H. Hussmann","year":"2000","unstructured":"Hussmann, H., Demuth, B., Finger, F.: Modular architecture for a toolset supporting OCL. In: Evans, A., Kent, S., Selic, B. (eds.) UML 2000. LNCS, vol.\u00a01939. Springer, Heidelberg (2000)"},{"key":"55_CR13","unstructured":"IBM: OCL Parser ver.o.3. (2005), \n                    \n                      http:\/\/www-3.ibm.com\/software\/ad\/library\/standards\/ocl.html"},{"key":"55_CR14","unstructured":"Richters, M.: The USE tool: A UML-based specification environment (2001), \n                    \n                      http:\/\/www.db.informatik.uni-bremen.de\/projects\/USE\/"}],"container-title":["Lecture Notes in Computer Science","Intelligent Data Engineering and Automated Learning \u2013 IDEAL 2008"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88906-9_55","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,3]],"date-time":"2019-03-03T22:54:11Z","timestamp":1551653651000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88906-9_55"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540889052","9783540889069"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88906-9_55","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}