Example-based generation of graphical modelling environments

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-42061-5_7Domain-Specific Languages (DSLs) present numerous benefits like powerful domain-specific primitives, an intuitive syntax for domain experts, and the possibility of advanced code generation for narrow domains. While a graphical syntax is sometimes desired for a DSL, constructing graphical modelling environments is a costly and highly technical task. This relegates domain experts to play a passive role in their development and hinders a wider adoption of graphical DSLs. Targeting a simpler DSL construction process, we propose an example based technique for the automatic generation of modelling environments for graphical DSLs. This way, starting from examples of the DSL likely provided by domain experts using drawing tools like yED, our system is able to synthesize a graphical modelling environment that mimics the syntax of the provided examples. This includes a meta-model for the abstract syntax of the DSL, and a graphical concrete syntax supporting spatial relationships like containment or attachment. The system is implemented as an Eclipse plugin, and we demonstrate its usage on a running example in the home networking domain.Work supported by the Spanish Ministry of Economy and Competitivity (TIN2014-52129-R), the Madrid Region (S2013/ICE-3006), and the EU Commission (FP7-ICT-2013-10, #611125)

Polarization due to rotational distortion in the bright star Regulus

This is the full published article (retrieved from the 6 months post-publication posting on arXiv) including the Methods and Supplementary Information sections: 33 pages, 10 figures, 8 tablesPolarization in stars was first predicted by Chandrasekhar [1] who calculated a substantial linear polarization at the stellar limb for a pure electron-scattering atmosphere. This polarization will average to zero when integrated over a spherical star but could be detected if the symmetry is broken, for example by the eclipse of a binary companion. Nearly 50 years ago, Harrington and Collins [2] modeled another way of breaking the symmetry and producing net polarization - the distortion of a rapidly rotating hot star. Here we report the first detection of this effect. Observations of the linear polarization of Regulus, with two different high-precision polarimeters, range from +42 parts-per-million (ppm) at a wavelength of 741 nm to -22 ppm at 395 nm. The reversal from red to blue is a distinctive feature of rotation-induced polarization. Using a new set of models for the polarization of rapidly rotating stars we find that Regulus is rotating at 96.5(+0.6/-0.8)% of its critical angular velocity for breakup, and has an inclination greater than 76.5 degrees. The rotation axis of the star is at a position angle of 79.5+/-0.7 degrees. The conclusions are independent of, but in good agreement with, the results of previously published interferometric observations of Regulus [3]. The accurate measurement of rotation in early-type stars is important for understanding their stellar environments [4], and course of their evolution [5].Peer reviewedFinal Accepted Versio

Role Based Access Control as SecureUML Model in Web Applications Development with Spring Security

Tänapäeval on efektiivse äri üheks võtmeks kiire ja edukas veebirakenduste arendus. Samas, uudsed maailmas levinud nõuded eeldavad keerukat lähenemist juurdepääsukontrolli ja kasutajate rühmade koostöövõime määratlemisel. Tavapäraselt hõlmab tarkvara arenduse protsess erinevaid vastutavaid osalisi rakenduse hindamisel, plaanide koostamisel, arendusel, rakendamisel ja kasutajatoe tagamisel, mille tulemusena suureneb informatsiooni kadu ja keerukus sihtgruppide vahelises suhtluses. Arendusmeeskonnad peaksid sellise olukorra vältimiseks ja väärtõlgendustest ning turvalisuse nõuete rikkumisest tulenevate võimalike riskide leevendamiseks tarkvara arenduses kasutama vahendeid, mis võimaldavad kiiret ja täpset veebirakenduse interpreteerimist läbi mudeli. Modelleerimine aitab tunduvalt vähendada võimalikke probleeme ja tagab funktsionaalsuse vajadused arvestades soovitud rollipõhise juurdepääsukontrolli mudeliga. Antud töös pakutakse välja kontseptuaalne Eclipse IDE lisandmooduli realisatsioon, et toetada ja lihtsustada mudelil baseeruvat lähenemist veebirakenduste arendamisel kasutades Spring platvormi. Loodud lisandmoodul toetab Spring Security esitusviiside tuvastamist koos võimega visualiseerida nende üle rollipõhise juurdepääsukontrolli mudelit. Visuaalse mudeli genereerimine toimub kahe peamise astmena: Spring Security konfiguratsiooni tuvastamine ja esituse genereerimine kasutades SecureUML modelleerimise keelt. Loodud lisandmooduli kontseptsioon valideeriti juhtumiuuringutega, mis näitasid lisandmooduli sobivust tarkvara arendajate jaoks tänu integreeritud lahendusele, et tagada kiiremat arendust ja abi valitud veebirakenduse rollipõhise juurdepääsukontrolli mudelist arusaamisel.Nowadays fast and successful development of a web application is one of the keys to effective business. However, modern world requirements define the complex approach in definition of ac-cess control and user groups’ interoperability. The software development process typically in-volves different responsible members for the application assessment, planning, development, de-ployment and support, as a consequence, increasing the complexity and information losses be-tween target groups. In order to mitigate possible risks in software development misinterpretation and security violation, teams should use tools that allow fast and accurate interpretation of the web application through a model. Modelling will help with minimization of possible problems and ensure the functionality needs with respect to desired RBAC model. In order to support and simpli-fy the model-driven approach for a web application development with Spring platform, realization of a concept plugin for Eclipse IDE is proposed. This plugin supports the recognition of Spring Security notations with capability to visualize the RBAC model on top of them. The generation of visual model is achieved in two main steps: recognition of Spring Security configuration and gen-eration of representation with SecureUML modeling language. The concept of contributed plugin was validated within case studies that demonstrated the acceptance of this plugin by software de-velopers due to its integrated solution for faster development and help in understanding of RBAC model for the selected web application

Ectodysplasin A Pathway Contributes to Human and Murine Skin Repair

The highly conserved ectodysplasin A (EDA)/EDA receptor signaling pathway is critical during development for the formation of skin appendages. Mutations in genes encoding components of the EDA pathway disrupt normal appendage development, leading to the human disorder hypohidrotic ectodermal dysplasia. Spontaneous mutations in the murine Eda (Tabby) phenocopy human X-linked hypohidrotic ectodermal dysplasia. Little is known about the role of EDA signaling in adult skin homeostasis or repair. Because wound healing largely mimics the morphogenic events that occur during development, we propose a role for EDA signaling in adult wound repair. Here we report a pronounced delay in healing in Tabby mice, demonstrating a functional role for EDA signaling in adult skin. Moreover, pharmacological activation of the EDA pathway in both Tabby and wild-type mice significantly accelerates healing, influencing multiple processes including re-epithelialization and granulation tissue matrix deposition. Finally, we show that the healing promoting effects of EDA receptor activation are conserved in human skin repair. Thus, targeted manipulation of the EDA/EDA receptor pathway has clear therapeutic potential for the future treatment of human pathological wound healing

Near-Infrared Variability Study of the Central 2.3 arcmin x 2.3 arcmin of the Galactic Centre I. Catalog of Variable Sources

We used four-year baseline HST/WFC3 IR observations of the Galactic Centre in the F153M band (1.53 micron) to identify variable stars in the central ~2.3'x2.3' field. We classified 3845 long-term (periods from months to years) and 76 short-term (periods of a few days or less) variables among a total sample of 33070 stars. For 36 of the latter ones, we also derived their periods (<3 days). Our catalog not only confirms bright long period variables and massive eclipsing binaries identified in previous works, but also contains many newly recognized dim variable stars. For example, we found \delta Scuti and RR Lyrae stars towards the Galactic Centre for the first time, as well as one BL Her star (period < 1.3 d). We cross-correlated our catalog with previous spectroscopic studies and found that 319 variables have well-defined stellar types, such as Wolf-Rayet, OB main sequence, supergiants and asymptotic giant branch stars. We used colours and magnitudes to infer the probable variable types for those stars without accurately measured periods or spectroscopic information. We conclude that the majority of unclassified variables could potentially be eclipsing/ellipsoidal binaries and Type II Cepheids. Our source catalog will be valuable for future studies aimed at constraining the distance, star formation history and massive binary fraction of the Milky Way nuclear star cluster.Comment: has been accepted to be published in MNRAS, 64 pages, 26 figures. The complete lists of table 3, 4, 8 and 9 will be published onlin