NDLI: Specification of Models Based on Contexts using Graph Grammars

Content Provider	IEEE Xplore Digital Library
Author	de Oliveira, M.A. Ribeiro, L. Mauro Duarte, L. Cota, E.
Copyright Year	2013
Description	Author affiliation: Inst. de Inf., Univ. Fed. do Rio Grande do Sul, Porto Alegre, Brazil (de Oliveira, M.A.; Ribeiro, L.; Mauro Duarte, L.; Cota, E.)
Abstract	This paper presents an approach for model specification in the context of Model Checking, using graph grammars. The choice for this formal method is justified by the visual language provided by Graph Grammar and the possibility of using it to check properties of a system. Our approach is based on the analysis of a graph grammar obtained from trace information generated by Java applications. The process of creating such graph grammar from execution traces follows the main ideas of an existing approach that allows the generation of labeled transition systems from Java code. The main objective of this work is to find a way to automate the process of generating a graph grammar, using the information extracted from the source code and execution traces. For this, we developed an algorithm that maps system information, such as values of variables and possible transitions between states of a program, to rules of a graph grammar. To evaluate the methodology used in our approach, we conducted two experiments with toy applications and discuss the results obtained.
Starting Page	129
Ending Page	134
File Size	710486
Page Count	6
File Format	PDF
ISBN	9781479930579
DOI	10.1109/WEIT.2013.36
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2013-10-15
Publisher Place	Brazil
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Context Java Analytical models Formal method Instruments Graph grammar Grammar Data mining Model extract Context modeling
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

Specification and Analysis of Concurrent Systems Using Object-Based Graph Grammars

Towards a formal specification method for graphical user interfaces using modularized graph grammars

Survey of graph rewriting applied to model transformations

Elderly Mobility and Daily Routine Analysis Based on Behavior-Aware Flow Graph Modeling

Hierarchical Concept Graph Model for Measurement Signal Analysis

Using Graph Grammars to Develop Embedded Systems Based on UML Models

Graph grammar approach for transforming DATA

Research on data mining model based on context-aware system

Formal specification of CA-UCON model using CCA

Specification of Models Based on Contexts using Graph Grammars

Similar Documents

Specification and Analysis of Concurrent Systems Using Object-Based Graph Grammars

Towards a formal specification method for graphical user interfaces using modularized graph grammars

Survey of graph rewriting applied to model transformations

Elderly Mobility and Daily Routine Analysis Based on Behavior-Aware Flow Graph Modeling

Hierarchical Concept Graph Model for Measurement Signal Analysis

Using Graph Grammars to Develop Embedded Systems Based on UML Models

Graph grammar approach for transforming DATA

Research on data mining model based on context-aware system

Formal specification of CA-UCON model using CCA

Specification of Models Based on Contexts using Graph Grammars