NDLI: Conformance Checking with Constraint Logic Programming: The Case of Feature Models

Content Provider	IEEE Xplore Digital Library
Author	Mazo, R. Lopez-Herrejon, R.E. Salinesi, C. Diaz, D. Egyed, A.
Copyright Year	2011
Abstract	Developing high quality systems depends on developing high quality models. An important facet of model quality is their consistency with respect to their meta-model. We call the verification of this quality the conformance checking process. We are interested in the conformance checking of Product Line Models (PLMs). The problem in the context of product lines is that product models are not created by instantiating a meta-model: they are derived from PLMs. Therefore it is usually at the level of PLMs that conformance checking is applied. On the semantic level, a PLM is defined as the collection of all the product models that can be derived from it. Therefore checking the conformance of the PLM is equivalent to checking the conformance of all the product models. However, we would like to avoid this naïve approach because it is not scalable due to the high number of models. In fact, it is even sometimes infeasible to calculate the number of product models of a PLM. Despite the importance of PLM conformance checking, very few research works have been published and tools do not adequately support it. In this paper, we present an approach that employs Constraint Logic Programming as a technology on which to build a PLM conformance checking solution. The paper demonstrates the approach with feature models, the de facto standard for modeling software product lines. Based on an extensive literature review and an empirical study, we identified a set of 9 conformance checking rules and implemented them on the GNU Prolog constraints solver. We evaluated our approach by applying our rules to 50 feature models of sizes up to 10000 features. The evaluation showed that our approach is effective and scalable to industry size models.
Starting Page	456
Ending Page	465
File Size	494489
Page Count	10
File Format	PDF
ISBN	9781457705441
ISSN	07303157
e-ISBN	9780769544397
DOI	10.1109/COMPSAC.2011.66
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2011-07-18
Publisher Place	Germany
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Unified modeling language Vibrations Sensor phenomena and characterization Frequency modulation Context modeling constraint logic programming product line models feature models conformance checking verification
Content Type	Text
Resource Type	Article
Subject	Computer Science Applications Software

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

Egyed A. “Conformance Checking with Constraint Logic Programming: The Case of Feature Models (2011)

A proposal for consistency checking in dynamic software product line models using OCL

A Verification Mechanism of Feature Models for Mobile and Context-Aware Software Product Lines

Conformance checking with constraint logic programming: the case of feature models.

Conformance Checking with Constraint Logic Programming: The Case of Feature Models

Conformance Checking with Constraint Logic Programming: The Case of Feature Models

Zen-CC: An Automated and Incremental Conformance Checking Solution to Support Interactive Product Configuration

Verification of UML/OCL Class Diagrams using Constraint Programming

Visual constraint diagrams: runtime conformance checking of UML object models versus implementations

Conformance Checking with Constraint Logic Programming: The Case of Feature Models

Similar Documents

Egyed A. “Conformance Checking with Constraint Logic Programming: The Case of Feature Models (2011)

A proposal for consistency checking in dynamic software product line models using OCL

A Verification Mechanism of Feature Models for Mobile and Context-Aware Software Product Lines

Conformance checking with constraint logic programming: the case of feature models.

Conformance Checking with Constraint Logic Programming: The Case of Feature Models

Conformance Checking with Constraint Logic Programming: The Case of Feature Models

Zen-CC: An Automated and Incremental Conformance Checking Solution to Support Interactive Product Configuration

Verification of UML/OCL Class Diagrams using Constraint Programming

Visual constraint diagrams: runtime conformance checking of UML object models versus implementations

Conformance Checking with Constraint Logic Programming: The Case of Feature Models