A modularity assessment framework for context-dependent formal specifications

研究成果: Chapter in Book/Report/Conference proceedingConference contribution

抄録

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.

本文言語英語
ホスト出版物のタイトルSPLC 2010 - Proceedings of the 14th International Software Product Line Conference
編集者Goetz Botterweck, Stan Jarzabek, Tomoji Kishi, Jaejoon Lee, Steve Livengood
出版社Lancaster University
ページ13-14
ページ数2
ISBN(電子版)9781862202740
出版ステータス出版済み - 2010
イベント14th International Software Product Line Conference, SPLC 2010 - Jeju Island, 大韓民国
継続期間: 9 13 20109 17 2010

出版物シリーズ

名前SPLC 2010 - Proceedings of the 14th International Software Product Line Conference

会議

会議14th International Software Product Line Conference, SPLC 2010
国/地域大韓民国
CityJeju Island
Period9/13/109/17/10

All Science Journal Classification (ASJC) codes

  • ソフトウェア

フィンガープリント

「A modularity assessment framework for context-dependent formal specifications」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル