The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
Verifying Mobile Agent Design Patterns with RPOO
|
|
Author(s): E. Oliveira (Federal University of Alagoas - Campus Arapiraca, Brazil), E. Lima (Federal University of Campina Grande, Brazil)and J. Figueiredo (Federal University of Campina Grande, Brazil)
Copyright: 2007
Pages: 9
Source title:
Encyclopedia of Mobile Computing and Commerce
Source Author(s)/Editor(s): David Taniar (Monash University, Australia)
DOI: 10.4018/978-1-59904-002-8.ch165
Purchase
|
Abstract
This article presents the formalization and analysis of three migration design patterns—itinerary, star-shaped, and branching—done by using of RPOO. A brief comparison between RPOO models and classical Colored Petri net (Jensen, 1992, 1997) models is also briefly presented.
Related Content
|
Tapan Kumar Behera.
© 2023.
20 pages.
|
|
B. Narendra Kumar Rao.
© 2023.
17 pages.
|
|
Blendi Rrustemi, Deti Baholli, Herolind Balaj.
© 2023.
18 pages.
|
|
Alma Beluli.
© 2023.
11 pages.
|
|
Jona Ndrecaj, Shkurte Berisha, Erita Çunaku.
© 2023.
15 pages.
|
|
Yllka Totaj.
© 2023.
12 pages.
|
|
Hla Myo Tun, Devasis Pradhan.
© 2023.
31 pages.
|
|
|