{"title":"Formal definition of SIP end systems behavior","authors":"R. Radovic, I. crkvenac, S. Srbljic","doi":"10.1109/EURCON.2001.938117","DOIUrl":null,"url":null,"abstract":"The rapid improvement of hardware performance and the constantly growing bandwidth of computers have encouraged the development of 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 compatibility between different systems based on SIP, because there are software tools that can translate UML specifications directly into the high-level languages (e.g., C++, Java).","PeriodicalId":205662,"journal":{"name":"EUROCON'2001. International Conference on Trends in Communications. Technical Program, Proceedings (Cat. No.01EX439)","volume":"39 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2001-07-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"8","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"EUROCON'2001. International Conference on Trends in Communications. Technical Program, Proceedings (Cat. No.01EX439)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/EURCON.2001.938117","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 8
Abstract
The rapid improvement of hardware performance and the constantly growing bandwidth of computers have encouraged the development of 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 compatibility between different systems based on SIP, because there are software tools that can translate UML specifications directly into the high-level languages (e.g., C++, Java).
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
