145 Copyright © 2011, IGI Global. Copying or distributing in print or electronic forms without written permission of IGI Global is prohibited. Chapter 7 DOI: 10.4018/978-1-60566-794-2.ch007 Achilleas Achilleos University of Cyprus, Cyprus Kun Yang University of Essex, UK Nektarios Georgalas Centre of Information and Security Systems Research, UK Model-Driven Engineering of Non-Functional Properties for Pervasive Service Creation ABSTRACT Pervasive services are highly customizable and personalized services that must have the capability to run anytime, anywhere, and on any device with minimal user attention. The creation of these dynamic services using application level approaches becomes a daunting task for the software engineering community. This necessitates changes to the way services are designed and implemented, in order to simplify and increase the agility of the service creation process. In this chapter, a model-driven develop- ment process and an environment that facilitates pervasive service creation using an abstract platform independent approach are described. Using this approach, a context modelling language is defned in the form of a metamodel and a context modelling framework is generated. The framework facilitates the defnition of platform independent context models that describe the non-functional requirements of pervasive services. Subsequently, context models are mapped and transformed via the use of the generic environment’s capabilities to implementation specifc service code. Finally, a pervasive museum case study is presented to demonstrate the effectiveness of the approach for the defnition of a context model and the generation of the service implementation.