{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,19]],"date-time":"2025-04-19T16:43:42Z","timestamp":1745081022469,"version":"3.28.0"},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,8]]},"DOI":"10.1109\/icdim.2012.6360153","type":"proceedings-article","created":{"date-parts":[[2012,12,1]],"date-time":"2012-12-01T02:16:48Z","timestamp":1354328208000},"page":"93-98","source":"Crossref","is-referenced-by-count":5,"title":["On a chain of transformations for generating alloy from NL constraints"],"prefix":"10.1109","author":[{"given":"Imran Sarwar","family":"Bajwa","sequence":"first","affiliation":[]},{"given":"Behzad","family":"Bordbar","sequence":"additional","affiliation":[]},{"given":"Kyriakos","family":"Anastasakis","sequence":"additional","affiliation":[]},{"given":"Mark","family":"Lee","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","first-page":"351","article-title":"SiTra: Simple Transformations in Java","volume":"4199","author":"akehurst","year":"2006","journal-title":"LNCS"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.3115\/1117794.1117802"},{"key":"18","article-title":"MDA Explained: The Model Driven Architecture{Practice and Promise","author":"kleppe","year":"2003","journal-title":"The Addison-Wesley Object Technology Se-ries"},{"key":"15","first-page":"2","article-title":"SBVR Business Rules Generation from Natural Language Specification","author":"bajwa","year":"2011","journal-title":"AAAI 2011 Spring Symposium - AI for Business Agility San Francisco USA"},{"key":"16","article-title":"A Precise Approach to Validating UML Models and OCL Constraints","author":"richters","year":"2002","journal-title":"BISS Monographs"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/1656485.1656489"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/EDOC.2010.33"},{"key":"11","article-title":"UML\/OCL to SBVR Specification: A challenging Transformation","author":"cabot","year":"2009","journal-title":"Journal of Information Systems"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16289-3_12"},{"journal-title":"Modeling by Example","year":"2007","author":"mendel","key":"21"},{"journal-title":"A Model Driven Approach for the Automated Analysis of UML Class Diagrams","year":"2009","author":"anastasakis","key":"20"},{"journal-title":"UML Superstructure Specification 2 3","year":"2009","key":"22"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.3115\/1690219.1690283"},{"key":"24","first-page":"35","article-title":"Using Inverse lambda and Generalization to Translate English to Formal Languages","author":"baral","year":"2011","journal-title":"9th International Conference on Computational Semantics (IWCS 2011) Oxford UK"},{"key":"25","article-title":"Generating Typed Dependency Parses from Phrase Structure Parses","author":"de marneffe","year":"2006","journal-title":"LREC 2006"},{"journal-title":"NL2Alloy","year":"0","key":"26"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1145\/1007512.1007535"},{"journal-title":"Object Constraint Language (OCL)","year":"2006","key":"3"},{"journal-title":"Unified Modeling Language (UML)","year":"2007","key":"2"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/1342211.1342221"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2003.1261474"},{"journal-title":"The Benefits of Model Driven Development MDD in Modern Web-based Systems","year":"2008","author":"azoff","key":"7"},{"journal-title":"Semantics of Business Vocabulary and Rules (SBVR)","year":"2008","key":"6"},{"key":"5","article-title":"B vs OCL: Comparing specification languages for Planning Domains","author":"kitchin","year":"0","journal-title":"Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling (ICAPS-05)"},{"journal-title":"Software Abstractions Logic Language and Analysis","year":"2006","author":"jackson","key":"4"},{"key":"9","article-title":"Transformation Rules for Translating Business Rules to OCL Constraints","author":"bajwa","year":"0","journal-title":"ECMFA 2011- Seventh European Conference on Modelling Foundations and Applications Birmingham UK June 2011"},{"key":"8","first-page":"436","article-title":"UML2Alloy: A Challenging Model Transformation","volume":"4735","author":"anastasakis","year":"2007","journal-title":"LNCS"}],"event":{"name":"2012 Seventh International Conference on Digital Information Management (ICDIM)","start":{"date-parts":[[2012,8,22]]},"location":"Macau, Macao","end":{"date-parts":[[2012,8,24]]}},"container-title":["Seventh International Conference on Digital Information Management (ICDIM 2012)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6341280\/6360086\/06360153.pdf?arnumber=6360153","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T21:57:36Z","timestamp":1490133456000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6360153\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,8]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/icdim.2012.6360153","relation":{},"subject":[],"published":{"date-parts":[[2012,8]]}}}