loading...
Integration of UML and B Specification Techniques: Systematic Transformation from OCL Expressions into B
Gold Coast, Australia December 04-December 06
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/APSEC.2002.1183053Ninth Asia-Pacific Software Engineeri ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Hung LEDANG, Jeanine SOUQUIÈRES, "Integration of UML and B Specification Techniques: Systematic Transformation from OCL Expressions into B," Asia-Pacific Software Engineering Conference, pp. 495, Ninth Asia-Pacific Software Engineering Conference (APSEC'02), 2002.
 
 
BibTex
x
 
@article{ 10.1109/APSEC.2002.1183053,
author = {Hung LEDANG and Jeanine SOUQUIÈRES},
title = {Integration of UML and B Specification Techniques: Systematic Transformation from OCL Expressions into B},
journal ={Asia-Pacific Software Engineering Conference},
volume = {0},
year = {2002},
issn = {1530-1362},
pages = {495},
doi = {http://doi.ieeecomputersociety.org/10.1109/APSEC.2002.1183053},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Asia-Pacific Software Engineering Conference
TI - Integration of UML and B Specification Techniques: Systematic Transformation from OCL Expressions into B
SN - 1530-1362
SP
EP
A1 - Hung LEDANG,
A1 - Jeanine SOUQUIÈRES,
PY - 2002
KW - UML
KW - OCL
KW - OCL operation
KW - B expression
KW - B generalised substitution.
VL - 0
JA - Asia-Pacific Software Engineering Conference
ER -
 
Hung LEDANG, LORIA - Universit? Nancy 2 - UMR 7503
Jeanine SOUQUIÈRES, LORIA - Universit? Nancy 2 - UMR 7503
In the continuity of our research on integration of UML and B, we address in this paper 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 state-chart guard conditions, but also the OCL specification for UML operations.
Index Terms:
UML, OCL, OCL operation, B expression, B generalised substitution.
Citation:
Hung LEDANG, Jeanine SOUQUIÈRES, "Integration of UML and B Specification Techniques: Systematic Transformation from OCL Expressions into B," apsec, pp.495, Ninth Asia-Pacific Software Engineering Conference (APSEC'02), 2002
Usage of this product signifies your acceptance of the Terms of Use.