{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:50:57Z","timestamp":1740099057461,"version":"3.37.3"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319747293"},{"type":"electronic","value":"9783319747309"}],"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-74730-9_32","type":"book-chapter","created":{"date-parts":[[2018,1,22]],"date-time":"2018-01-22T05:34:11Z","timestamp":1516599251000},"page":"367-374","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["SICOMORo-CM: Development of Trustworthy Systems via Models and Advanced Tools"],"prefix":"10.1007","author":[{"given":"Elvira","family":"Albert","sequence":"first","affiliation":[]},{"given":"Pablo C.","family":"Ca\u00f1izares","sequence":"additional","affiliation":[]},{"given":"Esther","family":"Guerra","sequence":"additional","affiliation":[]},{"given":"Juan","family":"de Lara","sequence":"additional","affiliation":[]},{"given":"Esperanza","family":"Marcos","sequence":"additional","affiliation":[]},{"given":"Manuel","family":"N\u00fa\u00f1ez","sequence":"additional","affiliation":[]},{"given":"Guillermo","family":"Rom\u00e1n-D\u00edez","sequence":"additional","affiliation":[]},{"given":"Juan Manuel","family":"Vara","sequence":"additional","affiliation":[]},{"given":"Damiano","family":"Zanardini","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,1,23]]},"reference":[{"key":"32_CR1","doi-asserted-by":"crossref","unstructured":"Albert, E., Arenas, P., G\u00f3mez-Zamalloa, M.: Testing of concurrent and imperative software using CLP. In: 18th International Symposium on Principles and Practice of Declarative Programming, PPDP 2016, pp. 1\u20138. ACM Press (2016)","DOI":"10.1145\/2967973.2968593"},{"key":"32_CR2","doi-asserted-by":"crossref","unstructured":"Albert, E., Flores-Montoya, A., Genaim, S., Martin-Martin, E.: May-happen-in-parallel analysis for actor-based concurrency. ACM Trans. Comput. Logic 17(2), 11:1\u201311:39 (2016)","DOI":"10.1145\/2824255"},{"key":"32_CR3","doi-asserted-by":"crossref","unstructured":"Benelallam, A., Tisi, M., S\u00e1nchez Cuadrado, J., de Lara, J., Cabot, J.: Efficient model partitioning for distributed model transformations. In: Proceedings of SLE, pp. 226\u2013238. ACM (2016)","DOI":"10.1145\/2997364.2997385"},{"issue":"3","key":"32_CR4","doi-asserted-by":"crossref","first-page":"66","DOI":"10.2307\/41166446","volume":"50","author":"MJ Bitner","year":"2008","unstructured":"Bitner, M.J., Ostrom, A.L., Morgan, F.N.: Service blueprinting: a practical technique for service innovation. California Manag. Rev. 50(3), 66\u201394 (2008)","journal-title":"California Manag. Rev."},{"key":"32_CR5","unstructured":"Carrascal, C., S\u00e1nchez, J., de Lara, J.: Building MDE cloud services with distil. In: CloudMDE@MODELS, CEUR Workshop Proceedings, vol. 1563, pp. 19\u201324 (2015)"},{"issue":"3\u20134","key":"32_CR6","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1007\/s12243-015-0457-8","volume":"70","author":"AR Cavalli","year":"2015","unstructured":"Cavalli, A.R., Higashino, T., N\u00fa\u00f1ez, M.: A survey on formal active and passive testing with applications to the cloud. Ann. Telecom. 70(3\u20134), 85\u201393 (2015)","journal-title":"Ann. Telecom."},{"key":"32_CR7","doi-asserted-by":"crossref","unstructured":"Cerro-Ca\u00f1izares, P., Nu\u00f1ez, A., de Lara, J.: MAGICIAN: model-based design for optimizing the configuration of data-centers. In: Proceedings of SEKE, pp. 602\u2013607 (2017)","DOI":"10.18293\/SEKE2017-108"},{"key":"32_CR8","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1016\/j.jss.2015.08.017","volume":"116","author":"R Claris\u00f3","year":"2016","unstructured":"Claris\u00f3, R., Cabot, J., Guerra, E., de Lara, J.: Backwards reasoning for model transformations: method and applications. J. Syst. Softw. 116, 113\u2013132 (2016)","journal-title":"J. Syst. Softw."},{"key":"32_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-38883-5_1","volume-title":"Theory and Practice of Model Transformations","author":"J S\u00e1nchez Cuadrado","year":"2013","unstructured":"S\u00e1nchez Cuadrado, J., de Lara, J.: Streaming model transformations: scenarios, challenges and initial solutions. In: Duddy, K., Kappel, G. (eds.) ICMT 2013. LNCS, vol. 7909, pp. 1\u201316. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-38883-5_1"},{"key":"32_CR10","doi-asserted-by":"crossref","unstructured":"Cuadrado, J.S., Guerra, E., de Lara, J.: Static analysis of model transformations. IEEE Trans. Softw. Eng. 43(9), 868\u2013897 (2017)","DOI":"10.1109\/TSE.2016.2635137"},{"key":"32_CR11","doi-asserted-by":"crossref","unstructured":"de Lara, J., Guerra, E.: A posteriori typing for model-driven engineering: concepts, analysis, and applications. ACM Trans. Softw. Eng. Methodol. 25(4), 31:1\u201331:60 (2017)","DOI":"10.1145\/3063384"},{"key":"32_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1007\/978-3-662-54494-5_15","volume-title":"Fundamental Approaches to Software Engineering","author":"J Lara de","year":"2017","unstructured":"de Lara, J., Di Rocco, J., Di Ruscio, D., Guerra, E., Iovino, L., Pierantonio, A., Cuadrado, J.S.: Reusing model transformations through typing requirements models. In: Huisman, M., Rubin, J. (eds.) FASE 2017. LNCS, vol. 10202, pp. 264\u2013282. Springer, Heidelberg (2017). https:\/\/doi.org\/10.1007\/978-3-662-54494-5_15"},{"key":"32_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1007\/978-3-662-54494-5_22","volume-title":"Fundamental Approaches to Software Engineering","author":"J Dom\u00e9nech","year":"2017","unstructured":"Dom\u00e9nech, J., Genaim, S., Johnsen, E.B., Schlatte, R.: EasyInterface: a toolkit for rapid development of GUIs for research prototype tools. In: Huisman, M., Rubin, J. (eds.) FASE 2017. LNCS, vol. 10202, pp. 379\u2013383. Springer, Heidelberg (2017). https:\/\/doi.org\/10.1007\/978-3-662-54494-5_22"},{"issue":"4","key":"32_CR14","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1109\/5254.941353","volume":"16","author":"J Gordijn","year":"2001","unstructured":"Gordijn, J., Akkermans, H., Van Vliet, J.: Designing and evaluating e-business models. IEEE Intell. Syst. 16(4), 11\u201317 (2001)","journal-title":"IEEE Intell. Syst."},{"key":"32_CR15","doi-asserted-by":"crossref","unstructured":"Granada, D., Vara, J.M., Brambilla, M., Bollati, V., Marcos, E.: Analysing the cognitive effectiveness of the webml visual notation. Softw. Syst. Model. 16(1), 195\u2013227 (2017)","DOI":"10.1007\/s10270-014-0447-8"},{"key":"32_CR16","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.datak.2016.11.001","volume":"107","author":"E Guerra","year":"2017","unstructured":"Guerra, E., de Lara, J.: Automated analysis of integrity constraints in multi-level models. Data Knowl. Eng. 107, 1\u201323 (2017)","journal-title":"Data Knowl. Eng."},{"issue":"1","key":"32_CR17","doi-asserted-by":"crossref","first-page":"408","DOI":"10.1016\/j.jlamp.2016.02.004","volume":"86","author":"RM Hierons","year":"2017","unstructured":"Hierons, R.M., Merayo, M.G., N\u00fa\u00f1ez, M.: An extended framework for passive asynchronous testing. J. Logical Algebraic Methods Program. 86(1), 408\u2013424 (2017)","journal-title":"J. Logical Algebraic Methods Program."},{"key":"32_CR18","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.scico.2014.09.003","volume":"98","author":"\u00c1 Jim\u00e9nez","year":"2015","unstructured":"Jim\u00e9nez, \u00c1., Vara, J.M., Bollati, V.A., Marcos, E.: Metagem-trace: improving trace generation in model transformation by leveraging the role of transformation models. Sci. Comput. Program. 98, 3\u201327 (2015)","journal-title":"Sci. Comput. Program."},{"key":"32_CR19","unstructured":"Kolovos, D., Rose, L., Paige, R., Guerra, E., Cuadrado, J., De Lara, J., R\u00e1th, I., Varr\u00f3, D., Suny\u00e9, G., Tisi, M.: MONDO: scalable modelling and model management on the cloud. In: STAF Projects Showcase, CEUR Workshop Proceedings, vol. 1400, pp. 44\u201353. CEUR-WS.org (2015)"},{"key":"32_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/978-3-319-42061-5_7","volume-title":"Modelling Foundations and Applications","author":"JJ L\u00f3pez-Fern\u00e1ndez","year":"2016","unstructured":"L\u00f3pez-Fern\u00e1ndez, J.J., Garmendia, A., Guerra, E., de Lara, J.: Example-based generation of graphical modelling environments. In: W\u0105sowski, A., L\u00f6nn, H. (eds.) ECMFA 2016. LNCS, vol. 9764, pp. 101\u2013117. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-42061-5_7"},{"key":"32_CR21","doi-asserted-by":"crossref","first-page":"104","DOI":"10.1016\/j.is.2016.06.008","volume":"62","author":"JJ L\u00f3pez-Fern\u00e1ndez","year":"2016","unstructured":"L\u00f3pez-Fern\u00e1ndez, J.J., Guerra, E., de Lara, J.: Combining unit and specification-based testing for meta-model validation and verification. Inf. Syst. 62, 104\u2013135 (2016)","journal-title":"Inf. Syst."},{"key":"32_CR22","doi-asserted-by":"crossref","unstructured":"Mastroeni, I., Zanardini, D.: Abstract program slicing: an abstract interpretation-based approach to program slicing. ACM Trans. Comput. Logic 18(1), 7:1\u20137:58 (2017)","DOI":"10.1145\/3029052"},{"key":"32_CR23","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1016\/j.infsof.2015.03.009","volume":"64","author":"MG Merayo","year":"2015","unstructured":"Merayo, M.G., N\u00fa\u00f1ez, A.: Passive testing of communicating systems with timeouts. Inf. Softw. Technol. 64, 19\u201335 (2015)","journal-title":"Inf. Softw. Technol."},{"issue":"3\u20134","key":"32_CR24","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/s12243-014-0442-7","volume":"70","author":"A N\u00fa\u00f1ez","year":"2015","unstructured":"N\u00fa\u00f1ez, A., Hierons, R.M.: A methodology for validating cloud models using metamorphic testing. Ann. Telecommun. 70(3\u20134), 127\u2013135 (2015)","journal-title":"Ann. Telecommun."},{"key":"32_CR25","unstructured":"Osterwalder, A., Pigneur, Y.: Business Model Generation: a Handbook for Visionaries, Game Changers, and Challengers. Wiley, Hoboken (2010)"},{"key":"32_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1007\/978-3-319-42064-6_5","volume-title":"Theory and Practice of Model Transformations","author":"J Di Rocco","year":"2016","unstructured":"Di Rocco, J., Di Ruscio, D., Pierantonio, A., Cuadrado, J.S., de Lara, J., Guerra, E.: Using ATL transformation services in the MDEForge collaborative modeling platform. In: Van Van Gorp, P., Engels, G. (eds.) ICMT 2016. LNCS, vol. 9765, pp. 70\u201378. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-42064-6_5"},{"key":"32_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/978-3-319-21151-0_2","volume-title":"Modelling Foundations and Applications","author":"A Rossini","year":"2015","unstructured":"Rossini, A., de Lara, J., Guerra, E., Nikolov, N.: A comparison of two-level and multi-level modelling for cloud-based applications. In: Taentzer, G., Bordeleau, F. (eds.) ECMFA 2015. LNCS, vol. 9153, pp. 18\u201332. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-21151-0_2"},{"key":"32_CR28","doi-asserted-by":"crossref","unstructured":"Sampson, S.E.: Visualizing service operations. J. Serv. Res. 15(2), 182\u2013198 (2012)","DOI":"10.1177\/1094670511435541"},{"key":"32_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/978-3-319-21155-8_5","volume-title":"Theory and Practice of Model Transformations","author":"JS Cuadrado","year":"2015","unstructured":"Cuadrado, J.S., Guerra, E., de Lara, J.: Reusable model transformation components with bent\u014d. In: Kolovos, D., Wimmer, M. (eds.) ICMT 2015. LNCS, vol. 9152, pp. 59\u201365. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-21155-8_5"},{"issue":"1","key":"32_CR30","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/j.jlamp.2015.08.003","volume":"85","author":"D Zanardini","year":"2016","unstructured":"Zanardini, D., Albert, E., Villela, K.: Resource-usage-aware configuration in software product lines. J. Logic Algebraic Methods Program. 85(1), 173\u2013199 (2016)","journal-title":"J. Logic Algebraic Methods Program."}],"container-title":["Lecture Notes in Computer Science","Software Technologies: Applications and Foundations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-74730-9_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,9]],"date-time":"2019-10-09T13:04:10Z","timestamp":1570626250000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-74730-9_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319747293","9783319747309"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-74730-9_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}