{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T00:57:53Z","timestamp":1743037073911,"version":"3.40.3"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319394282"},{"type":"electronic","value":"9783319394299"}],"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-39429-9_19","type":"book-chapter","created":{"date-parts":[[2016,6,6]],"date-time":"2016-06-06T06:42:13Z","timestamp":1465195333000},"page":"303-317","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Representing Dynamic Invariants in Ontologically Well-Founded Conceptual Models"],"prefix":"10.1007","author":[{"given":"John","family":"Guerson","sequence":"first","affiliation":[]},{"given":"Jo\u00e3o Paulo","family":"Almeida","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,6,7]]},"reference":[{"issue":"1","key":"19_CR1","doi-asserted-by":"publisher","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":"19_CR2","first-page":"2904","volume":"16","author":"AB Benevides","year":"2011","unstructured":"Benevides, A.B., Guizzardi, G., Braga, B.F.B., Almeida, J.P.A.: Validating modal aspects of OntoUML conceptual models using automatically generated visual world structures. J. Univers. Comput. Sci. 16, 2904\u20132933 (2011)","journal-title":"J. Univers. Comput. Sci."},{"key":"19_CR3","unstructured":"Bill, R., Gabmeyer, S., Kaufmann, P., Seidl, M.: OCL meets CTL - towards CTL-extended OCL model checking. In: MoDELS, vol. 1092, pp. 13\u201322 (2013)"},{"key":"19_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/3-540-45923-5_14","volume-title":"Fundamental Approaches to Software Engineering","author":"JC Bradfield","year":"2002","unstructured":"Bradfield, J.C., K\u00fcster Filipe, J., Stevens, P.: Enriching OCL using observational mu-calculus. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol. 2306, pp. 203\u2013217. Springer, Heidelberg (2002)"},{"key":"19_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/978-3-540-78743-3_8","volume-title":"Fundamental Approaches to Software Engineering","author":"AD Brucker","year":"2008","unstructured":"Brucker, A.D., Wolff, B.: HOL-OCL: a formal proof environment for UML\/OCL. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol. 4961, pp. 97\u2013100. Springer, Heidelberg (2008)"},{"key":"19_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1007\/978-3-540-45221-8_5","volume-title":"\u00abUML\u00a0\u00bb\u00a02003 - The Unified Modeling Language. Modeling Languages and Applications","author":"J Cabot","year":"2003","unstructured":"Cabot, J., Oliv\u00e9, \u00c0., Teniente, E.: Representing temporal information in UML. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol. 2863, pp. 44\u201359. Springer, Heidelberg (2003)"},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"Conrad, S., Turowski, K.: Temporal OCL meeting specification demands for business components. In: UML 2001, vol. 2185, pp. 151\u2013165 (2001)","DOI":"10.4018\/978-1-930708-05-1.ch010"},{"key":"19_CR8","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/s10270-013-0353-5","volume":"14","author":"A Cunha","year":"2013","unstructured":"Cunha, A., Garis, A., Riesco, D.: Translating between Alloy specifications and UML class diagrams annotated with OCL. Softw. Syst. Model 14, 5\u201325 (2013)","journal-title":"Softw. Syst. Model"},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"Distefano, S., Katoen, J.P., Rensink, A.: On a temporal logic for object-based systems. In: Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems IV, vol. 49, pp. 305\u2013325 (2000)","DOI":"10.1007\/978-0-387-35520-7_16"},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett J.C.: Patterns in property specifications for finite-state verification. In: Proceedings of the 21st International Conference on Software Programming, pp. 411\u2013420 (1999)","DOI":"10.1145\/302405.302672"},{"key":"19_CR11","unstructured":"Eclipse MDT OCL. \n                    http:\/\/www.eclipse.org\/modeling\/mdt\/"},{"issue":"3","key":"19_CR12","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/s10270-003-0026-x","volume":"2","author":"S Flake","year":"2003","unstructured":"Flake, S., Muller, W.: Formal semantics of static and temporal state-oriented OCL constraints. Softw. Syst. Model. 2(3), 164\u2013186 (2003)","journal-title":"Softw. Syst. Model."},{"issue":"4","key":"19_CR13","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1007\/s10270-005-0089-y","volume":"4","author":"M Gogolla","year":"2005","unstructured":"Gogolla, M., Bohling, J., Richters, M.: Validating UML and OCL models in USE by automatic snapshot generation. Softw. Syst. Model. 4(4), 386\u2013398 (2005)","journal-title":"Softw. Syst. Model."},{"key":"19_CR14","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"crossref","first-page":"302","DOI":"10.1007\/978-3-662-43745-2_21","volume-title":"Enterprise, Business-Process and Information Systems Modeling","author":"J Guerson","year":"2014","unstructured":"Guerson, J., Almeida, J.P.A., Guizzardi, G.: Support for domain constraints in the validation of ontologically well-founded conceptual models. In: Bider, I., Gaaloul, K., Krogstie, J., Nurcan, S., Proper, H.A., Schmidt, R., Soffer, P. (eds.) BPMDS 2014 and EMMSAD 2014. LNBIP, vol. 175, pp. 302\u2013316. Springer, Heidelberg (2014)"},{"key":"19_CR15","volume-title":"Ontological Foundations for Structural Conceptual Models","author":"G Guizzardi","year":"2005","unstructured":"Guizzardi, G.: Ontological Foundations for Structural Conceptual Models. Telematica Instituut, The Netherlands (2005)"},{"key":"19_CR16","volume-title":"Information Modeling and Relational Databases","author":"T Halpin","year":"2010","unstructured":"Halpin, T., Morgan, T.: Information Modeling and Relational Databases. Morgan Kaufmann, Los Altos (2010)"},{"key":"19_CR17","volume-title":"Software Abstractions-Logic, Language, and Analysis","author":"D Jackson","year":"2012","unstructured":"Jackson, D.: Software Abstractions-Logic, Language, and Analysis, Revised edn. The MIT Press, Cambridge (2012)","edition":"Revised"},{"key":"19_CR18","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1016\/j.scico.2014.02.029","volume":"96","author":"B Kanso","year":"2014","unstructured":"Kanso, B., Taha, S.: Specification of temporal properties with OCL. Sci. Comput. Program. 96, 527\u2013551 (2014)","journal-title":"Sci. Comput. Program."},{"key":"19_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/978-3-540-72952-5_4","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"J Mullins","year":"2007","unstructured":"Mullins, J., Oarga, R.: Model checking of extended OCL constraints on UML models in SOCLe. In: Bonsangue, M.M., Johnsen, E.B. (eds.) FMOODS 2007. LNCS, vol. 4468, pp. 59\u201375. Springer, Heidelberg (2007)"},{"key":"19_CR20","unstructured":"Mylopoulos, J.: Conceptual modeling and telos. In: Conceptual Modeling, Databases, and CASE: an Integrated View of Information Systems Development. Wiley, Chichester (1992)"},{"issue":"6","key":"19_CR21","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1016\/S0306-4379(02)00011-X","volume":"27","author":"A Oliv\u00e9","year":"2002","unstructured":"Oliv\u00e9, A., Teniente, E.: Derived types and taxonomic constraints in conceptual modeling. Inf. Syst. 27(6), 391\u2013409 (2002)","journal-title":"Inf. Syst."},{"key":"19_CR22","unstructured":"OMG: OCL Specification v2.4.1 (2014)"},{"key":"19_CR23","unstructured":"OMG: UML Superstructure v2.4.1 (2012)"},{"key":"19_CR24","unstructured":"Sales T.P.: Ontology validation for managers. MSc thesis, Federal University of Esp\u00edrito Santo, UFES (2014)"},{"issue":"457","key":"19_CR25","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1093\/mind\/fzl075","volume":"115","author":"T Sider","year":"2006","unstructured":"Sider, T.: Quantifiers and temporal ontology. Mind 115(457), 75\u201397 (2006)","journal-title":"Mind"},{"key":"19_CR26","unstructured":"Wiegers, R.: Behaviour specification for ontologically grounded conceptual models. M.Sc thesis, University of Twente (2014)"},{"key":"19_CR27","unstructured":"Ziemann, P., Gogolla, M.: OCL extended with temporal logic. In: 5th International Andrei Ershov Memorial Conference, PSI, vol. 2890, 351\u2013357 (2003)"}],"container-title":["Lecture Notes in Business Information Processing","Enterprise, Business-Process and Information Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-39429-9_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T05:19:22Z","timestamp":1558502362000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-39429-9_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319394282","9783319394299"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-39429-9_19","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"7 June 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}