{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T19:33:58Z","timestamp":1725910438665},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319663012"},{"type":"electronic","value":"9783319663029"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-66302-9_9","type":"book-chapter","created":{"date-parts":[[2017,9,11]],"date-time":"2017-09-11T09:33:55Z","timestamp":1505122435000},"page":"171-193","source":"Crossref","is-referenced-by-count":0,"title":["Meta-Tool for Model-Driven Verification of Constraints Satisfaction"],"prefix":"10.1007","author":[{"given":"C\u00e9sar Cuevas","family":"Cuesta","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patricia L\u00f3pez","family":"Mart\u00ednez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9 M.","family":"Drake","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,9,10]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1007\/s10270-005-0079-0","volume":"4","author":"J B\u00e9zivin","year":"2005","unstructured":"B\u00e9zivin, J.: On the unification power of models. Softw. Syst. Modell. 4, 171\u2013188 (2005)","journal-title":"Softw. Syst. Modell."},{"key":"9_CR2","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1109\/MC.2006.58","volume":"39","author":"DC Schmidt","year":"2006","unstructured":"Schmidt, D.C.: Guest editor\u2019s introduction: model-driven engineering. Computer 39, 25\u201331 (2006)","journal-title":"Computer"},{"key":"9_CR3","unstructured":"Cuevas, C.: Metaherramientas MDE para el dise\u00f1o de entornos de desarrollo de sistemas distribuidos de tiempo real. Ph.D. Thesis (2016)"},{"key":"9_CR4","unstructured":"Cuevas, C., Drake, J.M., L\u00f3pez Mart\u00ednez, P., Guti\u00e9rrez Garc\u00eda, J.J., Gonz\u00e1lez Harbour, M., Medina, J.L., Palencia, J.C.: MAST 2 Metamodel (2012)"},{"key":"9_CR5","unstructured":"http:\/\/www.istr.unican.es\/members\/cesarcuevas\/phd\/3.2-constraintsVerification.html"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Tisi, M., Jouault, F., Fraternali, P., Ceri, S., B\u00e9zivin, J.: On the use of higher-order model transformations. In: Model Driven Architecture-Foundations and Applications, pp. 18\u201333 (2009)","DOI":"10.1007\/978-3-642-02674-4_3"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"B\u00e9zivin, J., B\u00fcttner, F., Gogolla, M., Jouault, F., Kurtev, I., Lindow, A.: Model transformations? Transformation models!. In: Model Driven Engineering Languages and Systems, pp. 440\u2013453 (2006)","DOI":"10.1007\/11880240_31"},{"key":"9_CR8","unstructured":"B\u00e9zivin, J., Jouault, F., Touzet, D.: An introduction to the ATLAS Model Management Architecture. Research report, LINA, (05-01) (2005)"},{"key":"9_CR9","unstructured":"http:\/\/www.istr.unican.es\/members\/cesarcuevas\/phd\/artifactsMAST2.html"},{"key":"9_CR10","unstructured":"Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework, 2nd revised edition (rev) edn. Addison-Wesley Longman, Amsterdam, (2009)"},{"key":"9_CR11","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1016\/j.entcs.2006.01.015","volume":"152","author":"J B\u00e9zivin","year":"2006","unstructured":"B\u00e9zivin, J., Jouault, F.: Using ATL for checking models. Electron. Notes Theoret. Comput. Sci. 152, 69\u201381 (2006)","journal-title":"Electron. Notes Theoret. Comput. Sci."},{"key":"9_CR12","unstructured":"Diguet, J.L.: Checking syntactic constraints on models using ATL model transformations. In: Model Transformation with ATL, p. 140 (2009)"},{"key":"9_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1007\/978-3-642-21470-7_20","volume-title":"Modelling Foundations and Applications","author":"M Elaasar","year":"2011","unstructured":"Elaasar, M., Briand, L., Labiche, Y.: Domain-specific model verification with QVT. In: France, Robert B., Kuester, Jochen M., Bordbar, B., Paige, Richard F. (eds.) ECMFA 2011. LNCS, vol. 6698, pp. 282\u2013298. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-21470-7_20"},{"key":"9_CR14","unstructured":"formal\/2011-06-02: UML Profile for MARTE: Modelling and Analysis of Real-time Embedded Systems, v1.1 (2011)"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Feiler, P.H., Gluch, D.P., Hudak, J.J.: The architecture analysis & design language (AADL): an introduction (2006)","DOI":"10.21236\/ADA455842"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Oriol, X., Teniente, E.: Incremental checking of OCL constraints through SQL queries. In: CEUR Workshop Proceedings, pp. 23\u201332 (2014)","DOI":"10.1007\/978-3-319-25264-3_15"},{"key":"9_CR17","unstructured":"Miliauskaite, E., Nemuraite, L.: Taxonomy of integrity constraints in conceptual models. In: IADIS Virtual Multi Conference on Computer Science and Information Systems (2005)"},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"Delmas, R., Pires, A.F., Polacsek, T.: A verification and validation process for model driven engineering. In: Progress in Flight Dynamics, Guidance, Navigation, Control, Fault Detection, and Avionics, pp. 455\u2013468 (2013)","DOI":"10.1051\/eucass\/201306455"},{"key":"9_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"436","DOI":"10.1007\/978-3-540-75209-7_30","volume-title":"Model Driven Engineering Languages and Systems","author":"K Anastasakis","year":"2007","unstructured":"Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: UML2Alloy: a challenging model transformation. In: Engels, G., Opdyke, B., Schmidt, Douglas C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 436\u2013450. Springer, Heidelberg (2007). doi: 10.1007\/978-3-540-75209-7_30"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"Cabot, J., Claris\u00f3, R., Riera, D.: UMLtoCSP: a tool for the formal verification of UML\/OCL models using constraint programming. In: Proceedings of the Twenty-Second IEEE\/ACM International Conference on Automated Software Engineering, pp. 547\u2013548 (2007)","DOI":"10.1145\/1321631.1321737"},{"key":"9_CR21","unstructured":"P\u00e9rez, C.A.G., Buettner, F., Claris\u00f3, R., Cabot, J.: EMFtoCSP: a tool for the lightweight verification of EMF models. In: Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA) (2012)"}],"container-title":["Communications in Computer and Information Science","Model-Driven Engineering and Software Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66302-9_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,2]],"date-time":"2022-08-02T12:43:50Z","timestamp":1659444230000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66302-9_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319663012","9783319663029"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66302-9_9","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2017]]}}}