Verifying Mobile Agent Design Patterns with RPOO

Verifying Mobile Agent Design Patterns with RPOO

E. Oliveira, E. Lima, J. Figueiredo
Copyright: © 2007 |Pages: 9
DOI: 10.4018/978-1-59904-002-8.ch165
OnDemand:
(Individual Chapters)
Available
$37.50
No Current Special Offers
TOTAL SAVINGS: $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