Tehnici de implementare a concurentei în analiza si proiectarea ...

orice instanta din ? poate fi folosita în locul unei instante din ?, fara nici o modificare
observabila din exterior a comportamentului rezultat.
Sistemele de metode ([COO89]) reprezinta formalizari simple ale programarii
orientate-obiect si includ descrieri de instante, clase si operatii (metode) (figura 3.5).
Functia class returneaza clasa unei anumite instante, iar instances returneaza
multimea tuturor instantelor posibile ale unei clase.
Pentru o anumita clasa, functia methods pune în corespondenta numele unui
mesaj cu corpul acestuia (codul operatiei asociate) sau cu elementul nedefinit ? (în
cazul în care nu exista nici o operatie definita la nivelul clasei asociata mesajului).
Functia M returneaza multimea tuturor operatiilor (metodelor) definite pentru o clasa
anume.
Multimi
Instante: p, q, r ? Instance
Clase: P, Q, R ? Class
Signaturi de mesaje: m ? Key
Expresii de operatii: e, f ? Exp
class : Instance ? Class
Functii
instances : Class ? ? (Instance)
methods : Class ? Key ? Exp?
M : Class ? ? (Key), M(P) = {m : methods(P,m) ?? }
Figura 3.5. Multimile si functiile sistemului de metode introdus în [COO89]
Multimea Exp? reprezinta multimea implementarilor de operatii reunita cu
elementul nedefinit ? . Înainte de a formaliza mecanismul de mostenire pe baza
acestui sistem de metode, vom definit în cele ce urmeaza o relatie binara peste
multimea Exp?.
Definitie 2. Fie e, f ? Exp? doua expresii. Spunem ca e este "nedefinita sau
egal cu" f, si vom nota e f , daca e = ? sau e = f.
Din definitie rezulta ca evident faptul ca relatia este ordine partiala.
69