Panel discussion: Proposals for improving OCL

During the panel session at the OCL workshop, the OCL community discussed, stimulated by short presentations by OCL experts, potential future extensions and improvements of the OCL. As such, this panel discussion continued the discussion that started at the OCL meeting in Aachen in 2013 and on which we reported in the proceedings of the last year's OCL workshop. This collaborative paper, to which each OCL expert contributed one section, summarises the panel discussion as well as describes the suggestions for further improvements in more detail.Peer ReviewedPostprint (published version

Trustworthy SoC Reconfiguration Aimed at Product-Service Systems: a Literature Review

International audienc

Preface to Workshop The Pragmatics of OCL and Other Textual Specification Languages at MoDELS 2009

Preface to Workshop The Pragmatics of OCL and Other Textual Specification Languages at MoDELS 2009In recent years, model-driven methodologies, approaches and languages (like QVT) emphasized the role that OCL has to play in all kinds of model-based software development. Now, OCL is being used for quite different purposes (eg, model verification and validation, code generation, test–driven development, transformations) and application domains (domain–specific languages, web semantics). Successfully adapting OCL to all these different scenarios requires strong research on alternative notations/representations for OCL that simplify its ..

Erythrocyte density in sickle cell syndromes is associated with specific clinical manifestations and hemolysis.

International audienceDense, dehydrated red blood cells (DRBCs) are a characteristic feature of sickle-cell disease (SCD). DRBCs play a role in the pathophysiology of SCD acute and chronic organ damage because of heightened tendency to undergo polymerization and sickling because of their higher hemoglobin S concentration. Relations between red cell density (assessed with phthalate density-distribution profile method) and several hematologic, biochemical, genetic parameters, and clinical manifestations were studied in a large cohort of homozygous patients. The percentage of DRBCs was significantly higher in patients who experienced skin ulcers, priapism, or renal dysfunction. Presence of α-thalassemia deletions was associated with fewer DRBCs. A multivariable analysis model showed DRBCs to be positively associated with hemolytic parameters such as lactate dehydrogenase and bilirubin and negatively with fetal hemoglobin. The percentage of DRBCs decreased by 34% at 6 months of hydroxycarbamide (xydroxyurea) therapy. Thus, DRBCs are associated with specific clinical manifestations and biologic markers and may be a useful addition to the biologic and clinical evaluation of patients with SCD, because they can easily be measured in a hematocrit tube

A Model-Driven Solution to Support Smart Mobility Planning

Multimodal journey planners have been introduced with the goal to provide travellers with itineraries involving two or more means of transportation to go from one location to another within a city. Most of them take into account user preferences, their habits and are able to notify travellers with real time traffic information, delays, schedules update, etc.. To make urban mobility more sustainable, the journey planners of the future must include: (1) techniques to generate journey alternatives that take into account not only user preferences and needs but also specific city challenges and local mobility operators resources; (2) agile development approaches to make the update of the models and information used by the journey planners a self-adaptive task; (3) techniques for the continuous journeys monitoring able to understand when a current journey is no longer valid and to propose alternatives. In this paper we present the experiences matured during the development of a complete solution for mobility planning based on model-driven engineering techniques. Mobility challenges, resources and remarks are modelled by corresponding languages, which in turn support the automated derivation of a smart journey planner. By means of the introduced automation, it has been possible to reduce the complexity of encoding journey planning policies and to make journey planners more flexible and responsive with respect to adaptation needs

Model Transformations? Transformation Models!

Abstract. Much of the current work on model transformations seems essentially operational and executable in nature. Executable descriptions are necessary from the point of view of implementation. But from a conceptual point of view, transformations can also be viewed as descriptive models by stating only the properties a transformation has to fulfill and by omitting execution details. This contribution discusses the view that model transformations can be abstracted as being transformation models. As a simple example for a transformation model, the well-known transformation from the Entity-Relationship model to the Relational model is shown. A transformation model in this contribution is nothing more than an ordinary, simple model, i.e., a UML/MOF class diagram together with OCL constraints. A transformation model may transport syntax and semantics of the described domain. The contribution thus covers two views on transformations: An operational model transformation view and a descriptive transformation model view.

Panel discussion: Proposals for improving OCL

During the panel session at the OCL workshop, the OCL community discussed, stimulated by short presentations by OCL experts, potential future extensions and improvements of the OCL. As such, this panel discussion continued the discussion that started at the OCL meeting in Aachen in 2013 and on which we reported in the proceedings of the last year's OCL workshop. This collaborative paper, to which each OCL expert contributed one section, summarises the panel discussion as well as describes the suggestions for further improvements in more detail.Peer Reviewe

The CARD8 p.C10X mutation associates with a low anti-glycans antibody response in patients with Crohn's disease.

International audienceBACKGROUND: Crohn's disease (CD) is associated with elevated anti-glycans antibody response in 60% of CD patients, and 25% of healthy first-degree relatives (HFDRs), suggesting a genetic influence for this humoral response. In mice, anti-glucan antibody response depends on the NLRP3 inflammasome. Here, we explored the effect of mutated CARD8, a component of the inflammasome, on anti-glycans antibody response in human. METHODS: The association between p.C10X mutation (rs2043211) of the CARD8 gene and the levels of anti-glycans antibody response was examined in 39 CD families. The family-based QTDT association test was used to test for the genetic association between CARD8 p.C10X mutation and anti-glycan antibodies in the pedigrees. The difference in antibody responses determined by ELISA was tested in a subgroup of CD probands (one per family) and in a subgroup of HFDRs using the Wilcoxon Kruskal Wallis non-parametric test. RESULTS: The QTDT familial transmission tests showed that the p.C10X mutation of CARD8 was significantly associated with lower levels of antibody to mannans and glucans but not chitin (p=0.024, p=0.0028 and p=0.577, for ASCA, ALCA and ACCA, respectively). These associations were independent of NOD2 and NOD1 genetic backgrounds. The p.C10X mutation significantly associated or displayed a trend toward lower ASCA and ALCA levels (p=0.038 and p=0.08, respectively) only in the subgroup of CD probands. Such associations were not significant for ACCA levels in both subgroups of CD probands and of HFDRs. CONCLUSION: Our results show that ASCA and ALCA but not ACCA levels are under the influence of CARD8 genotype. Alteration of CARD8, a component of inflammasome, is associated with lower levels of antibodies directed to mannans and glucans at least in CD patients