Meta-Modelling and Graph Transformation for the Definition of Multi-View Visual Languages

2011 ◽  
pp. 74-101 ◽  
Author(s):  
Esther Guerra ◽  
Juan de Lara
Keyword(s):  
Whole Language ◽  
Model Simulation ◽  
Graph Transformation ◽  
Software Systems ◽  
Small Subset ◽  
Consistency Checking ◽  
Visual Languages ◽  
Meta Model ◽  
Definition Of ◽  
High Level

In this chapter, we present our approach for the definition of Multi-View Visual Languages (MVVLs). These are languages made of a set of different diagram types, which are used to specify the different aspects of a system. A prominent example of this kind of languages is UML, which defines a set of diagrams for the description of the static and dynamic elements of software systems. In the multi-view approach, consistency checking is essential to verify that the combination of the various system views yields a consistent description of the system. We use two techniques to define environments for MVVLs: meta-modelling and graph transformation. The former is used to describe the syntax of the whole language. In addition, we define a meta-model for each diagram type of the language (that we call viewpoint) as a restriction of the complete MVVL meta-model. From this high-level description, we can generate a customized environment supporting the definition of multiple system views. Consistency between views is ensured by translating each one of them into a unique repository model which is conformant to the meta-model of the whole language. The translation is performed by automatically generated graph transformation rules. Whenever a change is performed in a view, some rules are triggered to update the repository. These updates may trigger other rules to propagate the changes from the repository to the rest of the views. In our approach, graph transformation techniques are also used for other purposes, such as model simulation, optimization and transformation into other formalisms. In this chapter, we also discuss the integration of these concepts in the AToM3 tool, and show some illustrative examples by generating an environment for a small subset of UML.

Integrating Measures and Redesigns in the Definition of Domain Specific Visual Languages

2009 ◽  
pp. 119-146
Author(s):  
Esther Guerra ◽  
Juan de Lara ◽  
Paloma Díaz
Keyword(s):  
Graph Transformation ◽  
Success Factor ◽  
Visual Languages ◽  
Model Quality ◽  
Web Engineering ◽  
Product Metrics ◽  
Model Driven ◽  
Domain Specific ◽  
Modelling Environment ◽  
Definition Of

The goal of this work is to facilitate the task of integrating measurement and redesign tools in modelling environments for Domain Specific Visual Languages (DSVLs), reducing or eliminating the necessity of coding. With this purpose, we have created a DSVL called SLAMMER that includes generalizations of some of the more used types of product metrics and frequent model manipulations, which can be easily customised for any other DSVL in a graphical way. The metric customisation process relies on visual patterns for the specification of the elements that should be measured in each metric type, while redesigns (as well as other actions) can be specified either personalizing generic templates or by means of graph transformation systems. The provided DSVL also allows creating new metrics, composing metrics, and executing actions guided by measurement values. The approach has been empirically validated by its implementation in a meta-modelling tool, which has been used for several DSVLs. In this way, together with the DSVL specification, a SLAMMER model can be provided containing a suite of metrics and actions that will become available in the final modelling environment. In this chapter we show a case study for a notation in the web engineering domain. As ensuring model quality is a key success factor in many computer science areas, even crucial in model-driven development, we believe that the results of this work benefit all of them by providing automatic support for the specification, generation and integration of measurement and redesign tools with modelling environments.

scholarly journals Coloured Petri Nets: A High Level Language for System Design and Analysis

1993 ◽  
Vol 19 (338) ◽  
Author(s):  
Kurt Jensen
Keyword(s):  
Petri Nets ◽  
Software Systems ◽  
Coloured Petri Nets ◽  
Human Beings ◽  
High Level Language ◽  
Design Specification ◽  
Computer Tools ◽  
Simulation Validation ◽  
Definition Of ◽  
High Level

