Abstract
In this paper we present the SICOMORo-CM project. Its main aim is to advance the state of the art in the development of reliable and trustworthy systems by combining formal and model-based approaches. The project started on October 1st, 2014 and will last four years. The project consortium is integrated by five research groups based in Madrid (Spain) and it has been funded by the Regional Government of Madrid and the European Social Fund of the European Commission with a total of 635.088,65€.
Research partially supported by the Comunidad de Madrid project desarrollo de SIstemas COnfiables mediante MOdelos y herRamientas avanzadas SICOMORo-CM (S2013/ICE-3006). The project web site is http://sicomoro-cm.es/.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Albert, E., Arenas, P., Gómez-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–8. ACM Press (2016)
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–11:39 (2016)
Benelallam, A., Tisi, M., Sánchez Cuadrado, J., de Lara, J., Cabot, J.: Efficient model partitioning for distributed model transformations. In: Proceedings of SLE, pp. 226–238. ACM (2016)
Bitner, M.J., Ostrom, A.L., Morgan, F.N.: Service blueprinting: a practical technique for service innovation. California Manag. Rev. 50(3), 66–94 (2008)
Carrascal, C., Sánchez, J., de Lara, J.: Building MDE cloud services with distil. In: CloudMDE@MODELS, CEUR Workshop Proceedings, vol. 1563, pp. 19–24 (2015)
Cavalli, A.R., Higashino, T., Núñez, M.: A survey on formal active and passive testing with applications to the cloud. Ann. Telecom. 70(3–4), 85–93 (2015)
Cerro-Cañizares, P., Nuñez, A., de Lara, J.: MAGICIAN: model-based design for optimizing the configuration of data-centers. In: Proceedings of SEKE, pp. 602–607 (2017)
Clarisó, R., Cabot, J., Guerra, E., de Lara, J.: Backwards reasoning for model transformations: method and applications. J. Syst. Softw. 116, 113–132 (2016)
Sánchez 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–16. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-38883-5_1
Cuadrado, J.S., Guerra, E., de Lara, J.: Static analysis of model transformations. IEEE Trans. Softw. Eng. 43(9), 868–897 (2017)
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–31:60 (2017)
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–282. Springer, Heidelberg (2017). https://doi.org/10.1007/978-3-662-54494-5_15
Doménech, 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–383. Springer, Heidelberg (2017). https://doi.org/10.1007/978-3-662-54494-5_22
Gordijn, J., Akkermans, H., Van Vliet, J.: Designing and evaluating e-business models. IEEE Intell. Syst. 16(4), 11–17 (2001)
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–227 (2017)
Guerra, E., de Lara, J.: Automated analysis of integrity constraints in multi-level models. Data Knowl. Eng. 107, 1–23 (2017)
Hierons, R.M., Merayo, M.G., Núñez, M.: An extended framework for passive asynchronous testing. J. Logical Algebraic Methods Program. 86(1), 408–424 (2017)
Jiménez, Á., 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–27 (2015)
Kolovos, D., Rose, L., Paige, R., Guerra, E., Cuadrado, J., De Lara, J., Ráth, I., Varró, D., Sunyé, G., Tisi, M.: MONDO: scalable modelling and model management on the cloud. In: STAF Projects Showcase, CEUR Workshop Proceedings, vol. 1400, pp. 44–53. CEUR-WS.org (2015)
López-Fernández, J.J., Garmendia, A., Guerra, E., de Lara, J.: Example-based generation of graphical modelling environments. In: Wąsowski, A., Lönn, H. (eds.) ECMFA 2016. LNCS, vol. 9764, pp. 101–117. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-42061-5_7
López-Fernández, J.J., Guerra, E., de Lara, J.: Combining unit and specification-based testing for meta-model validation and verification. Inf. Syst. 62, 104–135 (2016)
Mastroeni, I., Zanardini, D.: Abstract program slicing: an abstract interpretation-based approach to program slicing. ACM Trans. Comput. Logic 18(1), 7:1–7:58 (2017)
Merayo, M.G., Núñez, A.: Passive testing of communicating systems with timeouts. Inf. Softw. Technol. 64, 19–35 (2015)
Núñez, A., Hierons, R.M.: A methodology for validating cloud models using metamorphic testing. Ann. Telecommun. 70(3–4), 127–135 (2015)
Osterwalder, A., Pigneur, Y.: Business Model Generation: a Handbook for Visionaries, Game Changers, and Challengers. Wiley, Hoboken (2010)
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–78. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-42064-6_5
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–32. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-21151-0_2
Sampson, S.E.: Visualizing service operations. J. Serv. Res. 15(2), 182–198 (2012)
Cuadrado, J.S., Guerra, E., de Lara, J.: Reusable model transformation components with bentō. In: Kolovos, D., Wimmer, M. (eds.) ICMT 2015. LNCS, vol. 9152, pp. 59–65. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-21155-8_5
Zanardini, D., Albert, E., Villela, K.: Resource-usage-aware configuration in software product lines. J. Logic Algebraic Methods Program. 85(1), 173–199 (2016)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG
About this paper
Cite this paper
Albert, E. et al. (2018). SICOMORo-CM: Development of Trustworthy Systems via Models and Advanced Tools. In: Seidl, M., Zschaler, S. (eds) Software Technologies: Applications and Foundations. STAF 2017. Lecture Notes in Computer Science(), vol 10748. Springer, Cham. https://doi.org/10.1007/978-3-319-74730-9_32
Download citation
DOI: https://doi.org/10.1007/978-3-319-74730-9_32
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-74729-3
Online ISBN: 978-3-319-74730-9
eBook Packages: Computer ScienceComputer Science (R0)