{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,14]],"date-time":"2025-05-14T02:27:10Z","timestamp":1747189630035,"version":"3.40.5"},"reference-count":19,"publisher":"World Scientific Pub Co Pte Ltd","issue":"09","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Patt. Recogn. Artif. Intell."],"published-print":{"date-parts":[[2021,7]]},"abstract":"<jats:p> Many Domain-Specific Modeling Languages (DSML) cannot formally define their semantics, leading to difficulties in identifying user-defined domain constraints. In this study, we propose a user-defined mechanism of domain constraints based on the formalization of structural semantics of DSML. First, we formally define concepts and decision methods of consistency and validity of domain constraints. Subsequently, we establish concepts and reasoning methods of domain-based model consistency. Thus, several domain constraint instances are defined and different models instances\u2019 consistency are reasoned based on formalization of software architecture domain metamodel to illustrate our approach. Finally, our formal definition mechanism of domain constraint is added to our automatic translator for formalizing DSML and its models to automatically reason about domain constraints built based on DSML. <\/jats:p>","DOI":"10.1142\/s0218001421530025","type":"journal-article","created":{"date-parts":[[2021,2,26]],"date-time":"2021-02-26T10:42:33Z","timestamp":1614336153000},"page":"2153002","source":"Crossref","is-referenced-by-count":0,"title":["An Approach of Defining Domain Constraints for Domain-Specific Modeling Language"],"prefix":"10.1142","volume":"35","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7071-1639","authenticated-orcid":false,"given":"Tao","family":"Jiang","sequence":"first","affiliation":[{"name":"School of Mathematics and Computer Science, Yunnan Minzu University, Kunming, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Weihong","family":"Zhou","sequence":"additional","affiliation":[{"name":"School of Mathematics and Computer Science, Yunnan Minzu University, Kunming, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2021,4,10]]},"reference":[{"key":"S0218001421530025BIB001","first-page":"77","volume-title":"Proc. MoDeVVa 2013","author":"Al-Lail M.","year":"2013"},{"key":"S0218001421530025BIB002","first-page":"555","volume-title":"Proc. 15th Workshop Model Driven Engineering, Verification and Validation","author":"Baarir S.","year":"2018"},{"key":"S0218001421530025BIB003","first-page":"174","volume-title":"Proc. 18th Int. Workshop on OCL and Textual Modeling","author":"Badreddin O.","year":"2018"},{"volume-title":"Logic Foundation\u2014First-Order Logic and First-Order Theory","year":"2003","author":"Cheng M. Z.","key":"S0218001421530025BIB004"},{"key":"S0218001421530025BIB005","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(59)90362-6"},{"key":"S0218001421530025BIB006","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39721-9_1"},{"volume-title":"Logic in Computer Science\u2014Modelling and Reasoning about Systems","year":"2007","author":"Huth M.","key":"S0218001421530025BIB007"},{"key":"S0218001421530025BIB008","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34059-8_21"},{"key":"S0218001421530025BIB009","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39721-9_4"},{"key":"S0218001421530025BIB010","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-008-0105-0"},{"issue":"27","key":"S0218001421530025BIB011","first-page":"20.1","volume":"17","author":"Jiang T.","year":"2016","journal-title":"Int. J. Simulat. Syst., Sci. Technol."},{"issue":"5","key":"S0218001421530025BIB012","first-page":"299","volume":"33","author":"Jiang T.","year":"2018","journal-title":"Int. J. Comput. Syst. Sci. Eng."},{"key":"S0218001421530025BIB014","first-page":"34","volume-title":"Proc. Conf. Modeling and Analysis of Complex Systems and Processes 2020","author":"Mecheraoui K.","year":"2020"},{"key":"S0218001421530025BIB019","first-page":"8","volume-title":"Proc. 14th Workshop on Model-Driven Engineering, Verification and Validation","author":"Oliveira R.","year":"2017"},{"key":"S0218001421530025BIB020","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2009.62"},{"volume-title":"Domain-Specific Modeling: Enabling Full Code Generation","year":"2008","author":"Steven K.","key":"S0218001421530025BIB021"},{"key":"S0218001421530025BIB024","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-003-0028-8"},{"key":"S0218001421530025BIB025","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-41533-3_21"},{"key":"S0218001421530025BIB026","first-page":"31","volume-title":"Proc. 13th Workshop on Model-Driven Engineering, Verification and Validation","author":"Zalila F.","year":"2016"}],"container-title":["International Journal of Pattern Recognition and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218001421530025","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,26]],"date-time":"2021-08-26T12:08:27Z","timestamp":1629979707000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218001421530025"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,4,10]]},"references-count":19,"journal-issue":{"issue":"09","published-print":{"date-parts":[[2021,7]]}},"alternative-id":["10.1142\/S0218001421530025"],"URL":"https:\/\/doi.org\/10.1142\/s0218001421530025","relation":{},"ISSN":["0218-0014","1793-6381"],"issn-type":[{"type":"print","value":"0218-0014"},{"type":"electronic","value":"1793-6381"}],"subject":[],"published":{"date-parts":[[2021,4,10]]}}}