{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,6]],"date-time":"2026-01-06T13:57:48Z","timestamp":1767707868830},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662437445"},{"type":"electronic","value":"9783662437452"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-43745-2_21","type":"book-chapter","created":{"date-parts":[[2014,6,4]],"date-time":"2014-06-04T19:15:56Z","timestamp":1401909356000},"page":"302-316","source":"Crossref","is-referenced-by-count":4,"title":["Support for Domain Constraints in the Validation of Ontologically Well-Founded Conceptual Models"],"prefix":"10.1007","author":[{"given":"John","family":"Guerson","sequence":"first","affiliation":[]},{"given":"Jo\u00e3o Paulo A.","family":"Almeida","sequence":"additional","affiliation":[]},{"given":"Giancarlo","family":"Guizzardi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"21_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\u00a09(1), 69\u201386 (2010)","journal-title":"Softw. Syst. Model"},{"key":"21_CR2","first-page":"2904","volume":"16","author":"A.B. 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.\u00a016, 2904\u20132933 (2011)","journal-title":"J. Univers. Comput. Sci."},{"issue":"1-2","key":"21_CR3","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/s11334-009-0120-5","volume":"6","author":"B.F.B. Braga","year":"2010","unstructured":"Braga, B.F.B., Almeida, J.P.A., Guizzardi, G., Benevides, A.B.: Transforming OntoUML into Alloy: towards conceptual model validation using a lightweight formal method. Innov. Syst. Softw. Eng.\u00a06(1-2), 55\u201363 (2010)","journal-title":"Innov. Syst. Softw. Eng."},{"key":"21_CR4","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":"A.D. Brucker","year":"2008","unstructured":"Brucker, A.D., Wolff, B.: OHOLCL: A formal proof environment for UML\/OCL. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol.\u00a04961, pp. 97\u2013100. Springer, Heidelberg (2008)"},{"key":"21_CR5","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, M.: Object Constraint Language (OCL): A Definitive Guide. In: Bernardo, M., Cortellessa, V., Pierantonio, A. (eds.) SFM 2012. LNCS, vol.\u00a07320, pp. 58\u201390. Springer, Heidelberg (2012)"},{"key":"21_CR6","doi-asserted-by":"crossref","unstructured":"Cunha, A., Garis, A., Riesco, D.: Translating between Alloy specifications and UML class diagrams annotated with OCL. Softw. Syst. Model (2013)","DOI":"10.1007\/s10270-013-0353-5"},{"key":"21_CR7","unstructured":"Eclipse EMF, http:\/\/www.eclipse.org\/modeling\/emf\/"},{"key":"21_CR8","unstructured":"Eclipse MDT OCL, http:\/\/www.eclipse.org\/modeling\/mdt\/"},{"issue":"4","key":"21_CR9","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.\u00a04(4), 386\u2013398 (2005)","journal-title":"Softw. Syst. Model."},{"issue":"4","key":"21_CR10","first-page":"78","volume":"19","author":"N. Guarino","year":"2004","unstructured":"Guarino, N.: Toward Formal Evaluation of Ontology Quality. IEEE Intell. Syst.\u00a019(4), 78\u201379 (2004)","journal-title":"IEEE Intell. Syst."},{"key":"21_CR11","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":"21_CR12","unstructured":"Jackson, D.: Software Abstractions-Logic, Language, and Analysis, Revised Edition. The MIT Press (2012)"},{"key":"21_CR13","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.\u00a07590, pp. 415\u2013431. Springer, Heidelberg (2012)"},{"key":"21_CR14","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.\u00a06981, pp. 592\u2013607. Springer, Heidelberg (2011)"},{"key":"21_CR15","doi-asserted-by":"crossref","unstructured":"Massoni, T., Gheyi, R., Borba, P.: Formal Refactoring for UML Class Diagrams. In: 19th Brazilian Symposium on Software Engineering (SBES), pp. 152\u2013167 (2005)","DOI":"10.5753\/sbes.2005.23817"},{"key":"21_CR16","unstructured":"Mylopoulos, J.: Conceptual Modeling and Telos. In: Conceptual Modeling, Databases, and CASE: An Integrated View of Information Systems Development. Wiley, Chichester (1992)"},{"key":"21_CR17","unstructured":"NEMO OntoUML Infrastructure, http:\/\/nemo.inf.ufes.br\/en\/ontoumlsupport"},{"key":"21_CR18","unstructured":"OMG: Object Constraint Language, version 2.3.1 (2012)"}],"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-662-43745-2_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,13]],"date-time":"2023-07-13T19:45:27Z","timestamp":1689277527000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-43745-2_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662437445","9783662437452"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-43745-2_21","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2014]]}}}