Welcome to the InfoSci Platform
Verifying Mobile Agent Design Patterns with RPOO

Verifying Mobile Agent Design Patterns with RPOO

E. Oliveira, E. Lima, J. Figueiredo
Copyright: © 2007 |Pages: 9
ISBN13: 9781599040028|ISBN10: 1599040026|EISBN13: 9781599040035
DOI: 10.4018/978-1-59904-002-8.ch165
Cite Chapter Cite Chapter

MLA

Oliveira, E., et al. "Verifying Mobile Agent Design Patterns with RPOO." Encyclopedia of Mobile Computing and Commerce, edited by David Taniar, IGI Global, 2007, pp. 987-995. https://doi.org/10.4018/978-1-59904-002-8.ch165

APA

Oliveira, E., Lima, E., & Figueiredo, J. (2007). Verifying Mobile Agent Design Patterns with RPOO. In D. Taniar (Ed.), Encyclopedia of Mobile Computing and Commerce (pp. 987-995). IGI Global. https://doi.org/10.4018/978-1-59904-002-8.ch165

Chicago

Oliveira, E., E. Lima, and J. Figueiredo. "Verifying Mobile Agent Design Patterns with RPOO." In Encyclopedia of Mobile Computing and Commerce, edited by David Taniar, 987-995. Hershey, PA: IGI Global, 2007. https://doi.org/10.4018/978-1-59904-002-8.ch165

Export Reference

Mendeley
Favorite

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.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.