CAJ | 학술논문

随着Web服务组合的发展,整合业务过程成为可能.组合Web服务可以被看作是基于过程的工作流.由于死锁、不安全和不可达等流的设计错误会影响组合Web服务的有效执行,因此这些错误应在组合Web服务执行前被检测出并修改.提出了基于语义标记Petri网的组合Web服务建模与验证方法.首先提出语义标记Petri网(SaPNs),并给出其语义;用受限描述逻辑tableau算法获得组合Web服务;使用SaPNs描述组合Web服务及其组成部分;最后,使用基于SaPNs的分析方法验证了组合Web服务.使用该方法在开放的Internet环境下可以获得满足客户需求的、可靠的组合Web服务.
수착Web복무조합적발전,정합업무과정성위가능.조합Web복무가이피간작시기우과정적공작류.유우사쇄、불안전화불가체등류적설계착오회영향조합Web복무적유효집행,인차저사착오응재조합Web복무집행전피검측출병수개.제출료기우어의표기Petri망적조합Web복무건모여험증방법.수선제출어의표기Petri망(SaPNs),병급출기어의;용수한묘술라집tableau산법획득조합Web복무;사용SaPNs묘술조합Web복무급기조성부분;최후,사용기우SaPNs적분석방법험증료조합Web복무.사용해방법재개방적Internet배경하가이획득만족객호수구적、가고적조합Web복무.
Integrating business processes becomes practicable along with the development of Web services composition. Composite Web services can be regarded as process-based workflows. Since error design of flow structures, such as deadlock, unsafeness, non-reachability and so on, will affect composite Web services performance, these errors should be detected and corrected before composite Web services are executed. An approach for modeling and verifying composite Web services based on semantic annotated Petri Nets is proposed.Firstly, semantic annotated Petri Nets (SaPNs) is presented and the semantics of SaPNs is given. Secondly, a restricted description logic tableau algorithm is utilized to obtain composite Web services. Thirdly, SaPNs is used to represent a composite Web service and the participating services that are invoked by this composite Web service.Finally, the composite Web services represented with the SaPN are verified by means of some analysis methods based on SaPNs. With this approach, a reliable composite Web services meeting client requirements in an open Internet environment can be achieved.