scholarly journals Mapping-Based Exchange of Models Between Meta-Modeling Tools

2014 ◽  
Author(s):  
Heiko Kern ◽  
Fred Stefan ◽  
Vladimir Dimitrieski ◽  
Milan Čeliković
Keyword(s):  
Modeling Tools ◽  
Meta Modeling

Formal Modeling and Analysis of Object Oriented Systems using Triple Graph Grammars

2015 ◽  
Vol 6 (2) ◽  
pp. 48-64 ◽  
Author(s):  
Wafa Chama ◽  
Allaoua Chaoui ◽  
Seidali Rehab
Keyword(s):  
Graph Transformation ◽  
Formal Semantics ◽  
Graph Grammars ◽  
Rewriting Logic ◽  
Modeling Framework ◽  
Modeling Tools ◽  
Modeling And Analysis ◽  
Automatic Translation ◽  
Meta Modeling ◽  
Triple Graph Grammars

This paper proposes a Model Driven Engineering automatic translation approach based on the integration of rewriting logic formal specification and UML semi-formal models. This integration is a contribution in formalizing UML models since it lacks for formal semantics. It aims at providing UML with the capabilities of rewriting logic and its Maude language to control and detect incoherencies in their diagrams. Rewriting logic Maude language allows simulation and verification of system's properties using its LTL model-checker. This automatic translation approach is based on meta-modeling and graph transformation since UML diagrams are graphs. More precisely, the authors have proposed five meta-models and three triple graph grammars to perform the translation process. The authors have used Eclipse Generative Modeling tools: Eclipse Modeling Framework (EMF) for meta-modeling, Graphical Modeling Framework (GMF) for generating visual modeling tools and TGG Interpreter for proposing triple graph grammars. The approach is illustrated through an example.

scholarly journals Management of Correctness Problems in UML Class Diagrams Towards a Pattern-Based Approach

2010 ◽  
Vol 1 (4) ◽  
pp. 24-47 ◽  
Author(s):  
Mira Balaban ◽  
Azzam Maraee ◽  
Arnon Sturm
Keyword(s):  
Model Transformation ◽  
Ontology Engineering ◽  
Modeling Language ◽  
Class Diagram ◽  
Modeling Tools ◽  
Modeling Effort ◽  
Uml Modeling ◽  
Meta Modeling ◽  
Class Diagrams ◽  
Software Construction

UML is now widely accepted as the standard modeling language for software construction. The Class Diagram is its core view, having well formed semantics and providing the backbone for any modeling effort. Class diagrams are widely used for purposes such as software specification, database and ontology engineering, meta-modeling, and model transformation. The central role played by class diagrams emphasizes the need for strengthening UML modeling tools with features such as recognition of erroneous models and the detection of errors’ sources. Correctness of UML class diagrams refers to the capability of a diagram to denote a finite but not empty reality. This is a natural, unquestionable requirement. Nevertheless, incorrect diagrams are often designed, due to the interaction of contradicting constraints and the limitations of current tools. In this paper, the authors clarify the notion of class diagram correctness, discuss various approaches for detecting correctness problems, and propose a pattern-based approach for identifying situations in which correctness problems occur, and for providing explanations and repair advices.

Low-Carbon Russia: Prospects after the Crisis

2009 ◽  
pp. 107-120 ◽  
Author(s):  
I. Bashmakov
Keyword(s):  
Economic Growth ◽  
Potential Energy ◽  
Greenhouse Gas Emissions ◽  
Greenhouse Gas ◽  
Low Carbon ◽  
Modeling Tools ◽  
Gas Emissions ◽  
Scenario Approach

On the eve of the worldwide negotiations of a new climate agreement in December 2009 in Copenhagen it is important to clearly understand what Russia can do to mitigate energy-related greenhouse gas emissions in the medium (until 2020) and in the long term (until 2050). The paper investigates this issue using modeling tools and scenario approach. It concludes that transition to the "Low-Carbon Russia" scenarios must be accomplished in 2020—2030 or sooner, not only to mitigate emissions, but to block potential energy shortages and its costliness which can hinder economic growth.

Sarasota Bay: Protection of a Natural Resource

1993 ◽  
Vol 28 (3-5) ◽  
pp. 91-99
Author(s):  
R. A. Wagner ◽  
M. G. Heyl
Keyword(s):  
Wastewater Treatment ◽  
Best Management Practices ◽  
Management Practices ◽  
Treatment Plan ◽  
Management Strategies ◽  
Treatment Plant ◽  
Modeling Tools ◽  
Best Management ◽  
Sarasota Bay ◽  
Potential Benefits

As part of the Sarasota Bay National Estuary Program (NEP) evaluation of environmental problems, modeling tools were used to estimate pollution loadings from diverse sources, including surface runoff, baseflow, wastewater treatment plant discbarges, septic tanks, and direct deposition of rainfall on the bay surface. After assessing the relative impacts of the pollution sources, alternative management strategies were identified and analyzed. These strategies focused primarily on future development, and included structural and nonstructural best management practices (BMPs), as well as a regional wastewater treatment plan. Loading reductions, along with planning-level cost data and estimates of feasibility and other potential benefits, were used to identify the most promising alternatives.

Structure Guided Molecular Docking Assisted Alignment Dependent 3DQSAR Study on Steroidal Aromatase Inhibitors (SAIs) as Anti-breast Cancer Agents

2019 ◽  
Vol 16 (7) ◽  
pp. 808-817 ◽  
Author(s):  
Laxmi Banjare ◽  
Sant Kumar Verma ◽  
Akhlesh Kumar Jain ◽  
Suresh Thareja
Keyword(s):  
Breast Cancer ◽  
Molecular Docking ◽  
Aromatase Inhibitors ◽  
Direct Synthesis ◽  
3D Qsar ◽  
Chemotherapeutic Agents ◽  
Modeling Tools ◽  
Data Set ◽  
Wide Range ◽  
Steroidal Aromatase Inhibitors

Background: In spite of the availability of various treatment approaches including surgery, radiotherapy, and hormonal therapy, the steroidal aromatase inhibitors (SAIs) play a significant role as chemotherapeutic agents for the treatment of estrogen-dependent breast cancer with the benefit of reduced risk of recurrence. However, due to greater toxicity and side effects associated with currently available anti-breast cancer agents, there is emergent requirement to develop target-specific AIs with safer anti-breast cancer profile. Methods: It is challenging task to design target-specific and less toxic SAIs, though the molecular modeling tools viz. molecular docking simulations and QSAR have been continuing for more than two decades for the fast and efficient designing of novel, selective, potent and safe molecules against various biological targets to fight the number of dreaded diseases/disorders. In order to design novel and selective SAIs, structure guided molecular docking assisted alignment dependent 3D-QSAR studies was performed on a data set comprises of 22 molecules bearing steroidal scaffold with wide range of aromatase inhibitory activity. Results: 3D-QSAR model developed using molecular weighted (MW) extent alignment approach showed good statistical quality and predictive ability when compared to model developed using moments of inertia (MI) alignment approach. Conclusion: The explored binding interactions and generated pharmacophoric features (steric and electrostatic) of steroidal molecules could be exploited for further design, direct synthesis and development of new potential safer SAIs, that can be effective to reduce the mortality and morbidity associated with breast cancer.

Sign in / Sign up

Export Citation Format

Share Document