Object-Z

Object-Z

Z ist der Name einer Notation zur formalen Spezifikation von Software-Systemen und -Modulen.

Z basiert auf der Zermelo-Fraenkel-Mengenlehre und der Prädikatenlogik erster Stufe. Spezifikationen für komplexe Software-Systeme in Z werden durch die hierarchische Komposition von Schemata erreicht. Ein Schema besteht dabei aus einer Anzahl typisierter Variablen und Bedingungen, welche an die Belegungen der Variablen gestellt werden.

Z wurde von Jean-Raymond Abrial Ende der 70er Jahre geschaffen und durch die Programming Research Group im Oxford University Computing Laboratory weiterentwickelt. Im Jahr 2002 wurde Z durch die ISO (ISO 13568, [1]) standardisiert.

Inhaltsverzeichnis

Erweiterungen

Object-Z Beispiel

Object-Z

Object-Z ist eine objektorientierte Erweiterung die an der University of Queensland, Australien entwickelt wurde. Sie erweitert Z durch Sprachkonstrukte die den objekt-orientierten Paradigmen ähneln. Im wesentlichen sind dies Klassen, Vererbung und Polymorphismus. Object-Z ist zwar nicht so populär wie Z selbst,doch es erhielt erhebliche Aufmerksamkeit von der formalen Spezifikations-Gemeinschaft. Untersuchungen über verschiedene Aspekte der Sprache erfolgen derzeit, einschließlich Hybrid-Sprachen, die Object-Z nutzen und diverse Tool-Unterstützungen (z.B. durch das Community Z-Tools-Projekt).

Z++

Z++ ist eine objektorientierte Erweiterung der Z-Notation.[1]

Literatur

  • The Z Notation: A Reference Manual, 2. Ausgabe, von J.M. Spivey, 1992, Prentice-Hall International Series in Computer Science, ISBN 0-13-978529-9
  • The Z Notation: A Reference Manual, 2. Ausgabe, von J.M. Spivey, 1992, Das Buch inklusive LaTeX Quelltext: http://spivey.oriel.ox.ac.uk/mike/zrm/
  • Information Technology – Z Formal Specification Notation – Syntax, Type System and Semantics, ISO/IEC 13568:2002
  • Z: An Introduction to Formal Methods, 2. Ausgabe, von A. Diller, 1996, John Wiley & Sons Ltd, ISBN 0-471-93973-0
  • Object-Z: An object-oriented extension to Z., David A. Carrington, David Duke, Roger Duke, Paul King, Gordon A. Rose, and Graeme Smith. in S. Vuong, Formal Description Techniques II, FORTE'89, S. 281-296, North-Holland, 1990.

Weblinks

Einzelnachweise

  1. ↑ Lano, Kevin, Z++, an Object-Oriented Extension to Z in Proceedings of the 5th Annual Z User Meeting, Oxford 1990, Workshops in Computing, Springer-Verlag 1991, S. 151–172, BibTeX-Eintrag bei DBLP

Wikimedia Foundation.

Игры ⚽ Нужно сделать НИР?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Object — may refer to: Object (philosophy), a thing, being or concept Entity, something that is tangible and within the grasp of the senses As used in object relations theories of psychoanalysis, that to which a subject relates. Object (grammar), a… …   Wikipedia

  • Object — Ob ject ([o^]b j[e^]kt), n. [L. objectus. See {Object}, v. t.] 1. That which is put, or which may be regarded as put, in the way of some of the senses; something visible or tangible and persists for an appreciable time; as, he observed an object… …   The Collaborative International Dictionary of English

  • object — ob·ject 1 / äb jikt/ n 1: something toward which thought, feeling, or action is directed see also natural object 2: the purpose or goal of something; esp in the civil law of Louisiana: the purpose for which a contract or obligation is formed… …   Law dictionary

  • Object-Z — is an object oriented extension to the Z notation developed at the University of Queensland, Australia. Object Z extends Z by the addition of language constructs resembling the object oriented paradigm, most notably, classes. Other object… …   Wikipedia

  • Object 47 — Studio album by Wire Released July 7th 2008 …   Wikipedia

  • object — object, objective nouns. Both words have the meaning ‘something sought or aimed at’ and in practice they are often interchangeable, although object is more common when followed by a qualifying construction, e.g. one with in or of (and is… …   Modern English usage

  • object — [äb′jikt, äbjekt; ] for v. [ əb jekt′, äbjekt′] n. [ME < ML objectum, something thrown in the way < L objectus, a casting before, that which appears, orig. pp. of objicere < ob (see OB ) + jacere, to throw: see JET1] 1. a thing that can… …   English World dictionary

  • Object — Ob*ject ([o^]b*j[e^]kt ), v. t. [imp. & p. p. {Objected}; p. pr. & vb. n. {Objecting}.] [L. objectus, p. p. of objicere, obicere, to throw or put before, to oppose; ob (see {Ob }) + jacere to throw: cf. objecter. See {Jet} a shooting forth.] 1.… …   The Collaborative International Dictionary of English

  • object# — object n 1 *thing, article Analogous words: *affair, concern, matter, thing: *form, figure, shape, configuration 2 objective, goal, end, aim, design, purpose, *intention, intent Analogous words: * …   New Dictionary of Synonyms

  • Object V — EP by Leaether Strip Released 1991 …   Wikipedia

  • object — the noun [14] and object the verb [15] have diverged considerably over the centuries, but they come from the same ultimate source: Latin obicere. This was a compound verb formed from the prefix ob ‘towards’ and jacere ‘throw’ (source of English… …   The Hutchinson dictionary of word origins

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”