{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:50:52Z","timestamp":1740099052525,"version":"3.37.3"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319929965"},{"type":"electronic","value":"9783319929972"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-92997-2_8","type":"book-chapter","created":{"date-parts":[[2018,5,28]],"date-time":"2018-05-28T08:13:16Z","timestamp":1527495196000},"page":"115-131","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Parallel Model Validation with Epsilon"],"prefix":"10.1007","author":[{"given":"Sina","family":"Madani","sequence":"first","affiliation":[]},{"given":"Dimitrios S.","family":"Kolovos","sequence":"additional","affiliation":[]},{"given":"Richard F.","family":"Paige","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,5,29]]},"reference":[{"key":"8_CR1","unstructured":"Kolovos, D.S., Paige, R.F., Polack, F.A.C.: Scalability: the holy grail of model driven engineering. In: Proceedings of the First International Workshop on Challenges in Model Driven Software Engineering, Toulouse, pp. 10\u201314 (2008)"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Kolovos, D.S., Rose, L.M., Matragkas, N., Paige, R.F., Guerra, E., Cuadrado, J.S., De Lara, J., R\u00e0th, I., Varr\u00f2, D., Tisi, M., Cabot, J.: A research roadmap towards achieving scalability in model driven engineering. In: Proceedings of the Workshop on Scalability in Model Driven Engineering, Budapest (2013). Article No. 2","DOI":"10.1145\/2487766.2487768"},{"key":"8_CR3","unstructured":"Parallel EVL implementation. https:\/\/github.com\/epsilonlabs\/parallel-erl"},{"key":"8_CR4","unstructured":"Smith, M.: Parallel model validation. Masters\u2019 thesis, University of York (2015)"},{"issue":"1\u20132","key":"8_CR5","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/j.scico.2007.08.002","volume":"72","author":"F Joualt","year":"2008","unstructured":"Joualt, F., Allilaire, F., B\u00e8zivin, J., Kurtev, I.: ATL: a model transformation tool. Sci. Comput. Program. 72(1\u20132), 31\u201339 (2008)","journal-title":"Sci. Comput. Program."},{"key":"8_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/978-3-642-13688-7_9","volume-title":"Theory and Practice of Model Transformations","author":"F Jouault","year":"2010","unstructured":"Jouault, F., Tisi, M.: Towards incremental execution of ATL transformations. In: Tratt, L., Gogolla, M. (eds.) ICMT 2010. LNCS, vol. 6142, pp. 123\u2013137. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-13688-7_9"},{"key":"8_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/978-3-642-24485-8_4","volume-title":"Model Driven Engineering Languages and Systems","author":"M Tisi","year":"2011","unstructured":"Tisi, M., Mart\u00ednez, S., Jouault, F., Cabot, J.: Lazy execution of model-to-model transformations. In: Whittle, J., Clark, T., K\u00fchne, T. (eds.) MODELS 2011. LNCS, vol. 6981, pp. 32\u201346. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-24485-8_4"},{"key":"8_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"656","DOI":"10.1007\/978-3-642-41533-3_40","volume-title":"Model-Driven Engineering Languages and Systems","author":"M Tisi","year":"2013","unstructured":"Tisi, M., Mart\u00ednez, S., Choura, H.: Parallel execution of ATL transformation rules. In: Moreira, A., Sch\u00e4tz, B., Gray, J., Vallecillo, A., Clarke, P. (eds.) MODELS 2013. LNCS, vol. 8107, pp. 656\u2013672. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-41533-3_40"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Benelallam, A., G\u00f3mez, A., Tisi, M., Cabot, J.: Distributed model-to-model transformation with ATL on MapReduce. In: Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, pp. 37\u201348 (2015)","DOI":"10.1145\/2837476.2837482"},{"issue":"C","key":"8_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.scico.2016.08.006","volume":"136","author":"S Mart\u00ednez","year":"2017","unstructured":"Mart\u00ednez, S., Tisi, M., Douence, R.: Reactive model transformation with ATL. Sci. Comput. Program. 136(C), 1\u201316 (2017)","journal-title":"Sci. Comput. Program."},{"key":"8_CR11","unstructured":"Object Constraint Language (OCL) specification. http:\/\/www.omg.org\/spec\/OCL\/About-OCL\/"},{"key":"8_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/11767138_7","volume-title":"Advanced Information Systems Engineering","author":"J Cabot","year":"2006","unstructured":"Cabot, J., Teniente, E.: Incremental evaluation of OCL constraints. In: Dubois, E., Pohl, K. (eds.) CAiSE 2006. LNCS, vol. 4001, pp. 81\u201395. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11767138_7"},{"key":"8_CR13","unstructured":"Tisi, M., Douence, R., Wagelaar, D.: Lazy evaluation for OCL. In: Proceedings of the 15th International Workshop on OCL and Textual Modeling Co-located with 18th International Conference on Model Driven Engineering Languages and Systems, Ottawa, pp. 46\u201361 (2015)"},{"key":"8_CR14","unstructured":"Vajk, T., D\u00e1vid, Z., Asztalos, M., Mezei, G., Levendovszky, T.: Runtime model validation with parallel object constraint language. In: Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation, Wellington (2011). Article No. 7"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Paige, R.F., Kolovos, D.S., Rose, L.M., Drivalos, N., Polack, F.A.C.: The design of a conceptual framework and technical infrastructure for model management language engineering. In: Proceedings of the 2009 14th IEEE International Conference on Engineering of Complex Computer Systems, Potsdam, pp. 162\u2013171 (2009)","DOI":"10.1109\/ICECCS.2009.14"},{"key":"8_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/11787044_11","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"DS Kolovos","year":"2006","unstructured":"Kolovos, D.S., Paige, R.F., Polack, F.A.C.: The epsilon object language (EOL). In: Rensink, A., Warmer, J. (eds.) ECMDA-FA 2006. LNCS, vol. 4066, pp. 128\u2013142. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11787044_11"},{"key":"8_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1007\/978-3-642-11447-2_13","volume-title":"Rigorous Methods for Software Construction and Analysis","author":"DS Kolovos","year":"2009","unstructured":"Kolovos, D.S., Paige, R.F., Polack, F.A.C.: On the evolution of OCL for capturing structural constraints in modelling languages. In: Abrial, J.-R., Gl\u00e4sser, U. (eds.) Rigorous Methods for Software Construction and Analysis. LNCS, vol. 5115, pp. 204\u2013218. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-11447-2_13"},{"key":"8_CR18","volume-title":"Java Concurrency in Practice","author":"B Goetz","year":"2005","unstructured":"Goetz, B., Peierls, T., Bloch, J., Bowbeer, J., Holmes, D., Lea, D.: Java Concurrency in Practice. Addison-Wesley, Boston (2005)"},{"key":"8_CR19","unstructured":"java.util.concurrent.ExecutorService. https:\/\/docs.oracle.com\/javase\/9\/docs\/api\/java\/util\/concurrent\/ExecutorService.html"},{"key":"8_CR20","unstructured":"java.util.concurrent.ThreadPoolExecutor. https:\/\/docs.oracle.com\/javase\/9\/docs\/api\/java\/util\/concurrent\/ThreadPoolExecutor.html"},{"key":"8_CR21","unstructured":"java.util.concurrent.ConcurrentLinkedDeque. https:\/\/docs.oracle.com\/javase\/9\/docs\/api\/java\/util\/concurrent\/ConcurrentLinkedDeque.html"},{"key":"8_CR22","unstructured":"java.util.concurrent.ConcurrentHashMap. https:\/\/docs.oracle.com\/javase\/9\/docs\/api\/java\/util\/concurrent\/ConcurrentHashMap.html"},{"issue":"8","key":"8_CR23","doi-asserted-by":"publisher","first-page":"1012","DOI":"10.1016\/j.infsof.2014.04.007","volume":"56","author":"H Bruneli\u00e8re","year":"2014","unstructured":"Bruneli\u00e8re, H., Cabot, J., Dup\u00e9, G., Madiot, F.: MoDisco: a model driven reverse engineering framework. Inf. Softw. Technol. 56(8), 1012\u20131032 (2014)","journal-title":"Inf. Softw. Technol."},{"key":"8_CR24","unstructured":"Eclipse platform EMF models. http:\/\/atenea.lcc.uma.es\/index.php\/Main_Page\/Resources\/LinTra#Input_Models_3"},{"key":"8_CR25","unstructured":"Burge\u00f1o, L., Troya, J., Wimmer, M., Vallecillo, A.: Parallel in-place model transformations with LinTra. In: Proceedings of the 3rd Workshop on Scalable Model Driven Engineering, L\u2019Aquila, pp. 52\u201362 (2015)"},{"key":"8_CR26","unstructured":"Goetz, B.: From Concurrent to Parallel. QCon 2017, London. https:\/\/www.infoq.com\/presentations\/tecniques-parallelism-java"},{"key":"8_CR27","unstructured":"Incremental EVL. https:\/\/github.com\/epsilonlabs\/incremental-evl"},{"key":"8_CR28","doi-asserted-by":"crossref","unstructured":"Kolovos, D.S., Paige, R.F.: The epsilon pattern language. In: Proceedings of the 9th International Workshop on Modelling in Software Engineering, Buenos Aires, pp. 54\u201360 (2017)","DOI":"10.1109\/MiSE.2017.8"},{"key":"8_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/978-3-642-02674-4_11","volume-title":"Model Driven Architecture - Foundations and Applications","author":"DS Kolovos","year":"2009","unstructured":"Kolovos, D.S.: Establishing correspondences between models with the epsilon comparison language. In: Paige, R.F., Hartman, A., Rensink, A. (eds.) ECMDA-FA 2009. LNCS, vol. 5562, pp. 146\u2013157. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-02674-4_11"},{"key":"8_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-69100-6_1","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"LM Rose","year":"2008","unstructured":"Rose, L.M., Paige, R.F., Kolovos, D.S., Polack, F.A.C.: The epsilon generation language. In: Schieferdecker, I., Hartman, A. (eds.) ECMDA-FA 2008. LNCS, vol. 5095, pp. 1\u201316. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-69100-6_1"}],"container-title":["Lecture Notes in Computer Science","Modelling Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-92997-2_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,18]],"date-time":"2019-10-18T13:57:54Z","timestamp":1571407074000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-92997-2_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319929965","9783319929972"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-92997-2_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}