{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:36:05Z","timestamp":1750221365656,"version":"3.41.0"},"reference-count":20,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2018,3,28]],"date-time":"2018-03-28T00:00:00Z","timestamp":1522195200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGSOFT Softw. Eng. Notes"],"published-print":{"date-parts":[[2018,3,28]]},"abstract":"<jats:p>Transformation of a model based on first-order logic to a model that provides semantic notations is helpful necessary during the analysis phase of any proposed software. The semantic notations often guide the designer to develop pseudocode correctly. This study focuses on facilitation of transformation of one formal model, i.e., Alloy into another, i.e., OWL. The proposed approach extends the concept of existing techniques i.e., UML2Alloy and TwoUse to transform Alloy model into OWL. UML2Alloy transforms UML model into Alloy model, whereas TwoUse approach bridges the gap between UML model and OWL model. Alloy2OWL is based on metamodel-based transformation techniques, which help to map source model, i.e., Alloy into target model, i.e., OWL. For the proper explanation of this study, a model transformation framework is presented, which can be applied to other transformation languages. The proposed approach utilizes the Model-Driven Development techniques to deal with the analysis of Alloy model and determines design problems within a specification. In this paper, various challenges are also presented which occur during the transformation of Alloy to OWL.<\/jats:p>","DOI":"10.1145\/3178315.3178331","type":"journal-article","created":{"date-parts":[[2018,3,30]],"date-time":"2018-03-30T12:19:12Z","timestamp":1522412352000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Transformation of Alloy Notation into a Semantic Notation"],"prefix":"10.1145","volume":"43","author":[{"given":"Ashish Kumar","family":"Dwivedi","sequence":"first","affiliation":[{"name":"National Institute of Technology Rourkela, Odisha, India"}]},{"given":"Santanu Kumar","family":"Rath","sequence":"additional","affiliation":[{"name":"skrath@nitrkl.ac.in, Odisha, India"}]}],"member":"320","published-online":{"date-parts":[[2018,3,28]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-008-0110-3"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2010.07.009"},{"key":"e_1_2_1_3_1","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1007\/978-3-642-15543-7_3","volume-title":"Reasoning web. semantic technologies for software engineering","author":"Staab Steffen","year":"2010"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijhcs.2007.03.001"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2010.10.025"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-015-0222-6"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/505145.505149"},{"key":"e_1_2_1_8_1","unstructured":"Software Design Group. Alloy analyzer 4. http:\/\/alloy.mit.edu\/alloy4\/ 2010.  Software Design Group. Alloy analyzer 4. http:\/\/alloy.mit.edu\/alloy4\/ 2010."},{"key":"e_1_2_1_9_1","unstructured":"W3C OWL Working Group. Owl 2 web ontology language. http:\/\/www.w3.org\/TR\/owl2-overview\/ 2012.  W3C OWL Working Group. Owl 2 web ontology language. http:\/\/www.w3.org\/TR\/owl2-overview\/ 2012."},{"volume-title":"August","year":"2011","author":"Pellet Clark","key":"e_1_2_1_10_1"},{"issue":"6","key":"e_1_2_1_11_1","first-page":"365","article-title":"A tool to generate Alloy from NL constraints","volume":"10","author":"Bajwa Imran Sarwar","year":"2012","journal-title":"Journal of Digital Information Management"},{"key":"e_1_2_1_12_1","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1007\/978-3-319-09870-8_17","volume-title":"Rules on the Web. From Theory to Applications","author":"Sadoun Driss","year":"2014"},{"key":"e_1_2_1_13_1","doi-asserted-by":"crossref","unstructured":"Bernardo FB Braga Jo\u00e3o Paulo Andrade Almeida Giancarlo Guizzardi and Alessander B Benevides. Transforming OntoUML into Alloy: towards conceptual model validation using a lightweight formal method. Innovations in Systems and Software Engineering 6(1--2):55--63 2010.  Bernardo FB Braga Jo\u00e3o Paulo Andrade Almeida Giancarlo Guizzardi and Alessander B Benevides. Transforming OntoUML into Alloy: towards conceptual model validation using a lightweight formal method. Innovations in Systems and Software Engineering 6(1--2):55--63 2010.","DOI":"10.1007\/s11334-009-0120-5"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-013-0353-5"},{"key":"e_1_2_1_15_1","first-page":"1","volume-title":"Networking and Parallel\/Distributed Computing (SNPD), 2015 16th IEEE\/ACIS International Conference on","author":"Garoui Mohamed","year":"2015"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/2663689.2663697"},{"key":"e_1_2_1_17_1","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/978-3-319-13338-6_9","volume-title":"Hardware and Software: Verification and Testing","author":"Grunwald Daniel","year":"2014"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38613-8_4"},{"key":"e_1_2_1_19_1","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1007\/978-3-642-23032-5_2","volume-title":"Reasoning Web Semantic Technologies for the Web of Data","author":"Rudolph Sebastian","year":"2011"},{"volume-title":"Object-oriented modeling and design","year":"1991","author":"Rumbaugh James","key":"e_1_2_1_20_1"}],"container-title":["ACM SIGSOFT Software Engineering Notes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3178315.3178331","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3178315.3178331","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:26:23Z","timestamp":1750213583000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3178315.3178331"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,3,28]]},"references-count":20,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2018,3,28]]}},"alternative-id":["10.1145\/3178315.3178331"],"URL":"https:\/\/doi.org\/10.1145\/3178315.3178331","relation":{},"ISSN":["0163-5948"],"issn-type":[{"type":"print","value":"0163-5948"}],"subject":[],"published":{"date-parts":[[2018,3,28]]},"assertion":[{"value":"2018-03-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}