This paper describes how Coloured Petri Nets (CP-nets) have been developed - from being a promising theoretical model to being a full-fledged language for the design, specification, simulation, validation and implementation of large software systems (and other systems in which human beings and/or computers communicate by means of some more or less formal rules). First CP-nets are introduced by means of a small example and a formal definition of their structure and behaviour is presented. Then we describe how to extend CP-nets by a set of hierarchy constructs (allowing a hierarchical CP-net to consist of many different subnets, which are related to each other in a formal way). Next we describe how to analyse CP-nets, how to support them by various computer tools, and we also describe some typical applications. Finally, a number of future extensions are discussed (of the net model and the supporting software).

Europe

2020 ◽  
pp. 649-666
Author(s):  
Andrea Renda
Keyword(s):  
Artificial Intelligence ◽  
Digital Technology ◽  
Policy Framework ◽  
Expert Group ◽  
Ethical Guidelines ◽  
Ethical Implications ◽  
Strong Focus ◽  
Ethics Guidelines ◽  
Definition Of ◽  
High Level

This chapter assesses Europe’s efforts in developing a full-fledged strategy on the human and ethical implications of artificial intelligence (AI). The strong focus on ethics in the European Union’s AI strategy should be seen in the context of an overall strategy that aims at protecting citizens and civil society from abuses of digital technology but also as part of a competitiveness-oriented strategy aimed at raising the standards for access to Europe’s wealthy Single Market. In this context, one of the most peculiar steps in the European Union’s strategy was the creation of an independent High-Level Expert Group on AI (AI HLEG), accompanied by the launch of an AI Alliance, which quickly attracted several hundred participants. The AI HLEG, a multistakeholder group including fifty-two experts, was tasked with the definition of Ethics Guidelines as well as with the formulation of “Policy and Investment Recommendations.” With the advice of the AI HLEG, the European Commission put forward ethical guidelines for Trustworthy AI—which are now paving the way for a comprehensive, risk-based policy framework.

scholarly journals Shape Sensing of a Complex Aeronautical Structure with Inverse Finite Element Method

Sensors ◽  
2021 ◽  
Vol 21 (4) ◽  
pp. 1388
Author(s):  
Daniele Oboe ◽  
Luca Colombo ◽  
Claudio Sbarufatti ◽  
Marco Giglio
Keyword(s):  
Finite Element Method ◽  
Finite Element ◽  
Boundary Conditions ◽  
Strain Field ◽  
Element Analysis ◽  
Inverse Finite Element Method ◽  
Shape Sensing ◽  
Definition Of ◽  
High Level ◽  
Element Method

The inverse Finite Element Method (iFEM) is receiving more attention for shape sensing due to its independence from the material properties and the external load. However, a proper definition of the model geometry with its boundary conditions is required, together with the acquisition of the structure’s strain field with optimized sensor networks. The iFEM model definition is not trivial in the case of complex structures, in particular, if sensors are not applied on the whole structure allowing just a partial definition of the input strain field. To overcome this issue, this research proposes a simplified iFEM model in which the geometrical complexity is reduced and boundary conditions are tuned with the superimposition of the effects to behave as the real structure. The procedure is assessed for a complex aeronautical structure, where the reference displacement field is first computed in a numerical framework with input strains coming from a direct finite element analysis, confirming the effectiveness of the iFEM based on a simplified geometry. Finally, the model is fed with experimentally acquired strain measurements and the performance of the method is assessed in presence of a high level of uncertainty.

scholarly journals A fatal toxic shock-like syndrome post COVID-19 infection in a child

2021 ◽  
Vol 47 (1) ◽  
Author(s):  
Houda Ajmi ◽  
Wissem Besghaier ◽  
Wafa Kallala ◽  
Abdelhalim Trabelsi ◽  
Saoussan Abroug
Keyword(s):  
Ejection Fraction ◽  
Pediatric Intensive Care ◽  
Fresh Frozen Plasma ◽  
Multiple Organ ◽  
Clinical Feature ◽  
Fresh Frozen ◽  
Life Threatening ◽  
High Doses ◽  
Definition Of ◽  
High Level

