Object-Z

Object-Z

Object-Z es una extensión orientada a objetos de la notación Z y fue desarollado en la Universidad de Queensland en Australia. Notación Z es un idioma para la especificación formal de sistemas informáticos.

Diferencias entre Z y Object-Z

Object-Z añade a Z formas de expresar conceptos del paradigma orientado a objetos, sobre todo clases, polimorfismo y herencia. Eso permite la formalización de sistemas que consisten de un conjunto de objetos que comunican entre si.

Object-Z introduce además interfaces de los clases, quiere decir formas de utilizar las clases desde afuera. Eso está realizado con listas de visibilidad (visibility lists) que determinan cuales de las variables o esquemas se pueden acceder desde afuera. En Z se asume que todos los esquemas se pueden acceder desde afuera así que no se pueden describir métodos que solo sirven para otros métodos dentro de la clase.

Z permite definir cuales de los esquemas describen métodos que cambian el estado del sistema y cuales no lo cambian (por ejemplo porque solo retornan una variable) con los símbolos Δ y Ξ. Para un esquema que cambia el estado hay que definir el valor posterior para todas las variables del sistema. Esto fue cambiado en Object-Z. Ahí se puede definir para cada esquema cuales variables cambia. Un esquema que no cambia ningún variable corresponde a los esquemas 'Ξ' de Z. Eso es una gran ventaja en clases complejas con esquemas que cambian pocas variables. Esos esquemas son más simples en Object-Z que en Z.

Enlaces externos


Wikimedia foundation. 2010.

Игры ⚽ Поможем сделать НИР

Mira otros diccionarios:

  • 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

Compartir el artículo y extractos

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