Kerry Raymond

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)
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)
Open distributed systems will increasingly be used to support business transactions within and across organisations. In order to achieve this goal, fundamental concepts of business practices should be incorporated into a supporting architecture. Support for business contracts can be regarded as an essential ingredient of such an architecture in terms of(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)
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)
Model transformations are an integral part of model-driven development. Incremental updates are a key execution scenario for transformations in model-based systems, and are especially important for the evolution of such systems. This paper presents a strategy for the incremental maintenance of declarative, rule-based transformation executions. The strategy(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)
The MOF Query, View and Transformation RFP, issued by OMG will result in a key enabling technology for modeldriven development of large distributed systems. We have designed a transformation language which will meet the requirements of this RFP, and several others besides. The language is declarative and patterns based. Transformation descriptions are(More)