The evolution of tropos: Contexts, commitments and adaptivity

Software evolution is the main research focus of the Tropos group at University of Trento (UniTN): how do we build systems that are aware of their requirements, and are able to dynamically reconfigure themselves in response to changes in context (the environment within which they operate) and requirements. The purpose of this report is to offer an overview of ongoing work at UniTN. In particular, the report presents ideas and results of four lines of research: contextual requirements modeling and reasoning, commitments and goal models, developing self-reconfigurable systems, and requirements awareness

A Constructive Memory Architecture for Context Awareness

Context-aware computing is a mobile computing paradigm in which applications can discover, use, and take advantage of contextual information, such as the location, tasks and preferences of the user, in order to adapt their behaviour in response to changing operating environments and user requirements. A problem that arises is the inability to respond to contextual information that cannot be classified into any known context. Many context-aware applications require all discovered contextual information to exactly match a type of context, otherwise the application will not react responsively. The ability to learn and recall contexts based on the contextual information discovered has not been very well addressed by previous context-aware applications and research. The aim of this thesis is to develop a component middleware technology for mobile computing devices for the discovery and capture of contextual information, using the situated reasoning concept of constructive memory. The research contribution of this thesis lies in developing a modified architecture for context-aware systems, using a constructive memory model as a way to learn and recall contexts from previous experiences and application interactions. Using a constructive memory model, previous experiences can be induced to construct potential contexts, given a small amount of learning and interaction. The learning process is able to map the many variations of contextual information currently discovered by the user with a predicted type of context based on what the application has stored and seen previously. It only requires a small amount of contextual information to predict a context, something common context-aware systems lack, as they require all information before a type of context is assigned. Additionally, some mechanism to reason about the contextual information being discovered from past application interactions will be beneficial to induce contexts for future experiences

A Constructive Memory Architecture for Context Awareness

Context-aware computing is a mobile computing paradigm in which applications can discover, use, and take advantage of contextual information, such as the location, tasks and preferences of the user, in order to adapt their behaviour in response to changing operating environments and user requirements. A problem that arises is the inability to respond to contextual information that cannot be classified into any known context. Many context-aware applications require all discovered contextual information to exactly match a type of context, otherwise the application will not react responsively. The ability to learn and recall contexts based on the contextual information discovered has not been very well addressed by previous context-aware applications and research. The aim of this thesis is to develop a component middleware technology for mobile computing devices for the discovery and capture of contextual information, using the situated reasoning concept of constructive memory. The research contribution of this thesis lies in developing a modified architecture for context-aware systems, using a constructive memory model as a way to learn and recall contexts from previous experiences and application interactions. Using a constructive memory model, previous experiences can be induced to construct potential contexts, given a small amount of learning and interaction. The learning process is able to map the many variations of contextual information currently discovered by the user with a predicted type of context based on what the application has stored and seen previously. It only requires a small amount of contextual information to predict a context, something common context-aware systems lack, as they require all information before a type of context is assigned. Additionally, some mechanism to reason about the contextual information being discovered from past application interactions will be beneficial to induce contexts for future experiences

A Framework for Exploiting Internet of Things for Context-Aware Trust-based Personalized Services

In the last years, we have witnessed the introduction of Internet of Things as an integral part of the Internet with billions of interconnected and addressable everyday objects. On the one hand, these objects generate massive volume of data that can be exploited to gain useful insights into our day-to-day needs. On the other hand, context-aware recommender systems (CARSs) are intelligent systems that assist users to make service consumption choices that satisfy their preferences based on their contextual situations. However, one of the major challenges in developing CARSs is the lack of functionality providing dynamic and reliable context information required by the recommendation decision process based on the objects that users interact with in their environments. Thus, contextual information obtained from IoT objects and other sources can be exploited to build CARSs that satisfy users’ preferences, improve quality of experience and recommendation accuracy. This article describes various components of a conceptual IoT based framework for context-aware personalized recommendations. The framework addresses the weakness whereby CARSs rely on static and limited contextual information from user’s mobile phone, by providing additional components for reliable and dynamic contextual information, using IoT context sources. The core of the framework consists of context recognition and reasoning management, dynamic user profile model incorporating trust to improve accuracy of context-aware personalized recommendations. Experimental evaluations show that incorporating context and trust in personalized recommendations can improve its accuracy

A framework for implementing formally verified resource-bounded smart space systems

© 2017, Springer Science+Business Media New York. Context-aware computing is a mobile computing paradigm that helps designing and implementing next generation smart applications, where personalized devices interact with users in smart environments. Development of such applications is inherently complex due to these applications adapt to changing contextual information and they often run on resource-bounded devices. Most of the existing context-aware development frameworks are centralized, adopt client–server architecture, and do not consider resource limitations of context-aware devices. This paper presents a systematic framework to modelling and implementation of resource-bounded multi-agent context-aware systems on Android devices. The proposed framework makes use of semantic technologies for context modelling and reasoning about resource-bounded context-aware agents, Android powered smartphones as development platform, a suitable communication model and declarative rule-based programming as a preferred development language

Police Interventions as a Context-aware System. A Case of a Contextual Data Modelling

Smart systems which operate in Intelligent Environments (IE) are complex. They analyse the large volumes of various contextual data on-line and often in real time to obtain, autonomously and reliably, the required pro-activeness of a system which operates pervasively. We proposed both a development framework for context-aware systems and a context-based decision making scheme for the system of managing police interventions, focusing on providing support for police patrols in life threatening situations. This system, owing to the symultaneous collection of rich contextual information from many police officers, which constitute the mobile network, as well as the complex processes of contextual reasoning, takes automatic decisions on supporting officers in emergency. We implemented the initial, yet not trivial, simulations of the system behaviour within the whole city. The results obtained prove the feasibility of the framework

