计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2007年
12期
41-45
,共5页
着色Petri网%业务冲突%端系统
著色Petri網%業務遲突%耑繫統
착색Petri망%업무충돌%단계통
将描述端业务的LESS脚本转换为着色Petri网模型,可以为实现形式化方法检测端业务间的冲突提供基础.本文根据业务逻辑树节点的特性和LESS的定义,提出了通用的转化规则,实现了端业务的形式化建模,从而方便了业务的集成及业务间的离线检测.通过CPN Tools对建立的业务模型进行仿真并分析模型状态空间,检测出端业务之间是否存在冲突.最后,用典型的业务实例验证了所提方法在Intemet电话端系统环境中的可行性和有效性.
將描述耑業務的LESS腳本轉換為著色Petri網模型,可以為實現形式化方法檢測耑業務間的遲突提供基礎.本文根據業務邏輯樹節點的特性和LESS的定義,提齣瞭通用的轉化規則,實現瞭耑業務的形式化建模,從而方便瞭業務的集成及業務間的離線檢測.通過CPN Tools對建立的業務模型進行倣真併分析模型狀態空間,檢測齣耑業務之間是否存在遲突.最後,用典型的業務實例驗證瞭所提方法在Intemet電話耑繫統環境中的可行性和有效性.
장묘술단업무적LESS각본전환위착색Petri망모형,가이위실현형식화방법검측단업무간적충돌제공기출.본문근거업무라집수절점적특성화LESS적정의,제출료통용적전화규칙,실현료단업무적형식화건모,종이방편료업무적집성급업무간적리선검측.통과CPN Tools대건립적업무모형진행방진병분석모형상태공간,검측출단업무지간시부존재충돌.최후,용전형적업무실례험증료소제방법재Intemet전화단계통배경중적가행성화유효성.
