Formal Specification of Non-Functional Properties of Context-Aware Systems

2022 ◽  
Vol 12 (2) ◽  
pp. 0-0
Keyword(s):  
Functional Properties ◽  
Adaptive Systems ◽  
User Preferences ◽  
Software Systems ◽  
Context Aware ◽  
Functional Requirements ◽  
Functional Aspects ◽  
Semantic Concepts ◽  
Increasing Demand ◽  
Context Aware System

During the recent years, there is an increasing demand for software systems that dynamically adapt their behavior at run-time in response to changes in user preferences, execution environment, and system requirements, being thus context-aware. Authors are referring here to requirements related to both functional and non-functional aspects of system behavior since changes can also be induced by failures or unavailability of parts of the software system itself. To ensure the coherence and correctness of the proposed model, all relevant properties of system entities are precisely and formally described. This is especially true for non-functional properties, such as performance, availability, and security. This article discusses semantic concepts for the specification of non-functional requirements, taking into account the specific needs of a context-aware system. Based on these semantic concepts, we present a specification language that integrates non-functional requirements design and validation in the development process of context-aware self-adaptive systems.

scholarly journals Towards a Requirements Specification Multi-View Framework for Self-Adaptive Systems

2015 ◽  
Author(s):  
Juan C. Muñoz-Fernández ◽  
Gabriel Tamura ◽  
Raúl Mazo ◽  
Camille Salinesi
Keyword(s):  
Adaptive Systems ◽  
Software Tool ◽  
Software Systems ◽  
Functional Requirements ◽  
Requirements Modeling ◽  
Sufficient Power ◽  
Depth Analysis ◽  
Context Variables ◽  
Difficult Challenge ◽  
Self Adaptive

The analysis of self-adaptive systems (SAS) requirements involves addressing uncertainty from several sources. Despite advances in requirements for SAS, uncertainty remains an extremely difficult challenge. In this paper, we propose REFAS, a framework to model the requirements of self-adaptive software systems. Our aim with REFAS is to address and reduce uncertainty and to provide a language with sufficient power of expression to specify the different aspects of self-adaptive systems, relative to functional and non-functional requirements. The REFAS modeling language includes concepts closely related to these kind of requirements and their fulfillment, such as context variables, claims, and soft dependencies. Specifically, the paper´s contribution is twofold. First, REFAS supports different viewpoints and concerns related to requirements modeling, with key associations between them. Moreover, the modeler can define additional models and views by exploiting the REFAS meta-modeling capability, in order to capture additional aspects contributing to reduce uncertainty. Second, REFAS promotes in-depth analysis of all of the modeled concerns with aggregation and association capabilities, especially with context variables. Furthermore, we also define a process that enforces modeling requirements, considering different aspects of uncertainty. We demonstrate the applicability of REFAS by using the VariaMos software tool, which implements the REFAS meta-model, views, and process.

An Algebraic Framework for the Verification of Context-Aware Adaptive Systems

2015 ◽  
Vol 25 (07) ◽  
pp. 1105-1128 ◽  
Author(s):  
Katerina Ksystra ◽  
Petros Stefaneas ◽  
Panayiotis Frangos
Keyword(s):  
Formal Specification ◽  
Adaptive Systems ◽  
Traffic Monitoring ◽  
Software Systems ◽  
Algebraic Specification ◽  
Context Aware ◽  
Safety Properties ◽  
Transition Systems ◽  
Wide Range ◽  
Algebraic Framework

Context-aware and self adaptive systems have become very popular during the last decade. As these technologies are increasingly used in the development of critical applications, their behavior should be extensively analyzed. While formal methods provide a wide range of techniques for reasoning about software systems, addressing formally the requirements of context-aware adaptive systems in a consistent way remains a challenge. To this end, in this paper we present an algebraic framework for their formal specification using Observational Transition Systems (OTSs) specified in the CafeOBJ algebraic specification language. This approach permits the verification of the design of such systems, and can be an effective approach to obtaining verified context-aware software. We apply the proposed framework to the modeling of a context-aware adaptive traffic monitoring system and use theorem proving techniques to prove safety properties for that system.

Algorithms for Rule Generation and Matchmaking in Context-Aware System

2009 ◽  
Vol 20 (10) ◽  
pp. 2655-2666 ◽  
Author(s):  
Dong LIU ◽  
Xiang-Wu MENG ◽  
Jun-Liang CHEN ◽  
Ya-Mei XIA
Keyword(s):  
Context Aware ◽  
Rule Generation ◽  
Context Aware System

Proficiency-aware systems

2021 ◽  
Vol 0 (0) ◽  
Author(s):  
Jakob Karolus ◽  
Paweł W. Woźniak
Keyword(s):  
Intelligent Systems ◽  
Adaptive Systems ◽  
Physiological Data ◽  
Context Aware ◽  
Stepping Stone ◽  
Digital World ◽  
Proficiency Estimation ◽  
The Way

Abstract In an increasingly digital world, intelligent systems support us in accomplishing many everyday tasks. With the proliferation of affordable sensing devices, inferring user states from collected physiological data paves the way to tailor-made adaptation. While estimating a user’s abilities is technically possible, such proficiency assessments are rarely employed to benefit the user’s task reflection. In our work, we investigate how to model and design for proficiency estimation as part of context-aware systems. In this paper, we present the definition and conceptual architecture of proficiency-aware systems. The concept is not only applicable to current adaptive systems but provides a stepping stone for systems which actively aid in developing user proficiency during interaction.

scholarly journals Context-Aware Adaptation of Component-Based Systems: An Active Repository Approach

2012 ◽  
Vol 2012 ◽  
pp. 1-11 ◽  
Author(s):  
Sindolfo Miranda Filho ◽  
Julio Melo ◽  
Luiz Eduardo Leite ◽  
Guido Lemos
Keyword(s):  
Context Aware ◽  
Current Configuration ◽  
Fuzzy Logic Algorithm ◽  
Running System ◽  
Component Based Software Engineering ◽  
Context Aware System ◽  
The Given ◽  
To Receive ◽  
Component Repository

Context-aware systems are able to monitor and automatically adapt their operation accordingly to the execution context in which they are introduced. Component-based software engineering (CBSE) focuses on the development and reuse of self-contained software assets in order to achieve better productivity and quality. In order to store and retrieve components, CBSE employs component repository systems to provide components to the system developers. This paper presents an active component repository that is able to receive the current configuration from the context-aware system and compute the components and the new architecture that better fit the given context. Since the repository has a wide knowledge of available components, it can better decide which configuration is more suitable to the running system. The repository applies Fuzzy logic algorithm to evaluate the adequacy level of the components and GRASP algorithm to mount the new system architecture. In order to verify the feasibility of our approach, we use a digital TV middleware case study to achieve experimental results.

Sign in / Sign up

Export Citation Format

Share Document