Three Dimensional Software Modelling

Traditionally, diagrams used in software systems modelling have been two dimensional (2D). This is probably because graphical notations, such as those used in object-oriented and structured systems modelling, draw upon the topological graph metaphor, which, at its basic form, receives little benefit from three dimensional (3D) rendering. This paper presents a series of 3D graphical notations demonstrating effective use of the third dimension in modelling. This is done by e.g., connecting several graphs together, or in using the Z co-ordinate to show special kinds of edges. Each notation combines several familiar 2D diagrams, which can be reproduced from 2D projections of the 3D model. 3D models are useful even in the absence of a powerful graphical workstation: even 2D stereoscopic projections can expose more information than a plain planar diagram

Engineering model transformations with transML

The final publication is available at Springer via http://dx.doi.org/10.1007%2Fs10270-011-0211-2Model transformation is one of the pillars of model-driven engineering (MDE). The increasing complexity of systems and modelling languages has dramatically raised the complexity and size of model transformations as well. Even though many transformation languages and tools have been proposed in the last few years, most of them are directed to the implementation phase of transformation development. In this way, even though transformations should be built using sound engineering principles—just like any other kind of software—there is currently a lack of cohesive support for the other phases of the transformation development, like requirements, analysis, design and testing. In this paper, we propose a unified family of languages to cover the life cycle of transformation development enabling the engineering of transformations. Moreover, following an MDE approach, we provide tools to partially automate the progressive refinement of models between the different phases and the generation of code for several transformation implementation languages.This work has been sponsored by the Spanish Ministry of Science and Innovation with project METEORIC (TIN2008-02081), and by the R&D program of the Community of Madrid with projects “e-Madrid" (S2009/TIC-1650). Parts of this work were done during the research stays of Esther and Juan at the University of York, with financial support from the Spanish Ministry of Science and Innovation (grant refs. JC2009-00015, PR2009-0019 and PR2008-0185)

Second ECOOP Workshop on Precise Behavioral Semantics (with an Emphasis on OO Business Specifications)

Business specifications are essential to describe and understand businesses (and, in particular, business rules) independently of any computing systems used for their possible automation. They have to express this understanding in a clear, precise, and explicit way, in order to act as a common ground between business domain experts and software developers. They also provide the basis for reuse of concepts and constructs ("patterns") common to all - from finance to telecommunications -, or a large number of, businesses, and in doing so save intellectual effort, time and money. Moreover, these patterns substantially ease the elicitation and validation of business specifications during walkthroughs with business customers, and support separation of concerns using viewpoints.Comment: 21 pages, 0 figure

Supporting Automatic Interoperability in Model-Driven Development Processes

