Title: Integration of ubiquitous specifications in the conception of objects system

Authors: Sonia Aimene; Idir Rassoul

Addresses: LARI Laboratory of Computer Science, Mouloud Mammeri University of Tizi-Ouzou, Tizi-Ouzou 15000, Algeria ' LARI Laboratory of Computer Science, Mouloud Mammeri University of Tizi-Ouzou, Tizi-Ouzou 15000, Algeria

Abstract: This paper proposes an approach called Ubiquitous System Object (Ubi-SO) based on standard life cycle. This approach aims to identify, to analyse and to design ubiquitous requirements that can be incorporated into a traditional system engineering process. The approach is modelled with the Business Process Management Notation (BPMN) method which is adapted using the Bizagi Modeler tool. Ubi-SO separates functional, technical and contextual ubiquitous needs in conceptualisation phase. It is based on extended sequence diagram in analysis phase and on extended class diagram in design phase using Uml profile for the best adaptation to ubiquitous domain. Compared with a lot of works, this solution offers guidelines for studying and spreading ubiquitous needs. To demonstrate the feasibility of our work, the approach is verified by translating the BPMN into formal Language of Temporal Ordering Specification (LOTOS) and then validated by the CADP tool.

Keywords: modelling; context-awareness; ubiquitous computing; pervasive applications; mobility; LOTOS; BPMN; Uml profile; life cycle.

DOI: 10.1504/IJCAT.2022.123235

International Journal of Computer Applications in Technology, 2022 Vol.68 No.1, pp.70 - 81

Received: 23 Dec 2020
Accepted: 24 Apr 2021
Published online: 06 Jun 2022 *