Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
Software requirements & specifications: a lexicon of practice, principles and prejudices
Software requirements & specifications: a lexicon of practice, principles and prejudices
Automated consistency checking of requirements specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Four dark corners of requirements engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Understanding “why” in software process modelling, analysis, and design
ICSE '94 Proceedings of the 16th international conference on Software engineering
Inferring Declarative Requirements Specifications from Operational Scenarios
IEEE Transactions on Software Engineering
Problem frames: analyzing and structuring software development problems
Problem frames: analyzing and structuring software development problems
A Reference Model for Requirements and Specifications
IEEE Software
Feature interaction: a critical review and considered forecast
Computer Networks: The International Journal of Computer and Telecommunications Networking
Synthesis of Behavioral Models from Scenarios
IEEE Transactions on Software Engineering
An Abductive Approach for Analysing Event-Based Requirements Specifications
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Modeling Dynamic Domains with ConGolog
CAiSE '99 Proceedings of the 11th International Conference on Advanced Information Systems Engineering
Using Event Calculus to Formalise Policy Specification and Analysis
POLICY '03 Proceedings of the 4th IEEE International Workshop on Policies for Distributed Systems and Networks
Goal-directed elaboration of requirements for a meeting scheduler: problems and lessons learnt
RE '95 Proceedings of the Second IEEE International Symposium on Requirements Engineering
Smart home – digitally engineered domestic life
Personal and Ubiquitous Computing
Composing Requirements Using Problem Frames
RE '04 Proceedings of the Requirements Engineering Conference, 12th IEEE International
System support for pervasive applications
ACM Transactions on Computer Systems (TOCS)
Requirement Progression in Problem Frames Applied to a Proton Therapy System
RE '06 Proceedings of the 14th IEEE International Requirements Engineering Conference
Commonsense Reasoning
Managing Policy Interactions in KNX-Based Smart Homes
COMPSAC '07 Proceedings of the 31st Annual International Computer Software and Applications Conference - Volume 02
Using the event calculus to reason about problem diagrams
Proceedings of the 3rd international workshop on Applications and advances of problem frames
Learning operational requirements from goal models
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Specifying features of an evolving software system
Software—Practice & Experience
Early Identification of Problem Interactions: A Tool-Supported Approach
REFSQ '09 Proceedings of the 15th International Working Conference on Requirements Engineering: Foundation for Software Quality
Keeping the resident in the loop: adapting the smart home to the user
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Compatibility issues between services supporting networked appliances
IEEE Communications Magazine
| Hi-index | 0.00 |
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.