International Association of Computer Science and Information Technology(IACSIT)
The objective of the paper is to propose a formal model for the process and service composition and verify the model based on the rewards that the model can provide to the end user. The paper focuses on the user specified cost and completion time of the customized composition representing various business processes and the sub-processes along with their corresponding services. The model considers the \"Rewards\" for each and every state of the services based on the business process requirements. A State Link Matrix (SLM) is proposed to decide the correct choice of composition not only in the process level but also in the service level.