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

智能愿业务中舶P出i两建囊及验}正方法 李远军马玉祥易鸿雁 西安电子科技大学川劓n学院，7l叫n，瑚∞鲍曲面灿 撅：奉文在分析设计智曲陌业务的基础E提出了—种智蕾冈业务逻辑的规范描述，将其中涉厦并发、同步等的描述}靴为Pe师 罔l魍，捐时了吾霸0目鲤匕的验证方法，并给出了—叶-应用语黼和嘈圈的例子。 关酮：嘣陬智能《业务验配规范 A WinlPetri№ 【jⅥ劂llnMa殉x啦 sdmIdc咖4m时sch雌．)【曲面u由∞女咿口皿710昕1，强皿皿坌面击龃止dui∞ di靶啦卿．AⅡ口曲珥她isgi岫幻堋璐眦lhem删iI唱皿dwd妇lion． ’ 1．引育 按照爪J-T提出的Q．12取系列推荐标准[“，智能网业务在业务生成环境功能中生成后，必须：|茈曝业务 定望规，甜业务进行验证，然后才可以经业务管理功能将之分布到各功能实体投^实际运营。对业务逻朝进行 验证对于指导业务软件实现和提高软件的正确性、可靠性有重要意义。智能网业务的实现和验证巾博=柯习谜免 的涉及许多并发、同步等模型，如：8cF．sDF、S(蝌等间的—些交互。本文针对该类型的交互提出了一 种靓范化方法，该规范化方法与L(yros[2】有相似之赴，即它们都基于行为序列的概念，但该规范化方法较 之“yrDls更加易于理解和书写，更为重要的是，利用它船容易的推导出所描述规范的Pe缸网日蠖型，而Pe缸 网模型是较好的描述并发和分布系统的工具。 智能网业务在不同的平面[1 1有不同的表示形式。在业务平面，每种业务是由—个或多个最低屡的业务特 sm和sm间及sm与BcP间的交互动作点逻辑连接构成的；在分布功能平面，业务则体现崩镌规抽B实体 嘻=文获#}国家自然辟学基金与lsN匡翱彭融鼬蝮强硷的资助 155 第七届联台嗣际计算机会议论文集 和这些功能实体闯的相互作甩关系，即“信息流”；在物理平面，可将分布功能平面的信息流与智能网应用规 程(玳AP)规定白9{耕降姐缸过肿不同的业务表耐够式也{鲫嘟为业务分解。正是由最归}在不同层有不同 的j萄示形式，业务苗礴非瑚．谜的喇酬城坏同的，从而形蒯鲥刊k务避辑的不同毂剐和魁勋勺规范。 scF【业 在业务逻辑的设计时，我们关出配押豫臼自砰面E的业务描述猢，更进叫鼬啦，主要关J0 务控镧功能)，因为业务逻辑大部分集中在该功能E。sc甲的功能滇型和动态摸觏Q．1214[1]，动态摸型中 的功能实体主要有：scsM(scF呼叫状态模型)，它与每个呼叫实剜对应；R认M(功能实体存取管理器)， 它负责s四内各功能实皋与外郎的接口部分，实现在不简时赫蜘回阢矧鼬啦描Ⅷ撂狲搁信息赢的傩}瑶障 换和传递；s口伍(scF管理实体)，它执行对s图M对象的生成、调麽与维护，并代事溯有sc踟对象与ssF (业务交换功能)、豇)F(业务数据功能)和骚咂(特殊资源功能)保持通话。由此可看出智能网业务是分布 智能同业务的用户需求提出后，必须对其进行形式化。对业务的形式化描述，形成业务j糍的规范。规 范的形式与第2节中所述的曹能网分层业务表现形式相对应，且这种相应于业务分解的不丽层(如G阡层和 DI中层)的规筢握翊鳓b黼的。观察等价[2][5】的概念被提出，它是基于这样的思想：被观察对象的行为由 该对象与外韶鳓察者的交互来定望，如果无论何时仅占^外☆嘲察，观察眷磁区分这两个对象，则自劲阶jc寸塞 努鳓蔡等价。基于这个思想，我{r】提出用激励／响应(输入／输出)来描述放抒昕对象的行为。 3．1壤麓范的—兰■● 《l璃僦由待分析的智能网业务的不同层的对象描述和艨间交互的描述构成。这些对象的例子有：在 sm皿^N鼬娅sm等。 (2墒卟．对蠹描述由—个初始化声明和—个或多个行为描述构成。 (3沏始化声魂睁时行为描述中需要用到的定时器、资源等进行初始化。