An OWL-S atomic process is described as a DDL action, which combines the dynamic execution and related static reasoning of execution conditions, and getting the operational semantics of OWL-S atomic processes;

• 利用Petri网方法刻画了OWL-S服务进程(特别是复合进程)的操作语义,提出组合语义Web服务的形成是基于其中各个服务的功能的组合,每个服务功能对应服务的某个进程描述,将相应进程的Petri网描述进行合成(基于库所元素的共享合成),得到组合语义Web服务对应的Petri网系统;