Formal Specification of the UML Metamodel for Building Rigorous Caise Tools - Archive ouverte HAL Access content directly
Reports (Research Report) Year : 1999

Formal Specification of the UML Metamodel for Building Rigorous Caise Tools

Abstract

Our project is combining UML with the B formal method for the domain of data intensive information systems. It consists in extracting a subset of UML concepts suitable for the analysis of such systems , producing derivation rules from UML diagrams to B specifications and developping a prototype support tool. A preliminary step is to precisely define the syntax and semantics of the required UML notations. This is achieved using a metamodelling technique. In this article we present the specialised metamodels, in UML and B notations, for structural (class diagrams) and behavioural (state transition and collaboration diagrams) elements. Then we outline how the formal metamodel is used in the development of the tool.
No file

Dates and versions

hal-01124520 , version 1 (06-03-2015)

Identifiers

  • HAL Id : hal-01124520 , version 1

Cite

Philippe Facon, Régine Laleau, Amel Mammar, Fiona Polack. Formal Specification of the UML Metamodel for Building Rigorous Caise Tools. [Research Report] CEDRIC-99-91, CEDRIC Lab/CNAM. 1999. ⟨hal-01124520⟩
42 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More