Méthodes formelles - Spécifications algébriques vs objet orienté

Question

Je suis au milieu de certaines recherches et je n'ai pas été en mesure de trouver beaucoup de littérature pour aider, je souhaite comparer les dépendances de la plate-forme des deux méthodes formelles;Spécification algébrique et orienté objet.Quelle langue utiliseraient-ils?

Est-ce que quelqu'un a une connaissance de cela ou pourrait-il me diriger vers la bonne direction?Merci

Answer 1

Je sais quelle "spécification algébrique" signifie (GIYF: voir http://fr.wikipedia.org/wiki / algèbre_specification ) Comme ma société a construit un tel système et l'utilisa de pratique industrielle informatique.La "langue" est celle des types de données abstraites, des signatures de fonction et des axiomes décrivant les fonctions, avec des adtes, des signatures et des axiomes souvent emballés dans des "algèbres" paramétrés, qui peuvent être combinés pour former des algèbres plus complexes.

Je ne sais pas ce que vous entendez par "objet orienté" (spécification).La plupart des "conceptions" OO sont simplement des ensembles de classes (qui représentent implicitement les types de données) et les signatures, sans sémantique jointe.J'appellerais à peine ces "spécifications";plutôt, ils sont "croquis".

Answer 2

Pardonnez-moi, mais les spécifications, par définition, sont indépendantes de la plate-forme.Si vous recherchez une langue de spécification prenant en charge la modélisation orientée objet, je suppose que VDM ++ est un bon ajustement.

Answer 3

Je pense que ce papier peut vous aider.Il est disponible en ligne (Google IT), cependant, je ne suis pas sûr s'il est publié ou non.Rien à ce sujet dans les auteurs dblp.

"Comparaison des méthodes formelles orientées objet", par Nicolas Guel, Olivier Biberstein, Didier Buchs, Ercument Cancol, Marie-Claude Gaudel, Friedrich von Henke, Détlef Schwier.