%0 Conference Proceedings %T Object-oriented applications development: using UML and B %+ Development of specifications (DEDALE) %A Meyer, Eric %Z Colloque avec actes et comité de lecture. %< avec comité de lecture %Z 99-R-333 || meyer99b %B Workshop on Modelling & Verification %C Besançon, France %Y Françoise Bellegarde & Olga Kouchnarenko %P 3 p %8 1999-12 %D 1999 %K methodology %K derivation templates %K UML %K méthodologie %K schémas de dérivation %K pattern %K B %Z Computer Science [cs]/Other [cs.OH]Conference papers %X This paper presents a systematic transformation of semi-formal specifications expressed with UML notations into a B formal specifications. An UML static view model is first transformed into a specification composed of a set of B machines. Then each component of state machine views are transformed and integrated into the previous specification leading to a single specification. Transformations are presented as generic templates. The construction of UML models is achieved by using a formal description of patterns. %G English %L inria-00098867 %U https://inria.hal.science/inria-00098867 %~ CNRS %~ INRIA %~ INPL %~ LABO-LORIA-SET %~ LORIA2 %~ UNIV-LORRAINE %~ LORIA %~ INRIA-AUT