Paper Info
Title
A proposal for consistency checking in dynamic software product line models using OCL
Abstract
Ubiquitous applications use context information to provide services and relevant information for their users. On the other hand, in Software Product Line approaches, commonality and variability of a system family should be identified and documented through variability modeling. Thus, one of the challenges to build Context-Aware Product Lines, called Dynamic Software Product Lines, is the consistent representation of context information that influences the variability model. This work proposes the use of UML profiles and OCL to formalize and represent variability and context concepts in a consistent manner.
Year
DOI
Venue
2010
10.1145/1810295.1810379
ICSE
Keywords
Field
DocType
Unified Modeling Language,formal specification,object-oriented languages,program verification,ubiquitous computing,OCL,UML profile,consistency checking,context concept,context information,context-aware product line,dynamic software product line model,system commonality,system variability,ubiquitous applications,variability modeling,consistency checking,dynamic software product line models
Programming language,Object-oriented programming,Unified Modeling Language,Systems engineering,Computer science,Formal specification,Context model,Software,Software product line,Ubiquitous computing,Uml profile
Conference
Volume
Citations 
PageRank 
2
2
0.42
References 
Authors
10
1
Name
Order
Citations
PageRank
Fabiana G. Marinho1443.17