智能网业务中的Petri网建模及验证方法研究.pdfVIP

智能网业务中的Petri网建撰及获证方法 智能网业务中的Petri网建模及验证方法， 李远军 马玉祥 易鸿雁 710071 摘要:本文在分附时旧幽随倒时怕躺上提出了一种有能网业_. ，将其中涉及并发、同步等的描述转化为PBtti 网摸型。探对了在该橄 比的胜证方法，并并给给出了一个应用该规范和摸塑的例子。 关月洞:P，dn风99;礁RJ;业务脸证;us AModelingandVerificationMethodforIntelligentNetworksServices WithPetriNets UYuanjun MaYuxiang School4ComputerSdeoo0.MdlmUoivesity,7G+m71{1071,ygma.7tirbaneib,. AbertaR:Thispaw inrtoducesaspeaficzdanofservicelogicbasednatheanalysis嘴创servicesandpresetsa口“侧优阮componentsof thespeciiiatim击.. relatedmooncuarncyandsycabtaaimfiaawi由Pdrinets.11xvdefaationmmbodofthe口改目‘isalso discussed.Anetmmpleisgiventoilisrtatethemodelingandverifiaction， E劝，.自:n，j以妇;沁妞士乎以.，从.山瞬 veifiactim 甲cifi? 1。引育 按照IIU-T提出的Q.iaoc系列推荐标准Ell，智能网业务在业务生成环境功能中生成后， 然后才可以经业务管理劝能将 功能实体投人实际运营。对业务逻辑进行 可靠性有重要意义。智能网业务的实现和脸证中将不可避免 、SCFSRF等间的一些交互。本文针Xim 型的交互提出了一 LOTOS川有相似之处，即Vmr遨于行为序列的概念，但该规范化方法较 更为重要的是，利用它能容易的推导出所描述规范的Petri网Fm摸型，而Pehi 智能网业务在不同的平面 ’〔1有不同的表示形式。在业务平面，每种业务是由一一个或多个最低层的业务特 征组合而成，这主要是针对用户的视图;在全局功能平面，业务是由。SL与BCP的相互作用点POI和POR, SIB和SIB间及SIB与BCP间的交互动作点逻辑连接构成的;在分布功能平面，业务则体现为许多功能实体 .本文获银国家自然科学荃金与LSN国家重点实验室基金的资助 -一 一 一 蓄甲一了厂1 万一一一一一一一一一一- 一 和这些功能实体间的相互作用关系，即 信“息流、在物理平面， 将分布功能平面的信息流与智能网应用规可 的操作对应。这种不同的业务表示形式也被理解为 。正是由于业务在不同层有不同 吁 业务逻辑的不同级别和粒度的规范 面上的业务描述和实现，更进一步的说 主要关心SC:F(业 务控制功能)，因为业务逻辑大部分集中在该功能上。SCF的功能模型和动态模m见Q.121aI]，动态模型中 的功能实体主要有:scsm (SCF呼叫状态模型)，它与每个呼叫实伊树应;FEAM (功能实体存取管理器)， 它负责SCF内各功能实体与夕嘟的接口部分，实现在不同机器或相同机翻旬的各功能实闲司信息、流的格式转 换和传递;SCME(SCF管理实体)，它执行对SCSM对象的生成、调度与维护，并代表所有SCSM对象与SSF (业务交换功能派SDP(业务数据功能)和