By Topic

Mathematical modeling of ubiquitous systems

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Ohmori, K. ; Comput. & Inf. Sci., Hosei Univ., Koganei ; Kunii, T.L.

Ubiquitous systems built in the environment of distributed or parallel computing are more complicated than conventional digital systems. This paper describes how ubiquitous systems are modeled mathematically or in a formal way using the incrementally modular abstraction hierarchy. Firstly, the system requirements represented by event sequences are mathematically expressed by the Cartesian product of actors and events using a fiber bundle. Then, the fiber bundles is lifted by the homotopy lifting property to the set of subspaces, each of which describes the behavior of a part of the system. This property is used for modeling the ubiquitous system in a bottom-up way. Assembling behaviors distributed in parts of the system, the behavior of an actor is defined by the homotopy extension property for modeling the system in a top-down way. Finally, the behaviors of the actors are adjoined together by attaching functions to express the system behavior, which is equivalent to the process obtained by process algebra. The problem of process algebra not having the methodology of how the system is modeled from system requirements to formal description is solved by the proposed incrementally modular abstraction hierarchy.

Published in:

Ubi-Media Computing, 2008 First IEEE International Conference on

Date of Conference:

July 31 2008-Aug. 1 2008