计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2011年
20期
42-45
,共4页
张抗抗%徐如志%杨峰%崔涛
張抗抗%徐如誌%楊峰%崔濤
장항항%서여지%양봉%최도
交互%业务协议%协议组合%协议代数%协议相似性
交互%業務協議%協議組閤%協議代數%協議相似性
교호%업무협의%협의조합%협의대수%협의상사성
针对基于Web的业务流程建模问题,将业务流程的参与者抽象为角色,采用基于角色间交互的协议对业务流程进行建模,构造抽象的业务流程模板,提出一个业务协议组合代数,构造一组协议组合算子,即顺序、并发、选择和迭代,并证明该代数的一些相关性质,分析协议的相似性,从而为替换协议提供理论依据.
針對基于Web的業務流程建模問題,將業務流程的參與者抽象為角色,採用基于角色間交互的協議對業務流程進行建模,構造抽象的業務流程模闆,提齣一箇業務協議組閤代數,構造一組協議組閤算子,即順序、併髮、選擇和迭代,併證明該代數的一些相關性質,分析協議的相似性,從而為替換協議提供理論依據.
침대기우Web적업무류정건모문제,장업무류정적삼여자추상위각색,채용기우각색간교호적협의대업무류정진행건모,구조추상적업무류정모판,제출일개업무협의조합대수,구조일조협의조합산자,즉순서、병발、선택화질대,병증명해대수적일사상관성질,분석협의적상사성,종이위체환협의제공이론의거.
