计算机应用
計算機應用
계산궤응용
COMPUTER APPLICATION
2009年
5期
1218-1221
,共4页
下一代网络%特征冲突%检测方法%业务生成标记语言
下一代網絡%特徵遲突%檢測方法%業務生成標記語言
하일대망락%특정충돌%검측방법%업무생성표기어언
针对业务生成标记语言SCML业务脚本中存在的特征冲突问题,提出了一种基于逻辑表达和推理的,以业务生成形式规约语言SCFSL形式化描述和分析特征冲突的新方法,并分别针对单业务和多业务脚本中存在的特征冲突进行了研究,提出相应特征冲突的判定规则.所提出的特征冲突检测方法可用于实现业务特征冲突检测器.
針對業務生成標記語言SCML業務腳本中存在的特徵遲突問題,提齣瞭一種基于邏輯錶達和推理的,以業務生成形式規約語言SCFSL形式化描述和分析特徵遲突的新方法,併分彆針對單業務和多業務腳本中存在的特徵遲突進行瞭研究,提齣相應特徵遲突的判定規則.所提齣的特徵遲突檢測方法可用于實現業務特徵遲突檢測器.
침대업무생성표기어언SCML업무각본중존재적특정충돌문제,제출료일충기우라집표체화추리적,이업무생성형식규약어언SCFSL형식화묘술화분석특정충돌적신방법,병분별침대단업무화다업무각본중존재적특정충돌진행료연구,제출상응특정충돌적판정규칙.소제출적특정충돌검측방법가용우실현업무특정충돌검측기.
