NDLI: Demystifying model transformations: an approach based on automated rule inference

Please wait, while we are loading the content...

Flapjax: a programming language for Ajax applications

Parallel programming with object assemblies

How a Java VM can get more from a hardware performance monitor

Accelerating the creation of customized, language-Specific IDEs in Eclipse

Strictly declarative specification of sophisticated points-to analyses

Enhancing source-level programming tools with an awareness of transparent program transformations

Allocation wall: a limiting factor of Java applications on emerging multi-core platforms

Optimizing programs with intended semantics

Onward! Chair's Welcome

Software evolution and the moving picture metaphor

CZ: multiple inheritance without diamonds

Grace: safe multithreaded programming for C/C++

A concurrent dynamic analysis framework for multicore hardware

Debug all your code: portable mixed-environment debugging

Self type constructors

Static extraction and conformance analysis of hierarchical runtime architectural structure using annotations

NUMA-aware memory manager with dominant-thread-based copying GC

Minimizing dependencies within generic classes for faster and smaller programs

Design pattern density defined

Agile anthropology and Alexander's architecture: an essay in three voices

Empirical assessment of object-oriented implementations with multiple inheritance and static typing

A type and effect system for deterministic parallel Java

Inferred call path profiling

The design of a task parallel library

Profile-guided static typing for dynamic scripting languages

Demystifying model transformations: an approach based on automated rule inference

Executing code in the past: efficient in-memory object graph versioning

Providing rapid feedback in generated modular language environments: adding error recovery to scannerless generalized-LR parsing

Writing code for other people: cognitive psychology and the fundamentals of good software design principles

An exploration of program as language

Thorn: robust, concurrent, extensible scripting on the JVM

Regrowing a language: refactoring tools allow programming languages to evolve

On understanding data abstraction, revisited

π: a pattern language

Demystifying model transformations: an approach based on automated rule inference

Content Provider	ACM Digital Library
Author	Mani, Senthil Sinha, Vibha Singhal Nanda, Mangala Gowri Sinha, Saurabh
Abstract	Model-driven development (MDD) is widely used to develop modern business applications. MDD involves creating models at different levels of abstractions. Starting with models of domain concepts, these abstractions are successively refined, using transforms, to design-level models and, eventually, code-level artifacts. Although many tools exist that support transform creation and verification, tools that help users in understanding and using transforms are rare. In this paper, we present an approach for assisting users in understanding model transformations and debugging their input models. We use automated program-analysis techniques to analyze the transform code and compute constraints under which a transformation may fail or be incomplete. These code-level constraints are mapped to the input model elements to generate model-level rules. The rules can be used to validate whether an input model violates transform constraints, and to support general user queries about a transformation. We have implemented the analysis in a tool called XYLEM. We present empirical results, which indicate that (1) our approach can be effective in inferring useful rules, and (2) the rules let users efficiently diagnose a failing transformation without examining the transform source code.
Starting Page	341
Ending Page	360
Page Count	20
File Format	PDF
ISBN	9781605587660
DOI	10.1145/1640089.1640114
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2009-10-26
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Precondition analysis Model validation Model-to-model transform Transformation comprehension Model-driven development
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Demystifying model transformations:an approach based on automated rule inference

Demystifying model transformations: an approach based on automated rule inference (2009)

Demystifying model transformations: an approach based on automated rule inference (2009)

Separating constraints in validated model transformations.

Constraint validation in model compilers.

Automated model-to-metamodel transformations based on the concepts of deep instantiation

Model Transformation Approach to Automated Model Driven Development

Model development – modeling methodologies.

Metamodeling and model transformations in modeling and simulation.

Demystifying model transformations: an approach based on automated rule inference

Similar Documents

Demystifying model transformations:an approach based on automated rule inference

Demystifying model transformations: an approach based on automated rule inference (2009)

Demystifying model transformations: an approach based on automated rule inference (2009)

Separating constraints in validated model transformations.

Constraint validation in model compilers.

Automated model-to-metamodel transformations based on the concepts of deep instantiation

Model Transformation Approach to Automated Model Driven Development

Model development – modeling methodologies.

Metamodeling and model transformations in modeling and simulation.

Demystifying model transformations: an approach based on automated rule inference