NDLI: Formal verification of model transformations: An automated framework

Content Provider	IEEE Xplore Digital Library
Author	Asztalos, M. Madari, I. Vajk, T. Lengyel, L. Levendovszky, T.
Copyright Year	2010
Description	Author affiliation: Budapest University of Technology and Economics, Budapest, Hungary (Levendovszky, T.) \|\| Department of Automation and Applied Informatics, Budapest, Hungary (Asztalos, M.; Madari, I.; Vajk, T.; Lengyel, L.)
Abstract	Verification of models and model processing programs are inevitable in real world model-based software development. Model transformation developers are often interested in offline verification methods, when only the definition of the model transformation and the specification of the source and target languages are used to analyze the properties and no concrete input models are taken into account. Therefore, the results of the analysis hold for each output model not just particular ones, and we have to perform the analysis only once. Most often, formal verification of model transformations is performed manually or the methods can be applied only for a certain transformation or for the analysis of only a certain property. Previous work has presented formal and algorithmic background for a possible verification framework. Based on this background, this paper introduces a realization of an automated verification framework for graph rewriting-based model transformations. We illustrate the operation of the framework and demonstrate its applicability on a case study. Our goal is to further improve our approach in order to be able to be applied in more complex industrial solutions as well.
Starting Page	493
Ending Page	498
File Size	1529001
Page Count	6
File Format	PDF
ISBN	9781424474325
e-ISBN	9781424474332
DOI	10.1109/ICCCYB.2010.5491223
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2010-05-27
Publisher Place	Romania
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Automation Unified modeling language Documentation Programming Computer industry Concrete Performance analysis Informatics Formal verification Construction industry
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

Towards Automated, Formal Verification of Model Transformations

A Metamodel-Based Matching Algorithm for Model Transformations

VIATRA - visual automated transformations for formal verification and validation of UML models

Tutorial: an overview of UML 2.0

A Tridimensional Approach for Studying the Formal Verification of Model Transformations

VIATRA - Visual Automated Transformations for Formal Verification and Validation of UML Models (2002)

Towards formal verification of UML diagrams based on graph transformation

Formal Specification and Representation of Design Patterns Using RTPA

Model-based verification in the development of dependable systems

Formal verification of model transformations: An automated framework

Similar Documents

Towards Automated, Formal Verification of Model Transformations

A Metamodel-Based Matching Algorithm for Model Transformations

VIATRA - visual automated transformations for formal verification and validation of UML models

Tutorial: an overview of UML 2.0

A Tridimensional Approach for Studying the Formal Verification of Model Transformations

VIATRA - Visual Automated Transformations for Formal Verification and Validation of UML Models (2002)

Towards formal verification of UML diagrams based on graph transformation

Formal Specification and Representation of Design Patterns Using RTPA

Model-based verification in the development of dependable systems

Formal verification of model transformations: An automated framework