A systematic approach to transform OMT diagrams to a B specification

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

Volumn 1708, Issue , 1999, Pages 875-895

  Meyer, Eric ^a   Souquiéeres, Jeanine ^a  

^a LORIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL METHODS; SPECIFICATIONS;

B MACHINES; OBJECT MODEL; SEMI-FORMAL SPECIFICATION;

FORMAL SPECIFICATION;

EID: 84958058155     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48119-2_48     Document Type: Conference Paper

References (21)

1. J.R. Abrial. Extending B without Changing it (for Developing Distributed Systems). In H. Habrias, editor, Putting Into Practice Methods and Tools for Information System Design - 1st Conference on the B Method, Nantes (F), November 1996.
2. 2. J.R. Abrial. The B Book - Assigning Programs to Meanings. Cambridge University Press, 1996. ISBN 0-521-49619-5.
3. nd International B Conference, number 1393 in Lecture Notes in Computer Science, Montpellier (F), April 1998. Springer-Verlag.
4. D. Coleman, P. Arnold, St. Bodo, Ch. Dollin, H. Gilchrist, F. Hayes, P. Jeremaes. Object-Oriented Development: The Fusion Method. Prentice Hall, 1994.
5. S. Dupuy, Y. Ledru, and M. Chabre-Peccoud. Integrating OMT and Object-Z. In BCS FACS/EROS ROOM Workshop, London (UK), June 1997.
6. th International Conference of Z Users, number 1493 in Lecture Notes in Computer Science, Berlin (D), September 1998.
7. 7. P. Facon and R. Laleau. Des modéeles d'objets aux specifications formelles ensem blistes. Revue Ingénierie des Systémes d'Information, 4(2), 1996.
8. P. Facon, R. Laleau, H.P. Nguyen. Dérivation de specifications formelles B à partir de spéecifications semi-formelles de systéemes d'information. In H. Habrias, editor, Putting Into Practice Methods and Tools for Information System Design - 1st Conference on the B Method, Nantes (F), November 1996.
9. P. Facon, R. Laleau, 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.
10. 10. K. Lano. The B Language and Method: A Guide to Practical Formal Development. FACIT. Springer-Verlag, 1996. ISBN 3-540-76033-4.
11. K. Lano, H. Haughton, P. Wheeler. Formal Methods and Object Technology, chapter Integrating Formal and Structured Methods in Object-Oriented System Development, pages 113-157. FACIT. Springer-Verlag, 1996. S.J. Goldsack and S.J.H. Kent eds.
12. N. Lèvy, J. Souquières. Modelling Specification Construction by successive Approximations. In M. Johnson, editor, 6th International AMAST Conference, pages 351-364, Sydney (A), 1997. Springer Verlag 1349.
13. 13. N. Nagui Raiss. A formal Software Specification Tool Using The Entity Relationship Model. In 13th International Conference on the Entity-Relationship Approach, number 881 in Lecture Notes in Computer Science, Manchester (UK), December 1994. Springer-Verlag.
14. 14. F. Polack, M. Whiston, and K. Pronk. The SAZ Project: Integration SSADM and Z. In International Symposium Formal Methods Europe, number 670 in Lecture Notes in Computer Science, Odense (DK), April 1993. Springer-Verlag.
15. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, W. Lorensen. Object-Oriented Modeling and Design. Prentice Hall Inc. Englewood Cliffs, 1991.
16. 16. J. Rumbaugh, I. Jacobson, G. Booch. The Unified Modeling Language Reference Guide. Addison-Wesley, 1998. ISBN 020130998X.
17. E. Sekerinski. Graphical Design of Reactive Systems. In D. Bert, editor, B'98: Recent Advances in the Development and Use of the B Method - 2nd International B Conference, number 1393 in Lecture Notes in Computer Science, Montpellier (F), April 1998. Springer-Verlag.
18. R. Shore. An Object-Oriented Approach to B. In H. Habrias, editor, Putting Into Practice Methods and Tools for Information System Design - 1st Conference on the B Method, Nantes (F), November 1996.
19. STERIA - Technologies de l'Information, Aix-en-Provence (F). Atelier B, Manuel Utilisateur, 1998. Version 3.5.
20. E. Wand, H. Richter, and B. Cheng. Formalizing and integrating the dynamic model within OMT. In 19th International Conference on Software Engineering, Boston (USA), July 1997.
21. P.T. Ward. How to Integrate Object Orientation with Structured Analysis and Design. In IEEE Software. March 1989.