ODP enterprise viewpoint specification

Abstract The Open Distributed Processing (ODP) standardisation initiative has led to a framework by which distributed systems can be modelled using a number of viewpoints. These include an enterprise viewpoint, which focuses on the objectives and policies of the enterprise that the system is meant to support. Although the ODP reference model provides abstract languages of relevant concepts, it does not prescribe particular techniques that are to be used in the individual viewpoints. In particular, there is a need to develop appropriate notations for ODP enterprise specification, in order to increase the applicability of the ODP framework. In this paper, we tackle this concern and develop a specification language to support the current draft of the enterprise viewpoint. In doing so, we analyse the current definition of the ODP enterprise viewpoint language. Using the Unified Modelling Language ( uml ), a meta-model of the core concepts and their relationships is constructed, and we also investigate to what extent the uml can be used for enterprise viewpoint specification. We, then, focus on the expression of enterprise policies that govern the behaviour of enterprise objects. We develop a policy language, which is a combination of structured English and simple predicate logic and is built on top of the formal object-oriented specification language Object-Z, into which the complete language is translated. We illustrate the ideas in the paper with a case study that presents an enterprise specification of a library support system.

[1]  Peter F. Linington,et al.  Options for expressing ODP enterprise communities and their policies by using UML , 1999, Proceedings Third International Enterprise Distributed Object Computing. Conference (Cat. No.99EX366).

[2]  J. Michael Spivey,et al.  The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.

[3]  Peter F. Linington.  RM-ODP: The Architecture , 1995 .

[4]  Anneke Kleppe,et al.  The object constraint language: precise modeling with UML , 1998 .

[5]  Zoran Milosevic,et al.  Policies in communities: extending the ODP enterprise viewpoint , 1998, Proceedings Second International Enterprise Distributed Object Computing (Cat. No.98EX244).

[6]  Marek Sergot,et al.  On the characterization of law and computer systems: the normative systems perspective , 1994 .

[7]  Zoran Milosevic,et al.  ODP enterprise language: UML perspective , 1999, Proceedings Third International Enterprise Distributed Object Computing. Conference (Cat. No.99EX366).

[8]  Emil C. Lupu,et al.  A policy based role object model , 1997, Proceedings First International Enterprise Distributed Object Computing Workshop.

[9]  Howard Bowman,et al.  Constructive Consistency Checking for Partial Specification in Z , 1999, Sci. Comput. Program..

[10]  Graeme Smith,et al.  Towards Real-Time Object-Z , 1999, IFM.

[11]  Marie-Pierre Gervais,et al.  Using the UML language to express the ODP enterprise concepts , 1999, Proceedings Third International Enterprise Distributed Object Computing. Conference (Cat. No.99EX366).

[12]  Frédéric Cuppens,et al.  Specifying a security policy: a case study , 1996, Proceedings 9th IEEE Computer Security Foundations Workshop.

[13]  Dyfed Bowen.  Open Distributed Processing , 1991, Comput. Networks ISDN Syst..

[14]  Stuart Kent,et al.  A Meta-Model Semantics for Structural Constraints In UML , 1999, Behavioral Specifications of Businesses and Systems.

[15]  Tommaso Bolognesi,et al.  Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling , 1994, FORTE.

[16]  Howard Bowman,et al.  Consistency and Refinement for Partial Specification in Z , 1996, FME.