Using a state machine for modeling a class behavior can assist effective development of an application. We discuss a model-driven approach to building a C# application based on UML class models and behavioral state machines. A case study addressed in the paper is devoted to a social network of mobile users. The core of the system is a presence server for the status services in the network. There are three main tasks performed by the server: subscription of a status of another user, publication of a new status with given rules and notification another user about a status. The system architecture and exemplary state machine models are presented. Model to code transformation and development of an executable application was realized by a Framework for executable UML (FXU). Verification of the application was supported by tracing of program execution in terms of model elements using FXU Tracer. On the basis of the gathered experience, we discuss design guidelines for carrying out the approach.
展开▼
