Result of using formal methods in modeling telecommunication business management

Specification of business management for telecommunication service provisioning is a very demanding procedure. All possible scenarios have to be estimated and for every scenario all needed network configurations and other actions have to be ensured. Additionally, business rules in every scenario have to be satisfied. Best way for modelling telecommunication business management is using tools for graphical presentation. In this work UML is used like tool for graphical presentation of business process. UML is a standard language with wide using in different system modelling. UML activity diagram is very useful tool for modelling of business processes. But, modelling of very complex business processes without simulation of requested system management does not give enough clear picture which can result with many mistakes during development. Simulation gives developers of system management possibility to see requested changes deeper and clearer. This paper gives result of using formal methods for the purpose of business management simulation.