Contelog: A Formal Declarative Framework for Contextual Knowledge Representation and Reasoning

Context-awareness is at the core of providing timely adaptations in safety-critical secure applications of pervasive computing and Artificial Intelligence (AI) domains. In the current AI and application context-aware frameworks, the distinction between knowledge and context are blurred and not formally integrated. As a result, adaptation behaviors based on contextual reasoning cannot be formally derived and reasoned about. Also, in many smart systems such as automated manufacturing, decision making, and healthcare, it is essential for context-awareness units to synchronize with contextual reasoning modules to derive new knowledge in order to adapt, alert, and predict. A rigorous formalism is therefore essential to (1) represent contextual domain knowledge as well as application rules, and (2) efficiently and effectively reason to draw contextual conclusions. This thesis is a contribution in this direction. The thesis introduces first a formal context representation and a context calculus used to build context models for applications. Then, it introduces query processing and optimization techniques to perform context-based reasoning. The formal framework that achieves these two tasks is called Contelog Framework, obtained by a conservative extension of the syntax and semantics of Datalog. It models contextual knowledge and infers new knowledge. In its design, contextual knowledge and contextual reasoning are loosely coupled, and hence contextual knowledge is reusable on its own. The significance is that by fixing the contextual knowledge, rules in the program and/or query may be changed. Contelog provides a theory of context, in a way that is independent of the application logic rules. The context calculus developed in this thesis allows exporting knowledge inferred in one context to be used in another context. Following the idea of Magic sets from Datalog, Magic Contexts together with query rewriting algorithms are introduced to optimize bottom-up query evaluation of Contelog programs. A Book of Examples has been compiled for Contelog, and these examples are implemented to showcase a proof of concept for the generality, expressiveness, and rigor of the proposed Contelog framework. A variety of experiments that compare the performance of Contelog with earlier Datalog implementations reveal a significant improvement and bring out practical merits of current stage of Contelog and its potential for future extensions in context representation and reasoning of emerging applications of context-aware computing

Human-Centric Ontology-Based Context Modelling In Tourism

A lot of work has been done up to now in the so called context-aware research field on the one hand and on the ontology research field on the other. Research has been conducted both considering context-awareness and ontology as clearly distinct research disciplines and also utilizing ontologies as a tool for context management. However, context-based applications have only been possible at a laboratory environment so far and they have always worked under very certain, pre-established pre-requisites in a not very stable nor efficient manner, which actually does not fulfil the nature of Ubiquitous Computing vision. Representation and use of context plays a crucial role in many modern IT applications. The ability to process contextual information and perform context-based reasoning is essential not only for mobile and ubiquitous computing systems, but also for a wide range of tourism applications. This paper presents a novel semantic-based human-centric approach to the notion of context that represents an attempt to make Contextual Computing services available to the general public

A survey on context awareness in big data analytics for business applications

The concept of context awareness has been in existence since the 1990s. Though initially applied exclusively in computer science, over time it has increasingly been adopted by many different application domains such as business, health and military. Contexts change continuously because of objective reasons, such as economic situation, political matter and social issues. The adoption of big data analytics by businesses is facilitating such change at an even faster rate in much complicated ways. The potential benefits of embedding contextual information into an application are already evidenced by the improved outcomes of the existing context-aware methods in those applications. Since big data is growing very rapidly, context awareness in big data analytics has become more important and timely because of its proven efficiency in big data understanding and preparation, contributing to extracting the more and accurate value of big data. Many surveys have been published on context-based methods such as context modelling and reasoning, workflow adaptations, computational intelligence techniques and mobile ubiquitous systems. However, to our knowledge, no survey of context-aware methods on big data analytics for business applications supported by enterprise level software has been published to date. To bridge this research gap, in this paper first, we present a definition of context, its modelling and evaluation techniques, and highlight the importance of contextual information for big data analytics. Second, the works in three key business application areas that are context-aware and/or exploit big data analytics have been thoroughly reviewed. Finally, the paper concludes by highlighting a number of contemporary research challenges, including issues concerning modelling, managing and applying business contexts to big data analytics. © 2020, Springer-Verlag London Ltd., part of Springer Nature

Context-Aware Multi-Agent Planning in intelligent environments

A system is context-aware if it can extract, interpret and use context information and adapt its functionality to the current context of use. Multi-agent planning generalizes the problem of planning in domains where several agents plan and act together, and share resources, activities, and goals. This contribution presents a practical extension of a formal theoretical model for Context-Aware Multi-Agent Planning based upon an argumentationbased defeasible logic. Our framework, named CAMAP, is implemented on a platform for open multiagent systems and has been experimentally tested, among others, in applications of ambient intelligence in the field of health-care. CAMAP is based on a multi-agent partial-order planning paradigm in which agents have diverse abilities, use an argumentation-based defeasible contextual reasoning to support their own beliefs and refute the beliefs of the others according to their context knowledge during the plan search process. CAMAP shows to be an adequate approach to tackle ambient intelligence problems as it gathers together in a single framework the ability of planning while it allows agents to put forward arguments that support or argue upon the accuracy, unambiguity and reliability of the context-aware information.This work is mainly supported by the Spanish Ministry of Science and Education under the FPU Grant Reference AP2009-1896 awarded to Sergio Pajares Ferrando, and Projects, TIN2011-27652-C03-01, and Consolider Ingenio 2010 CSD2007-00022.Pajares Ferrando, S.; Onaindia De La Rivaherrera, E. (2013). Context-Aware Multi-Agent Planning in intelligent environments. Information Sciences. 227:22-42. https://doi.org/10.1016/j.ins.2012.11.021S224222