Issues in multiparadigm viewpoint specification

Abstract

This paper discusses the issues of speci cation style and re nement that arise in connection with viewpointmodelling. In particular, we consider the support needed in order to deal with viewpoints written at di erent levels of abstraction. The motivation for this work arises from the use of viewpoints in distributed systems design, in particular in the Open Distributed Processing standard.

Incremental Detection of Model Inconsistencies Based on Model Operations

“…And secondly, it describes how to compute an optimized invariant recheck code for each impacting change. However, OCL description language has a limited usage as it can only describe monocontextual inconsistencies, in the context of software architecture models it is advocated to target multi-context/multi-paradigm inconsistencies as presented in [18,19].…”

From ODP viewpoint consistency to Integrated Formal Methods

“…Viewpoint methods were already common in requirements engineering [36,35] but the problem of checking consistency between viewpoint specifications given in formal notations [3] did not have any ready made solutions beyond translating all viewpoints into a low level common language like predicate logic [68]. Inspired by Leduc's work on development relations for LOTOS [51] we developed a general theory of development relations [17,9] encompassing:…”

Constructive consistency checking for partial specification in Z

“…The use of formal description techniques in specifying these viewpoints is envisaged { in particular, Z is a strong candidate to be used in the information viewpoint 37]. For an overview of our project on the technical issues behind viewpoint speci cation for ODP, see 5].…”

“…Assume the types are S and T as in the general example above, and their correspondence relation is R S T. (In order to keep this explanation simple, we venture outside the Z typing system for a moment.) If 11 is a type with a single element not in S or T, let us call it ?, then we could de ne the disjoint union of S and T by 5 S + T = S 11 11 T i.e. S + T =f(s;t) j (s 2 S^t=?…”