NDLI: An integrated data model verifier with property templates

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

An integrated data model verifier with property templates

Content Provider	IEEE Xplore Digital Library
Author	Nijjar, J. Bocic, I. Bultan, T.
Copyright Year	2013
Description	Author affiliation: Univ. of California, Santa Barbara, Santa Barbara, CA, USA (Nijjar, J.; Bocic, I.; Bultan, T.)
Abstract	Most modern web applications are built using development frameworks based on the Model-View-Controller (MVC) pattern. In MVC-based web applications the data model specifies the types of objects used by the application and the relations among them. Since the data model forms the foundation of such applications, its correctness is crucial. In this paper we present a tool, IDAVER, that 1) automatically extracts a formal data model specification from applications implemented using the Ruby on Rails framework, 2) provides templates for specifying data model properties, 3) automatically translates the verification of properties specified using these templates to satisfiability queries in three different logics, and 4) uses automated decision procedures and theorem provers to identify which properties are satisfied by the data model, and 5) reports counterexample instances for the properties that fail. Our tool achieves scalable automated verification by exploiting the modularity in the MVC pattern. IDAVER does not require formal specifications to be written manually; thus, our tool enables automated verification and increases the usability by combining automated data model extraction with template-based property specification.
Starting Page	29
Ending Page	35
File Size	364176
Page Count	7
File Format	PDF
ISBN	9781467362924
DOI	10.1109/FormaliSE.2013.6612274
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2013-05-25
Publisher Place	USA
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Rails Object oriented modeling Metals Data models Data mining Usability Videos
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

Predicting Quality of Object-Oriented Systems through a Quality Model Based on Design Metrics and Data Mining Techniques

Managing identity in global object views

Modeling and querying videos by content trajectories

An object-oriented conceptual model for the representation of geographic information

An oodb design methodology with integrated modeling.

Naive Bayes Software Defect Prediction Model

An object-oriented data model for a time series management system

OOPS-an object oriented programming system with integrated data management facility

The construction of an object-oriented specification model

An integrated data model verifier with property templates

Similar Documents

Predicting Quality of Object-Oriented Systems through a Quality Model Based on Design Metrics and Data Mining Techniques

Managing identity in global object views

Modeling and querying videos by content trajectories

An object-oriented conceptual model for the representation of geographic information

An oodb design methodology with integrated modeling.

Naive Bayes Software Defect Prediction Model

An object-oriented data model for a time series management system

OOPS-an object oriented programming system with integrated data management facility

The construction of an object-oriented specification model

An integrated data model verifier with property templates