A systematic process for obtaining the behavior of context-sensitive systems
Keywords:
Context-sensitive systems, Behavior, Statechart, Goal models, Requirements, Derivation, GO2SAbstract
BackgroundContext-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.;