Context-dependent product line engineering with lightweight formal approaches

Naoyasu Ubayashi, Shin Nakajima, Masayuki Hirayama

研究成果: ジャーナルへの寄稿学術誌査読

2 被引用数 (Scopus)


This paper proposes a new style of product line engineering methods. It focuses on constructing embedded systems that take into account the contexts such as the external physical environments. In current product line development projects, Feature Analysis is mainly conducted from the viewpoint of system configurations: how hardware and software components are configured to constitute a system. In most cases, contexts are not considered explicitly. 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 contexts. To deal with this problem, this paper provides the notion of a context-dependent product line, which is composed of the system and context lines. The former is obtained by analyzing a family of systems. The latter is obtained by analyzing features of contexts associated to the systems. The system and context lines contain reusable core assets. The configuration of selected system components and contexts can be formally checked at the specification level. In this paper, we show a development process that includes the creation of both product line assets as well as context assets.

ジャーナルScience of Computer Programming
出版ステータス出版済み - 12月 1 2013

!!!All Science Journal Classification (ASJC) codes

  • ソフトウェア


「Context-dependent product line engineering with lightweight formal approaches」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。