Verifying Mobile Agent Design Patterns with RPOO

E. Oliveira; E. Lima; J. Figueiredo

doi:10.4018/978-1-59904-002-8.ch165

Receive a 20% Discount on All Purchases Directly Through IGI Global's Online Bookstore.
Additionally, libraries can receive an extra 5% discount. Learn More

Special Offers
- Subscribe to the latest research through IGI Global's new InfoSci-OnDemand Plus
  InfoSci®-OnDemand Plus, a subscription-based service, provides researchers the ability to access full-text content from over 93,000+ peer-reviewed book chapters and 24,000+ scholarly journal articles covering 11 core subjects. Users can select articles or chapters that meet their interests and gain access to the full content permanently in their personal online InfoSci-OnDemand Plus library.
  Subscribe
- Purchase the Encyclopedia of Information Science and Technology, Fourth Edition
  and Receive Complimentary E-Books of Previous Editions
  When ordering directly through IGI Global's Online Bookstore, receive the complimentary e-books for the first, second, and third editions with the purchase of the Encyclopedia of Information Science and Technology, Fourth Edition e-book.
  Purchase
- Create a Free IGI Global Library Account to Receive a 25% Discount on All Purchases
  Exclusive benefits include one-click shopping, flexible payment options, free COUNTER 4 and MARC records, and a 25% discount on all titles as well as the award-winning InfoSci^®-Databases.
  Sign Up Now!
- InfoSci^®-Journals Annual Subscription Price for New Customers: As Low As US$ 4,080*
  This collection of over 185 e-journals offers unlimited access to highly-cited, forward-thinking content in full-text PDF and HTML with no DRM. There are no platform or maintenance fees and a guarantee of no more than 5% increase annually.
  Learn More
- Discounted Titles Only Available through IGI Global’s Online Bookstore
  Take 20% off all publications purchased directly through the IGI Global Online Bookstore.
  
  Shop Now
Books
Journals
InfoSci^®-Databases
Articles/Chapters
Publish with Us
Resources
- - Instructors
  - Course Adoption
  - Teaching Cases
  - Researchers
  - Browse Books
  - Browse Journals
  - Streaming Videos
  - OnDemand Downloads
  - Webinars
  - Authors and Editors
  - eEditorial Discovery^® System
  - Peer Review Process
  - Ethics and Malpractice
  - Fair Use Policy
  - Copy Editing Service
  - FAQ
  - Distributors
  - Distributor Resources
  - Book Distributors
  - Journal Subscription Agencies
  - E-Resource Partners
Catalogs
About Us
Newsroom

Verifying Mobile Agent Design Patterns with RPOO

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)

Source Title: Encyclopedia of Mobile Computing and Commerce

DOI: 10.4018/978-1-59904-002-8.ch165

OnDemand PDF Download:

$30.00

List Price: $37.50

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.

Complete Chapter List

Search this Book:

Reset

MLA

APA

Chicago

Export Reference

Verifying Mobile Agent Design Patterns with RPOO

Abstract

Complete Chapter List