Title :
Result of using formal methods in modeling telecommunication business management
Author :
Darko Markulin;Marijan Kunštić
Author_Institution :
Service Management and Customer Operations Department, HT d.d., Kupska 2, 10000 Zagreb, Republic of Croatia
fDate :
5/1/2012 12:00:00 AM
Abstract :
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.
Keywords :
"Unified modeling language","Customer relationship management","HTML","Manuals","Internet"
Conference_Titel :
MIPRO, 2012 Proceedings of the 35th International Convention
Print_ISBN :
978-1-4673-2577-6