Derivation Schemes from OCL Expressions to B
Identifieur interne : 008754 ( Main/Merge ); précédent : 008753; suivant : 008755Derivation Schemes from OCL Expressions to 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 part and parcel of UML, into B. Our derivation schemes allow to automatically derive in B not only the complementary class invariants, the guard conditions in state-charts (in OCL) but also OCL specifications OCL class operations, events or use cases.
Links toward previous steps (curation, corpus...)
- to stream Crin, to step Corpus: 003225
- to stream Crin, to step Curation: 003225
- to stream Crin, to step Checkpoint: 000F86
Links to Exploration step
CRIN:ledang02bLe document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en" wicri:score="65">Derivation Schemes from OCL Expressions to B</title>
</titleStmt>
<publicationStmt><idno type="RBID">CRIN:ledang02b</idno>
<date when="2002" year="2002">2002</date>
<idno type="wicri:Area/Crin/Corpus">003225</idno>
<idno type="wicri:Area/Crin/Curation">003225</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Curation">003225</idno>
<idno type="wicri:Area/Crin/Checkpoint">000F86</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Checkpoint">000F86</idno>
<idno type="wicri:Area/Main/Merge">008754</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="en">Derivation Schemes from OCL Expressions to 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 substitution</term>
<term>ocl</term>
<term>ocl expression</term>
<term>uml</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en" wicri:score="1480">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 part and parcel of UML, into B. Our derivation schemes allow to automatically derive in B not only the complementary class invariants, the guard conditions in state-charts (in OCL) but also OCL specifications OCL class operations, events or use cases.</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 008754 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Merge/biblio.hfd -nk 008754 | 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:ledang02b |texte= Derivation Schemes from OCL Expressions to B }}
![]() | This area was generated with Dilib version V0.6.33. | ![]() |