{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:02Z","timestamp":1761611162433},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2005,6,26]],"date-time":"2005-06-26T00:00:00Z","timestamp":1119744000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2005,11]]},"DOI":"10.1007\/s10270-005-0089-y","type":"journal-article","created":{"date-parts":[[2005,8,9]],"date-time":"2005-08-09T15:27:17Z","timestamp":1123601237000},"page":"386-398","source":"Crossref","is-referenced-by-count":121,"title":["Validating UML and OCL models in USE by automatic snapshot generation"],"prefix":"10.1007","volume":"4","author":[{"given":"Martin","family":"Gogolla","sequence":"first","affiliation":[]},{"given":"J\u00f8rn","family":"Bohling","sequence":"additional","affiliation":[]},{"given":"Mark","family":"Richters","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,26]]},"reference":[{"key":"89_CR1","unstructured":"OMG: (ed) OMG Unified Modeling Language Specification, Version 1.5. OMG. OMG Document formal\/03-03-01, http:\/\/www.omg.org (2003, March)"},{"key":"89_CR2","volume-title":"The Object Constraint Language: Precise Modeling with UML","author":"J. Warmer","year":"1998","unstructured":"Warmer, J., Kleppe, A.: The Object Constraint Language: Precise Modeling with UML. Addison-Wesley, Reading, MA (1998)"},{"key":"89_CR3","doi-asserted-by":"crossref","unstructured":"Hussmann, H., Demuth, B., Finger, F.: Modular architecture for a toolset supporting OCL. In: Evans, A., Kent, S., Selic, B. (eds.) Proceedings of 3rd International Conference on Unified Modeling Language (UML'2000), LNCS 1939, pp. 278\u2013293, Springer, Berlin Heidelberg New York (2000)","DOI":"10.1007\/3-540-40011-7_20"},{"key":"89_CR4","unstructured":"ArgoUML Team.: The ArgoUML Tool. http:\/\/www.argouml.tigris.org (2003)"},{"key":"89_CR5","unstructured":"Boldsoft.: The Boldsoft OCL Tool Model Run. http:\/\/www.boldsoft.com, Boldsoft, Stockholm, Boldsoft, Stockholm, Sweden (2002)"},{"key":"89_CR6","unstructured":"Chiorean, D.: Using OCL Beyond Specifications. In: Evans, A., France, R., Moreira, A., Rumpe, B. (eds.) Proceedings UML'2001 Workshop Rigorous Development, pp. 57\u201368, Lecture Notes in Informatics (LNI), German Informatics Society, Bonn, Germany (2001)"},{"key":"89_CR7","doi-asserted-by":"crossref","unstructured":"Ahrendt, W., Baar, T., Beckert, B., Giese, M., Habermalz, E., H\u00e4hnle, R., Menzel, W., Schmitt, P.H.: The KeY approach: Integrating object oriented design and formal verification. In: Ojeda-Aciego, M., de Guzm\u00e1n, I.P., Brewka, G., Pereira, L.M. (eds.) Proceedings of 8th European Workshop Logics in AI (JELIA'2000), LNCS 1919, pp. 21\u201336. Springer, Berlin (2000)","DOI":"10.1007\/3-540-40006-0_3"},{"issue":"1","key":"89_CR8","doi-asserted-by":"crossref","first-page":"69","DOI":"10.5381\/jot.2003.2.1.a1","volume":"2","author":"A. Canals","year":"2003","unstructured":"Canals, A., Cassaing, Y., Jammes, A., Pomies, L., Roblet, E.: How You could Use NEPTUNE in the Modelling Process. J. Object Technol. 2(1), 69\u201383 (2003) http:\/\/www.jot.fm","journal-title":"J. Object Technol."},{"key":"89_CR9","doi-asserted-by":"crossref","unstructured":"Richters, M., Gogolla, M.: On Formalizing the UML Object Constraint Language OCL. In: Ling, T.-W., Ram, S., Lee, M.L., (eds.) Proceedings 17th International Conference on Conceptual Modeling (ER'1998), pp. 449\u2013464. Springer, Berlin, LNCS 1507 (1998)","DOI":"10.1007\/978-3-540-49524-6_35"},{"key":"89_CR10","first-page":"43","volume-title":"Advances in Object Modelling with the OCL","author":"M. Richters","year":"2001","unstructured":"Richters, M., Gogolla, M.: OCL\u2014Syntax, Semantics and Tools. In: Clark, T., Warmer, J. (eds.) Advances in Object Modelling with the OCL, pp. 43\u201369. Springer, Berlin, LNCS 2263 (2001)"},{"key":"89_CR11","doi-asserted-by":"crossref","unstructured":"Richters, M., Gogolla, M.: Validating UML Models and OCL Constraints. In: Evans, A., Kent, S. (eds.) Proceedings of 3rd International Conference on Unified Modeling Language (UML'2000), pp. 265\u2013277. Springer, Berlin, LNCS 1939 (2000)","DOI":"10.1007\/3-540-40011-7_19"},{"key":"89_CR12","volume-title":"Building Object Applications: Patterns, Architecture, Design, Construction, and Testing","author":"W.A. Scott","year":"1997","unstructured":"Scott, W.A.: Building Object Applications: Patterns, Architecture, Design, Construction, and Testing. Prentice-Hall, Englewood Cliffs, NJ (1997)"},{"key":"89_CR13","doi-asserted-by":"crossref","unstructured":"Oliver, I., Kent, S.: Validation of object-oriented models using animation. In: Proceedings EuroMicro, vol. 2, pp. 2237\u20132243. IEEE, Los Alamitos (1999)","DOI":"10.1109\/EURMIC.1999.794786"},{"key":"89_CR14","doi-asserted-by":"crossref","unstructured":"J\u00e9z\u00e9quel, J.-M., Le Guennec, A., Pennaneach, F.: Validating distributed software modeled with the Unified Modeling Language. In: B\u00e9zivin, J., Muller, P.-A. (eds.) Proceedings of 1st International Workshop on Unified Modeling Language (UML'1998), LNCS 1618, pp. 365\u2013377, Springer, Berlin Heidelberg New York (1999)","DOI":"10.1007\/978-3-540-48480-6_28"},{"issue":"4","key":"89_CR15","doi-asserted-by":"crossref","first-page":"228","DOI":"10.1007\/s001650070018","volume":"12","author":"S. Dupuy","year":"2000","unstructured":"Dupuy, S., du Bousquet, L.: A multi-formalism approach for the validation of UML models. Formal Aspects Comput. 12(4), 228\u2013230 (2000)","journal-title":"Formal Aspects Comput."},{"key":"89_CR16","unstructured":"Muthiayen, D.: Real-Time Reactive System Development\u2014A Formal Approach Based on UML and PVS. PhD thesis, Department of Computer Science at Concordia University, Montreal, Canada (2000, January)"},{"key":"89_CR17","doi-asserted-by":"crossref","unstructured":"Fr\u00f6hlich, P., Link, J.: Automated Test Case Generation from Dynamic Models. In: Bertino, E. (ed.) Proceedings of the 14th European Conference on Object-Oriented Programming (ECOOP'2000), pp. 472\u2013491. Springer, Berlin, LNCS 1850 (2000)","DOI":"10.1007\/3-540-45102-1_23"},{"key":"89_CR18","doi-asserted-by":"crossref","unstructured":"Jackson, D., Schechter, I., Shlyakhter, I.: Alcoa: The Alloy constraint analyzer. In: Proceedings of the International Conference on Software Engineering (ICSE'2000), pp. 730\u2013733. ACM, New York (2000)","DOI":"10.1145\/337180.337616"},{"key":"89_CR19","unstructured":"Martin, H.: Using test hypotheses to build a UML model of object-oriented smart card applications. In Rault, J.-C. (ed.) Proceedings of the International Conference on Software and Systems Engineering and their Applications (ICSSEA'1999), Paris (1999)"},{"key":"89_CR20","doi-asserted-by":"crossref","unstructured":"Graubmann, P., Rudolph, E.: Hypermscs and sequence diagrams for use case modelling and testing. In: Evans, A., Kent, S., Selic, B. (eds.) Proceedings of the 3rd International Conference on Unified Modeling Language (UML'2000), LNCS 1939, pp. 32\u201346, Springer, Berlin Heidelberg New York (2000)","DOI":"10.1007\/3-540-40011-7_3"},{"key":"89_CR21","doi-asserted-by":"crossref","unstructured":"Abdurazik, A., Offutt, J.: Using UML collaboration diagrams for static checking and test generation. In: Evans, A., Kent, S., Selic, B. (eds.) Proceedings of the 3rd International Conference on Unified Modeling Language (UML'2000), LNCS 1939, pp. 383\u2013395. Springer, Berlin Heidelberg New York (2000)","DOI":"10.1007\/3-540-40011-7_28"},{"key":"89_CR22","doi-asserted-by":"crossref","unstructured":"Offutt, J., Abdurazik, A.: Generating tests from UML specifications. In: France R., Rumpe B. (eds.) Proceedings of the 2nd International Conference on Unified Modeling Language (UML'1999), LNCS 1723, pp. 416\u2013429. Springer, Berlin (1999)","DOI":"10.1007\/3-540-46852-8_30"},{"key":"89_CR23","doi-asserted-by":"crossref","unstructured":"Agerholm, S., Larsen, P.G.: A Lightweight Approach to Formal Methods. In: Hutter, D., Stephan, W., Traverso, P., Ullmann, M. (eds.) Proceedings of the International Workshop on Current Trends in Applied Formal Methods (FM-TRENDS'1998), LNCS 1641, pp. 168\u2013183. Springer, Berlin (1999)","DOI":"10.1007\/3-540-48257-1_10"},{"key":"89_CR24","unstructured":"Bohling, J.: Generation of Snapshots for the Validation of UML Class Diagrams. (In German). Diploma Thesis, University of Bremen (2001)"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-005-0089-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-005-0089-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-005-0089-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,8]],"date-time":"2020-04-08T20:02:34Z","timestamp":1586376154000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-005-0089-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,6,26]]},"references-count":24,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2005,11]]}},"alternative-id":["89"],"URL":"https:\/\/doi.org\/10.1007\/s10270-005-0089-y","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,6,26]]}}}