Learn More
We present an algorithm for distributed mutual exclusion in a computer network of <italic>N</italic> nodes that communicate by messages rather than shared memory. The algorithm uses a spanning tree of the computer network, and the number of messages exchanged per critical section depends on the topology of this tree. However, typically the number of(More)
This paper is an overview of the Object Management Group effort to develop a standard Ontology Development Metamodel using the OMG's Meta-Object Facility. The ODM includes metamodels for the W3C RDF/OWL representation language, the ISO Topic Maps system, and the ISO Common Logic, together with UML Profiles for RDF/OWL and Topic Maps, and mappings between(More)
In this paper we explore the issue of transforming models to models, an essential part of the OMG's Model Driven Architecture (MDA) vision. Drawing from the literature and our experiences implementing a number of transformations using different technologies, we explore the strengths and weaknesses of the different technologies and identify requirements for(More)
The OMG's Meta-Object Facility (MOF) and the open source Eclipse Modelling Framework (EMF) are two popular meta-modelling frameworks, created to meet similar (but not identical) requirements. A means of translating MOF to EMF and vice versa is required to enable the two communities to leverage one another's specifications. This paper explains the(More)
While advances in open distributed systems have undoubtedly provided a uniquely diverse environment for users, managing the resources within such an environment has become an increasingly complex task. This challenge has been considered for several years within the distributed systems management research community and we have recently seen policy-based(More)
In this paper we propose a model of decentralized federation of traders. Each component trader manages its own set of federated traders. A federation contract is used to document the agreement b e t ween two federating traders. The importer's portion of the federation contract forms an import contract that states the service types available in the remote(More)
In a model-centric software development environment, a multitude of different models are used to describe a software system on different abstraction layers and from different perspectives. Following the MDA vision, model transformation is used to support the gradual refinement from abstract models into more concrete models. However, target models do not(More)