NDLI: Catch me if you can – debugging support for model transformations

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

“Models and evolution”: joint MoDSE-MCCM 2009 workshop on model-driven software evolution (MoDSE) model co-evolution and consistency management (MCCM)

Recent advances in multi-paradigm modeling

Ninth international workshop on the pragmatics of OCL and other textual specification languages

The $2^{nd}$ international workshop on non-functional system properties in domain specific modeling languages (NFPinDSML2009)

Second workshop on transforming and weaving ontologies in model driven engineering (TWOMDE 2009)

Catch me if you can – debugging support for model transformations

Teaching object-oriented modeling and UML to various audiences

Using higher-order transformations to derive variability mechanism for embedded systems

HiLA: high-level aspects for UML state machines

Incremental model synchronization for efficient run-time monitoring

From UML to alloy and back again

Model patches in model-driven engineering

Deriving correspondence relationships to guide a multi-view heterogeneous composition

Extending OCL with null-references: towards a formal semantics for OCL 2.1

On the specification of non-functional properties of systems by observation

Towards semantic modeling of network physical devices

A coordination-based model-driven method for parallel application development

Teaching modeling: why, when, what?

Model-Based extension of AUTOSAR for architectural online reconfiguration

Generating synchronization engines between running systems and their model-based views

Generating class contracts from deterministic UML protocol statemachines

Limitations of automating model migration in response to metamodel adaptation

Explicit transformation modeling

On better understanding OCL collections or an OCL ordered set is not an OCL set

Modeling heterogeneous points of view with modhel'x

Using ontology reasoning for reverse engineering design patterns

Catch me if you can – debugging support for model transformations

Content Provider	ACM Digital Library
Author	Retschitzegger, Werner Wimmer, Manuel Schoenboeck, Johannes Kusel, Angelika Schwinger, Wieland Kappel, Gerti
Abstract	Model-Driven Engineering places models as first-class artifacts throughout the software lifecycle requiring the availability of proper transformation languages. Although numerous approaches are available, they lack convenient facilities for supporting debugging and understanding of the transformation logic. This is because execution engines operate on a low level of abstraction, hide the operational semantics of a transformation, scatter metamodels, models, transformation logic, and trace information across different artifacts, and provide limited verification support. To tackle these problems, we propose a Domain-Specific Language (DSL) on top of Colored Petri Nets (CPNs)—called Transformation Nets—for the execution and debugging of model transformations on a high level of abstraction. This formalism makes the afore hidden operational semantics explicit by providing a runtime model in terms of places, transitions and tokens, integrating all artifacts involved into a homogenous view. Moreover, the formal underpinnings of CPNs enable comprehensive verification of model transformations.
Starting Page	5
Ending Page	20
Page Count	16
ISBN	9783642122606
ISSN	03029743
DOI	10.1007/978-3-642-12261-3_2
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2009-10-04
Publisher Place	Berlin, Heidelberg
Access Restriction	Subscribed
Subject Keyword	Cpn Debugging Model transformation Runtime model
Content Type	Text
Resource Type	Article
Subject	Theoretical Computer Science Computer Science

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

Catch me if you can!

Catch me, if you can!

Catch me if you can

Catch me if you can.

Catch Me If You Can: Evaluating Android Anti-Malware against Transformation Attacks (2014)

IMSI-catch me if you can: IMSI-catcher-catchers

Future Tense: Catch me if you can

CATCH ME IF YOU CAN!

CATCH ME IF YOU CAN!

Catch me if you can – debugging support for model transformations

Similar Documents

Catch me if you can!

Catch me, if you can!

Catch me if you can

Catch me if you can.

Catch Me If You Can: Evaluating Android Anti-Malware against Transformation Attacks (2014)

IMSI-catch me if you can: IMSI-catcher-catchers

Future Tense: Catch me if you can

CATCH ME IF YOU CAN!

CATCH ME IF YOU CAN!

Catch me if you can – debugging support for model transformations