Graph Transformation for Domain-Specific Discrete Event Time Simulation

Proceedings of: Fifth International Conference on Graph Transformation (ICGT 2010). Enschede, The Netherlands, September 27–October 2, 2010.Graph transformation is being increasingly used to express the semantics of domain specific visual languages since its graphical nature makes rules intuitive. However, many application domains require an explicit handling of time in order to represent accurately the behaviour of the real system and to obtain useful simulation metrics. Inspired by the vast knowledge and experience accumulated by the discrete event simulation community, we propose a novel way of adding explicit time to graph transformation rules. In particular, we take the event scheduling discrete simulation world view and incorporate to the rules the ability of scheduling the occurrence of other rules in the future. Hence, our work combines standard, efficient techniques for discrete event simulation (based on the handling of a future event set) and the intuitive, visual nature of graph transformation. Moreover, we show how our formalism can be used to give semantics to other timed approaches.Work partially sponsored by the Spanish Ministry of Science and Innovation, under project “METEORIC” (TIN2008-02081) and mobility grants JC2009-00015 and PR2009-0019, as well as by the R&D programme of the Community of Madrid, project “e-Madrid” (S2009/TIC-1650).Publicad

Requirements for modelling tools for teaching

Modelling is an important activity in software development and it is essential that students learn the relevant skills. Modelling relies on dedicated tools and these can be complex to install, configure, and use—distracting students from learning key modelling concepts and creating accidental complexity for teachers. To address these challenges, we believe that modelling tools specifically aimed at use in teaching are required. Based on discussions at a working session organised at MODELS 2023 and the results from an internationally shared questionnaire, we report on requirements for such modelling tools for teaching. We also present examples of existing modelling tools for teaching and how they address some of the requirements identified

Lightweight Testing of Communication Networks with e-Motions

This paper illustrates the use of high-level domain specific models to specify and test some performance properties of complex systems, in particular Communication Networks, using a light-weight approach. By following a Model-Driven Engineering (MDE) approach, we show the benefits of constructing very abstract models of the systems under test, which can then be easily prototyped and analysed to explore their properties. For this purpose we use e-Motions, a language and its supporting toolkit that allows end-user modelling of real-time systems and their analysis in a graphical manner.Junta de Andalucía P07-TIC-03184Ministerio de Ciencia e Innovación TIN2008-0310

Cochlin Induced TREK-1 Co-Expression and Annexin A2 Secretion: Role in Trabecular Meshwork Cell Elongation and Motility

Fluid flow through large interstitial spaces is sensed at the cellular level, and mechanistic responses to flow changes enables expansion or contraction of the cells modulating the surrounding area and brings about changes in fluid flow. In the anterior eye chamber, aqueous humor, a clear fluid, flows through trabecular meshwork (TM), a filter like region. Cochlin, a secreted protein in the extracellular matrix, was identified in the TM of glaucomatous patients but not controls by mass spectrometry. Cochlin undergoes shear induced multimerization and plays a role in mechanosensing of fluid shear. Cytoskeletal changes in response to mechanosensing in the ECM by cochlin will necessitate transduction of mechanosensing. TREK-1, a stretch activated outward rectifying potassium channel protein known to act as mechanotransducer was found to be expressed in TM. Cochlin expression results in co-expression of TREK-1 and filopodia formation. Prolonged cochlin expression results in expression and subsequent secretion of annexin A2, a protein known to play a role in cytoskeletal remodeling. Cochlin interacts with TREK-1 and annexin A2. Cochlin-TREK-1 interaction has functional consequences and results in changes in cell shape and motility. Annexin A2 expression and secretion follows cochlin-TREK-1 syn-expression and correlates with cell elongation. Thus cytoskeleton changes in response to fluid shear sensed by cochlin are further mediated by TREK-1 and annexin A2

Cochlin, Intraocular Pressure Regulation and Mechanosensing

Fluid shear modulates many biological properties. How shear mechanosensing occurs in the extracellular matrix (ECM) and is transduced into cytoskeletal change remains unknown. Cochlin is an ECM protein of unknown function. Our investigation using a comprehensive spectrum of cutting-edge techniques has resulted in following major findings: (1) over-expression and down-regulation of cochlin increase and decrease intraocular pressure (IOP), respectively. The overexpression was achieved in DBA/2J-Gpnmb+/SjJ using lentiviral vectors, down-regulation was achieved in glaucomatous DBA/2J mice using targeted disruption (cochlin-null mice) and also using lentiviral vector mediated shRNA against cochlin coding region; (2) reintroduction of cochlin in cochlin-null mice increases IOP; (3) injection of exogenous cochlin also increased IOP; (4) increasing perfusion rates increased cochlin multimerization, which reduced the rate of cochlin proteolysis by trypsin and proteinase K; The cochlin multimerization in response to shear stress suggests its potential mechanosensing. Taken together with previous studies, we show cochlin is involved in regulation of intraocular pressure in DBA/2J potentially through mechanosensing of the shear stress

Collaborative Model-Driven Software Engineering:A Systematic Update

Current software engineering practices rely on highly heterogeneous and distributed teams working in a collaborative setting. Between 2013-2020, the publication output in the field of collaborative Model-Driven Software Engineering (MDSE) has significantly increased. However, the only systematic mapping study available is limited to studies published until 2015. In this paper, we provide an update on that study for the complementing 2016-2020 period, and report the latest results, challenges, and trends. Our analysis led to selecting 29 clusters of 54 new peer-reviewed publications on collaborative MDSE. Based on the novel developments in the field, we have extended and improved the original classification framework, making it applicable to recent and future research contributions on collaborative MDSE. The insights in this paper relate to the changing trends in the field and present new relevant information

VMTL: a language for end-user model transformation

Model transformation is a key enabling technology of Model-Driven Engineering (MDE). Existing model transformation languages are shaped by and for MDE practitioners—a user group with needs and capabilities which are not necessarily characteristic of modelers in general. Consequently, these languages are largely ill-equipped for adoption by end-user modelers in areas such as requirements engineering, business process management, or enterprise architecture. We aim to introduce a model transformation language addressing the skills and requirements of end-user modelers. With this contribution, we hope to broaden the application scope of model transformation and MDE technology in general. We discuss the profile of end-user modelers and propose a set of design guidelines for model transformation languages addressing them. We then introduce Visual Model Transformation Language (VMTL) following these guidelines. VMTL draws on our previous work on the usability-oriented Visual Model Query Language. We implement VMTL using the Henshin model transformation engine, and empirically investigate its learnability via two user experiments and a think-aloud protocol analysis. Our experiments, although conducted on computer science students exhibiting only some of the characteristics of end-user modelers, show that VMTL compares favorably in terms of learnability with two state-of the-art model transformation languages: Epsilon and Henshin. Our think-aloud protocol analysis confirms many of the design decisions adopted for VMTL, while also indicating possible improvements