Verifiable processes in a heterogeneous distributed computing environment
First Claim
1. A method for preparing executables for execution in a distributed processing environment in accordance with a set of process representations of business logic, the method comprising the steps of:
- providing process representations in a process calculus notation;
verifying that the representations are valid;
generating executables and corresponding test data in accordance with the verified representations; and
testing the executables using the corresponding test data.
3 Assignments
0 Petitions
Accused Products
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.
-
Citations
51 Claims
-
1. A method for preparing executables for execution in a distributed processing environment in accordance with a set of process representations of business logic, the method comprising the steps of:
-
providing process representations in a process calculus notation;
verifying that the representations are valid;
generating executables and corresponding test data in accordance with the verified representations; and
testing the executables using the corresponding test data. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 25)
-
-
17. A computer program product for preparing executables for execution in a distributed processing environment in accordance with a set of process representations of business logic, the product comprising:
-
a datastore for storing process representations in a process calculus notation;
a verification module, for verifying that the representations are valid;
a generator module for generating executables and corresponding test data in accordance with the verified representations; and
,a tester module for testing the executables using the corresponding test data. - View Dependent Claims (18, 19, 20, 21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 35, 36, 37, 38, 39, 40, 42, 43, 44)
-
-
33. A computer system for preparing executables for execution in a distributed processing environment in accordance with a set of process representations of business logic, the system comprising:
-
a datastore for storing process representations in a process calculus notation;
a verification module, for verifying that the representations are valid;
a generator module for generating executables and corresponding test data in accordance with the verified representations; and
a tester module for testing the executables using the corresponding test data. - View Dependent Claims (34, 41, 45, 46, 47, 48)
-
-
49. A method for verifying and implementing process representations of business logic for execution in a distributed processing environment, the method comprising:
-
providing process representations in a process calculus notation;
verifying that the representations are valid;
generating executables and corresponding test data in accordance with the verified representations;
testing the executables using the corresponding test data;
analysing process execution information; and
autonomically altering the executables and corresponding test data in accordance with said analysed process execution information.
-
-
50. A computer program product for verifying and implementing process representations of a business logic in a distributed processing environment, the product comprising:
-
means for storing process representations in a process calculus notation;
means for verifying that the representations are valid;
means for generating executables and corresponding test data in accordance with the verified representations;
means for testing the executables using the corresponding test data;
means for analysing process execution information; and
means for altering the executables and corresponding test data autonomically in accordance with analysed process execution information.
-
-
51. A computer system for verifying and implementing process representations of business logic in a distributed processing environment, the system comprising:
-
means for storing process representations in a process calculus notation;
means for verifying that the representations are valid;
means for generating executables and corresponding test data in accordance with the verified representations;
means for testing the executables using the corresponding test data;
means for analysing process execution information; and
means for altering the executables and corresponding test data autonomically in accordance with analysed process execution information.
-
Specification