{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,4,15]],"date-time":"2023-04-15T17:31:53Z","timestamp":1681579913771},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2013,12,11]],"date-time":"2013-12-11T00:00:00Z","timestamp":1386720000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Data Semant"],"published-print":{"date-parts":[[2014,9]]},"DOI":"10.1007\/s13740-013-0030-4","type":"journal-article","created":{"date-parts":[[2013,12,10]],"date-time":"2013-12-10T13:06:13Z","timestamp":1386680773000},"page":"143-155","source":"Crossref","is-referenced-by-count":1,"title":["Integrating a Formal Development for DSLs into Meta-Modeling"],"prefix":"10.1007","volume":"3","author":[{"given":"Selma","family":"Djeddai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Strecker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed","family":"Mezghiche","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,12,11]]},"reference":[{"key":"30_CR1","doi-asserted-by":"crossref","unstructured":"Anastasakis K, Bordbar B, Georg G, Ray I (2007) UML2Alloy: a challenging model transformation. In: Engels G, Opdyke B, Schmidt DC, Weil F (eds) MoDELS. Lecture Notes in Computer Science, vol 4735, Springer, Berlin, pp 436\u2013450","DOI":"10.1007\/978-3-540-75209-7_30"},{"key":"30_CR2","doi-asserted-by":"crossref","unstructured":"Baklanova N, Strecker M (2013) Abstraction and verification of properties of a real-time java. In: Ermolayev V, Mayr HC, Nikitchenko M, Spivakovsky A, Zholtkevych G (eds) ICT in education, research, and industrial applications, communications in computer and information science, vol 347. Springer, Berlin. pp 1\u201318. doi: 10.1007\/978-3-642-35737-41 . http:\/\/www.irit.fr\/Martin.Strecker\/Publications\/icteri2012.html","DOI":"10.1007\/978-3-642-35737-4_1"},{"key":"30_CR3","doi-asserted-by":"crossref","unstructured":"Baldan P, Corradini A, K\u00f6nig B (2008) A framework for the verification of infinite-state graph transformation systems. Inf Comput 206:869\u2013907. doi: 10.1016\/j.ic.2008.04.002 . http:\/\/citeseerx.ist.psu.edu\/viewdoc\/download?","DOI":"10.1016\/j.ic.2008.04.002"},{"key":"30_CR4","doi-asserted-by":"crossref","unstructured":"B\u00e9zivin J (2006) Model driven engineering: an emerging technical space. In: L\u00e4mmel R, Saraiva J, Visser J (eds) Generative and transformational techniques in software engineering. Lecture Notes in Computer Science, vol 4143. Springer, Berlin, pp 36\u201364. doi: 10.1007\/118770282 . https:\/\/www.uni-koblenz.de\/laemmel\/gttse\/2005\/pdfs\/41430036.pdf","DOI":"10.1007\/11877028_2"},{"key":"30_CR5","unstructured":"Budinsky F, Brodsky SA, Merks E (2003) Eclipse modeling framework. Pearson, education"},{"key":"30_CR6","unstructured":"Coq Development Team: The Coq proof assistant reference manual. version 8.31 (2010). http:\/\/coq.inria.fr\/refman\/"},{"issue":"6","key":"30_CR7","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1145\/352029.352035","volume":"35","author":"A Deursen van","year":"2000","unstructured":"van Deursen A, Klint P, Visser J (2000) Domain-specific languages: an annotated bibliography. SIGPLAN Notices 35(6):26\u201336","journal-title":"SIGPLAN Notices"},{"key":"30_CR8","unstructured":"Djeddai S (2013) Combining formal verification environments and model-driven engineering. Ph.D. thesis, Universit\u00e9 de Toulouse. http:\/\/www.irit.fr\/~Selma.Djeddai\/PhD_selma_djeddai.html"},{"key":"30_CR9","doi-asserted-by":"crossref","unstructured":"Djeddai S, Strecker M, Mezghiche M (2012) Integrating a formal development for DSLs into meta-modeling. In: Abell\u00f3 A, Bellatreche L, Benatallah B (eds) MEDI. Lecture Notes in Computer Science, vol 7602. Springer, Berlin, pp 55\u201366","DOI":"10.1007\/978-3-642-33609-6_7"},{"key":"30_CR10","doi-asserted-by":"crossref","unstructured":"Ehrig K, Ermel C, H\u00e4nsgen S, Taentzer G (2005) Generation of visual editors as Eclipse plug-ins. In: Proceedings of the 20th IEEE\/ACM international conference on automated software engineering, ASE \u201905, ACM, New York, pp 134\u2013143. doi: 10.1145\/1101908.1101930","DOI":"10.1145\/1101908.1101930"},{"issue":"7","key":"30_CR11","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1016\/S0920-5489(98)00020-8","volume":"19","author":"RB France","year":"1998","unstructured":"France RB, Evans A, Lano K, Rumpe B (1998) The UML as a formal modeling notation. Comput Stand Interfaces 19(7):325\u2013334","journal-title":"Comput Stand Interfaces"},{"key":"30_CR12","volume-title":"Eclipse modeling project: a domain-specific language (DSL) toolkit","author":"RC Gronback","year":"2009","unstructured":"Gronback RC (2009) Eclipse modeling project: a domain-specific language (DSL) toolkit. Addison-Wesley, Upper Saddle River"},{"key":"30_CR13","doi-asserted-by":"crossref","unstructured":"Idani A (2009) UML models engineering from static and dynamic aspects of formal specifications. In: Halpin TA, Krogstie J, Nurcan S, Proper E, Schmidt R, Soffer P, Ukor R (eds) BMMDS\/EMMSAD. Lecture Notes in Business Information Processing, vol 29. Springer, Berlin, pp 237\u2013250","DOI":"10.1007\/978-3-642-01862-6_20"},{"key":"30_CR14","unstructured":"Idani A, Boulanger JL, Philippe L (2007) A generic process and its tool support towards combining UML and B for safety critical systems. In: Hu G (ed) CAINE, ISCA. pp 185\u2013192"},{"key":"30_CR15","unstructured":"Kleppe AG, Warmer J, Bast W (2003) MDA explained: the model driven architecture: practice and promise. Addison-Wesley Longman Publishing Co. Inc., Boston"},{"key":"30_CR16","unstructured":"de Lara J, Vangheluwe H (2002) Using AToM $$^{3}$$ 3 as a meta-case tool. In: ICEIS, pp 642\u2013649. http:\/\/www.cs.mcgill.ca\/hv\/publications\/02.ICEIS.MCASE.pdf"},{"key":"30_CR17","unstructured":"Leroy X, Doligez D, Frisch A, Garrigue J, R\u00e9my D, Vouillon J (2011) The OCaml system release 3.12. documentation and user\u2019s manual. Online. http:\/\/caml.inria.fr\/pub\/docs\/manual-ocaml\/index.html"},{"key":"30_CR18","doi-asserted-by":"crossref","unstructured":"Nipkow T, Paulson L, Wenzel M (2002) Isabelle\/HOL. A proof assistant for higher-order logic. LNCS 2283. Springer, Berlin. http:\/\/isabelle.in.tum.de","DOI":"10.1007\/3-540-45949-9"},{"key":"30_CR19","unstructured":"OMG: Meta Object Facility (MOF) Core v. 2.0 Document (2006). http:\/\/www.omg.org\/spec\/MOF"},{"key":"30_CR20","doi-asserted-by":"crossref","unstructured":"Selic B (2003) The pragmatics of model-driven development. IEEE Softw 20(5):19\u201325. doi: 10.1109\/MS.2003.1231146","DOI":"10.1109\/MS.2003.1231146"},{"key":"30_CR21","doi-asserted-by":"crossref","unstructured":"Shah SMA, Anastasakis K, Bordbar B (2009) From UML to Alloy and back again. In: Ghosh S (ed) MoDELS workshops. Lecture Notes in Computer Science, vol 6002, Springer, Berlin, pp 158\u2013171","DOI":"10.1145\/1656485.1656489"},{"key":"30_CR22","unstructured":"Stevens P (2007) A landscape of bidirectional model transformations. In: L\u00e4mmel R, Visser J, Saraiva J (eds) GTTSE. Lecture Notes in Computer Science, vol 5235 Springer, Berlin, pp 408\u2013424"},{"key":"30_CR23","doi-asserted-by":"crossref","unstructured":"Varr\u00f3 D (2004) Automated formal verification of visual modeling languages by model checking. Softw Syst Model 3(2):85\u2013113. doi: 10.1007\/s10270-003-0050-x","DOI":"10.1007\/s10270-003-0050-x"}],"container-title":["Journal on Data Semantics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13740-013-0030-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s13740-013-0030-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13740-013-0030-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,4]],"date-time":"2019-08-04T19:04:08Z","timestamp":1564945448000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s13740-013-0030-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,12,11]]},"references-count":23,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2014,9]]}},"alternative-id":["30"],"URL":"https:\/\/doi.org\/10.1007\/s13740-013-0030-4","relation":{},"ISSN":["1861-2032","1861-2040"],"issn-type":[{"value":"1861-2032","type":"print"},{"value":"1861-2040","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,12,11]]}}}