A Multi-Dimensional Architectural Approach to Behavior-Intensive Adaptive Pervasive Applications

Pervasive applications are featured by their transient interactions, explicit surrounding contexts and by the flow of activities. Towards transparently tackling these features yet rigorously modelling and validating such applications, this contribution capitalizes on SE advances: (1) explicit separation of concerns (e.g. interaction-centric functionalities and context-awareness); (2) flexible description of intrinsic rules governing any behavior-intensive task; and (3) concern-based transient architectural connectors to cope with adaptability. More precisely, we propose a multi-concern architectural approach that explicitly separate interaction concerns from context-aware ones. Each concern is first independently conceived through tailored ECA architectural connectors. These concerns are then accordingly integrated at the fine-grained activity level.

[1]  Mary Shaw,et al.  Software architecture - perspectives on an emerging discipline , 1996 .

[2]  Mahadev Satyanarayanan,et al.  Pervasive computing: vision and challenges , 2001, IEEE Wirel. Commun..

[3]  MeseguerJosé Conditional rewriting logic as a unified model of concurrency , 1992 .

[4]  Gregory D. Abowd,et al.  Providing architectural support for building context-aware applications , 2000 .

[5]  Seng Wai Loke,et al.  Logic Programming for Context-Aware Pervasive Computing: Language Support, Characterizing Situations, and Integration with the Web , 2004, IEEE/WIC/ACM International Conference on Web Intelligence (WI'04).

[6]  Pericles Loucopoulos,et al.  Relating evolving business rules to software design , 2004, J. Syst. Archit..

[7]  Narciso Martí-Oliet,et al.  All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic , 2007, All About Maude.

[8]  Douglas C. Schmidt,et al.  Pattern-Oriented Software Architecture, Patterns for Concurrent and Networked Objects , 2013 .

[9]  Christine Julien,et al.  A Formal Treatment of Context-Awareness , 2004, FASE.

[10]  Luís Ferreira Pires,et al.  Situation Specification and Realization in Rule-Based Context-Aware Applications , 2007, DAIS.

[11]  José Meseguer,et al.  Conditioned Rewriting Logic as a United Model of Concurrency , 1992, Theor. Comput. Sci..

[12]  Jadwiga Indulska,et al.  Developing context-aware pervasive computing applications: Models and approach , 2006, Pervasive Mob. Comput..