Role of UML Modelling in Discrete Controller Design

The paper presents an application of UML technology in a discrete system development process. In the process at the analysis stage UML diagrams are fundamental tool. The outcome of this stage is a basis for formal models exploited at the design stage, where the design is symbolically verified and treated as a rule-based system. Two formal models of good graphical appeal are proposed: Petri nets and statechart diagrams. Both are heavily using Boolean expressions what makes that design can easily be implemented in modern programmable structures.