×

Verifiable processes in a heterogeneous distributed computing environment

  • US 20040064806A1
  • Filed: 09/25/2003
  • Published: 04/01/2004
  • Est. Priority Date: 09/25/2002
  • Status: Abandoned Application
First Claim
Patent Images

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 all claims
  • 3 Assignments
Timeline View
Assignment View
    ×
    ×