2008 | OriginalPaper | Buchkapitel
HOL-OCL: A Formal Proof Environment for uml/ocl
verfasst von : Achim D. Brucker, Burkhart Wolff
Erschienen in: Fundamental Approaches to Software Engineering
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
We present the theorem proving environment
holocl
that is integrated in a Model-driven Engineering
(mde)
framework.
holocl
allows to reason over
uml
class models annotated with
ocl
specifications. Thus,
holocl
strengthens a crucial part of the
uml
to an object-oriented formal method.
holocl
provides several derived proof calculi that allow for formal derivations establishing the validity of
uml
/
ocl
formulae. These formulae arise naturally when checking the consistency of class models, when formally refining abstract models to more concrete ones or when discharging side-conditions from model-transformations.