Formalization of a Fully-Decoupled Reactive Tuple Space Model for Mobile Middleware
Citations
8 citations
Cites methods from "Formalization of a Fully-Decoupled ..."
...The Mobile UNITY model has also been used in literature for modeling of the tuple space coordination in mobile middleware systems [20, 53, 54], as well as for modeling of other mobile systems like Mobile IP [55]....
[...]
2 citations
1 citations
References
3,380 citations
"Formalization of a Fully-Decoupled ..." refers background in this paper
...Tuple space model subsequently includes reactivity, a powerful programming construct, to accomplish synchronization decoupling, another decoupling quality for agent interaction [3]....
[...]
...Tuple space model [2], a popular coordination model, supports multiple inherent decoupling qualities [3], and as such is a potential coordination medium for mobile middleware [4], called Tuple Space based Mobile Middleware (TSMM)....
[...]
2,584 citations
"Formalization of a Fully-Decoupled ..." refers background in this paper
...Tuple space model [2], a popular coordination model, supports multiple inherent decoupling qualities [3], and as such is a potential coordination medium for mobile middleware [4], called Tuple Space based Mobile Middleware (TSMM)....
[...]
1,941 citations
"Formalization of a Fully-Decoupled ..." refers methods in this paper
...A general-purpose formal reasoning tool, Mobile UNITY [6], which is an extension of well-known UNITY model [7], is used for formalizing this TSMM....
[...]
284 citations
"Formalization of a Fully-Decoupled ..." refers background in this paper
...Authors believe that exhaustive formalization of any TSMM has not yet presented, though preliminary specifications of some functionalities exist in literature [8,9]....
[...]
123 citations
"Formalization of a Fully-Decoupled ..." refers methods in this paper
...Favoring Mobile UNITY over other formal tools is due to its suitability for formalizing inherently non-terminating programs (like mobile middleware), reasoning about agents temporal behavior using its proof rules, and following stepwise specification and refining....
[...]
...Section 2 gives a brief overview of TSMM having a fully-decoupled reactive tuple space model, which is next formalized using Mobile UNITY in Section 3....
[...]
...A general-purpose formal reasoning tool, Mobile UNITY [6], which is an extension of well-known UNITY model [7], is used for formalizing this TSMM....
[...]
...This section proposes an approach of formalization of TSMM as a Mobile UNITY system, comprising of a set of formal programs representing different agents and hosts....
[...]
...In both these works, basic tuple space operations and agent mobility are respectively formalized using Mobile UNITY, with reference to LIME....
[...]