Enabling Automated Analysis through the Formalization of Object-Oriented Modeling Diagrams

Authors:
Betty H. C. Cheng;Laura A. Campbell;Enoch Y. Wang
Affiliations:
-;-;-
Venue:
DSN '00 Proceedings of the 2000 International Conference on Dependable Systems and Networks (formerly FTCS-30 and DCCA-8)
Year:
2000

Citing 0
Cited 9

Visualization and interpretation of analysis results within the context of formalized UML diagrams

ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
A methodology for specifying and analyzing consistency of object-oriented behavioral models

Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Developing and Maintaining an Object-Oriented Distributed Multimedia Information System

Annals of Software Engineering
Formalizing and integrating the dynamic model for object-oriented modeling

IEEE Transactions on Software Engineering
Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model

«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Object-Oriented Modeling and Automated Analysis of a Telemedicine Application

IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Integrating diverse paradigms in evolution and maintenance by an XML-based unified model

Journal of Software Maintenance: Research and Practice
Modelling and model checking suspendible business processes via statechart diagrams and CSP

Science of Computer Programming
Consistent Interaction Of Software Components

Journal of Integrated Design & Process Science - Component-Based System Development

Quantified Score

Hi-index	0.00

Visualization

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.