Configurable business process model enable the sharing of common processes among different organizations in a controlled manner

this model is intended to be configured to meet the requirements of specific organizations

then leading to individualized process models

so it is important issue to formal modeling and verify for configurable business process model.Owing to the characteristic of goal model can express users' intentions

in this paper

we provide a novel analytical method of configurable business process model which based on the goal model

in this method

we add the goal model to WF-net (GWF-net) and incorporate users' intentions into business process model;following

we transform the ordinary business process model expressed by GWF-net into configurable business process model by adding the configuration operation;finally

presents its correctness analysis of configurable GWF-net and provide the consistency theorem between the users' requirements and configuration procedure of configurable business process model

so that we ensure the validation of business process model through the fulfill goal.