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

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]  Juan de Lara,et al.  Reusable Model Transformation Components with bentō , 2015, ICMT.

[2]  Juan de Lara,et al.  Static Analysis of Model Transformations , 2017, IEEE Transactions on Software Engineering.

[3]  Marco Brambilla,et al.  Analysing the cognitive effectiveness of the WebML visual notation , 2017, Software & Systems Modeling.

[4]  Scott E. Sampson.  Visualizing Service Operations , 2012 .

[5]  Juan de Lara,et al.  A Posteriori Typing for Model-Driven Engineering , 2017, ACM Trans. Softw. Eng. Methodol..

[6]  Tobias Bachmeier,et al.  Business Model Generation A Handbook For Visionaries Game Changers And Challengers , 2016 .

[7]  Teruo Higashino,et al.  A survey on formal active and passive testing with applications to the cloud , 2015, Ann. des Télécommunications.

[8]  Juan de Lara,et al.  Automated analysis of integrity constraints in multi-level models , 2017, Data Knowl. Eng..

[9]  Juan de Lara,et al.  Efficient model partitioning for distributed model transformations , 2016, SLE.

[10]  Robert M. Hierons,et al.  An extended framework for passive asynchronous testing , 2017, J. Log. Algebraic Methods Program..

[11]  Dániel Varró,et al.  MONDO: Scalable Modelling and Model Management on the Cloud , 2015, STAF Doctoral Symposium / Showcase.

[12]  Robert M. Hierons,et al.  A methodology for validating cloud models using metamorphic testing , 2015, Ann. des Télécommunications.

[13]  Mary Jo Bitner,et al.  Service Blueprinting: A Practical Technique for Service Innovation , 2008 .

[14]  Juan de Lara,et al.  MAGICIAN: Model-based design for optimizing the configuration of data-centers , 2017, SEKE.

[15]  Juan de Lara,et al.  Backwards reasoning for model transformations: Method and applications , 2016, J. Syst. Softw..

[16]  Juan de Lara,et al.  Example-Based Generation of Graphical Modelling Environments , 2016, ECMFA.

[17]  Juan de Lara,et al.  Using ATL Transformation Services in the MDEForge Collaborative Modeling Platform , 2016, ICMT.

[18]  Esperanza Marcos,et al.  MeTAGeM-Trace: Improving trace generation in model transformation by leveraging the role of transformation models , 2015, Sci. Comput. Program..

[19]  Juan de Lara,et al.  A Comparison of Two-Level and Multi-level Modelling for Cloud-Based Applications , 2015, ECMFA.

[20]  Juan de Lara,et al.  Reusing Model Transformations Through Typing Requirements Models , 2017, FASE.

[21]  Jaap Gordijn,et al.  Designing and evaluating e-business models , 2001 .

[22]  Elvira Albert,et al.  Resource-usage-aware configuration in software product lines , 2016, J. Log. Algebraic Methods Program..

[23]  Juan de Lara,et al.  Building MDE Cloud Services with Distil , 2015, CloudMDE@MoDELS.

[24]  Juan de Lara,et al.  Streaming Model Transformations: Scenarios, Challenges and Initial Solutions , 2013, ICMT.

[25]  Elvira Albert,et al.  May-Happen-in-Parallel Analysis for Actor-Based Concurrency , 2015, ACM Trans. Comput. Log..

[26]  Damiano Zanardini,et al.  Abstract Program Slicing , 2016, ACM Trans. Comput. Log..

[27]  Mercedes G. Merayo,et al.  Passive testing of communicating systems with timeouts , 2015, Inf. Softw. Technol..

[28]  Juan de Lara,et al.  Combining unit and specification-based testing for meta-model validation and verification , 2016, Inf. Syst..

[29]  Elvira Albert,et al.  Testing of concurrent and imperative software using CLP , 2016, PPDP.