Abstract: There is described a method, computer program product and system which relate to the execution of verifiable processes in a distributed computing/processing environment. More particularly the invention relates to the autonomic implementation and verification of a business logic specification in a heterogeneous distributed computing environment. The business logic specification (102) is rendered (step 112) as a plurality of validated processes (104) for execution in a distributed processing environment (110). By monitoring and analysing the information generated in that execution (step 114), it is possible to correlate a view of the executing processes (106). Comparison between the original specification and the correlated view is performed, context information is applied (step 116) and amendments made to the specification as a result. The invention achieves the full cycle of events substantially autonomically.

Abstract: There is described a method, computer program product and system which relate to the execution of verifiable processes in a distributed computing/processing environment. More particularly the invention relates to the autonomic implementation and verification of a business logic specification in a heterogeneous distributed computing environment. The business logic specification (102) is rendered (step 112) as a plurality of validated processes (104) for execution in a distributed processing environment (110). By monitoring and analysing the information generated in that execution (step 114), it is possible to correlate a view of the executing processes (106). Comparison between the original specification and the correlated view is performed (step 116) and amendments made to the specification as a result. The invention achieves the full cycle of events substantially autonomically.

Abstract: There is provided a method for transforming business processes into executable sub-programs suitable for execution in target environments, and preferably in distributed heterogeneous target environments. A business process definition is either provided in an internal canonical form or decomposed into that canonical form from any one of a range of notations. The business processes can be stored in the canonical format. By generating executable sub-programs from the business process definition in dependence upon a generator descriptor that corresponds to the target environment, the executable sub-programs can be directly executed on the target environment. The method provides a development time environment in which business processes can be designed, modified, stored in a repository and transformed into directly executable sub-programs. The method permits the invocation of a business process in the context of the invoked program without reference to an engine or server.