GRAIL/KAOS: an environment for goal-driven requirements engineering
ICSE '97 Proceedings of the 19th international conference on Software engineering
Aris-Business Process Frameworks
Aris-Business Process Frameworks
Towards Modeling and Reasoning Support for Early-Phase Requirements Engineering
RE '97 Proceedings of the 3rd IEEE International Symposium on Requirements Engineering
MDA Explained: The Model Driven Architecture: Practice and Promise
MDA Explained: The Model Driven Architecture: Practice and Promise
The Rational Unified Process: An Introduction
The Rational Unified Process: An Introduction
Tropos: An Agent-Oriented Software Development Methodology
Autonomous Agents and Multi-Agent Systems
Personal and Contextual Requirements Engineering
RE '05 Proceedings of the 13th IEEE International Conference on Requirements Engineering
m3po: An Ontology to Relate Choreographies to Workflow Models
SCC '06 Proceedings of the IEEE International Conference on Services Computing
POCAp: A Software Process for Context-Aware Computing
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Towards Requirements Engineering for Context Adaptive Systems
COMPSAC '07 Proceedings of the 31st Annual International Computer Software and Applications Conference - Volume 02
Goal-Based Modeling of Dynamically Adaptive System Requirements
ECBS '08 Proceedings of the 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems
A process for the design of Context-Sensitive Systems
CSCWD '09 Proceedings of the 2009 13th International Conference on Computer Supported Cooperative Work in Design
Development Based on MDA, of Ubiquitous Applications Domain Product Lines
ICIS '09 Proceedings of the 2009 Eigth IEEE/ACIS International Conference on Computer and Information Science
Methodologies for Self-Organising Systems: A SPEM Approach
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Second order ambient intelligence
Journal of Ambient Intelligence and Smart Environments
A framework for the definition of metamodels for Computer-Aided Software Engineering tools
Information and Software Technology
Towards the Model Driven Development of context-aware pervasive systems
Pervasive and Mobile Computing
Self-management capability requirements with SelfMML & INGENIAS to attain self-organising behaviours
Proceedings of the second international workshop on Self-organizing architectures
Fuzzy Goals for Requirements-Driven Adaptation
RE '10 Proceedings of the 2010 18th IEEE International Requirements Engineering Conference
Journal of Systems and Software
ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications
International Journal of Metadata, Semantics and Ontologies
Behavior modeling in smart environments using camera networks
Journal of Ambient Intelligence and Smart Environments - A software engineering perspective on smart applications for AmI
REUBI: A Requirements Engineering method for ubiquitous systems
Science of Computer Programming
Building ubiquitous QoC-aware applications through model-driven software engineering
Science of Computer Programming
Hi-index | 0.00 |
The satisfaction of Non-Functional Requirements NFRs has a clear impact in the success of Ambient Intelligence AmI Systems. However, existing methods and techniques to engineer these systems lack support in their specific and systematic treatment. In this paper, a Model-Driven Engineering MDE method for the design of AmI systems is introduced to deal with NFRs paying special attention to those particularly related to the features of these kind of systems, namely, unobtrusiveness, context-awareness, and self-adaptativeness. The aim is to enable the semi-automatic derivation of quality software design models from an NFRs specification of the system, with special focus on agent-oriented architectures. To this end, Computation Independent Models CIM and transformation techniques between them are defined, as well as an evaluation procedure to be applied, which can help developers to make successful solution decisions satisficing the overall quality properties required for AmI systems, and also specific ones for each particular system. The proposal is illustrated by means of a case study of an Ambient Assisted Living AAL system for elderly people.