TY - GEN
T1 - A modularity assessment framework for context-dependent formal specifications
AU - Ubayashi, Naoyasu
PY - 2010
Y1 - 2010
N2 - Context-awareness is one of the important characteristics for developing dynamic and flexible systems. To develop reliable context-aware systems based on product lines, it is necessary to take into account not only system configurations but also any possible contexts. However, in most cases, contexts are not considered systematically. As a result, unexpected and unfavorable behavior might emerge in a system if a developer does not recognize any possible conflicting combinations between the system and its contexts. Lightweight formal approaches such as VDMTools and Alloy are effective for detecting this kind of conflicts. Because system and context specifications described in these formal methods can be considered as assets, modularity in these specifications is one of the crucial issues. This paper proposes an assessment framework for selecting appropriate formal approaches in terms of the modularity.
AB - Context-awareness is one of the important characteristics for developing dynamic and flexible systems. To develop reliable context-aware systems based on product lines, it is necessary to take into account not only system configurations but also any possible contexts. However, in most cases, contexts are not considered systematically. As a result, unexpected and unfavorable behavior might emerge in a system if a developer does not recognize any possible conflicting combinations between the system and its contexts. Lightweight formal approaches such as VDMTools and Alloy are effective for detecting this kind of conflicts. Because system and context specifications described in these formal methods can be considered as assets, modularity in these specifications is one of the crucial issues. This paper proposes an assessment framework for selecting appropriate formal approaches in terms of the modularity.
UR - http://www.scopus.com/inward/record.url?scp=85087981706&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85087981706&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:85087981706
T3 - SPLC 2010 - Proceedings of the 14th International Software Product Line Conference
SP - 13
EP - 14
BT - SPLC 2010 - Proceedings of the 14th International Software Product Line Conference
A2 - Botterweck, Goetz
A2 - Jarzabek, Stan
A2 - Kishi, Tomoji
A2 - Lee, Jaejoon
A2 - Livengood, Steve
PB - Lancaster University
T2 - 14th International Software Product Line Conference, SPLC 2010
Y2 - 13 September 2010 through 17 September 2010
ER -