engleski

Formal modeling business management of public telecommunication network

This paper presents one of the possible ways of a formal modelling business management of the public telecommunication network. Like a tool which could be used in design of business management model has to present business processes precisely and unambiguously. Model has to contain all elements which are needed to describe system business support and its role in business management. Formal methods which will be examined in modelling are diagram-based methods (UML, SDL, Petri Nets). Formal model has to simulate business processes, data flow through the systems which are part of network management and data flow to network elements which are configured. Model has to define needed data for employees who are participants in business process too. Final, if none of formal methods gives satisfying results it is needed to define in which direction research has to go to get an adequate formal model.

formalism; modeling; business management; system business support; public telecommunication network; diagram-based formal methods

nije evidentirano