O'Reilly logo

Codecharts: Roadmaps and blueprints for object-oriented programs by J. Nicholson, Amnon H. Eden

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

Chapter 16

* Schemas

Symbolic transcriptions of expressions and formulas were used throughout this book for the purpose of referring to specific elements in LePUS3 Codecharts. For example, a method which is visually represented by a superimposition of an ellipse sig over a rectangle cls was symbolically represented as the expression sigcls. Thus, perhaps without noticing, Part I of this book has in effect introduced not one but two specification languages: the visual tokens, which constitute LePUS3, and the set of their symbolic transcriptions, to which we refer as Class-Z. The two design description languages are equally useful, each with somewhat different purposes and appealing to a different audience: where LePUS3 Codecharts capitalize on the benefits of visual languages, Class-Z schemas are designed to resemble predicate formulas in their traditional form. This chapter formally introduces this language and the notion of a schema.

In LePUS3, a specification is articulated as a Codechart. In Class-Z, a specification is introduced using the schema notation. For example, the two terms and the one formula in Codechart 82 (p. 129) translate to the following schema:

image

More generally, specifications encoded in the schema notation consist of two compartments. The first introduces the terms in the specification, each declared with its respective type and dimension, and the second lists ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required