Integration of UML and B Specification Techniques : Systematic Transformation from OCL Expressions into B
Identifieur interne : 008778 ( Main/Merge ); précédent : 008777; suivant : 008779Integration of UML and B Specification Techniques : Systematic Transformation from OCL Expressions into B
Auteurs : Hung Ledang ; Jeanine SouquièresSource :
English descriptors
- KwdEn :
Abstract
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 automatically derive into B not only the complementary class invariants, the guard conditions in state-charts (in OCL) but also the OCL specifications for class operations.
Links toward previous steps (curation, corpus...)
- to stream Crin, to step Corpus: 003287
- to stream Crin, to step Curation: 003287
- to stream Crin, to step Checkpoint: 001010
Links to Exploration step
CRIN:ledang02dLe document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en" wicri:score="566">Integration of UML and B Specification Techniques : Systematic Transformation from OCL Expressions into B</title>
</titleStmt>
<publicationStmt><idno type="RBID">CRIN:ledang02d</idno>
<date when="2002" year="2002">2002</date>
<idno type="wicri:Area/Crin/Corpus">003287</idno>
<idno type="wicri:Area/Crin/Curation">003287</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Curation">003287</idno>
<idno type="wicri:Area/Crin/Checkpoint">001010</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Checkpoint">001010</idno>
<idno type="wicri:Area/Main/Merge">008778</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="en">Integration of UML and B Specification Techniques : Systematic Transformation from OCL Expressions into B</title>
<author><name sortKey="Ledang, Hung" sort="Ledang, Hung" uniqKey="Ledang H" first="Hung" last="Ledang">Hung Ledang</name>
</author>
<author><name sortKey="Souquieres, Jeanine" sort="Souquieres, Jeanine" uniqKey="Souquieres J" first="Jeanine" last="Souquières">Jeanine Souquières</name>
</author>
</analytic>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>b expression</term>
<term>b generalised substitution.</term>
<term>ocl</term>
<term>ocl operation</term>
<term>uml</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en" wicri:score="1800">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 automatically derive into B not only the complementary class invariants, the guard conditions in state-charts (in OCL) but also the OCL specifications for class operations.</div>
</front>
</TEI>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Merge
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 008778 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Merge/biblio.hfd -nk 008778 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Lorraine |area= InforLorV4 |flux= Main |étape= Merge |type= RBID |clé= CRIN:ledang02d |texte= Integration of UML and B Specification Techniques : Systematic Transformation from OCL Expressions into B }}
![]() | This area was generated with Dilib version V0.6.33. | ![]() |