A systematic process for obtaining the behavior of context-sensitive systems

Authors

  • Jéssyka Vilela Centro de Informática, Universidade Federal de Pernambuco (UFPE), Av. Jornalista Anibal Fernandes, s /n - Cidade Universitaria, Recife, 50.740–560, Brazil
  • Jaelson Castro Centro de Informática, Universidade Federal de Pernambuco (UFPE), Av. Jornalista Anibal Fernandes, s /n - Cidade Universitaria, Recife, 50.740–560, Brazil
  • João Pimentel Universidade de Pernambuco (UPE), Av. Sport Clube do Recife, 252 - Madalena, Recife - PE, 50750-500, Brazil

Keywords:

Context-sensitive systems, Behavior, Statechart, Goal models, Requirements, Derivation, GO2S

Abstract

Background

Context-sensitive systems use contextual information in order to adapt to the users current needs or requirements failure. Therefore, they need to dynamically adapt their behavior. It is of paramount importance to specify and analyze the intended behavior of these systems before they are fully implemented. The behavioral specification can be used for requirements validation in order to check if these systems will be able to achieve their goals. Moreover, the reasoning about properties of these systems, such as deadlocks, reachability, completeness and correctness of the system, can be supported. Therefore, it is of paramount importance to have an approach to specify the dynamic behavior of the context-sensitive systems.;

 

Downloads

Download data is not yet available.

Downloads

Published

2016-04-17

How to Cite

Vilela, J., Castro, J., & Pimentel, J. (2016). A systematic process for obtaining the behavior of context-sensitive systems. Journal of Software Engineering Research and Development, 4, 2:1 – 2:57. Retrieved from https://sol.sbc.org.br/journals/index.php/jserd/article/view/428

Issue

Section

Research Article