Paper Info
Title
A Verification Mechanism of Feature Models for Mobile and Context-Aware Software Product Lines
Abstract
Software Product Lines (SPLs) have been used to develop mobile and context-aware applications, which provide services and data for their users from anywhere and at any time using context information. In SPLs, commonality and variability of a system family are identified and often documented in a feature model. However, the development of a feature model for mobile and context-aware SPLs is not trivial, since it should comprise system and context information. Furthermore, the consistency check of feature models in the considered domain is also complex and demands advanced skills of software engineers. This paper proposes a mechanism to formalize and verify the correctness and consistency of feature models for mobile and context-aware SPLs based on a profile enriched with OCL specifications.
Year
DOI
Venue
2011
10.1109/SBCARS.2011.9
SBCARS
Keywords
Field
DocType
formal specification,formal verification,mobile computing,product development,software reusability,OCL specifications,context-aware software product lines,feature models,mobile software product lines,verification mechanism,Mobile and Context-aware domain,OCL,consistency checking,feature model,software product lines
Mobile computing,Programming language,Unified Modeling Language,Computer science,Correctness,Formal specification,Context model,Feature model,Software,Formal verification
Conference
Citations 
PageRank 
References 
3
0.40
22
Authors
3
Name
Order
Citations
PageRank
Fabiana G. Marinho1443.17
Rossana M. C. Andrade235458.76
Cláudia Werner3715.57