Context-dependent product line engineering with lightweight formal approaches

Naoyasu Ubayashi, Shin Nakajima, Masayuki Hirayama

Research output: Contribution to journalArticle

2 Citations (Scopus)

Abstract

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.

Original languageEnglish
Pages (from-to)2331-2346
Number of pages16
JournalScience of Computer Programming
Volume78
Issue number12
DOIs
Publication statusPublished - Dec 1 2013

Fingerprint

Embedded systems
Specifications
Hardware

All Science Journal Classification (ASJC) codes

  • Software

Cite this

Context-dependent product line engineering with lightweight formal approaches. / Ubayashi, Naoyasu; Nakajima, Shin; Hirayama, Masayuki.

In: Science of Computer Programming, Vol. 78, No. 12, 01.12.2013, p. 2331-2346.

Research output: Contribution to journalArticle

Ubayashi, Naoyasu ; Nakajima, Shin ; Hirayama, Masayuki. / Context-dependent product line engineering with lightweight formal approaches. In: Science of Computer Programming. 2013 ; Vol. 78, No. 12. pp. 2331-2346.
@article{6ff8a3d306e344cf8c07f91086036687,
title = "Context-dependent product line engineering with lightweight formal approaches",
abstract = "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.",
author = "Naoyasu Ubayashi and Shin Nakajima and Masayuki Hirayama",
year = "2013",
month = "12",
day = "1",
doi = "10.1016/j.scico.2012.06.006",
language = "English",
volume = "78",
pages = "2331--2346",
journal = "Science of Computer Programming",
issn = "0167-6423",
publisher = "Elsevier",
number = "12",

}

TY - JOUR

T1 - Context-dependent product line engineering with lightweight formal approaches

AU - Ubayashi, Naoyasu

AU - Nakajima, Shin

AU - Hirayama, Masayuki

PY - 2013/12/1

Y1 - 2013/12/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84884673288&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84884673288&partnerID=8YFLogxK

U2 - 10.1016/j.scico.2012.06.006

DO - 10.1016/j.scico.2012.06.006

M3 - Article

AN - SCOPUS:84884673288

VL - 78

SP - 2331

EP - 2346

JO - Science of Computer Programming

JF - Science of Computer Programming

SN - 0167-6423

IS - 12

ER -