系统仿真学报
繫統倣真學報
계통방진학보
JOURNAL OF SYSTEM SIMULATION
2005年
z1期
69-72
,共4页
服务组合%Petri网%最终用户编程%工作流
服務組閤%Petri網%最終用戶編程%工作流
복무조합%Petri망%최종용호편정%공작류
针对使能最终用户直接组合服务生成个人应用的问题,提出一种基于Petri网模型:WF_logic,WF_semantics,WM_logic和WM_semantics(统称为PWF_nets)的服务组合方法.该方法可以指导最终用户在不同的抽象等级逐步为服务组合流程的逻辑、语义和管理建模,使最终用户在不同的阶段专注于服务组合的不同方面并且在每个阶段都有合适的网模型支持,不仅可以提高其构造合理有效应用的成功率,而且各个阶段建立的模型也可以被形式验证.
針對使能最終用戶直接組閤服務生成箇人應用的問題,提齣一種基于Petri網模型:WF_logic,WF_semantics,WM_logic和WM_semantics(統稱為PWF_nets)的服務組閤方法.該方法可以指導最終用戶在不同的抽象等級逐步為服務組閤流程的邏輯、語義和管理建模,使最終用戶在不同的階段專註于服務組閤的不同方麵併且在每箇階段都有閤適的網模型支持,不僅可以提高其構造閤理有效應用的成功率,而且各箇階段建立的模型也可以被形式驗證.
침대사능최종용호직접조합복무생성개인응용적문제,제출일충기우Petri망모형:WF_logic,WF_semantics,WM_logic화WM_semantics(통칭위PWF_nets)적복무조합방법.해방법가이지도최종용호재불동적추상등급축보위복무조합류정적라집、어의화관리건모,사최종용호재불동적계단전주우복무조합적불동방면병차재매개계단도유합괄적망모형지지,불부가이제고기구조합리유효응용적성공솔,이차각개계단건립적모형야가이피형식험증.
