Formal Specification Approach for Smart Space Development
Journal: International Journal of Advanced Trends in Computer Science and Engineering (IJATCSE) (Vol.10, No. 1)Publication Date: 2021-02-15
Authors : Muhammad Waqar Aziz;
Page : 61-65
Keywords : Formal Specification; Smart Space development; Masjid Al-Haram;
Abstract
Being an important application of the Internet of Things, smart spaces are increasingly developed throughout the world for different purposes ranging from home automation to smart grids. Despite the considerable focus given to the practical development of smart spaces, there are few attempts of utilizing formal methods in this domain. Especially, the requirements of developing a smart space have not yet been formally specified, to the best of the authors' knowledge. To fill this gap, a formal specification approach is presented in this paper for smart space development. The proposed approach first identifies the key components of a smart space, then it uses a state-based formal specification language – Z, to formally specify the requirements of these components. The requirements of developing a hypothetical smart space are considered for formal specification in this paper. This work does not only demonstrate how the components of complex systems, such as smart spaces, can elegantly be modeled using a Software Engineering formalism. But it can also be used as a step towards defining a holistic smart space development framework, along with requirement engineering and system design techniques.
Other Latest Articles
- Risk Management in the Design of the Organization and Technology for the Construction of Buried Structures in Conditions of Compacted Development
- LAND TENURE INSECURITY AND LAND CONFLICTS IN THE BAMENDAGRASSFIELDS OF CAMEROON: PUZZLING EVIDENCE FROM BALINYONGA/BAWOCK LAND CONFLICT
- HTBIDS: Hybrid Trust Based Intrusion Detection System for Physical Layer in WSN
- The effects of Pre-Processing Techniques on Arabic Text Classification
- Analyzing the Voice of Customer through online user reviews using LDA: Case of Moroccan mobile banking applications
Last modified: 2021-02-18 18:34:38