scispace - formally typeset
Open AccessJournal ArticleDOI

Viewpoint consistency in ODP

Eerke Albert Boiten, +4 more
- 01 Sep 2000 - 
- Vol. 34, Iss: 3, pp 503-537
TLDR
An overview of the work is presented, motivated by a case study combining techniques for consistency checking, refinement, and translation between viewpoint specifications, in particular for LOTOS and Z/Object-Z.
About: 
This article is published in Computer Networks.The article was published on 2000-09-01 and is currently open access. It has received 74 citations till now. The article focuses on the topics: Consistency model & Consistency (database systems).

read more

Citations
More filters

Object-Oriented Analysis and Design.

Jean-Marc Nerson
TL;DR: In this paper, the authors propose a separation of interface from implementation, which they call encapsulation, and demonstrate the advantages of rapid prototyping and graceful refinement of a class implementation.
Proceedings ArticleDOI

A methodology for specifying and analyzing consistency of object-oriented behavioral models

Gregor Engels, +3 more
TL;DR: This paper discusses the issue of consistency of behavioral models in the UML and presents a general methodology how consistency problems can be dealt with and shows the applicability of the methodology by giving an example of a concrete consistency problem of concurrent object-oriented models.
Book ChapterDOI

Challenges in Model-Driven Software Engineering

Ragnhild Van Der Straeten, +2 more
TL;DR: This report summarises the different presentations, the MDE challenges identified by the workshop participants, and the discussions of the breakout groups.

Heterogeneous Specification and the Heterogeneous Tool Set

Till Mossakowski
TL;DR: It is shown that Grothendieck institutions based on institution comorphisms can serve as a framework for developing such a proof calculus and building tools, and how to extend the verification semantics given for struc-tured speci fications in [13] to the heterogeneous case.
Proceedings ArticleDOI

Realizing Correspondences in Multi-viewpoint Specifications

José Raúl Romero, +2 more
TL;DR: This paper proposes a generic model-driven approach to the specification and realization of correspondences between viewpoints, and shows how correspondences can be modeled both extensionally and intensionally, and proposes the use of model transformations to connect these two approaches.
References
More filters
Book

The Z notation: a reference manual

J. M. Spivey
TL;DR: Tutorial introduction background the Z language the mathematical tool-kit sequential systems syntax summary and how to use it to solve sequential systems problems.
Book

Systematic software development using VDM

Cliff B. Jones
TL;DR: Logic of propositions reasoning about predicates functions and operations set notation composite objects and invariants map notation sequence notation data rectification more on data types operation decomposition.
Journal ArticleDOI

OSI Reference Model--The ISO Model of Architecture for Open Systems Interconnection

H. Zimmermann
- 01 Apr 1980 - 
TL;DR: In this article, the OSI Reference Model was also recognized by CCITT Rapporteur's Group on "Layered Model for Public Data Network Services." This paper presents the model of architecture for Open Systems Interconnection developed by SC16.
Book

OSI reference model—The ISO model of architecture for open systems interconnection

H. Zimmermann
TL;DR: This paper presents the model of architecture for Open Systems Interconnection developed by SC16, and some indications are also given on the initial set of protocols which will-likely be developed in this OSI Reference Model.
Journal ArticleDOI

Introduction to the ISO specification language LOTOS

Tommaso Bolognesi, +1 more
- 01 Mar 1987 - 
TL;DR: LOTOS is a specification language that has been specifically developed for the formal description of the OSI (Open Systems Interconnection) architecture, although it is applicable to distributed, concurrent systems in general.
Frequently Asked Questions (5)
Q1. What are the contributions in this paper?

In previous work the authors have described techniques for consistency checking, refinement, and translation between viewpoint specifications, in particular for LOTOS and Z/Object-Z. Here the authors present an overview of their work, motivated by a case study combining these techniques in order to show consistency between viewpoints specified in LOTOS and Object-Z. 

Using least developed unifications as intermediate stages, global consistency of a set of viewpoints can be established by a series of binary consistency checks. 

The computational viewpoint initialisation, when adapted to the unified state, is CInit EngsCompRelate MsgsSent = which requires all the buffer components to be empty, and s to be 0. 

What is needed is a model which can combine the description of system structure with statement of system-wide objectives and constraints, so that the adequacy of the solutions proposed can be judged against the system’s original purpose. 

Because viewpoints overlap in the parts of the envisaged system that they describe, the authors need to describe the relationship between the viewpoints.