DocumentCode
3234462
Title
Integration of UML and B specification techniques: systematic transformation from OCL expressions into B
Author
Ledang, Hung ; Souquières, Jeanine
Author_Institution
LORIA, Univ. Nancy 2, Vandoeuvre-les-Nancy, France
fYear
2002
fDate
2002
Firstpage
495
Lastpage
504
Abstract
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.
Keywords
diagrams; formal specification; object-oriented programming; specification languages; B specification; OCL expressions; Object Constraint Language; UML; Unified Modelling Language; complementary class invariants; statechart guard conditions; Application software; Collaboration; Computer industry; Programming; Software engineering; Unified modeling language;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering Conference, 2002. Ninth Asia-Pacific
ISSN
1530-1362
Print_ISBN
0-7695-1850-8
Type
conf
DOI
10.1109/APSEC.2002.1183053
Filename
1183053
Link To Document