{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T17:08:52Z","timestamp":1725901732650},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319614663"},{"type":"electronic","value":"9783319614670"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-61467-0_7","type":"book-chapter","created":{"date-parts":[[2017,6,17]],"date-time":"2017-06-17T00:33:58Z","timestamp":1497659638000},"page":"119-128","source":"Crossref","is-referenced-by-count":3,"title":["Checking UML and OCL Model Behavior with Filmstripping and Classifying Terms"],"prefix":"10.1007","author":[{"given":"Martin","family":"Gogolla","sequence":"first","affiliation":[]},{"given":"Frank","family":"Hilken","sequence":"additional","affiliation":[]},{"given":"Khanh-Hoang","family":"Doan","sequence":"additional","affiliation":[]},{"given":"Nisha","family":"Desai","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,6,18]]},"reference":[{"issue":"1","key":"7_CR1","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/s10270-008-0110-3","volume":"9","author":"K Anastasakis","year":"2010","unstructured":"Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: On challenges of model transformation from UML to Alloy. Softw. Syst. Model. 9(1), 69\u201386 (2010)","journal-title":"Softw. Syst. Model."},{"key":"7_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/978-3-642-30473-6_12","volume-title":"Tests and Proofs","author":"P Brosch","year":"2012","unstructured":"Brosch, P., et al.: Towards scenario-based testing of UML diagrams. In: Brucker, A.D., Julliand, J. (eds.) TAP 2012. LNCS, vol. 7305, pp. 149\u2013155. Springer, Heidelberg (2012). doi:\n10.1007\/978-3-642-30473-6_12"},{"key":"7_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1007\/978-3-642-21210-9_33","volume-title":"Models in Software Engineering","author":"AD Brucker","year":"2011","unstructured":"Brucker, A.D., Krieger, M.P., Longuet, D., Wolff, B.: A specification-based test case generation method for UML\/OCL. In: Dingel, J., Solberg, A. (eds.) MODELS 2010. LNCS, vol. 6627, pp. 334\u2013348. Springer, Heidelberg (2011). doi:\n10.1007\/978-3-642-21210-9_33"},{"key":"7_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/978-3-642-00255-7_4","volume-title":"Integrated Formal Methods","author":"J Cabot","year":"2009","unstructured":"Cabot, J., Claris\u00f3, R., Riera, D.: Verifying UML\/OCL operation contracts. In: Leuschel, M., Wehrheim, H. (eds.) IFM 2009. LNCS, vol. 5423, pp. 40\u201355. Springer, Heidelberg (2009). doi:\n10.1007\/978-3-642-00255-7_4"},{"key":"7_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.jss.2014.03.023","volume":"93","author":"J Cabot","year":"2014","unstructured":"Cabot, J., Claris\u00f3, R., Riera, D.: On the verification of UML\/OCL class diagrams using constraint programming. J. Syst. Softw. 93, 1\u201323 (2014)","journal-title":"J. Syst. Softw."},{"key":"7_CR6","unstructured":"Demuth, B., Wilke, C.: Model and object verification by using dresden OCL. In: Proceedings of the Russian-German WS Innovation Information Technologies: Theory and Practice, pp. 687\u2013690 (2009)"},{"key":"7_CR7","unstructured":"Gogolla, M., Hilken, F., Doan, K.H., Desai, N.: Addendum to checking UML and OCL model behavior with filmstripping and classifying terms. Technical report, University of Bremen (2017). \nhttp:\/\/www.db.informatik.uni-bremen.de\/publications\/intern\/GHDD2017ADD.pdf"},{"key":"7_CR8","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/j.scico.2007.01.013","volume":"69","author":"M Gogolla","year":"2007","unstructured":"Gogolla, M., B\u00fcttner, F., Richters, M.: USE: a UML-based specification environment for validating UML and OCL. Sci. Comput. Program. 69, 27\u201334 (2007)","journal-title":"Sci. Comput. Program."},{"key":"7_CR9","unstructured":"Gogolla, M., Hamann, L., Hilken, F., Kuhlmann, M., France, R.B.: From application models to filmstrip models: an approach to automatic validation of model dynamics. In: Fill, H., Karagiannis, D., Reimer, U. (eds.) Proceedings of the Modellierung (Modellierung 2014), GI, LNI, vol. 225, pp. 273\u2013288 (2014)"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Gogolla, M., Vallecillo, A., Burgueno, L., Hilken, F.: Employing classifying terms for testing model transformations. In: Cabot, J., Egyed, A. (eds.) Proceedings of the 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), pp. 312\u2013321. ACM (2015)","DOI":"10.1109\/MODELS.2015.7338262"},{"key":"7_CR11","volume-title":"Software Abstractions - Logic, Language, and Analysis","author":"D Jackson","year":"2006","unstructured":"Jackson, D.: Software Abstractions - Logic, Language, and Analysis. MIT Press, Cambridge (2006)"},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1007\/978-3-642-33666-9_27","volume-title":"Model Driven Engineering Languages and Systems","author":"M Kuhlmann","year":"2012","unstructured":"Kuhlmann, M., Gogolla, M.: From UML and OCL to relational logic and back. In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds.) MODELS 2012. LNCS, vol. 7590, pp. 415\u2013431. Springer, Heidelberg (2012). doi:\n10.1007\/978-3-642-33666-9_27"},{"key":"7_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"592","DOI":"10.1007\/978-3-642-24485-8_44","volume-title":"Model Driven Engineering Languages and Systems","author":"S Maoz","year":"2011","unstructured":"Maoz, S., Ringert, J.O., Rumpe, B.: CD2Alloy: class diagrams analysis using alloy revisited. In: Whittle, J., Clark, T., K\u00fchne, T. (eds.) MODELS 2011. LNCS, vol. 6981, pp. 592\u2013607. Springer, Heidelberg (2011). doi:\n10.1007\/978-3-642-24485-8_44"},{"key":"7_CR14","unstructured":"Massoni, T., Gheyi, R., Borba, P.: A UML class diagram analyzer. In: 3rd International Workshop Critical Systems Development with UML, pp. 143\u2013153 (2004)"},{"key":"7_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1007\/11901181_37","volume-title":"Conceptual Modeling - ER 2006","author":"A Queralt","year":"2006","unstructured":"Queralt, A., Teniente, E.: Reasoning on UML class diagrams with OCL constraints. In: Embley, D.W., Oliv\u00e9, A., Ram, S. (eds.) ER 2006. LNCS, vol. 4215, pp. 497\u2013512. Springer, Heidelberg (2006). doi:\n10.1007\/11901181_37"},{"key":"7_CR16","unstructured":"Shen, W., Compton, K., Huggins, J.: A toolset for supporting UML static and dynamic model checking. In: Proceedings of the Computer Software and Applications Conference (COMPSAC 2002), pp. 147\u2013152 (2002)"}],"container-title":["Lecture Notes in Computer Science","Tests and Proofs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-61467-0_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,17]],"date-time":"2017-06-17T00:38:11Z","timestamp":1497659891000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-61467-0_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319614663","9783319614670"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-61467-0_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}