小型微型计算机系统
小型微型計算機繫統
소형미형계산궤계통
MINI-MICRO SYSTEMS
2007年
12期
2187-2192
,共6页
任怡%管剑波%吴泉源%戴华东%吴庆波
任怡%管劍波%吳泉源%戴華東%吳慶波
임이%관검파%오천원%대화동%오경파
事务性服务组合%语义原子性%过程模型%良构性判定
事務性服務組閤%語義原子性%過程模型%良構性判定
사무성복무조합%어의원자성%과정모형%량구성판정
松散耦合环境中服务组合的组成服务具有异构性,且对应业务过程生命期较长.针对已有研究不足,提出了事务性服务组合过程模型TSCPM,该模型支持服务的多种恢复模式和恢复策略,准确描述了事务性服务组合执行语义和状态转换,给出了语义原子性的形式化定义.基于该模型,刻画了良构性及其循环、弱序及递归构造判定准则,证明了符合判定准则是一个事务性服务组合满足良构性的必要条件,给出了基于模型检测的良构性判定方法.
鬆散耦閤環境中服務組閤的組成服務具有異構性,且對應業務過程生命期較長.針對已有研究不足,提齣瞭事務性服務組閤過程模型TSCPM,該模型支持服務的多種恢複模式和恢複策略,準確描述瞭事務性服務組閤執行語義和狀態轉換,給齣瞭語義原子性的形式化定義.基于該模型,刻畫瞭良構性及其循環、弱序及遞歸構造判定準則,證明瞭符閤判定準則是一箇事務性服務組閤滿足良構性的必要條件,給齣瞭基于模型檢測的良構性判定方法.
송산우합배경중복무조합적조성복무구유이구성,차대응업무과정생명기교장.침대이유연구불족,제출료사무성복무조합과정모형TSCPM,해모형지지복무적다충회복모식화회복책략,준학묘술료사무성복무조합집행어의화상태전환,급출료어의원자성적형식화정의.기우해모형,각화료량구성급기순배、약서급체귀구조판정준칙,증명료부합판정준칙시일개사무성복무조합만족량구성적필요조건,급출료기우모형검측적량구성판정방법.
