Runtime Conformance Checking of Mobile Agent Systems Using Executable Models

Mobility occurs naturally in many distributed system applications such as telecommunications and electronic commerce. Mobility may reduce bandwidth consumption and coupling and increase flexibility. However, it seems that relatively little work has been done to support quality assurance techniques s...

Full description

Bibliographic Details
Main Author: Saifan, Ahmad
Other Authors: Queen's University (Kingston, Ont.). Theses (Queen's University (Kingston, Ont.))
Language:en
en
Published: 2010
Subjects:
Online Access:http://hdl.handle.net/1974/5583