Files in this item



application/pdf3199204.pdf (3MB)Restricted to U of Illinois
(no description provided)PDF


Title:An Equational Logic and a Coordination Language for Distributed Objects
Author(s):Ziaei, Mahmood Reza
Doctoral Committee Chair(s):Agha, Gul A.
Department / Program:Computer Science
Discipline:Computer Science
Degree Granting Institution:University of Illinois at Urbana-Champaign
Subject(s):Computer Science
Abstract:Even though the Actor model provides a strong foundation for distributed object based computation, its limited coordination capabilities make specification of coordination logics very difficult. To make up for this limitation, the second part of this dissertation presents SynchNet, a compositional meta-level language for coordination of distributed objects that is based on Petri Nets. Its design is based on the principle of separation of concerns, namely separation of the coordination from computational aspects. SynchNet can be used in combination with any object-based language capable of expressing sequential behavior of objects.
Issue Date:2005
Description:118 p.
Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 2005.
Other Identifier(s):(MiAaPQ)AAI3199204
Date Available in IDEALS:2015-09-25
Date Deposited:2005

This item appears in the following Collection(s)

Item Statistics