Object-Oriented Modeling and Automated Analysis of a Telemedicine Application
Laura A. Campbell, Betty H. C. Cheng · International Workshop on Software Specification and Design · 2000
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.