From a B specification to UML statechart diagrams

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2495, Issue , 2002, Pages 511-522

  Hammad, Ahmed ^a   Tatibouët, Bruno ^a   Voisinet, Jean Christophe ^a   Weiping, Wu ^a  

^a UNIVERSITÉ DE FRANCHE COMTÉ   (France)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC PROGRAMMING; SPECIFICATION LANGUAGES;

ABSTRACT SPECIFICATIONS; AUTOMATIC GENERATION; DEVELOPMENT PROCESS; GENERALIZED SUBSTITUTIONS; GRAPHIC ELEMENTS; INTERACTIVE PROOFS; MATHEMATICAL NOTATIONS; UML STATECHART DIAGRAMS;

FORMAL SPECIFICATION;

EID: 84948976119     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36103-0_52     Document Type: Conference Paper

References (14)

1. J.R. Abrial - The B Book: Assigning Programs to Meanings - Cambridge University Press, 1996 - ISBN 0521-496195.
2. J.R Abrial, L. Mussat. Introducing dynamic constraints in B. In Second Conference on the B method, France, volume 1393 of LNCS, pages 83-128. Springer Verlag, April 1998.
3. D. Bert, F. Cave. Construction of finite labelled transition systems from B abstract systems. In proc. of IFM’2000, volume 1945 of LNCS, pages 235-254, Springer Verlag, November 2000.
4. P. Facon, R. Laleau, and H.P. Nguyen. - Mapping object diagrams into B specifications. In A. Bryant and L. Semmens, editors, Methods Integration Workshop, Electronic Workshops in Computing (eWiC), Leeds (UK), March 1996. Springer- Verlag.
5. A. Hammad, B. Tatibouët, Formal and visual specification language, Information System Engineering (ISE 2001), USA, Las Vegas, p. 173-179, (25-28 juin 2001).
6. D. Harel. Statecharts. A visual formalism for complex systems. Science of computer programming, 8:231-274, 1987.
7. K. Lano - The B Language and Method: A Guide to Practical Formal Development - Springer-Verlag - 1996 - ISBN 3-540-19977-2.
8. K. Lano, H. Houghton, P. Wheeler - Formal Methods and Object Technology: Integrating Formal and Structured Methods in Object-Oriented System Development - Springer-Verlag - 1996 - ISBN 3-540-19977-2.
9. E. Meyer, J. Souquieres. A Systematic approach to Transform OMT Diagrams to a B specification. FM’99 Vol. 1 LNCS 1708, pp. 875-895, 1999.
10. E. Meyer - Développements formels par objets: utilisation conjointe de B et d’UML - Doctorat de l’université de Nancy 2 - Mars 2001.
11. J. Rumbaugh, I. Jacobson, G. Booch - The Unified Modeling Language Reference Manual - Addison Wesley - 1998 - ISBN 0-201-30998-X.
12. E. Sekerinsky - Graphical Design of Reactive Systems - B’98: Recent Advances in the Development and Use of the B-Method - 2nd Conference on the B-Method. LNCS 1393. Montpellier. April 1998.
13. B. Tatibouët, A. Hammad, Une utilisation conjointe de B et UML sur l’étude de cas du robot type, Second Conférence d’Ingénierie des Systemes (AFIS 2001), France, Toulouse, p. 285-290, (25-28 juin 2001).
14. J. Warmer, A. Kleppe - The Object Constraint Language: Precise Modeling with UML - Addison Wesley - 1999 - ISBN 0-201-37940-6.