{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T15:45:29Z","timestamp":1725896729287},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642246890"},{"type":"electronic","value":"9783642246906"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-24690-6_16","type":"book-chapter","created":{"date-parts":[[2011,10,24]],"date-time":"2011-10-24T21:35:37Z","timestamp":1319492137000},"page":"221-236","source":"Crossref","is-referenced-by-count":7,"title":["Translating Alloy Specifications to UML Class Diagrams Annotated with OCL"],"prefix":"10.1007","author":[{"given":"Ana","family":"Garis","sequence":"first","affiliation":[]},{"given":"Alcino","family":"Cunha","sequence":"additional","affiliation":[]},{"given":"Daniel","family":"Riesco","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"16_CR1","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/s10270-008-0110-3","volume":"9","author":"K. Anastasakis","year":"2008","unstructured":"Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: On challenges of model transformation from UML to Alloy. Software and Systems Modeling\u00a09(1), 69\u201386 (2008)","journal-title":"Software and Systems Modeling"},{"issue":"1-2","key":"16_CR2","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. Innovations in Systems and Software Engineering\u00a06(1-2), 55\u201363 (2010)","journal-title":"Innovations in Systems and Software Engineering"},{"key":"16_CR3","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.: HOL-OCL: 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":"16_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/3-540-45441-1_9","volume-title":"\u00abUML\u00bb 2001 \u2013 The Unified Modeling Language. Modeling Languages, Concepts, and Tools","author":"B. Demuth","year":"2001","unstructured":"Demuth, B., Hussmann, H., Loecher, S.: OCL as a specification language for business rules in database applications. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol.\u00a02185, pp. 104\u2013117. Springer, Heidelberg (2001)"},{"key":"16_CR5","unstructured":"DresdenOCL website, http:\/\/www.dresden-ocl.org\/index.php\/DresdenOCL"},{"key":"16_CR6","first-page":"189","volume-title":"Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering","author":"J. Edwards","year":"2004","unstructured":"Edwards, J., Jackson, D., Torlak, E.: A type system for object models. In: Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp. 189\u2013199. ACM, New York (2004)"},{"issue":"3","key":"16_CR7","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1109\/TSE.2010.36","volume":"36","author":"G. Georg","year":"2010","unstructured":"Georg, G., Anastasakis, K., Bordbar, B., Houmb, S.H., Toahchoodee, I.R.M.: Verification and trade-off analysis of security properties in UML system models. IEEE Transactions on Software Engineering\u00a036(3), 338\u2013356 (2010)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"16_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/978-3-642-21437-0_12","volume-title":"FM 2011: Formal Methods","author":"A.A. Ghazi El","year":"2011","unstructured":"El Ghazi, A.A., Taghdiri, M.: Relational reasoning via SMT solving. In: Butler, M., Schulte, W. (eds.) FM 2011. LNCS, vol.\u00a06664, pp. 133\u2013148. Springer, Heidelberg (2011)"},{"key":"16_CR9","unstructured":"Gheyi, R., Massoni, T., Borba, P.: Formally introducing Alloy idioms. In: Proceedings of the Brazilian Symposium on Formal Methods, pp. 22\u201337 (2007)"},{"key":"16_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1007\/978-3-642-05089-3_31","volume-title":"FM 2009: Formal Methods","author":"T. Giannakopoulos","year":"2009","unstructured":"Giannakopoulos, T., Dougherty, D.J., Fisler, K., Krishnamurthi, S.: Towards an operational semantics for alloy. In: Cavalcanti, A., Dams, D.R. (eds.) FM 2009. LNCS, vol.\u00a05850, pp. 483\u2013498. Springer, Heidelberg (2009)"},{"issue":"4","key":"16_CR11","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. Software and Systems Modeling\u00a04(4), 386\u2013398 (2005)","journal-title":"Software and Systems Modeling"},{"key":"16_CR12","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":"16_CR13","doi-asserted-by":"crossref","unstructured":"Massoni, T., Gheyi, R., Borba, P.: Formal refactoring for UML Class Diagrams. In: Proceedings of the 19th Brazilian Symposium on Software Engineering, pp. 152\u2013167 (2005)","DOI":"10.5753\/sbes.2005.23817"},{"key":"16_CR14","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1145\/1229375.1229382","volume-title":"Proceedings of the 10th International Workshop on Aspect-Oriented Modeling","author":"F. Mostefaoui","year":"2007","unstructured":"Mostefaoui, F., Vachon, J.: Verification of Aspect-UML models using Alloy. In: Proceedings of the 10th International Workshop on Aspect-Oriented Modeling, pp. 41\u201348. ACM, New York (2007)"},{"key":"16_CR15","unstructured":"OMG: MDA Guide version 1.0.1 (2003)"},{"key":"16_CR16","unstructured":"OMG: Object Constraint Language, Version 2.2 (2010)"},{"key":"16_CR17","unstructured":"OMG: UML Superstructure, Version 2.3 (2010)"},{"key":"16_CR18","volume-title":"Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation","author":"S.M.A. Shah","year":"2009","unstructured":"Shah, S.M.A., Anastasakis, K., Bordbar, B.: From UML to Alloy and back again. In: Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation. ACM, New York (2009)"},{"key":"16_CR19","first-page":"555","volume-title":"Proceedings of the 34th International Conference on Technology of Object-Oriented Languages and Systems","author":"M. Vaziri","year":"2000","unstructured":"Vaziri, M., Jackson, D.: Some shortcomings of OCL, the Object Constraint Language of UML. In: Proceedings of the 34th International Conference on Technology of Object-Oriented Languages and Systems, pp. 555\u2013562. IEEE, Los Alamitos (2000)"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24690-6_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,10]],"date-time":"2023-06-10T14:31:21Z","timestamp":1686407481000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24690-6_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642246890","9783642246906"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24690-6_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}