Mouloud Mammeri University of Tizi-Ouzou (ALGERIA)
CADP (Construction and Analysis of Distributed Processes)
Extended object oriented development systems offer promising and
advantageous perspectives to build ubiquitous systems. To ensure the
usability and ubiquity of applications, it is necessary to meet the
requirements of users. An ubiquitous model cannot be complete without
adopting a development methodology to organise the engineer's work into
a process that can facilitate the design of ubiquitous applications.
To address this challenge, a new approach is devised for the
conceptualisation, analysis, and design of object-oriented systems that
follows the traditional steps by proposing a new process called
Ubiquitous System Object (Ubi-SO).
The approach is based on a UML ubiquitous profile for design and analysis, consisting of a package of specific profiles extending the standard notations of two UML diagrams chosen according to different views of a system (sequence diagram and class diagram). For each diagram are proposed UML extension mechanisms (e.g., stereotypes, constraints, tagged values) that can model any contextual situation. The analysis is performed by translating each activity of the sequence diagram to LOTOS, specifying the properties related to the composition scenario in temporal logic, and verifying them on the resulting LOTOS specification using the EVALUATOR tool of CADP. The overall approach is illustrated on a healthcare application.
The Ubi-SO approach facilitates the engineering of ubiquitous
applications by integrating ubiquitous aspects, namely
context-awareness. Thus, Ubi-SO provides useful guidelines for
modelling processes by pulling and separating the ubiquitous aspects.
Finally, the connection to CADP enables to formally verify the
correctness requirements of ubiquitous applications.
Sonia Aimene and Idir Rassoul.
Integration of Ubiquitous Specifications in the Conception of Objects
System. International Journal on Computer Applications in Technology
Available on-line at: https://doi.org/10.1504/IJCAT.2022.123235
or from the CADP Web site in PDF or PostScript
LARI Laboratory of Computer Science
Mouloud Mammeri University of Tizi-Ouzou
|This case-study, amongst others, is described on the CADP Web site: http://cadp.inria.fr/case-studies