Enabling automated analysis through the formalization of object-oriented modeling diagrams

Proceedings of the 2002 International Conference on Dependable Systems and Networks

Volumn , Issue , 2000, Pages 305-314

  Cheng, Betty H C ^a   Campbell, Laura A ^a   Wang, Enoch Y ^b  

^a MICHIGAN STATE UNIVERSITY   (United States)

^b NOKIA RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL SPECIFICATION; OBJECT-ORIENTED MODELING DIAGRAMS;

COMPUTER SIMULATION; DISTRIBUTED COMPUTER SYSTEMS; FORMAL LANGUAGES; MULTIMEDIA SYSTEMS; OBJECT ORIENTED PROGRAMMING; SEMANTICS; SYSTEMS ANALYSIS;

SOFTWARE ENGINEERING;

EID: 0034590637     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICDSN.2000.857554     Document Type: Conference Paper

References (19)

1. R. H. Bourdeau and B. H. C. Cheng. A formal semantics of object models. IEEE Trans. on Software Engineering, 21(10):799-821, October 1995.
2. R. H. Bourdeau, B. H. C. Cheng, and G. C. Gannod. A requirements analysis report for a regional decision support system. Technical Report MSU-CPS-94-70, Michigan State University, Department of Computer Science, A714 Wells Hall, East Lansing, 48824, November 1994.
3. R. H. Bourdeau, B. H. C. Pijanowski. A regional information system for environmental data analysis. Photogrammetric Engineering & Remote Sensing, 62(7), July 1996. Special issue on "Remote Sensing and Global Environmental Change"
4. B. H. C. Cheng, E. Y. Wang, and R. H. Bourdeau. A graphical environment for formally developing object-oriented software. In Proc. of IEEE 6th International Conference on Tools with Artificial Intelligence, November 1994.
5. J.-C. Fernandez, H. Garavel, A. Kerbrat, R. Mateescu, L. Mounier, and M. Sighireanu. Cadp (cæsar/aldebaran development package): A protocol validation and verification toolbox. In R. Alur and T. A. Henzinger, editors, Proceedings of the 8th Conference on Computer-Aided Verification (New Brunswick, New Jersey, USA), volume 1102, pages 437-440, Aug. 1996.
6. T. C. Hartrum and P. D. Bailor. Teaching formal extensions of informal-based object-oriented analysis methodologies. In Proc. of Computer Science Education, pages 389-409, 1994.
7. F. Hayes and D. Coleman. Coherent models for object-oriented analysis. In Proceedings of OOPSLA '91, pages 171-183, 1991.
8. R. R. Lutz. Targeting safety-related errors during software requirements analysis. In SIGSOFT'93 Symposium on the Foundations of Software Engineering, 1993.
9. W. E. McUmber and B. H. Cheng. UML-based analysis of embedded systems using a mapping to VHDL. In Proc. of IEEE High Assurance Software Engineering (HASE99), Washington, DC, November 1999.
10. A. M. D. Moreira, and R. G. Clark. Adding rigour to object oriented analysis. Software Engineering Journal, 11(5):270-280, 1996.
11. S. Pavon and M. Llamas. The testing functionalities of LOLA. In J. Quemada, J. A. Manas, and E. Vazquez, editors, Formal Description Techniques, volume III, pages 559-562. IFIP, Elsevier Science B.V. (North-Holland)., 1991.
12. J. Quemada, S. Pavon, and A. Fernandez. State exploration by transformation with LOLA. In Workshop on Automatic Verification Methods for Finite State Systems, Grenoble, June 1989.
13. Rational Software Corporation, Santa Clara, CA 95051-0951. UML Notation Guide, 1.0 edition, January 1997.
14. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen, Object-Oriented Modeling and Design. Prentice Hall, Englewood Cliffs, New Jersey, 1991.
15. M. Shroff and R. B. France. Towards a Formalization of UML Class Structures in Z. In Proceedings Twenty-First Annual International Computer Software and Applications Conference (COMPSAC'97), pages 646-651, IEEE Comput. Soc, Los Alamitos, CA, USA, aug 1997.
16. E. Y. Wang. Integrating Informal and Formal Approaches to Object-Oriented Analysis and Design. PhD thesis, Michigan State University, Department of Computer Science, March 1998. Also available as Department of Computer Science, Michigan State University Technical Report, MSU-CPS-98-44.
17. E. Y. Wang and B. H. C. Cheng. Formalizing and integrating the functional model into object-oriented design. In Proc. of International Conference on Software Engineering and Knowledge Engineering, June 1998. Nominated for Best Paper.
18. E. Y. Wang and B. H. C. Cheng. A rigorous object-oriented design process. In Proc. of International Conference on Software Process, Naperville, Illinois, June 1998.
19. E. Y. Wang, H. A. Richter, and B. H. C. Cheng. Formalizing and integrating the dynamic model within OMT. In IEEE Proceedings of the 19th International Conference on Software Engineering, pages 45-55, Boston, Ma, May 1997. IEEE.