HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Contributions for Modelling UML State-Charts in B

Hung Ledang 1 Jeanine Souquières 1
1 DEDALE - Development of specifications
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
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.
Document type :
Conference papers
Complete list of metadata

Contributor : Publications Loria Connect in order to contact the contributor
Submitted on : Tuesday, September 26, 2006 - 9:01:37 AM
Last modification on : Friday, February 26, 2021 - 3:28:08 PM


  • HAL Id : inria-00099403, version 1



Hung Ledang, Jeanine Souquières. Contributions for Modelling UML State-Charts in B. Third International Conference on Integrated Formal Methods - IFM'2002, 2002, Turku, Finland, 20 p. ⟨inria-00099403⟩



Record views