A modularity assessment framework for context-dependent formal specifications

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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.

Original languageEnglish
Title of host publicationSPLC 2010 - Proceedings of the 14th International Software Product Line Conference
EditorsGoetz Botterweck, Stan Jarzabek, Tomoji Kishi, Jaejoon Lee, Steve Livengood
PublisherLancaster University
Pages13-14
Number of pages2
ISBN (Electronic)9781862202740
Publication statusPublished - 2010
Event14th International Software Product Line Conference, SPLC 2010 - Jeju Island, Korea, Republic of
Duration: Sep 13 2010Sep 17 2010

Publication series

NameSPLC 2010 - Proceedings of the 14th International Software Product Line Conference

Conference

Conference14th International Software Product Line Conference, SPLC 2010
CountryKorea, Republic of
CityJeju Island
Period9/13/109/17/10

All Science Journal Classification (ASJC) codes

  • Software

Fingerprint Dive into the research topics of 'A modularity assessment framework for context-dependent formal specifications'. Together they form a unique fingerprint.

Cite this