Specifying software features for composition: A tool-supported approach

Abstract

Development of several computing and communication technologies is enabling the widespread availability of pervasive systems. In smart home applications, household appliances-such as security alarms, heating systems, doors and windows-are connected to home digital networks. These applications offer features that are typically developed by disparate vendors, and when composed together, these features are expected to work together harmoniously. Engineering these systems poses two main challenges. The first challenge is: how can developers of individual features specify the features in order to make them composable with other hitherto unknown features? The second challenge is: when composition of features does not produce the desired behaviour, what can be done to resolve this non-intrusively? This article argues that the two issues are intrinsically related, and proposes an approach that addresses the first challenge in a way that makes the second challenge manageable. In particular, we describe a way of writing feature specifications in which assumptions about the problem world are made explicit. These feature assumptions can then be evaluated at runtime in order to preserve the desired system behaviour to the extent possible. Our approach is illustrated with examples from smart home applications.

Requirements Planning with Event Calculus for Self-adaptive Multi-agent System

“…The first is to identify the states to monitor which could trigger plan actions in the next layer of actions (Tun et al, 2009). The second is to identify feature interactions (Tun et al, 2013), in other words, which planned actions shall not execute at the same timestamp. Two actions associated with the same agent cannot be executed synchronously, e.g., in the case of "landmark detection" and "face detection" associated with the NAO robot.…”