An Architecture of Dynamically Adaptive PHP-based Web Applications

Self-adaptive systems, changing their functional behavior at runtime, provide desired a level of flexibility. Although various runtime frameworks have been studied, they tend to rely on a particular architecture. It is inadequate to study the characteristics of self-adaptive systems. This paper presents an abstract, declarative framework for them and relates it to an adaptive PHP-based Web application architecture, which takes a model-based adaptation approach. The formalism can be a basis for understanding the distinctive roles of the model information and runtime mechanism.

[1]  Stephen Fickas,et al.  Critiquing software specifications , 1988, IEEE Software.

[2]  Gerard J. Holzmann,et al.  The SPIN Model Checker , 2003 .

[3]  Leon J. Osterweil,et al.  Cecil: A Sequencing Constraint Language for Automatic Static Analysis Generation , 1990, IEEE Trans. Software Eng..

[4]  Paolo Tonella,et al.  Analysis and testing of Web applications , 2001, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.

[5]  Jeffrey O. Kephart,et al.  The Vision of Autonomic Computing , 2003, Computer.

[6]  John Mylopoulos,et al.  An Architecture for Requirements-Driven Self-reconfiguration , 2009, CAiSE.

[7]  Sergio Segura,et al.  Automated analysis of feature models 20 years later: A literature review , 2010, Inf. Syst..

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

[9]  Antonio Ruiz Cortés,et al.  Mapping Feature Models onto Component Models to Build Dynamic Software Product Lines , 2007, SPLC.

[10]  Gerard J. Holzmann.  Formal methods and software reliability , 2004, Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04..

[11]  Kazuyuki Tanaka,et al.  Rewriting Logic Approach to Modeling and Analysis of Client Behavior in Open Systems , 2010, SEUS.

[12]  Jeff Magee,et al.  From goals to components: a combined approach to self-management , 2008, SEAMS '08.

[13]  Nelly Bencomo,et al.  How dynamic is your Dynamic Software Product Line? , 2010, SPLC Workshops.

[14]  Martin S. Feather,et al.  Requirements monitoring in dynamic environments , 1995, Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95).

[15]  Shin Nakajima,et al.  Semi-automated diagnosis of FODA feature diagram , 2010, SAC '10.

[16]  Vicente Pelechano,et al.  Applying Software Product Lines to Build Autonomic Pervasive Systems , 2008, 2008 12th International Software Product Line Conference.

[17]  John Mylopoulos,et al.  From object-oriented to goal-oriented requirements analysis , 1999, CACM.

[18]  Yijun Yu,et al.  An automated approach to monitoring and diagnosing requirements , 2007, ASE.

[19]  David Garlan,et al.  Rainbow: architecture-based self-adaptation with reusable infrastructure , 2004 .

[20]  Carlo Ghezzi,et al.  The Fading Boundary between Development Time and Run Time , 2011, 2011 IEEE Ninth European Conference on Web Services.

[21]  Svein O. Hallsteinsen,et al.  Using product line techniques to build adaptive systems , 2006, 10th International Software Product Line Conference (SPLC'06).

[22]  Brice Morin,et al.  Models@ Run.time to Support Dynamic Adaptation , 2009, Computer.

[23]  Jaejoon Lee,et al.  Concepts and Guidelines of Feature Modeling for Product Line Software Engineering , 2002, ICSR.

[24]  Sandeep Purao,et al.  Specifying and Monitoring Interactions and Commitments in Open Business Processes , 2009, IEEE Software.