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
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.