Teaching Model Views with UML and OCL

The specification of any non-trivial system is normally composed of a set of models. Each model describes a different view of the system, focuses on a particular set of concerns, and uses its own notation. For example, UML defines a set of diagrams for modelling the structure and behavior of any software system. One of the problems we perceived with our students is that they are able to understand each one of these diagrams, but they have problems understanding how they are related, and how the overall system specifications work when composed of a set of views. This paper presents a simple case study that we have developed and successfully used in class, which permits students developing the principal views of a system, simulate them, and check their relations.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

Employing Classifying Terms for Testing Model Transformations

This contribution proposes a new technique for developing test cases for UML and OCL models. The technique is based on an approach that automatically constructs object models for class models enriched by OCL constraints. By guiding the construction process through so-called classifying terms, the built test cases in form of object models are classified into equivalence classes. A classifying term can be an arbitrary OCL term on the class model that calculates for an object model a characteristic value. From each equivalence class of object models with identical characteristic values one representative is chosen. The constructed test cases behave significantly different with regard to the selected classifying term. By building few diverse object models, properties of the UML and OCL model can be explored effectively. The technique is applied for automatically constructing relevant source model test cases for model transformations between a source and target metamodel.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

Generating Effective Test Suites for Model Transformations Using Classifying Terms

Generating sample models for testing a model transformation is no easy task. This paper explores the use of classifying terms and stratified sampling for developing richer test cases for model transformations. Classifying terms are used to define the equivalence classes that characterize the relevant subgroups for the test cases. From each equivalence class of object models, several representative models are chosen depending on the required sample size. We compare our results with test suites developed using random sampling, and conclude that by using an ordered and stratified approach the coverage and effectiveness of the test suite can be significantly improved.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

“Estudio de factibilidad de uso de sistema fotovoltáico para reducir costos de energía del fundo la Viña Batangrande, Chiclayo”

El presente trabajo de tesis denominado “Estudio de factibilidad de uso de sistema fotovoltaico para reducir costos de energía del fundo La Viña Batangrande, Chiclayo”, pretende responder la pregunta: ¿Si realizando un buen estudio de factibilidad de uso de un sistema fotovoltaico permitirá determinar la reducción de costos de energía en el fundo “La Viña” Batangrande, Chiclayo?, para ello se realiza una evaluación de la situación actual del fundo La Viña, determinando la potencia instalada y requerimiento de energía en un día, se analiza además el consumo energético de una motobomba y el costo de por galón de combustible fósil, para posteriormente reemplazarla por una electrobomba y compararlo con los costos de energía renovable fotovoltaica. Para efectos de obtención de energía solar, se toman en cuenta los datos proporcionados por instituciones con respaldo científico, pero además de ello se toman datos in situ de la radiación solar en W/m2, obtenido de un solarímetro digital modelo TES 1333. Se determinan los componentes electromecánicos que utilizará el sistema y se realiza una evaluación económica con el TIR y el VAN y la relación beneficio costo

Automatic Generation of Valid Behavioral Scripts from UML Sequence Diagrams

This paper presents the extension of a UML and OCL tool that enables the textual specification of UML sequence diagrams, and the automated generation of all valid behaviors according to these sequence diagrams. Message Sequence Charts (MSC) are used as the textual notation to specify the UML sequence diagrams, and the USE high-level action language SOIL is used to specify behavior.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech. Proyecto PGC2018-094905-B-I0

Morphology-properties relationship on nanocomposite films based on poly(styrene-block-diene-block-styrene) copolymers and silver nanoparticles

A comparative study on the self-assembled nanostructured morphology and the rheological and mechanical prop- erties of four different triblock copolymers, based on poly(styrene-block-butadiene-block-styrene) and poly(styrene-block- isoprene-block-styrene) matrices, and of their respective nanocomposites with 1 wt% silver nanoparticles, is reported in this work. In order to obtain well-dispersed nanoparticles in the block copolymer matrix, dodecanethiol was used as surfac- tant, showing good affinity with both nanoparticles and the polystyrene phase of the matrices as predicted by the solubility parameters calculated based on Hoftyzer and Van Krevelen theory. The block copolymer with the highest PS content shows the highest tensile modulus and tensile strength, but also the smallest elongation at break. When silver nanoparticles treated with surfactant were added to the block copolymer matrices, each system studied shows higher mechanical properties due to the good dispersion and the good interface of Ag nanoparticles in the matrices. Furthermore, it has been shown that semi- empirical models such as Guth and Gold equation and Halpin-Tsai model can be used to predict the tensile modulus of the analyzed nanocomposites

