Towards an Extensible Architecture and Tool Support for Model-based Verification.

Model-based software engineering (MBSE) brings models to the center of software and system design. Models are powerful abstractions used to support all phases of the software development life cycle of complex software. As these models grow larger and their complexity increases, they need to be verified and validated to preserve their correctness. One possible way to do so is by means of the use of formal methods. However, the availability of MBSE tools with support for validation and verification is limited, and they usually require the cumbersome deployment of software burdened by dependencies, preventing the adoption of these tools. This paper presents a web-based architecture designed to support the definition of domain models and provide translation capabilities to different verification formalisms. As a proof of concept for our architecture, we have developed a tool prototype that is light-weight, runs in the browser and supports: (i) definition of domain models represented as class diagrams and (ii) partial translation of class diagrams into the Alloy specification language, enabling verification of structural domain properties. We show how we have used this tool to verify properties for the public bus management system in the city of Málaga, Spain.This work was partially funded by Universidad de Málaga (Campus Internacional de Excelencia), and the Spanish Government under projects PID2021-125527NB-I00 and TED2021-130523B-I00. Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

Circulating miRNAs as predictive biomarkers of type 2 diabetes mellitus development in coronary heart disease patients fromt he CORDIOPREV study

Circulating microRNAs (miRNAs) have been proposed as type 2 diabetes biomarkers, and they may be a more sensitive way to predict development of the disease than the currently used tools. Our aim was to identify whether circulating miRNAs, added to clinical and biochemical markers, yielded better potential for predicting type 2 diabetes. The study included 462 non-diabetic patients at baseline in the CORDIOPREV study. After a median follow-up of 60 months, 107 of them developed type 2 diabetes. Plasma levels of 24 miRNAs were measured at baseline by qRT-PCR, and other strong biomarkers to predict diabetes were determined. The ROC analysis identified 9 miRNAs, which, added to HbA1c, have a greater predictive value in early diagnosis of type 2 diabetes (AUC = 0.8342) than HbA1c alone (AUC = 0.6950). The miRNA and HbA1cbased model did not improve when the FINDRISC was included (AUC = 0.8293). Cox regression analyses showed that patients with low miR-103, miR-28-3p, miR-29a, and miR-9 and high miR-30a-5p and miR-150 circulating levels have a higher risk of disease (HR = 11.27; 95% CI = 2.61–48.65). Our results suggest that circulating miRNAs could potentially be used as a new tool for predicting the development of type 2 diabetes in clinical practice

Spanish Teacher Education Students’ Values and Satisfaction with Life

