DocumentCode :
2254208
Title :
Enabling automated analysis through the formalization of object-oriented modeling diagrams
Author :
Cheng, Betty H C ; Campbell, Laura A. ; Wang, Enoch Y.
Author_Institution :
Michigan State Univ., East Lansing, MI, USA
fYear :
2000
fDate :
2000
Firstpage :
305
Lastpage :
314
Abstract :
As the impact of and demand for software increases, there is greater need for rigorous software development techniques that can be used by a typical software engineer. In order to integrate informal and formal approaches to software development, we added formal syntax and semantics definitions to existing object-oriented modeling notations. This formalization enables developers to construct object-oriented models of requirements and designs and then automatically generate formal specifications for the diagrams. This paper describes how the resulting diagrams via their specifications can be analyzed using automated techniques to validate behavior through simulation or to check for numerous properties of the diagrams, including inter- and intramodel consistency
Keywords :
computer aided software engineering; diagrams; formal specification; object-oriented methods; automated analysis; automatic formal specification generation; object-oriented modeling diagrams; rigorous software development techniques; semantics; software engineering; syntax; Analytical models; Costs; Electrical capacitance tomography; Electronic mail; Formal specifications; Intelligent networks; Object oriented modeling; Software quality; Software safety; Unified modeling language;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Dependable Systems and Networks, 2000. DSN 2000. Proceedings International Conference on
Conference_Location :
New York, NY
Print_ISBN :
0-7695-0707-7
Type :
conf
DOI :
10.1109/ICDSN.2000.857554
Filename :
857554
Link To Document :
بازگشت