Object-Oriented Modeling and Automated Analysis of a Telemedicine Application

Authors:
Laura A. Campbell y;Betty H. C. Cheng
Affiliations:
Michigan State University, 3115 Engineering Building, East Lansing, MI;Michigan State University, 3115 Engineering Building, East Lansing, MI
Venue:
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Year:
2000

Citing 11
Cited 2

Introduction to the ISO specification language LOTOS

Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Coherent models for object-oriented analysis

OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
Object-oriented modeling and design

Object-oriented modeling and design
Targeting safety-related errors during software requirements analysis

SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Formalizing and integrating the dynamic model within OMT

ICSE '97 Proceedings of the 19th international conference on Software engineering
Alloy: a lightweight object modelling notation

ACM Transactions on Software Engineering and Methodology (TOSEM)
A Formal Semantics for Object Model Diagrams

IEEE Transactions on Software Engineering
Towards a formalization of UML class structures in Z

COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Towards a Formal Operational Semantics of UML Statechart Diagrams

Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
CADP - A Protocol Validation and Verification Toolbox

CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Enabling Automated Analysis through the Formalization of Object-Oriented Modeling Diagrams

DSN '00 Proceedings of the 2000 International Conference on Dependable Systems and Networks (formerly FTCS-30 and DCCA-8)

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

ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Formalizing and integrating the dynamic model for object-oriented modeling

IEEE Transactions on Software Engineering

Quantified Score

Hi-index	0.01

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. We have added formal syntax and semantics definitions to an existing object-oriented modeling notation in order to integrate informal and formal approaches to software development. This formalization enables developers to construct object-oriented models of requirements and designs and then automatically generate formal specifications for the diagrams. These formal specifications enable the diagrams to be analyzed by a number of existing automated reasoning utilities, including behavior simulators, model checkers, and rewriting systems.