The main purposes of this study were to describe teacher education students’ values and degree of satisfaction with life, to analyze whether any differences by educational program, gender or living standard and to analyze the association between values and satisfaction with life. A total of 565 students of teacher degree programs (girls 415 (73.5%)) answered a self-administered questionnaire composed by two validates scales about their values (Portrait Values Questionnaire (PVQ) and satisfaction with life (Satisfaction with Life Scale)). The results showed that the most important values were self-direction, benevolence and hedonism, while the least important values were power, tradition and achievements. Females reported higher importance for benevolence, universalism, self-direction, stimulation, hedonism and security. Males reported higher importance for power. Students who live with family reported also more high values for power. Concerning satisfaction with life, it was associated to higher values of power. Current intervention programs have focused different approaches by gender and living standard. Programs focus on increasing satisfaction with life should consider the values structure of students.Los objetivos principales de este estudio fueron describir los valores y grado de satisfacción con la vida de los estudiantes del Grado de Maestro para analizar posibles diferencias entre programas, género o configuración familiar; y la correlación entre valores y satisfacción con la vida. Un total de 565 estudiantes de los Grados de Educación (415 chicas (73.5%)) contestaron un cuestionario auto-administrado compuesto por dos escalas validadas sobre valores (Portrait Values Questionnaire (PVQ) y satisfacción con la vida (Satisfaction With Life Scale)). Los resultados mostraron que los valores más importantes fueron autodirección, benevolencia y hedonismo, mientras que los menos importantes fueron, poder, tradición y logros. Las alumnas destacaron la benevolencia, el universalismo, la autodirección, estimulación, hedonismo y seguridad. Los varones destacaron el poder. Los estudiantes que viven con familiares también concedieron más relevancia al poder. La satisfacción con la vida está asociada al poder. Los programas actuales de intervención se han centrado en aproximaciones diferentes según género y configuración familiar. Los programas centrados en la satisfacción con la vida deberían considerar los valores del estudiantado.This study was supported by a grant from the Spanish Ministry of Education, Culture and Sport [CAST17/00072

Spanish Teacher Education Students’ Values and Satisfaction with Life

The main purposes of this study were to describe teacher education students’ values and degree of satisfaction with life, to analyze whether any differences by educational program, gender or living standard and to analyze the association between values and satisfaction with life. A total of 565 students of teacher degree programs (girls 415 (73.5%)) answered a self-administered questionnaire composed by two validates scales about their values (Portrait Values Questionnaire (PVQ) and satisfaction with life (Satisfaction with Life Scale)). The results showed that the most important values were self-direction, benevolence and hedonism, while the least important values were power, tradition and achievements. Females reported higher importance for benevolence, universalism, self-direction, stimulation, hedonism and security. Males reported higher importance for power. Students who live with family reported also more high values for power. Concerning satisfaction with life, it was associated to higher values of power. Current intervention programs have focused different approaches by gender and living standard. Programs focus on increasing satisfaction with life should consider the values structure of students

Evolution of Metabolic Phenotypes of Obesity in Coronary Patients after 5 Years of Dietary Intervention: From the CORDIOPREV Study

Background: Obesity phenotypes with different metabolic status have been described previously. We analyzed metabolic phenotypes in obese coronary patients during a 5-year follow-up, and examined the factors influencing this evolution. Methods: The CORDIOPREV study is a randomized, long-term secondary prevention study with two healthy diets: Mediterranean and low-fat. All obese patients were classified as either metabolically healthy obese (MHO) or metabolically unhealthy obese (MUO). We evaluated the changes in the metabolic phenotypes and related variables after 5 years of dietary intervention. Results: Initially, 562 out of the 1002 CORDIOPREV patients were obese. After 5 years, 476 obese patients maintained their clinical and dietary visits; 71.8% of MHO patients changed to unhealthy phenotypes (MHO-Progressors), whereas the MHO patients who maintained healthy phenotypes (MHO-Non-Progressors) lost more in terms of their body mass index (BMI) and had a lower fatty liver index (FLI-score) (p < 0.05). Most of the MUO (92%) patients maintained unhealthy phenotypes (MUO-Non-Responders), but 8% became metabolically healthy (MUO-Responders) after a significant decrease in their BMI and FLI-score, with improvement in all metabolic criteria. No differences were found among dietary groups. Conclusions: A greater loss of weight and liver fat is associated with a lower progression of the MHO phenotype to unhealthy phenotypes. Likewise, a marked improvement in these parameters is associated with regression from MUO to healthy phenotypes

Hypertriglyceridemia Influences the Degree of Postprandial Lipemic Response in Patients with Metabolic Syndrome and Coronary Artery Disease: From the Cordioprev Study

Objective To determine whether metabolic syndrome traits influence the postprandial lipemia response of coronary patients, and whether this influence depends on the number of MetS criteria. Materials and Methods 1002 coronary artery disease patients from the CORDIOPREV study were submitted to an oral fat load test meal with 0.7 g fat/kg body weight (12% saturated fatty acids, 10% polyunsaturated fatty acids, 43% monounsaturated fatty acids), 10% protein and 25% carbohydrates. Serial blood test analyzing lipid fractions were drawn at 0, 1, 2, 3 and 4 hours during the postprandial state. Total and incremental area under the curves of the different postprandial parameters were calculated following the trapezoid rule to assess the magnitude of change during the postprandial state Results Postprandial lipemia response was directly related to the presence of metabolic syndrome. We found a positive association between the number of metabolic syndrome criteria and the response of postprandial plasma triglycerides (p<0.001), area under the curve of triglycerides (p<0.001) and incremental area under the curve of triglycerides (p<0.001). However, the influence of them on postprandial triglycerides remained statistically significant only in those patients without basal hypertriglyceridemia. Interestingly, in stepwise multiple linear regression analysis with the AUC of triglycerides as the dependent variable, only fasting triglycerides, fasting glucose and waist circumference appeared as significant independent (P<0.05) contributors. The multiple lineal regression (R) was 0.77, and fasting triglycerides showed the greatest effect on AUC of triglycerides with a standardized coefficient of 0.75. Conclusions Fasting triglycerides are the major contributors to the postprandial triglycerides levels. MetS influences the postprandial response of lipids in patients with coronary heart disease, particularly in non-hypertriglyceridemic patients

Risk factors and typification of suicidal behavior in adolescence, its community focus

Introducción: dentro de las tres causas de muerte más frecuentes en adolescentes de 15 y más años de edad se encuentra el suicidio.Objetivo: caracterizar los factores de riesgo y la tipificación de la conducta suicida en adolescentes dispensarizados en la atención primaria desde el enfoque comunitario.Métodos: se realizó en el Policlínico “Marta Abreu” un estudio descriptivo, transversal y observacional desde enero de 2016 a diciembre de 2018 con una población de 72 adolescentes. Se utilizaron el análisis documental y la aplicación de encuesta para caracterizar los riesgos y tipificar en caso de intento suicida previo consentimiento informado familiar y adolescente.Resultados: predominó el sexo masculino en edades comprendidas entre 13 y 15 años, con factores de riesgo individual, familiar y escolar, el método de empleo fue el consumo de tabletas.Conclusiones: factores de riesgo más frecuentes: un miembro de su familia se embriaga frecuentemente, acoso en la escuela, no le gusta estudiar y dificultades en la relación con los padres. El sexo masculino resultó el más significativo en el intento, con método de letalidad riesgosa no letal, gravedad moderada de la circunstancia y poco serio con la ingestión de fármacos, con gran importancia desde su enfoque comunitario y atención multidisciplinaria.Introduction: suicide is one of the three most frequent causes of death in adolescents aged 15 and over.Objectives: to characterize the risk factors and the typification of suicidal behavior in adolescents registered in primary care from the community approach.Methods: a descriptive, transversal and observational study was carried out at Policlinic "Marta Abreu" from January 2016 to December 2018 with a population of 72 adolescents. Documentary analysis and survey were used to characterize the risks and typify in the case of a suicide attempt with the prior informed consent of the family and the adolescent.Results: male sex predominated in ages 13 to 15, with individual, family and school risk factors, the method of use was the consumption of tablets.Conclusions: most frequent risk factors: a family member gets drunk frequently, bullying at school, does not like to study, and difficulties in the relationship with parents. The male sex was the most significant in the attempt, with a non-lethal method of risk lethality, moderate severity of the circumstance and not very serious with the ingestion of drugs, with great importance from its community approach and multidisciplinary care

CSA06 Computing, Software and Analysis challenge at the Spanish Tier-1 and Tier-2 sites

This note describes the participation of the Spanish centres PIC, CIEMAT and IFCA as Tier-1 and Tier-2 sites in the CMS CSA06 Computing, Software and Analysis challenge. A number of the facilities, services and workflows have been demonstrated at the 2008 25% scale. Very valuable experience has been gained running the complex computing system under realistic conditions at a significant scale. The focus of this note is on presenting achieved results, operational experience and lessons learnt during the challenge