Integration of UML and B specification techniques: systematic transformation from OCL expressions into B

Integration of UML and B specification techniques: systematic transformation from OCL expressions into B

In the continuity of our research on integration of UML and B, we address the transformation from OCL (Object Constraint Language), which is an integral part of UML, into B. Our derivation schemes allow to systematically even automatically derive into B not only the complementary class invariants, t...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Ledang, H., Souquieres, J.
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Application software
Collaboration
Computer industry
Programming
Software engineering
Unified modeling language
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:In the continuity of our research on integration of UML and B, we address the transformation from OCL (Object Constraint Language), which is an integral part of UML, into B. Our derivation schemes allow to systematically even automatically derive into B not only the complementary class invariants, the statechart guard conditions, but also the OCL specification for UML operations.
ISSN:1530-1362
2640-0715
DOI:10.1109/APSEC.2002.1183053