Translating the OMT dynamic model into object-Z

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

Volumn 1493, Issue , 1998, Pages 347-367

  Dupuy, S ^a   Ledru, Y ^a   Chabre Peccoud, M ^a  

^a IMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

DYNAMIC MODELS; SEMANTICS; SYSTEMS ANALYSIS;

FORMAL NOTATIONS; MULTI-MODELLING; OBJECT MODEL; OBJECT Z; SYSTEM SPECIFICATION; TRANSLATION PROCESS;

FORMAL SPECIFICATION;

EID: 46449090353     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0056043     Document Type: Conference Paper

References (17)

1. R. Buessow and M. Weber. BW: A steam-boiler control specification with Statecharts and Z. In J.-R. Abrial, E. Börger, and H. Langmaack, editors, Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, volume 1165 of Lecture Notes in Computer Science, pages 109-128. Springer-Verlag, 1996. 348
2. R. Duke, P. Kin, G. Rose, and G. Smith. The Object-Z specification langage: Version 1. Technical Report 91-1, Software Verification Research Centre, Department of Computer Science, University of Queensland, Australia, April 1991. 348
3. S. Dupuy, Y. Ledru, and M. Chabre-Peccoud. Integrating OMT and Object-Z. In A. Evans and K. Lano, editors, Proc. BCS FACS/EROS ROOM Workshop, London, UK, June 1997. Department of Computing, Imperial College. Technical Report GR/K67311-2. 348, 351
4. E.Wand, H.Richter, and B.Cheng. Formalizing and integrating the dynamic model within OMT. In Proc. 19th International Conference on Software Engineering, Boston, USA, May 1997. 363
5. P. Facon, R. Laleau, and H.P. Nguyen. Dérivation de spécifications formelles B à partir de spécifications semi-formelles de systèmes d’information. In H. Habrias, editor, Proc. 1st Conference on the B Method, Nantes, France, November 1996. 363
6. P. Facon, R. Laleau, and H.P. Nguyen. Mapping object diagrams into B specifications. In A. Bryant and L. Semmens, editors, Method Integration Workshop, Electronic Workshops in Computing. Springer-Verlag, March 1996. 347, 363
7. R. France and J.-M. Bruel. Using formal techniques to strengthen informal objectoriented modeling techniques: The FuZE experience. Technical report, Department of Computer Science and Engineering, Florida Atlantic University, Boca Raton, USA, 1997. 347, 363
8. R. France, J.-M. Bruel, M. Larrondo-Petrie, and M. Shroff. Exploring the semantics of UML type structures with Z. In H. Bowman and J. Derrick, editors, Proc. 2nd IFIP Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), pages 247-260. Chapman and Hall, 1997. 347, 363
9. D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3):231-274, 1987. 349
10. K. Lano. Formal Object-Oriented Development. FACIT. Springer-Verlag, 1995. 363
11. K. Lano and S. Goldsack. Integrated formal and object-oriented methods: The VDM++ approach. In A. Bryant and L. Semmens, editors, Method Integration Workshop, Electronic Workshops in Computing. Springer-Verlag, March 1996. 347, 363
12. K. Lano, H. Houghton, and P.Wheeler. Integrating Formal and Structured Methods in Object-Oriented System Development, chapter 7. Springer-Verlag, 1996. 363
13. F. Polack, M.Whiston, and K. Mander. The SAZ project: Integrating SSADM and Z. In J. C. P. Woodcock and P. G. Larsen, editors, FME ’93: Industrial-Strength Formal Methods, volume 670 of Lecture Notes in Computer Science, pages 541-557. Springer-Verlag, 1993. 347, 363
14. G.P. Randell. Translating data flow diagrams into Z (and vice versa). Technical Report 90019, Royal Signals and Radar Establishement, Malvern, UK, October 1990. 347, 363
15. J. Rumbaugh, M. Blaha, M. Premerlani, F. Eddy, and W. Lorensen. Object-Oriented Modeling and Design. Prentice Hall International, 1991. 347
16. H. Saiedian. An invitation to formal methods. IEEE Computer, 24(4):16-30, April 1996. 347
17. The UML Group. UML Notation Guide, Version 1.1, September 1997. URL: http://www.rational.com/uml/documentation.html. 366