Addressing the evolution of automated user behaviour patterns by runtime model interpretation

The use of high-level abstraction models can facilitate and improve not only system development but also runtime system evolution. This is the idea of this work, in which behavioural models created at design time are also used at runtime to evolve system behaviour. These behavioural models describe the routine tasks that users want to be automated by the system. However, users’ needs may change after system deployment, and the routine tasks automated by the system must evolve to adapt to these changes. To facilitate this evolution, the automation of the specified routine tasks is achieved by directly interpreting the models at runtime. This turns models into the primary means to understand and interact with the system behaviour associated with the routine tasks as well as to execute and modify it. Thus, we provide tools to allow the adaptation of this behaviour by modifying the models at runtime. This means that the system behaviour evolution is performed by using high-level abstractions and avoiding the costs and risks associated with shutting down and restarting the system.

[1]  Claudia Linnhoff-Popien,et al.  A Context Modeling Survey , 2004 .

[2]  James R. Lewis,et al.  AN AFTER-SCENARIO QUESTIONNAIRE FOR USABILITY STUDIES: PSYCHOMETRIC EVALUATION OVER THREE TRIALS , 1991, SGCH.

[3]  D. Garlan,et al.  Task-based adaptation for ubiquitous computing , 2006, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[4]  James R. Lewis,et al.  Psychometric evaluation of an after-scenario questionnaire for computer usability studies: the ASQ , 1991, SGCH.

[5]  Betty H. C. Cheng,et al.  Model-based development of dynamically adaptive software , 2006, ICSE.

[6]  Estefanía Serral Asensio Automating Routine Tasks in Smart Environments. A Context-aware Model-driven Approach , 2011 .

[7]  Peter Johnson,et al.  Tasks and Situations: Considerations for Models and Design Principles in Human Computer Interaction , 1999, HCI.

[8]  Vicente Pelechano,et al.  Context-Adaptive Coordination of Pervasive Services by Interpreting Models during Runtime , 2013, Comput. J..

[9]  Joshua J. Bloch How to design a good API and why it matters , 2006, OOPSLA '06.

[10]  Yarden Katz,et al.  Pellet: A practical OWL-DL reasoner , 2007, J. Web Semant..

[11]  Jadwiga Indulska,et al.  Using context and preferences to implement self-adapting pervasive computing applications: Experiences with Auto-adaptive and Reconfigurable Systems , 2006 .

[12]  Henry Lieberman,et al.  End-User Development (Human-Computer Interaction Series) , 2006 .

[13]  Tom Mens The ERCIM working group on software evolution: the past and the future , 2009, IWPSE-Evol '09.

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

[15]  R. W. Peterson,et al.  OPTICAL INTERFEROMETRY OF SURFACES , 1991 .

[16]  Bennet P. Lientz,et al.  Software Maintenance Management: A Study of the Maintenance of Computer Application Software in 487 Data Processing Organizations , 1980 .

[17]  Matjaz B. Juric,et al.  Business process execution language for web services , 2004 .

[18]  Mark Weiser The computer for the 21st century , 1991 .

[19]  A BernsteinPhilip,et al.  Multiversion concurrency controltheory and algorithms , 1983 .

[20]  Pedro Valderas,et al.  Allowing End-Users to Actively Participate within the Elicitation of Pervasive System Requirements through Immediate Visualization , 2009, 2009 Fourth International Workshop on Requirements Engineering Visualization.

[21]  Matjaz B. Juric,et al.  Business Process Execution Language for Web Services BPEL and BPEL4WS 2nd Edition , 2006 .

