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...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.展开更多
文摘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.