Verifying Mobile Agent Design Patterns with RPOO

E. Oliveira; E. Lima; J. Figueiredo

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

View Special Offers
- Pre-Order the Encyclopedia of Information Science and Technology, Fourth Edition (10 Volumes)
  Receive 5% off plus free standard shipping. Additionally, 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 Now
- Take 20% Off All Major Reference Works Through June
  Order now to own the most comprehensive and in-depth research on inclusive topics and methodologies contained in IGI Global's Encyclopedias, Critical Explorations, Handbooks of Research, and Dictionaries.
  Purchase Now
Books
- - Books
  - Learn more about our scholarly peer-reviewed reference books and explore our complete collection.
    Books
  - Books by Availability
  - Complete Listing
  - New Releases
  - Forthcoming Books
  - For Researchers
  - Publication Formats
  - Submit a Book Proposal
  - Submit a Chapter
  - Course Adoption
  - Book Recommendations
  - Indices
  - How To Order
  - Related Products
  - E-Resources
  - Book Series
  - How To Order
  - Mailing List
  - Sign up to receive product updates and publishing opportunities
    Sign up
Journals
- - Journals
  - Learn more about our peer-reviewed, highly cited, scholarly journals and explore our complete collection.
    Journals
  - Journals by Availability
  - Complete Listing
  - New Releases
  - Featured Journals
  - For Researchers
  - Submit a Journal Proposal
  - Submit an Article
  - Journal Recommendations
  - Indices
  - How To Order
  - For Librarians
  - E-Resources
  - How To Order
  - Mailing List
  - Sign up to receive product updates and publishing opportunities
    Sign up
E-Resources
- - E-Resources
  - Learn more about IGI Global's e-book and e-journal collections, set up a free trial, or request a quote.
    E-Resources
  - Individual Titles
  - E-Books
  - E-Journals
  - Streaming Videos
  - Mailing List
  - Sign up to receive Electronic Resources news and updates
    Sign up
Videos
OnDemand
Publish with IGI Global
Resources
- - Instructors
  - Exam Copy
  - Course Adoption
  - Teaching Cases
  - Researchers
  - Search Books
  - Search Journals
  - Streaming Videos
  - OnDemand Downloads
  - Authors and Editors
  - eEditorial Discovery^® System
  - Peer-Review Process
  - Ethics and Malpractice
  - Content Reuse Policy
  - Copy Editing Service
  - FAQ
  - Mailing List
  - Sign up to receive product updates and publishing opportunities
    Sign up
Media
- - Mailing List
  - Sign up to receive product updates and publishing opportunities
    Mailing List

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:

$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