Abstract Background Children affected by Coronavirus disease 2019 (COVID-19) showed various manifestations. Some of them were severe cases presenting with multi-system inflammatory syndrome (MIS-C) causing multiple organ dysfunction. Case presentation We report the case of a 12-year-old girl with recent COVID-19 infection who presented with persistent fever, abdominal pain and other symptoms that meet the definition of MIS-C. She had lymphopenia and a high level of inflammatory markers. She was admitted to pediatric intensive care unit since she rapidly developed refractory catecholamine-resistant shock with multiple organ failure. Echocardiography showed a small pericardial effusion with a normal ejection fraction (Ejection Fraction = 60%) and no valvular or coronary lesions. The child showed no signs of improvement even after receiving intravenous immunoglobulin, fresh frozen plasma, high doses of Vasopressors and corticosteroid. His outcome was fatal. Conclusion Pediatric patients affected by the new COVID-19 related syndrome may show severe life-threatening conditions similar to Kawasaki disease shock syndrome. Hypotension in these patients results from heart failure and the decreased cardiac output. We report a new severe clinical feature of SARS-CoV-2 infection in children in whom hypotension was the result of refractory vasoplegia.

The Impact of the Privacy Rule on Cancer Research: Variations in Attitudes and Application of Regulatory Standards

2009 ◽  
Vol 27 (24) ◽  
pp. 4014-4020 ◽  
Author(s):  
Elizabeth Goss ◽  
Michael P. Link ◽  
Suanna S. Bruinooge ◽  
Theodore S. Lawrence ◽  
Joel E. Tepper ◽  
...  
Keyword(s):  
Cancer Research ◽  
Future Research ◽  
Research Committee ◽  
Data Repositories ◽  
Privacy Rule ◽  
Regulatory Standards ◽  
American Society ◽  
Definition Of ◽  
High Level ◽  
The Impact

Purpose The American Society of Clinical Oncology (ASCO) Cancer Research Committee designed a qualitative research project to assess the attitudes of cancer researchers and compliance officials regarding compliance with the US Privacy Rule and to identify potential strategies for eliminating perceived or real barriers to achieving compliance. Methods A team of three interviewers asked 27 individuals (13 investigators and 14 compliance officials) from 13 institutions to describe the anticipated approach of their institutions to Privacy Rule compliance in three hypothetical research studies. Results The interviews revealed that although researchers and compliance officials share the view that patients' cancer diagnoses should enjoy a high level of privacy protection, there are significant tensions between the two groups related to the proper standards for compliance necessary to protect patients. The disagreements are seen most clearly with regard to the appropriate definition of a “future research use” of protected health information in biospecimen and data repositories and the standards for a waiver of authorization for disclosure and use of such data. Conclusion ASCO believes that disagreements related to compliance and the resulting delays in certain projects and abandonment of others might be eased by additional institutional training programs and consultation on Privacy Rule issues during study design. ASCO also proposes the development of best practices documents to guide 1) creation of data repositories, 2) disclosure and use of data from such repositories, and 3) the design of survivorship and genetics studies.

A NOVEL APPROACH TO VERIFY GRAPH SCHEMA-BASED SOFTWARE SYSTEMS

2009 ◽  
Vol 19 (06) ◽  
pp. 857-870 ◽  
Author(s):  
VAHID RAFE ◽  
ADEL T. RAHMANI
Keyword(s):  
Graph Transformation ◽  
Behavioral Modeling ◽  
Model Transformations ◽  
Software Systems ◽  
Hierarchical Systems ◽  
Input Language ◽  
Novel Approach ◽  
Graph Schema ◽  
Transformation Systems ◽  
Graph Transformation Systems

Graph Grammars have recently become more and more popular as a general formal modeling language. Behavioral modeling of dynamic systems and model to model transformations are a few well-known examples in which graphs have proven their usefulness in software engineering. A special type of graph transformation systems is layered graphs. Layered graphs are a suitable formalism for modeling hierarchical systems. However, most of the research so far concentrated on graph transformation systems as a modeling means, without considering the need for suitable analysis tools. In this paper we concentrate on how to analyze these models. We will describe our approach to show how one can verify the designed graph transformation systems. To verify graph transformation systems we use a novel approach: using Bogor model checker to verify graph transformation systems. The AGG-like graph transformation systems are translated to BIR — the input language of Bogor — and Bogor verifies that model against some properties defined by combining LTL and special purpose graph rules. Supporting schema-based and layered graphs characterize our approach among existing solutions for verification of graph transformation systems.

