Die Informatik des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Verwaltung des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Informatik des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Mathematik des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Universität Bremen


INHALT & PFAD:
Startseite Detail




Datum: 29.10.2008

Ort: Cartesium Rotunde


Vortragende(r): Dr. Achim Brucker (SAP Research Karlsruhe )




Abstract: In this talk, we present the theorem proving environment HOL-OCL. The HOL-OCL system is an interactive proof environment for UML/OCL specifications that is integrated in an MDE framework. HOL-OCL allows to reason over UML class models annotated with OCL specifications. Moreover, HOL-OCL provides several derived proof calculi that allow for formal derivations of 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.








zurück  

Seitenanfang  -  Impressum Zuletzt geändert durch: birgit [b]   27.10.2008 Admin-Login