7. The method of claim 1 , wherein one or more assertions are associated with the first or second process, and wherein the one or more assertions describe one or more preconditions or one or more postconditions at one or more points in the first or second process.
9. The method of claim 7 , wherein the one or more assertions which describe the one or more preconditions are used to check the correctness of the first or second business logic prior to the executing of the first or second business logic.