DocumentCode :
3647465
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
fYear :
2012
fDate :
5/1/2012 12:00:00 AM
Firstpage :
517
Lastpage :
522
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"
Publisher :
ieee
Conference_Titel :
MIPRO, 2012 Proceedings of the 35th International Convention
Print_ISBN :
978-1-4673-2577-6
Type :
conf
Filename :
6240700
Link To Document :
بازگشت