Può UML con OCL essere utilizzato per specifiche formali?

Question

Chiedo perché UML è usato per le specifiche informali e ha alcune ambiguità sua semantica. Tuttavia OCL può essere utilizzato per specificare pre / condizioni e invarianti postali e altri vincoli molto efficiente che penso.

ho incontrato la notazione Z e le specifiche algebriche di recente. La mia domanda, è una combinazione di UML e OCL sufficiente per specifiche formali?

Answer 1

Sì, per la maggior parte dei sistemi che si possono costruire.

Voglio dire, UML e OCL sono solo le lingue semi-formali (la loro sintassi è ben definito, ma la loro semantica è solo parzialmente formalizzata, molti aspetti sono solo descritti in linguaggio naturale nelle specifiche standard del documento). Pertanto, se si sta costruendo un sistema critico ed è necessario dimostrare la correttezza del sistema poi UML / OCL possono cadere a breve, ma per molti altri tipi di sistemi, il tipo di formalità che UML / OCL può fornire è abbastanza buono