Consistency and refinement for partial specification in Z

Boiten, Eerke Albert; Derrick, John; Bowman, Howard; Steen, Maarten

doi:10.1007/3-540-60973-3_93

Cited by 24 publications

(28 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Arguments for aspect-oriented system design can be found in the literature [7,12,15]. Aspect-oriented specification has been studied in the context of multi-paradigm specification techniques, where it is assumed that the different notations can be translated into a common (state-based) framework [6,7,26].…”

Section: Discussionmentioning

confidence: 99%

See 1 more Smart Citation

Composition and refinement for partial object specifications

Johnsen

Owe

2002

Proceedings 16th International Parallel and Distributed Processing Symposium

View full text Add to dashboard Cite

Due to the complexity involved in the specification and development of large, distributed, and object-oriented systems, it is often advocated that individual components should be developed in an aspect-wise manner, where separate descriptions depict various roles, viewpoints, or interfaces of the objects considered. The introduction of such partial specifications requires extra care when reasoning about systems as several specifications of the same object may coexist and lead to overlapping information.In this paper, we consider a compositional approach to system development by means of partial specifications of objects. The approach supports stepwise refinement, which enables global reasoning by local refinement steps in an aspect-oriented specification style. For this purpose, a refinement relation is proposed which is suitable for multiple inheritance of behavior and subclassing in object-oriented languages.

show abstract

Section: Discussionmentioning

confidence: 99%

“…Boiten et al have a related notion [7]. In their work, two specifications are called consistent if they have a common refinement.…”

Section: Definition 10 (Composability) Two Component Specifications γmentioning

confidence: 99%

Composition and refinement for partial object specifications

Johnsen

Owe

2002

Proceedings 16th International Parallel and Distributed Processing Symposium

View full text Add to dashboard Cite

show abstract

“…8Section 9 1 So far so good. We can specify a system that contains non-determinism in some of the operations in its user interface (e.g.…”

Section: Re Nementmentioning

confidence: 99%

“…The three regions of an operation represent: (1) states where the operation is divergent because no constraints are made on the after state (the unconstrained region), (2) states outside the usual pre-condition but which aren't divergent (the empty region), and (3) the remaining states where some but not all after states are allowed (the interesting region). For a full discussion the reader should consult 19].…”

Section: The Ring Condition Interpretationmentioning

confidence: 99%

Weak refinement in Z

Derrick

Boiten

Bowman

et al. 1997

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

Abstract. An important aspect in the speci cation of distributed systems is the role of the internal (or unobservable) operation. Such operations are not part of the user interface (i.e. the user cannot invoke them), however, they are essential to our understanding and correct modelling of the system. Various conventions have been employed to model internal operations when specifying distributed systems in Z. If internal operations are distinguished in the speci cation notation, then re nement needs to deal with internal operations in appropriate ways. However, in the presence of internal operations, standard Z re nement leads to undesirable implementations. In this paper we present a generalization of Z re nement, called weak re nement, which treats internal operations di erently from observable operations when re ning a system. We illustrate some of the properties of weak re nement through a speci cation of a telecommunications protocol.

show abstract

“…For any two viewpoints, it is possible to construct a candidate unification, which is the least common refinement if one exists, [1] . Two conditions characterise whether the candidate is a refinement.…”

Section: (A)mentioning

confidence: 99%

The specification and testing of conformance in ODP systems

Linington

Derrick

Bowman

1996

Testing of Communicating Systems

View full text Add to dashboard Cite

Open Distributed Processing (ODP) is a joint standardisation activity of the ISO and lTV. A reference model has been defined which describes an architecture for building open distributed systems. This paper introduces the key aspects of the reference model of open distributed processing, including the ODP conformance framework. We discuss how specific formal techniques are used in the ODP viewpoints, along with the implications for conformance assessment using such techniques. Particular attention is given to the role of consistency in the conformance assessment process. Finally, we review the current work on an ODP conformance testing methodology.Keywords: Open Distributed Processing; Conformance; Formal Description Techniques. THE OPEN DISTRIBUTED PROCESSING MODELOpen Distributed Processing (ODP) (29) is a joint standardisation activity of the ISO and ITU. A reference model has been defined which describes an architecture for building open distributed systems [36,33). Central to this architecture is a viewpoints model. This enables distributed systems to be described from a number of different perspectives. There are five viewpoints : enterprise, in/ormation, computational, engineering and technology. Requirements and specifications of an ODP system can be made from any of these viewpoints.The framework for the standardization of Open Distributed Processing is provided by the Reference Model for Open Distributed Processing (RM-ODP), the essential, normative parts of which were completed early in 1995. The RM-ODP gives a structure for a family of standards for common interfaces, reusable components and supporting notations needed for the establishment of a wide range of distributed systems.The reference model is published as ISO 10746, and is in four parts (

show abstract

Consistency and refinement for partial specification in Z

Cited by 24 publications

References 13 publications

Composition and refinement for partial object specifications

Composition and refinement for partial object specifications

Weak refinement in Z

The specification and testing of conformance in ODP systems

Contact Info

Product

Resources

About