高技术通讯(英文版)
高技術通訊(英文版)
고기술통신(영문판)
HIGH TECHNOLOGY LETTERS
2002年
1期
58-62
,共5页
傅谦%Zhang Shensheng%Dai Kaiyu
傅謙%Zhang Shensheng%Dai Kaiyu
부겸%Zhang Shensheng%Dai Kaiyu
Workflow modeling%Ontology%Formal
An integrated enterprise workflow model called PPROCE is presented firstly. Then, an enterprise's ontology established by TOVE and Process Specification Language (PSL) is studied. Combined with TOVE's partition idea, PSL is extended and new PSL Extensions is created to define the ontology of process, organization, resource and product in the PPROCE model. As a result, PPROCE model can be defined by a set of corresponding formal language. It facilitates the future work not only in the model verification, model optimization and model simulation, but also in the model translation.
