西安交通大学学报
西安交通大學學報
서안교통대학학보
JOURNAL OF XI'AN JIAOTONG UNIVERSITY
2007年
10期
1155-1159
,共5页
组合Web服务%投影时序逻辑%形式化验证
組閤Web服務%投影時序邏輯%形式化驗證
조합Web복무%투영시서라집%형식화험증
针对编制方式生成的组合Web服务需要用一个工作流引擎执行这个特征,对投影时序逻辑进行了扩展,并用扩展投影时序逻辑描述和验证组合Web服务.将组合Web服务视为一个基于过程的工作流,将工作流引擎与组合Web服务组成部分的一次不可分割的消息交互抽象为一个原子过程.用扩展投影时序逻辑公式描述原子过程,用扩展投影时序逻辑操作符定义过程组合规则、连接过程描述公式,得到组合Web服务描述公式.通过模拟组合Web执行,可验证组合Web服务满足系统的需求和性质,为提高组合Web服务设计的可靠性提供了依据.
針對編製方式生成的組閤Web服務需要用一箇工作流引擎執行這箇特徵,對投影時序邏輯進行瞭擴展,併用擴展投影時序邏輯描述和驗證組閤Web服務.將組閤Web服務視為一箇基于過程的工作流,將工作流引擎與組閤Web服務組成部分的一次不可分割的消息交互抽象為一箇原子過程.用擴展投影時序邏輯公式描述原子過程,用擴展投影時序邏輯操作符定義過程組閤規則、連接過程描述公式,得到組閤Web服務描述公式.通過模擬組閤Web執行,可驗證組閤Web服務滿足繫統的需求和性質,為提高組閤Web服務設計的可靠性提供瞭依據.
침대편제방식생성적조합Web복무수요용일개공작류인경집행저개특정,대투영시서라집진행료확전,병용확전투영시서라집묘술화험증조합Web복무.장조합Web복무시위일개기우과정적공작류,장공작류인경여조합Web복무조성부분적일차불가분할적소식교호추상위일개원자과정.용확전투영시서라집공식묘술원자과정,용확전투영시서라집조작부정의과정조합규칙、련접과정묘술공식,득도조합Web복무묘술공식.통과모의조합Web집행,가험증조합Web복무만족계통적수구화성질,위제고조합Web복무설계적가고성제공료의거.
