{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T05:33:51Z","timestamp":1743140031666,"version":"3.40.3"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319117393"},{"type":"electronic","value":"9783319117409"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11740-9_28","type":"book-chapter","created":{"date-parts":[[2014,9,25]],"date-time":"2014-09-25T09:05:14Z","timestamp":1411635914000},"page":"295-306","source":"Crossref","is-referenced-by-count":0,"title":["An Approach for Automatically Reasoning Consistency of Domain-Specific Modelling Language"],"prefix":"10.1007","author":[{"given":"Tao","family":"Jiang","sequence":"first","affiliation":[]},{"given":"Xin","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Li-Dong","family":"Huang","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"28_CR1","unstructured":"Steven, K., Juha-Pekka, T.: Domain-specific modeling: Enabling full code genera-tion. John Wiley & Sons, New Jersey (2008)"},{"issue":"4","key":"28_CR2","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1007\/s10270-008-0105-0","volume":"8","author":"E.K. Jackson","year":"2008","unstructured":"Jackson, E.K., Sztipanovits, J.: Formalizing the Structural Semantics of Domain-Specific Modeling Languages. Journal of Software and Systems Modeling\u00a08(4), 451\u2013478 (2008)","journal-title":"Journal of Software and Systems Modeling"},{"key":"28_CR3","unstructured":"ISIS Vanderbilt University, GME Users Manual (2013), \n                        http:\/\/www.isis.vanderbilt.edu\/Projects\/gme\/"},{"key":"28_CR4","unstructured":"Object Management Group, Unified Modeling Language: Superstructure version 2.4.1 (2011), \n                        http:\/\/www.omg.org\/spec\/UML\/2.4.1\/Superstructure\/PDF"},{"key":"28_CR5","unstructured":"Object Management Group, Meta Object Facility Specification version 2.4.1 (2011), \n                        http:\/\/www.omg.org\/spec\/MOF\/2.4.1"},{"key":"28_CR6","unstructured":"MetaCase, MetaEdit+ Version 5.0 User\u2019s Guide (2014), \n                        http:\/\/www.metacase.com\/support\/50\/manuals\/meplus\/Mp.html"},{"key":"28_CR7","unstructured":"Andreopoulos, W.: Defining Formal Semantics for the Unified Modeling Language, in Technique Report of University of Toronto, Toronto (2000)"},{"key":"28_CR8","unstructured":"Shroff, M.: Towards A Formalization of UML Class Structures in Z. In: Proceedings of COMPSAC 1997 (1997)"},{"key":"28_CR9","doi-asserted-by":"crossref","unstructured":"Jackson, E.K., Sztipanovits, J.: Towards a formal foundation for domain specific modeling languages. In: Proceedings of the Sixth ACM International Conference on Embedded Software (EMSOFT 2006), pp. 53\u201362 (October 2006)","DOI":"10.1145\/1176887.1176896"},{"key":"28_CR10","unstructured":"Sun, X.P.: A Research of Visual Domain-Specific Meta-Modeling Language and Its Instantiation, Yunnan University, Kunming (2010)"},{"issue":"6","key":"28_CR11","doi-asserted-by":"publisher","first-page":"1321","DOI":"10.4304\/jsw.7.6.1321-1328","volume":"7","author":"T. Jiang","year":"2012","unstructured":"Jiang, T.: Formalizing Domain-Specific Metamodeling Language XMML Based on First-order Logic. Journal of Software\u00a07(6), 1321\u20131328 (2012)","journal-title":"Journal of Software"},{"key":"28_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1007\/978-3-540-88194-0_23","volume-title":"Formal Methods and Software Engineering","author":"L. Shan","year":"2008","unstructured":"Shan, L., Zhu, H.: A formal descriptive semantics of UML. In: Liu, S., Maibaum, T., Araki, K. (eds.) ICFEM 2008. LNCS, vol.\u00a05256, pp. 375\u2013396. Springer, Heidelberg (2008)"},{"key":"28_CR13","unstructured":"Cheng, M.Z., Yu, J.: Logic foundation\u2014first-order logic and first-order theory. Chinese People University Press, Beijing (2003)"},{"key":"28_CR14","unstructured":"Jiang, T.: Research on Formalization of Domain-Specific Metamodeling Lan-guage and Its Model Consistency Verification, Yunnan University, Kunming (2011)"},{"key":"28_CR15","unstructured":"Max-Planck-Institut Informatik, SPASS Tutorial (2010), \n                        http:\/\/www.spass-prover.org\/tutorial.html"}],"container-title":["Lecture Notes in Computer Science","Rough Sets and Knowledge Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11740-9_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,14]],"date-time":"2023-02-14T22:10:41Z","timestamp":1676412641000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-11740-9_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319117393","9783319117409"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11740-9_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}