Formal Definition of SIP End Systems Behavior (CROSBI ID 485788)
Prilog sa skupa u zborniku | izvorni znanstveni rad | međunarodna recenzija
Podaci o odgovornosti
Radović, Robert ; Crkvenac, Ivan ; Srbljić, Siniša
engleski
Formal Definition of SIP End Systems Behavior
The rapid improvement of hardware performance and the constantly growing bandwidth of computer networks have encouraged the development of multimedia communications based on computer networks. The first step in this direction is the definition of a set of protocols that will enable the design and implementation of various multimedia communication services. SIP (Session Initiation Protocol) is a protocol for initiating multimedia conferences, and is a proposed standard, but its behavior is still not formally defined. We give a formal definition of the behavior of SIP end systems in the form of automata that include all features currently supported by SIP. The automata are defined using UML. This greatly simplifies the implementation of SIP systems and improves the compatibility between different implementations of systems based on SIP, because there are software tools that can translate UML specifications directly into the high-level languages (eg. C++, Java).
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
293-296.
2001.
objavljeno
Podaci o matičnoj publikaciji
Proceedings of the International Conference on Trends in Communications (Eurocon 2001)
Bratislava: Institute of Electrical and Electronics Engineers (IEEE)
Podaci o skupu
International Conference on Trends in Communications (Eurocon 2001)
predavanje
05.07.2001-07.07.2001
Bratislava, Slovačka