NDLI: Goal-oriented modeling and verification of feature-oriented product lines

Content Provider	Springer Nature Link
Author	Asadi, Mohsen Gröner, Gerd Mohabbati, Bardia Gašević, Dragan
Copyright Year	2014
Abstract	Goal models represent requirements and intentions of a software system. They play an important role in the development life cycle of software product lines (SPLs). In the domain engineering phase, goal models guide the development of variability in SPLs by providing the rationale for the variability, while they are used for the configuration of SPLs in the application engineering phase. However, variability in SPLs, which is represented by feature models, usually has design and implementation-induced constraints. When those constraints are not aligned with variability in goal models, the configuration with goal models becomes error prone. To remedy this problem, we propose a description logic (DL)-based approach to represent both models and their relations in a common DL knowledge base. Moreover, we apply reasoning to detect inconsistencies in the variability of goal and feature models. A formal proof is provided to demonstrate the correctness of the reasoning approach. An empirical evaluation shows computational tractability of the inconsistency detection.
Starting Page	257
Ending Page	279
Page Count	23
File Format	PDF
ISSN	16191366
Journal	Software and Systems Modeling
Volume Number	15
Issue Number	1
e-ISSN	16191374
Language	English
Publisher	Springer Berlin Heidelberg
Publisher Date	2014-02-22
Publisher Place	Berlin, Heidelberg
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Software engineering Feature oriented software families Goal-oriented requirements engineering Description Logic Feature Models Verification Software Engineering/Programming and Operating Systems Programming Techniques Software Engineering Programming Languages, Compilers, Interpreters Information Systems Applications (incl. Internet) IT in Business
Content Type	Text
Resource Type	Article
Subject	Modeling and Simulation 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

Feature Nets: behavioural modelling of software product lines

Domain specific modeling

Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic

AoURN-based modeling and analysis of software product lines

Formal verification of software source code through semi-automatic modeling

Introductory paper

Model aesthetics

An overview of model checking practices on verification of PLC software

Models for digitalization

Goal-oriented modeling and verification of feature-oriented product lines

Similar Documents

Feature Nets: behavioural modelling of software product lines

Domain specific modeling

Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic

AoURN-based modeling and analysis of software product lines

Formal verification of software source code through semi-automatic modeling

Introductory paper

Model aesthetics

An overview of model checking practices on verification of PLC software

Models for digitalization

Goal-oriented modeling and verification of feature-oriented product lines