Modelling Service Requirements Variability: The DiVA Way

This chapter tackles the challenges of variability identification, modelling and implementation for service-based systems. The DiVA methodology is applied to the Mobile Phone Service Portability case-study to demonstrate its solutions to these challenges. The DiVA methodology utilises concepts of Aspect-Oriented Software Development to encapsulate service variants in distinct modules and uses Model-Driven Development techniques to analyse and transform conceptual designs into executable services. The DiVA approach provides a tool-supported methodology for managing dynamic variability in adaptive systems and taming system complexity.

[1]  Yijun Yu,et al.  Towards requirements-driven autonomic systems design , 2005, ACM SIGSOFT Softw. Eng. Notes.

[2]  Sooyong Park,et al.  Dynamic Software Product Lines , 2008, Computer.

[3]  Ji Zhang,et al.  Specifying adaptation semantics , 2005, ACM SIGSOFT Softw. Eng. Notes.

[4]  Rajarshi Das,et al.  Achieving Self-Management via Utility Functions , 2007, IEEE Internet Computing.

[5]  Nelly Bencomo,et al.  Requirements reflection: requirements as runtime entities , 2010, 2010 ACM/IEEE 32nd International Conference on Software Engineering.

[6]  Frank Eliassen,et al.  Using architecture models for runtime adaptability , 2006, IEEE Software.

[7]  Brice Morin,et al.  Modeling and Validating Dynamic Adaptation , 2009, MoDELS.

[8]  Brice Morin,et al.  Taming Dynamically Adaptive Systems using models and aspects , 2009, 2009 IEEE 31st International Conference on Software Engineering.

[9]  Francisco Curbera,et al.  Web Services Business Process Execution Language Version 2.0 , 2007 .

[10]  Nelly Bencomo,et al.  RELAX: Incorporating Uncertainty into the Specification of Self-Adaptive Systems , 2009, 2009 17th IEEE International Requirements Engineering Conference.

[11]  Ruzanna Chitchyan,et al.  A framework for constructing semantically composable feature models from natural language requirements , 2009, SPLC.

[12]  P. Giorgini,et al.  Context for Goal-level Product Line Derivation , 2009 .

[13]  Jacqueline Floch,et al.  Using product line techniques to build adaptive systems , 2006 .

[14]  John Keeney,et al.  Chisel: a policy-driven, context-aware, dynamic adaptation framework , 2003, Proceedings POLICY 2003. IEEE 4th International Workshop on Policies for Distributed Systems and Networks.

[15]  Klaus Pohl,et al.  Software product line testing , 2006, CACM.

[16]  Nan Niu,et al.  Extracting and Modeling Product Line Functional Requirements , 2008, 2008 16th IEEE International Requirements Engineering Conference.

[17]  Ruzanna Chitchyan,et al.  EA-Miner: Towards Automation in Aspect-Oriented Requirements Engineering , 2007, LNCS Trans. Aspect Oriented Softw. Dev..

[18]  Franck Fleurey,et al.  A Domain Specific Modeling Language Supporting Specification, Simulation and Execution of Dynamic Adaptive Systems , 2009, MoDELS.

[19]  Thomas Ledoux,et al.  Safe Dynamic Reconfigurations of Fractal Architectures with FScript , 2006 .

[20]  Thaís Vasconcelos Batista,et al.  Managing Dynamic Reconfiguration in Component-Based Systems , 2005, EWSA.

[21]  Brice Morin,et al.  An Aspect-Oriented and Model-Driven Approach for Managing Dynamic Variability , 2008, MoDELS.

[22]  Takuya Katayama,et al.  Design Verification for Product Line Development , 2005, SPLC.

[23]  Yijun Yu,et al.  From Goals to High-Variability Software Design , 2008, ISMIS.

[24]  Thomas Ledoux,et al.  An Aspect-Oriented Approach for Developing Self-Adaptive Fractal Components , 2006, SC@ETAPS.

[25]  Jan Bosch,et al.  Issues Concerning Variability in Software Product Lines , 2000, IW-SAPF.