Metodi formali - Specifiche algebriche VS Oggetto orientato all'oggetto

Question

Sono nel mezzo di qualche ricerca e non è stato in grado di trovare molta letteratura per aiutare, voglio confrontare le dipendenze della piattaforma dei due metodi formali;Specifiche algebriche e orientati agli oggetti.Quale lingua userebbero?

Qualcuno ha alcuna conoscenza di questo o potrebbe indicarmi la giusta direzione?Grazie

Answer 1

So cosa significa "specifica algebrica" (Giyf: vedere http://en.wikipedia.org/Wiki / Algebraic_Specification ) Come la mia azienda ha costruito un tale sistema e ha usato la pratica industriale.La "lingua" è quella dei tipi di dati astratti, delle firme delle funzioni e degli assiomi che descrivono ciò che fanno le funzioni, con gli adts, le firme e gli assiomi spesso confezionati in parametrizzati "algebre" che possono essere combinati per formare algebre più complesse.

Non sono sicuro di cosa intendi per "Object or Oriented" (specifica).La maggior parte dei "disegni" di OO sono semplicemente set di classi (che rappresentano implicitamente i tipi di dati) e le firme, senza semantica allegata.Vorrei difficilmente chiamare quelle una "specifica";Piuttosto, sono "schizzo".

Answer 2

Perdonami, ma le specifiche, per definizione, sono indipendenti dalla piattaforma.Se stai cercando un linguaggio di specificazione che supporta la modellazione orientata agli oggetti, suppongo che VDM ++ sia una buona vestibilità.

Answer 3

Penso che questa carta possa aiutarti.È disponibile online (Google IT), tuttavia, non sono sicuro se è pubblicato o meno.Niente a riguardo negli autori DLPP.

"Confronto dei metodi formali orientati agli oggetti", da Nicolas Guel, Olivier Biberstein, Didier Buchs, Ercument Canver, Marie-Claude Gaudel, Friedrich Von Henke, Detlef Schwier.