[22]  Tom Mens,et al.  Challenges in software evolution , 2005, Eighth International Workshop on Principles of Software Evolution (IWPSE'05).

[23]  Sea Ling,et al.  Formal Mirror Models: an Approach to Just-in-Time Reasoning for Device Ecologies , 2008 .

[24]  Bradley R. Schmerl,et al.  Using Architectural Models at Runtime: Research Challenges , 2004, EWSA.

[25]  Peyman Oreizy,et al.  An architecture-based approach to self-adaptive software , 1999, IEEE Intell. Syst..

[26]  Quan Z. Sheng,et al.  ContextUML: a UML-based modeling language for model-driven development of context-aware Web services , 2005, International Conference on Mobile Business (ICMB'05).

[27]  Javier Muñoz Ferrara Model driven development of pervasive systems. Building a software factory , 2008 .

[28]  Pablo A. Haya,et al.  Easing the Smart Home: Semi-automatic Adaptation in Perceptive Environments , 2008, J. Univers. Comput. Sci..

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

[30]  Samuel Ajila,et al.  Using a Formal Language Constructs for Software Model Evolution , 2009, 2009 IEEE International Conference on Semantic Computing.

[31]  Tom Mens,et al.  Towards a taxonomy of software change , 2005, J. Softw. Maintenance Res. Pract..

[32]  Harry Chen,et al.  An ontology for context-aware pervasive computing environments , 2003, The Knowledge Engineering Review.

[33]  Wilbert O. Galitz,et al.  The Essential Guide to User Interface Design: An Introduction to GUI Design Principles and Techniques , 1996 .

[34]  Diane J. Cook,et al.  Keeping the Resident in the Loop: Adapting the Smart Home to the User , 2009, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[35]  Robert Hirschfeld,et al.  Dynamic Service Adaptation for Runtime System Extensions , 2004, WONS.

[36]  Matthias Baldauf,et al.  A survey on context-aware systems , 2007, Int. J. Ad Hoc Ubiquitous Comput..

[37]  Vicente Pelechano,et al.  Article in Press Pervasive and Mobile Computing ( ) – Pervasive and Mobile Computing towards the Model Driven Development of Context-aware Pervasive Systems , 2022 .

[38]  Deborah L. McGuinness,et al.  Owl web ontology language guide , 2003 .

[39]  Vicente Pelechano,et al.  Improving the Cold-Start Problem in User Task Automation by Using Models at Runtime , 2010, ISD.

[40]  Fabio Paternò,et al.  ConcurTaskTrees : An Engineered Approach to Model-based Design of Interactive Systems , 2003 .

[41]  Henry Lieberman,et al.  End-User Development , 2015, Lecture Notes in Computer Science.

[42]  Werner Retschitzegger,et al.  Context-awareness on mobile devices - the hydrogen approach , 2003, 36th Annual Hawaii International Conference on System Sciences, 2003. Proceedings of the.

[43]  Diane J. Cook,et al.  MavHome: an agent-based smart home , 2003, Proceedings of the First IEEE International Conference on Pervasive Computing and Communications, 2003. (PerCom 2003)..

[44]  Bijan Parsia,et al.  Task Computing - The Semantic Web Meets Pervasive Computing , 2003, SEMWEB.

[45]  Simon A. Dobson,et al.  Ontology-based models in pervasive computing systems , 2007, The Knowledge Engineering Review.

[46]  Jean Vanderdonckt,et al.  Task Modelling for Context-Sensitive User Interfaces , 2001, DSV-IS.

[47]  D. M. Hutton,et al.  Smart Environments: Technology, Protocols and Applications , 2005 .

[48]  Capers Jones,et al.  Applied software measurement: assuring productivity and quality , 1991 .

[49]  Hallvard Trætteberg,et al.  Interaction Patterns in User Interfaces. , 2000 .

[50]  Claes Wohlin,et al.  Experimentation in Software Engineering , 2000, The Kluwer International Series in Software Engineering.

[51]  Keith H. Bennett,et al.  Software maintenance and evolution: a roadmap , 2000, ICSE '00.

[52]  Hani Hagras,et al.  Creating an ambient-intelligence environment using embedded agents , 2004, IEEE Intelligent Systems.

[53]  Tom Mens,et al.  Towards a taxonomy of software change: Research Articles , 2005 .

[54]  Vinny Cahill,et al.  A framework for developing mobile, context-aware applications , 2004, Second IEEE Annual Conference on Pervasive Computing and Communications, 2004. Proceedings of the.

[55]  B. Kitchenham,et al.  Case Studies for Method and Tool Evaluation , 1995, IEEE Softw..

[56]  E. B. Swanson,et al.  Software maintenance management , 1980 .

[57]  Jean Vanderdonckt,et al.  Task Modelling in Multiple Contexts of Use , 2002, DSV-IS.

[58]  Jadwiga Indulska,et al.  Balancing autonomy and user control in context-aware systems - a survey , 2006, Fourth Annual IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOMW'06).

[59]  Randy Pausch,et al.  Alice: a 3-D tool for introductory programming concepts , 2000 .

[60]  Philip A. Bernstein,et al.  Categories and Subject Descriptors: H.2.4 [Database Management]: Systems. , 2022 .

[61]  Diane J. Cook,et al.  Smart environments - technology, protocols and applications , 2004 .

[62]  Leslie G. Valiant,et al.  A theory of the learnable , 1984, CACM.

[63]  Vicente Pelechano,et al.  Using Feature Models for Developing Self-Configuring Smart Homes , 2009, 2009 Fifth International Conference on Autonomic and Autonomous Systems.

[64]  Capers Jones,et al.  Applied software measurement (2nd ed.): assuring productivity and quality , 1996 .

[65]  Stephen J. Mellor,et al.  Executable UML - A Foundation for Model-Driven Architecture , 2002, Addison Wesley object technology series.

[66]  Brice Morin Models aT RunTiMe To suppoRT dynaMic adapTaTion , 2022 .

[67]  Nelly Bencomo,et al.  Models@run.time , 2014, Lecture Notes in Computer Science.

[68]  Jakob Nielsen,et al.  Usability engineering , 1997, The Computer Science and Engineering Handbook.

[69]  Sahin Albayrak,et al.  Executable Models for Human-Computer Interaction , 2008, DSV-IS.

[70]  Anind K. Dey,et al.  Understanding and Using Context , 2001, Personal and Ubiquitous Computing.

[71]  S. A,et al.  HTA as a framework for task analysis , 2002 .

[72]  Jadwiga Indulska,et al.  A software engineering framework for context-aware pervasive computing , 2004, Second IEEE Annual Conference on Pervasive Computing and Communications, 2004. Proceedings of the.

[73]  James H. Aylor,et al.  Computer for the 21st Century , 1999, Computer.

[74]  Mahdi Derakhshanmanesh,et al.  Achieving dynamic adaptation via management and interpretation of runtime models , 2012, J. Syst. Softw..

[75]  Nabil Hameurlain,et al.  MOCAS: A State-Based Component Model for Self-Adaptation , 2009, 2009 Third IEEE International Conference on Self-Adaptive and Self-Organizing Systems.

[76]  Jadwiga Indulska,et al.  Using context and preferences to implement self‐adapting pervasive computing applications , 2006, Softw. Pract. Exp..

[77]  Cao Qi-ying Context-aware active task discovery for pervasive computing , 2009 .

[78]  Geoffrey I. Webb,et al.  # 2001 Kluwer Academic Publishers. Printed in the Netherlands. Machine Learning for User Modeling , 1999 .