Modelli di destinazione per istruzioni OCL

Quando si scrivono istruzioni OCL (Object Constraint Language), il modello di destinazione determina le funzioni dell'elemento di contesto a cui tali istruzioni possono accedere. Il modello di destinazione può essere il modello utente o il metamodello.

Modello utente

Quando si specifica il modello di destinazione come modello utente, si limitano le istruzioni OCL alle funzioni dell'elemento di contesto definite dall'utente. Inoltre, quando si specifica il modello di destinazione come modello utente, non è possibile valutare istruzioni OCL. È possibile unicamente analizzare tali istruzioni per verificare che siano sintatticamente valide.

Ad esempio, se si specifica il modello di destinazione come modello utente e si seleziona una classe o un'interfaccia come elemento di contesto, si limitano le istruzioni OCL ai seguenti attributi e operazioni:
  • Attributi definiti dalla classe o dall'interfaccia
  • Operazioni definite da OCL specifiche, tra cui oclIsType()

Metamodello

Quando si specifica il modello di destinazione come metamodello, si limitano le istruzioni OCL alle funzioni dell'elemento di contesto e le funzioni che gli stereotipi hanno applicato all'elemento di contesto contribuiscono. Inoltre, quando il modello di destinazione è il metamodello, è possibile analizzare le istruzioni OCL per verificare se sono sintatticamente valide, oltre che per valutare l'output che ne deriva.

Ad esempio, se si specifica il modello di destinazione come metamodello, le istruzioni OCL possono accedere alle seguenti funzioni:
  • Tutti gli attributi definiti nella metaclasse che rappresentano l'elemento di contesto
  • Attributi definiti in stereotipi applicati all'elemento di contesto
  • Tutti i metodi definiti da OCL
Attività correlate
Analisi di istruzioni OCL
Valutazione di istruzioni OCL
Convalida ed esplorazione delle caratteristiche di elementi di modello UML

Feedback