Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
|
 |
Contributions for Modelling UML State-Charts in B
| |
|
Contributions for Modelling UML State-Charts in B
Hung Ledang7  and Jeanine Souquières7
| (7) |
LORIA, Université Nancy 2 - UMR 7503, Campus scientifique, BP 239, 54506 Vand÷uvre-lès-Nancy Cedex, France |
Abstract
An appropriate approach for translating UML to B formal specifications allows one to use UML and B jointly in an unified,
practical and rigorous software development. We can formally analyse UML specifications via their derived B formal specifications.
This point is significant because B support tools like AtelierB are available. We can also use UML specifications as a tool
for building B specifications, so the development of B specifications become easier.
In this paper, we address the problem of modelling UML state-charts in B, which has not been, so far, completely treated.
We distinguish between event-related and activity-related parts of UML state-charts. We propose deriving the B specification
of the event-related part independently with the activity-related part. For this purpose, a new approach for modelling events
is proposed; the communication among state-charts is also considered.
Keywords UML - state-chart - event - activity - class operation - B method - B abstract machine - B operation
Fulltext Preview (Small, Large)
 References secured to subscribers.
|
|
|
|
|
|