By analyzing the last years of software development evolution, it is possible to observe that the involved technologies are increasingly focused on the definition of models for the specification of the intended software products. This model-centric development schema is the main ingredient for the Model-Driven Development (MDD) paradigm. In general terms, the MDD approaches propose the automatic generation of software products by means of the transformation of the defined models into the final program code. This transformation process is also known as model compilation process. Thus, MDD is oriented to reduce (or even eliminate) the hand-made programming, which is an error-prone and time-consuming task. Hence, models become the main actors of the MDD processes: the models are the new programming code. In this context, the interoperability can be considered a natural trend for the future of model-driven technologies, where different modeling approaches, tools, and standards can be integrated and coordinated to reduce the implementation and learning time of MDD solutions as well as to improve the quality of the final software products. However, there is a lack of approaches that provide a suitable solution to support the interoperability in MDD processes. Moreover, the proposals that define an interoperability framework for MDD processes are still in a theoretical space and are not aligned with current standards, interoperability approaches, and technologies. Thus, the main objective of this doctoral thesis is to develop an approach to achieve the interoperability in MDD processes. This interoperability approach is based on current metamodeling standards, modeling language customization mechanisms, and model-to-model transformation technologies. To achieve this objective, novel approaches have been defined to improve the integration of modeling languages, to obtain a suitable interchange of modeling information, and to perform automatic interoperability verification.Giachetti Herrera, GA. (2011). Supporting Automatic Interoperability in Model-Driven Development Processes [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/11108Palanci

The rationale of powertype-based metamodelling to underpin software development methodologies

Metamodelling provides a way of modelling the rules underpinning not only modelling languages such as UML but also processes. In the context of object-oriented development, we evaluate the conceptual framework used to reason about metamodelling from the different perspectives of methodologist, method engineer and software developer. We propose the use of clabjets and powertype patterns as a solution to avoid the present inconsistencies in the use of a strict metamodelling multi-level hierarchy and demonstrate their efficacy in providing a solid and improved framework for OO-based process (and product) metamodelling. Copyright © 2005, Australian Computer Society, Inc

Generating operation specifications from UML class diagrams: A model transformation approach

One of the more tedious and complex tasks during the specification of conceptual schemas (CSs) is modeling the operations that define the system behavior. This paper aims to simplify this task by providing a method that automatically generates a set of basic operations that complement the static aspects of the CS and suffice to perform all typical life-cycle create/update/delete changes on the population of the elements of the CS. Our method guarantees that the generated operations are executable, i.e. their executions produce a consistent state wrt the most typical structural constraints that can be defined in CSs (e.g. multiplicity constraints). In particular, our method takes as input a CS expressed as a Unified Modeling Language (UML) class diagram (optionally defined using a profile to enrich the specification of associations) and generates an extended version of the CS that includes all necessary operations to start operating the system. If desired, these basic operations can be later used as building blocks for creating more complex ones. We show the formalization and implementation of our method by means of model-to-model transformations. Our approach is particularly relevant in the context of Model Driven Development approaches. © 2011 Elsevier B.V. All rights reserved.The authors want to thank the anonymous referees of this journal for their interesting suggestions. This work has been partly supported by the MICINN under projects TIN2008-00444, Grupo Consolidado and TIN2010-18011, and by the Generalitat Valenciana under the project OKA PROMETEO/2009/015, and co-financed with the European Regional Development Fund.Albert Albiol, M.; Cabot Sagrera, J.; Gómez Seoane, C.; Pelechano Ferragud, V. (2011). Generating operation specifications from UML class diagrams: A model transformation approach. Data and Knowledge Engineering. 70(4):365-389. https://doi.org/10.1016/j.datak.2011.01.003S36538970

Escherichia coli contamination and health aspects of soil and tomatoes (Solanum lycopersicum L.) subsurface drip irrigated with on-site treated domestic wastewater.

Faecal contamination of soil and tomatoes irrigated by sprinkler as well as surface and subsurface drip irrigation with treated domestic wastewater were compared in 2007 and 2008 at experimental sites in Crete and Italy. Wastewater was treated by Membrane Bio Reactor (MBR) technology, gravel filtration or UV-treatment before used for irrigation. Irrigation water, soil and tomato samples were collected during two cropping seasons and enumerated for the faecal indicator bacterium Escherichia coli and helminth eggs. The study found elevated levels of E. coli in irrigation water (mean: Italy 1753 cell forming unit (cfu) per 100 ml and Crete 488 cfu per 100 ml) and low concentrations of E. coli in soil (mean: Italy 95 cfu g(-1) and Crete 33 cfu g(-1)). Only two out of 84 tomato samples in Crete contained E. coli (mean: 2700 cfu g(-1)) while tomatoes from Italy were free of E. coli. No helminth eggs were found in the irrigation water or on the tomatoes from Crete. Two tomato samples out of 36 from Italy were contaminated by helminth eggs (mean: 0.18 eggs g(-1)) and had been irrigated with treated wastewater and tap water, respectively. Pulsed Field Gel Electrophoresis DNA fingerprints of E. coli collected during 2008 showed no identical pattern between water and soil isolates which indicates contribution from other environmental sources with E. coli, e.g. wildlife. A quantitative microbial risk assessment (QMRA) model with Monte Carlo simulations adopted by the World Health Organization (WHO) found the use of tap water and treated wastewater to be associated with risks that exceed permissible limits as proposed by the WHO (1.0 × 10(-3) disease risk per person per year) for the accidental ingestion of irrigated soil by farmers (Crete: 0.67 pppy and Italy: 1.0 pppy). The QMRA found that the consumption of tomatoes in Italy was deemed to be safe while permissible limits were exceeded in Crete (1.0 pppy). Overall the quality of tomatoes was safe for human consumption since the disease risk found on Crete was based on only two contaminated tomato samples. It is a fundamental limitation of the WHO QMRA model that it is not based on actual pathogen numbers, but rather on numbers of E. coli converted to estimated pathogen numbers, since it is widely accepted that there is poor correlation between E. coli and viral and parasite pathogens. Our findings also stress the importance of the external environment, typically wildlife, as sources of faecal contamination

Applying i* metrics for the integration of goal-oriented modeling into MDD processes

Nowadays, there exist modeling techniques that provide good support for the requirements elicitation and analysis of complex scenarios, such as the i* modeling framework. However, the application of these requirements models into Model-Driven Development (MDD) processes is still dependent on the experience of analysts and designers to manually transform the defined requirements models into an appropriate MDD model. Certain approaches have proposed guidelines to facilitate and partially automate this translation, but there is a lack of validation rules establishing how to build i* models for an improved generation of the corresponding MDD models. Thus, in this paper, we propose a set of metrics that are oriented to validating the adequacy of i* models as the starting point for MDD processes, as well as a process for the application of the proposed metrics in the i* framework.Preprin

Relation of C-reactive protein to body fat distribution and features of the metabolic syndrome in Europeans and South Asians.

OBJECTIVE: To investigate the association between circulating C-reactive protein (CRP) concentrations and indices of body fat distribution and the insulin resistance syndrome in South Asians and Europeans. DESIGN: : Cross-sectional study. SUBJECTS: A total of 113 healthy South Asian and European men and women in West London (age 40-55 y, body mass index (BMI) 17-34 kg/m(2)). MEASUREMENTS: Fatness and fat distribution parameters (by anthropometry, dual-energy X-ray absorptiometry and abdominal CT scan); oral glucose tolerance test with insulin response; modified fat tolerance test; and CRP concentration by sensitive ELISA. RESULTS: Median CRP level in South Asian women was nearly double that in European women (1.35 vs 0.70 mg/1, P=0.05). Measures of obesity and CRP concentration were significantly associated in both ethnic groups. The correlation to CRP was especially strong among South Asians (P0.15). CONCLUSION: We suggest that adiposity and in particular visceral adipose tissue is a key promoter of low-grade chronic inflammation. This observation may in part account for the association of CRP with markers of the metabolic syndrome. Future studies should confirm whether CRP concentrations are elevated in South Asians and whether losing weight by exercise or diet, or reduction in visceral fat mass, is associated with reduction in plasma CRP concentrations