Digital Technology: the Answer to the Art Historical Conundrum of A ccessibility?

2018 ◽  
Author(s):  
Abigail Berry
Keyword(s):  
Digital Technology ◽  
Art History ◽  
18Th Century ◽  
Modern Technology ◽  
Travel Costs ◽  
Special Collections ◽  
The People ◽  
Accessibility Problem ◽  
Definition Of ◽  
High Level

The famous anthropologist Pierre Bourdieu argued that there is an “unnatural idea of inborn culture, of a gift of culture, bestowed on certain people by Nature.” [1] Bourdieu is arguing that people, who have not been born into a higher class, or who cannot receive a high level of education, are unable to appreciate and understand art. The study of art history is expensive, and often involves extremely high travel costs, thus making it inaccessible to anybody who does not enjoy the means to pursue it. How can we address this accessibility problem in the study of art history? Is there any way to bring art to the people who do not possess “inborn culture?” Bourdieu wrote his book on art and class in 1984, at a time when the computer, and its democratizing potential, was a new and little -understood invention. My research proposes that modern technology provides an answer to this problem, which has plagued the discipline of art history. This presentation will examine three research projects that I’ve been working on at Queen’s. Each project uses digital technologies to improve the general public’s knowledge and access to art. The projects are all different: the first focuses on creating a digital model of 18th - century Canterbury Cathedral based on a book from W.D. Jordan Rare Books and Special Collections, the second project works on understanding Herstmonceux Castle and medieval England through technology, and the third involves image processing for art historical investigations. Despite their differences, each project makes art accessible to people who do not possess Bourdieu’s definition of “inborn culture.”        

scholarly journals Defining the role and scope of practice of allied health assistants within Queensland public health services

2013 ◽  
Vol 37 (5) ◽  
pp. 602 ◽  
Author(s):  
Michelle Stute ◽  
Andrea Hurwood ◽  
Julie Hulcombe ◽  
Pim Kuipers
Keyword(s):  
Health Services ◽  
Allied Health ◽  
Support Staff ◽  
Scope Of Practice ◽  
Public Health Services ◽  
Qualitative Feedback ◽  
Health Assistant ◽  
Definition Of ◽  
Professional Support Staff ◽  
High Level

Background The uptake and utilisation of allied health assistants as professional support staff has been variable across disciplines and jurisdictions. Although they are potentially very important in the current health workforce context, there is little agreement on their roles or the most suitable methods to define these roles. Method Based on a review of literature, existing role descriptions and focus groups, a Delphi survey process was undertaken. This process comprising three rounds of discussion and clarification via email, with between 107 and 188 participants, was undertaken to define and establish consensus on allied health assistant roles at three levels. Results Three cycles of editing, qualitative feedback and rating of agreement with statements resulted in substantial clarification of roles and a meaningful degree of consensus regarding the role and scope of such positions. High levels of agreement were not reached for more high-level or contested clinical tasks. Conclusions The Delphi process resulted in key tasks and roles being defined and contentious aspects clearly identified. The process facilitated engagement with workforce members most closely affected by these questions. It was a useful means of drawing together the opinions of the workforce and informing implementation trials to follow. What is known about the topic? Allied health assistants are important members of health teams. Current developments in health services necessitate considerable growth in these positions. The role and scope of practice of allied health assistants is poorly defined and varies between disciplines, settings and facilities, which threatens the establishment of these positions. What does this paper add? This study describes a methodology used to define the role and scope of practice of allied health support staff, which resulted in high levels of consensus and documentation of concerns regarding these positions. Tasks and roles have been defined at different allied health assistant position levels. What are the implications for practitioners? The definition of roles and establishment of scope of practice of emerging positions can be substantially advanced by well researched and widely consultative methods. For more advanced allied health assistant positions to be effectively implemented, tasks relating to treatment, leadership, documentation, assessment and team participation must be clearly elucidated and agreed.

Sign in / Sign up

Export Citation Format

Share Document