Requirements Engineering for Pervasive Systems. A Transformational Approach

This paper introduces a method for specifying the functional requirements of pervasive systems. These requirements specifications can be mapped into PervML models, which enables (1) the early generation of prototypes to validate the requirements and (2) the definition of well defined transformations that provide traceability mechanisms for going from requirements to implementation and vice-versa