Welcome to the InfoSci Platform
Reference Hub1
Formal Specification of Non-Functional Properties of Context-Aware Systems

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

Brahim Djoudi, Chafia Bouanaka, Nadia Zeghib
Copyright: © 2022 |Volume: 12 |Issue: 2 |Pages: 31
ISSN: 1947-9344|EISSN: 1947-9352|EISBN13: 9781683181392|DOI: 10.4018/IJOCI.286175
Cite Article Cite Article

MLA

Djoudi, Brahim, et al. "Formal Specification of Non-Functional Properties of Context-Aware Systems." IJOCI vol.12, no.2 2022: pp.1-31. http://doi.org/10.4018/IJOCI.286175

APA

Djoudi, B., Bouanaka, C., & Zeghib, N. (2022). Formal Specification of Non-Functional Properties of Context-Aware Systems. International Journal of Organizational and Collective Intelligence (IJOCI), 12(2), 1-31. http://doi.org/10.4018/IJOCI.286175

Chicago

Djoudi, Brahim, Chafia Bouanaka, and Nadia Zeghib. "Formal Specification of Non-Functional Properties of Context-Aware Systems," International Journal of Organizational and Collective Intelligence (IJOCI) 12, no.2: 1-31. http://doi.org/10.4018/IJOCI.286175

Export Reference

Mendeley
Favorite Full-Issue Download

Abstract

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.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.