The active badge location system
ACM Transactions on Information Systems (TOIS)
Some computer science issues in ubiquitous computing
Communications of the ACM - Special issue on computer augmented environments: back to the real world
Reconfigurable Context-Sensitive Middleware for Pervasive Computing
IEEE Pervasive Computing
Computer
Development of Situation-Aware Application Software for Ubiquitous Computing Environment
COMPSAC '02 Proceedings of the 26th International Computer Software and Applications Conference on Prolonging Software Life: Development and Redevelopment
Situation-Aware Contract Specification Language for Middleware for Ubiquitous Computing
FTDCS '03 Proceedings of the The Ninth IEEE Workshop on Future Trends of Distributed Computing Systems
Effective appliance selection by complementary context feeding in smart home system
SEUS'07 Proceedings of the 5th IFIP WG 10.2 international conference on Software technologies for embedded and ubiquitous systems
| Hi-index | 0.00 |
Situation-awareness is a desirable feature of application software systems in mobile computing environments. In this paper, we present an extended finite state machine model for the situation-aware mobile application software systems. In this model, each state represents an impromptu condition that a system is presented, and the state is characterized by the historical context record and the internal action record. Each state transition in the model represents a context input. The whole finite state machine models the dynamicity of the situation-aware application software system that adjusts its own behavior according to the situation changes. The situation-aware requirement is application-specific, and each situation-aware requirement is corresponding to an FSM. This model is useful in the mobile application software development: it can be used to verify the validness of the situation-aware requirement; it can be used to generate test cases that represent the situation changes a system may experience in a mobile environment.