CoDE Publications CoDE Publications
IRIDIA Publications IRIDIA Publications
SMG Publications
WIT Publications
WIT Publications
SMG Publications
Home People Research Activities Publications Teaching Resources
By Class By Topic By Year
By Class By Topic By Year
login
E. Zimányi. Statecharts and Object-Oriented Development: A CASE perspective. In Proceedings of the 3rd International Conference on Practical Application of Prolog, PAP'95, pages 697-718, Paris, France, April 1995.

Abstract

In the context of object-oriented development, the behavior of a system is described by dynamic models. Statecharts have proven to be a powerful and intuitively appealing visual formalism for describing system dynamics. This paper shows how we used Prolog in the construction of a system supporting the task of dynamic specification. The main functionalites of our system, which is a component of a prototype CASE tool, are as follows. The system accepts the dynamic specification of an application as a collection of interacting statecharts. It checks their integrity based on the formal syntax and semantics of statecharts. It simulates the dynamic behavior of the application to test whether the specification behaves as expected. Finally, the system generates C++ code implementing the behavior of the application


Updated: 2017-03-27