Verification of e-Commerce Business Processes

Abstract

Nevertheless distinctive improvements are necessary before this technology can be applied in the real system development. Graphical formal requirement notations for different kinds of process model notations as representations of the specification of rules are also crucial, along with the ability to present the positive and especially negative results to the different types of stakeholders. And finally, the model checking technique has to be improved in order to deal with different types of model elements which are typical for business process models.