Verifying Mobile Agent Design Patterns with RPOO

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)
Copyright: © 2007 |Pages: 9
DOI: 10.4018/978-1-59904-002-8.ch165

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