SICOMORo-CM: Development of Trustworthy Systems via Models and Advanced Tools

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10748)


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€.


  1. 1.
    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)Google Scholar
  2. 2.
    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)Google Scholar
  3. 3.
    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)Google Scholar
  4. 4.
    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)CrossRefGoogle Scholar
  5. 5.
    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)Google Scholar
  6. 6.
    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)CrossRefGoogle Scholar
  7. 7.
    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)Google Scholar
  8. 8.
    Clarisó, R., Cabot, J., Guerra, E., de Lara, J.: Backwards reasoning for model transformations: method and applications. J. Syst. Softw. 116, 113–132 (2016)CrossRefGoogle Scholar
  9. 9.
    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). CrossRefGoogle Scholar
  10. 10.
    Cuadrado, J.S., Guerra, E., de Lara, J.: Static analysis of model transformations. IEEE Trans. Softw. Eng. 43(9), 868–897 (2017)Google Scholar
  11. 11.
    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)Google Scholar
  12. 12.
    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). CrossRefGoogle Scholar
  13. 13.
    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). CrossRefGoogle Scholar
  14. 14.
    Gordijn, J., Akkermans, H., Van Vliet, J.: Designing and evaluating e-business models. IEEE Intell. Syst. 16(4), 11–17 (2001)CrossRefGoogle Scholar
  15. 15.
    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)Google Scholar
  16. 16.
    Guerra, E., de Lara, J.: Automated analysis of integrity constraints in multi-level models. Data Knowl. Eng. 107, 1–23 (2017)CrossRefGoogle Scholar
  17. 17.
    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)MathSciNetCrossRefzbMATHGoogle Scholar
  18. 18.
    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)CrossRefGoogle Scholar
  19. 19.
    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. (2015)Google Scholar
  20. 20.
    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). Google Scholar
  21. 21.
    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)CrossRefGoogle Scholar
  22. 22.
    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)Google Scholar
  23. 23.
    Merayo, M.G., Núñez, A.: Passive testing of communicating systems with timeouts. Inf. Softw. Technol. 64, 19–35 (2015)CrossRefGoogle Scholar
  24. 24.
    Núñez, A., Hierons, R.M.: A methodology for validating cloud models using metamorphic testing. Ann. Telecommun. 70(3–4), 127–135 (2015)CrossRefGoogle Scholar
  25. 25.
    Osterwalder, A., Pigneur, Y.: Business Model Generation: a Handbook for Visionaries, Game Changers, and Challengers. Wiley, Hoboken (2010)Google Scholar
  26. 26.
    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). CrossRefGoogle Scholar
  27. 27.
    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). CrossRefGoogle Scholar
  28. 28.
    Sampson, S.E.: Visualizing service operations. J. Serv. Res. 15(2), 182–198 (2012)Google Scholar
  29. 29.
    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). CrossRefGoogle Scholar
  30. 30.
    Zanardini, D., Albert, E., Villela, K.: Resource-usage-aware configuration in software product lines. J. Logic Algebraic Methods Program. 85(1), 173–199 (2016)MathSciNetCrossRefzbMATHGoogle Scholar

Copyright information

© Springer International Publishing AG 2018

Authors and Affiliations

  1. 1.UCM-TERUniversidad Complutense de MadridMadridSpain
  2. 2.UAM-misoUniversidad Autónoma de MadridMadridSpain
  3. 3.UCM-COSTAUniversidad Complutense de MadridMadridSpain
  4. 4.UPM-COSTAUniversidad Politécnica de MadridMadridSpain
  5. 5.URJC-Kybele Research GroupUniversidad Rey Juan CarlosMadridSpain

Personalised recommendations