The Stereochemistry of Enterprise Objects

Linington, Peter F. (2010) The Stereochemistry of Enterprise Objects. In: Enterprise Distributed Object Computing Conference Workshops - WODPEC 2010. (The full text of this publication is not available from this repository)

The full text of this publication is not available from this repository. (Contact us about this Publication)
Official URL
http://www.cs.kent.ac.uk/pubs/2010/3153

Abstract

In ODP, an enterprise specification is expressed in terms of the definition of some set of communities, characterized by their community contracts. A community places constraints on its members, restricting the behaviour they can participate in. This may involve a stronger form of constraint than those which result from the traditional binding of objects at interfaces, which requires only that the communication between the objects has some observable properties. This paper discusses the different forms of constraints, and examines the range of forms that community construction may take. In particular, it examines the process of abstracting from a community to yield a community object, and then using this object to fill some role in a broader community. It shows that the role filling process needs to consider mappings and constraints between objects that fill other roles in the communities concerned.

Item Type: Conference or workshop item (UNSPECIFIED)
Uncontrolled keywords: determinacy analysis, Craig interpolants
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Science Technology and Medical Studies > School of Computing > Programming Languages and Systems Group
Depositing User: Peter Linington
Date Deposited: 21 Sep 2012 09:49
Last Modified: 21 Sep 2012 09:49
Resource URI: http://kar.kent.ac.uk/id/eprint/30625 (The current URI for this page, for reference purposes)
  • Depositors only (login required):