In the paper a method of using the Unified Modeling Language for specification of digital systems. especially logic controllers. is presented. The proposed method is based mainly on the UML state machine diagrams and uses Hierarchical Concurrent Finite State Machines (HCFSMs) as a temporary model. https://www.diegojavierfares.com/