Composites based on acylated cellulose fibers and low-density polyethylene: Effect of the fiber content, degree of substitution and fatty acid chain length on final properties

Low-density polyethylene was filled with unmodified and fatty acid (hexanoic, dodecanoic, octadecanoic and docosanoic acids) esterified cellulose fibers. The thermal and mechanical properties, morphology and the water absorption behavior of the ensuing composites were investigated. The chemical modification of the cellulose fibers with fatty acids clearly improved the interfacial adhesion with the matrix and hence the mechanical properties of the composites and decreased their water uptake capacity. The performance of the composites was strongly affected by the degree of substitution (DS) and the fatty chain length as indicated by the fact that esterified cellulose fibers with low DS gave composites with better mechanical properties. (C) 2008 Elsevier Ltd. All rights reserved

Time-delay measurement of MgII broad line response for the highly-accreting quasar HE 0413-4031: Implications for the MgII-based radius-luminosity relation

We present the monitoring of the AGN continuum and MgII broad line emission for the quasar HE 0413-4031 ($z=1.38$) based on the six-year monitoring by the South African Large Telescope (SALT). We managed to estimate a time-delay of $302.6^{+28.7}_{-33.1}$ days in the rest frame of the source using seven different methods: interpolated cross-correlation function (ICCF), discrete correlation function (DCF), $z$-transformed DCF, JAVELIN, two estimators of data regularity (Von Neumann, Bartels), and $\chi^2$ method. This time-delay is below the value expected from the standard radius-luminosity relation. However, based on the monochromatic luminosity of the source and the SED modelling, we interpret this departure as the shortening of the time-delay due to the higher accretion rate of the source, with the inferred Eddington ratio of $\sim 0.4$. The MgII line luminosity of HE 0413-4031 responds to the continuum variability as $L_{\rm line}\propto L_{\rm cont}^{0.43\pm 0.10}$, which is consistent with the light-travel distance of the location of MgII emission at $R_{\rm out} \sim 10^{18}\,{\rm cm}$. Using the data of 10 other quasars, we confirm the radius-luminosity relation for broad MgII line, which was previously determined for broad H$\beta$ line for lower-redshift sources. In addition, we detect a general departure of higher-accreting quasars from this relation in analogy to H$\beta$ sample. After the accretion-rate correction of the light-travel distance, the MgII-based radius-luminosity relation has a small scatter of only $0.10$ dex.Comment: 39 pages (23 pages - Main text, 16 pages - Appendix), 21 figures, 14 tables; accepted for publication in the Astrophysical Journa

What Is the Optimal Duration of Adjuvant Mitotane Therapy in Adrenocortical Carcinoma? An Unanswered Question

A relevant issue on the treatment of adrenocortical carcinoma (ACC) concerns the optimal duration of adjuvant mitotane treatment. We tried to address this question, assessing whether a correlation exists between the duration of adjuvant mitotane treatment and recurrence-free survival (RFS) of patients with ACC. We conducted a multicenter retrospective analysis on 154 ACC patients treated for ≥12 months with adjuvant mitotane after radical surgery and who were free of disease at the mitotane stop. During a median follow-up of 38 months, 19 patients (12.3%) experienced recurrence. We calculated the RFS after mitotane (RFSAM), from the landmark time-point of mitotane discontinuation, to overcome immortal time bias. We found a wide variability in the duration of adjuvant mitotane treatment among different centers and also among patients cared for at the same center, reflecting heterogeneous practice. We did not find any survival advantage in patients treated for longer than 24 months. Moreover, the relationship between treatment duration and the frequency of ACC recurrence was not linear after stratifying our patients in tertiles of length of adjuvant treatment. In conclusion, the present findings do not support the concept that extending adjuvant mitotane treatment over two years is beneficial for ACC patients with low to moderate risk of recurrence

Time delay measurement of Mg II line in CTS C30.10 with SALT

We report 6 yr monitoring of a distant bright quasar CTS C30.10 (z = 0.90052) with the Southern African Large Telescope (SALT). We measured the rest-frame time-lag of $562\pm 2$ days between the continuum variations and the response of the Mg II emission line, using the Javelin approach. More conservative approach, based on five different methods, imply the time delay of $564^{+109}_{-71}$ days. This time delay, combined with other available measurements of Mg II line delay, mostly for lower redshift sources, shows that the Mg II line reverberation implies a radius-luminosity relation very similar to the one based on a more frequently studied H$\beta$ line.Comment: submitted to ApJ; comments welcom