{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T05:02:56Z","timestamp":1743138176219,"version":"3.40.3"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319502298"},{"type":"electronic","value":"9783319502304"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-50230-4_15","type":"book-chapter","created":{"date-parts":[[2016,11,30]],"date-time":"2016-11-30T08:31:26Z","timestamp":1480494686000},"page":"207-220","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Towards a Developer-Oriented Process for Verifying Behavioral Properties in UML and OCL Models"],"prefix":"10.1007","author":[{"given":"Khanh-Hoang","family":"Doan","sequence":"first","affiliation":[]},{"given":"Martin","family":"Gogolla","sequence":"additional","affiliation":[]},{"given":"Frank","family":"Hilken","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,12,1]]},"reference":[{"issue":"10","key":"15_CR1","doi-asserted-by":"publisher","first-page":"785","DOI":"10.1109\/32.469460","volume":"21","author":"A Borgida","year":"1995","unstructured":"Borgida, A., Mylopoulos, J., Reiter, R.: On the frame problem in procedure specifications. IEEE Trans. Softw. Eng. 21(10), 785\u2013798 (1995)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"Cabot, J., Claris\u00f3, R., Riera, D.: UMLtoCSP: a tool for the formal verification of UML\/OCL models using constraint programming. In: Proceedings of the Twenty-second IEEE\/ACM International Conference on Automated Software Engineering, pp. 547\u2013548, ASE 2007, NY, USA. ACM, New York (2007)","DOI":"10.1145\/1321631.1321737"},{"key":"15_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/978-3-642-30982-3_3","volume-title":"Formal Methods for Model-Driven Engineering","author":"J Cabot","year":"2012","unstructured":"Cabot, J., Gogolla, Martin: Object constraint language (OCL): a definitive guide. In: Bernardo, M., Cortellessa, V., Pierantonio, A. (eds.) SFM 2012. LNCS, vol. 7320, pp. 58\u201390. Springer, Heidelberg (2012). doi:\n                      10.1007\/978-3-642-30982-3_3"},{"key":"15_CR4","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/j.entcs.2003.09.005","volume":"102","author":"C Dan","year":"2004","unstructured":"Dan, C., Mihai, P., Adrian, C., Cristian, B., Sorin, M.: Ensuring UML models consistency using the OCL environment. Electron. Notes Theor. Comput. Sci. 102, 99\u2013110 (2004). Proceedings of the Workshop, OCL 2.0 - Industry Standard or Scientific Playground?","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"15_CR5","unstructured":"Demuth, B., Wilke, C.: Model and object verification by using Dresden OCL. In: Russian-German WS Innovation Information Technologies: Theory and Practice (2009)"},{"key":"15_CR6","unstructured":"Doan, K.H., Gogolla, M., Hilken, F.: Addendum to a complete process for behavioral properties verification. University of Bremen, Technical report (2016). \n                      http:\/\/www.db.informatik.uni-bremen.de\/publications\/intern\/HOFM2016ADD.pdf"},{"issue":"1\u20133","key":"15_CR7","doi-asserted-by":"publisher","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(1\u20133), 27\u201334 (2007)","journal-title":"Sci. Comput. Program."},{"key":"15_CR8","unstructured":"Gogolla, M., Hamann, L., Hilken, F., Kuhlmann, M., France, R.: From application models to filmstrip models: an approach to automatic validation of model dynamics. In: Modellierung (MODELLIERUNG 2014) (2014)"},{"key":"15_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1007\/978-3-642-02949-3_8","volume-title":"Tests and Proofs","author":"M Gogolla","year":"2009","unstructured":"Gogolla, M., Kuhlmann, M., Hamann, L.: Consistency, independence and consequences in UML and OCL models. In: Dubois, C. (ed.) Tests and Proofs. LNCS, vol. 5668, pp. 90\u2013104. Springer, Heidelberg (2009)"},{"key":"15_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"170","DOI":"10.1007\/978-3-319-08789-4_13","volume-title":"Theory and Practice of Model Transformations","author":"F Hilken","year":"2014","unstructured":"Hilken, F., Hamann, L., Gogolla, M.: Transformation of UML and OCL models into filmstrip models. In: Di Ruscio, D., Varr\u00f3, D. (eds.) Theory and Practice of Model Transformations. LNCS, vol. 8568, pp. 170\u2013185. Springer International Publishing, Heidelberg (2014)"},{"issue":"2","key":"15_CR11","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1007\/s10270-011-0215-y","volume":"12","author":"P Kosiuczenko","year":"2011","unstructured":"Kosiuczenko, P.: Specification of invariability in OCL. Softw. Syst. Model. 12(2), 415\u2013434 (2011)","journal-title":"Softw. Syst. Model."},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Krieger, M.P., Knapp, A., Wolff, B.: Automatic and efficient simulation of operation contracts. In: Proceedings of the Ninth International Conference on Generative Programming and Component Engineering, GPCE 2010, pp. 53\u201362, NY, USA. ACM, New York (2010)","DOI":"10.1145\/1868294.1868303"},{"issue":"1","key":"15_CR13","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/s00165-007-0062-3","volume":"20","author":"M Kuhlmann","year":"2007","unstructured":"Kuhlmann, M., Gogolla, M.: Modeling and validating mondex scenarios described in UML and OCL with USE. Formal Aspects Comput. 20(1), 79\u2013100 (2007)","journal-title":"Formal Aspects Comput."},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"Niemann, P., Hilken, F., Gogolla, M., Wille, R.: Extracting frame conditions from operation contracts. In: ACM\/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015) (2015)","DOI":"10.1109\/MODELS.2015.7338257"},{"key":"15_CR15","unstructured":"Object Management Group - OMG: Unified Modeling Language Specification, version 2.5 (2013). \n                      http:\/\/www.omg.org\/spec\/UML\/"},{"key":"15_CR16","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","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 The Unified Modeling Language. LNCS, vol. 1939, pp. 265\u2013277. Springer, Heidelberg (2000)"},{"key":"15_CR17","unstructured":"Shen, W., Compton, K., Huggins, J.: A toolset for supporting UML static and dynamic model checking. In: 2002 Proceedings of 26th Annual International on Computer Software and Applications Conference, COMPSAC 2002 , pp. 147\u2013152 (2002)"},{"key":"15_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"632","DOI":"10.1007\/978-3-540-71209-1_49","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"E Torlak","year":"2007","unstructured":"Torlak, E., Jackson, D.: Kodkod: a relational model finder. In: Grumberg, O., Huth, M. (eds.) Tools and Algorithms for the Construction and Analysis of Systems. LNCS, vol. 4424, pp. 632\u2013647. Springer, Heidelberg (2007)"},{"key":"15_CR19","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/S1571-0661(04)80816-8","volume":"80","author":"P Ziemann","year":"2003","unstructured":"Ziemann, P., Gogolla, M.: Validating OCL specifications with the USE tool: an example based on the BART case study. Electron. Notes Theor. Comput. Sci. 80, 157\u2013169 (2003). Eighth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2003)","journal-title":"Electron. Notes Theor. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Software Technologies: Applications and Foundations"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-50230-4_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T01:38:30Z","timestamp":1558316310000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-50230-4_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319502298","9783319502304"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-50230-4_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"1 December 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"STAF","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Federation of International Conferences on Software Technologies: Applications and Foundations","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Vienna","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Austria","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 July 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 July 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"staf2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}