Measurement of performance of an extended finite state machine

Claim 2

Apparatus for obtaining a measure of performance of an extended finite state machine comprising: means for compiling processes of a formal specification which describes an extended finite state machine into compiled processes having a format in which state transitions of said compiled processes are in canonical form; means for storing said compiled processes; means for storing a service description; means responsive to both said stored compiled processes and said stored service description for generating a list of all canonical state transitions transited by said extended finite state machine in the performance of the service described in said service description; and means for utilizing said list of canonical form state transitions to obtain an objective measure of performance of said extended finite state machine.

Claim 3

The invention as defined in claim 1 wherein each of said canonical form state transitions represents a predetermined time interval.

Claim 4

The invention as defined in claim 1 wherein said service description describes a tour of all states of the extended finite state machine under minimum error conditions.

Claim 5

The invention as defined in claim 1 wherein said service description describes a tour of all states of the extended finite state machine under maximum error conditions.

Claim 6

The invention as defined in claim 1 wherein said means for compiling processes comprises optimization means for generating an optimum compiled process for each process of said formal specification.

Claim 7

The invention as defined in claim 1 wherein said means for utilizing includes means for determining the number of said state transitions in said list.

Claim 8

The invention as defined in claim 6 wherein said number of canonical form state transitions in said list is representative of a time interval required by said extended finite state machine to perform said service described in said service description.

Claim 9

Apparatus for automatically determining an optimum extended finite state machine from a plurality of extended finite state machines comprising: means for compiling processes of a plurality of formal descriptions, each description of said plurality of formal descriptions describes a corresponding one of a plurality of extended finite state machines, into a plurality of compiled processes having a format in which state transitions of said plurality of compiled processes are in canonical form; means for storing said plurality of compiled processes; means for storing a plurality of sets of service descriptions, one set for each extended finite state machine, each of said plurality of sets corresponding to similar services under similar conditions for each of said plurality of extended finite state machines; means responsive to both said plurality of stored compiled processes describing said plurality of extended finite state machines in canonical form and said plurality of sets of stored service descriptions for generating and storing a plurality of lists of canonical form state transitions transited by said plurality of extended finite state machines in the performance of said services described in said sets of service descriptions, a separate set of lists being generated for each of said plurality of extended finite state machines; and means for utilizing said plurality of sets of lists of canonical form state transitions to obtain an objective measure of performance of each of said plurality of extended finite state machines for its corresponding set of service descriptions and for selecting an optimum extended finite state machine based upon said objective measures of performance.

Claim 10

Apparatus for automatically determining an optimum extended finite state machine from a plurality of extended finite state machines comprising: means for compiling processes of a plurality of formal descriptions, each description of said plurality of formal descriptions describes a corresponding one of a plurality of extended finite state machines, into a plurality of compiled processes having a format in which state transitions of said plurality of compiled processes are in canonical form; means for storing said plurality of compiled processes; means for storing a plurality of sets of service descriptions, one set for each extended finite state machine, each of said plurality of sets corresponding to similar services under similar conditions for each of said plurality of extended finite state machines; means responsive to both said plurality of stored compiled processes describing said plurality of extended finite state machines in canonical form and said plurality of sets of stored service descriptions for generating and storing a plurality of lists of canonical form state transitions transited by said plurality of extended finite state machines in the performance of said services described in said sets of service descriptions, a separate set of lists being generated for each of said plurality of extended finite state machines; and means for utilizing said plurality of sets of lists of canonical form state transitions to obtain an objective measure of performance of each of said plurality of extended finite state machines for its corresponding set of service descriptions and for selecting an optimum extended finite state machine based upon said objective measures of performance.

Claim 11

The invention as defined in claim 8 wherein said means for utilizing and for selecting includes means for storing one or more selection criteria and means for comparing said plurality of sets of stored lists of canonical state transitions transited by corresponding ones of said plurality of extended finite state machines to perform their respective ones of said service descriptions and based on said stored selection criteria to automatically determine an optimum extended finite state machine from among said plurality of extended finite state machines.

Claim 12

The inventions as defined in claim 9 wherein each of said canonical state transitions represents a predetermined time interval and wherein said means for utilizing and for selecting further includes means for determining the number of said state transitions in each of said plurality of sets of lists, wherein said number of state transitions in each of said plurality of sets of lists is an objective measurement of performance of the corresponding extended finite state machine and is representative of a time interval for performing the corresponding service description.

Claim 15

The method as defined in claim 11 wherein each of said canonical form state transitions represents a predetermined time interval.

Claim 16

The method as defined in claim 11 wherein said service description describes a tour of all states of the extended finite state machine under minimum error conditions.

Claim 17

The method as defined in claim 11 wherein said service description describes a tour of all states of the extended finite state machine under maximum error conditions.

Claim 18

The method as defined in claim 11 wherein said compilation results in the generating of an optimum compiled process for each process of said formal specification.

Claim 19

The method as defined in claim 11 wherein the step of utilizing includes a step of counting the number of state transitions in said list, wherein said number is a representation of said objective measure of performance.

Claim 20

The method as defined in claim 16 wherein the number of canonical form state transitions in said list is representative of a time interval required by said extended finite state machine to perform said service described in said service description.

Claim 23

The method as defined in claim 18 wherein said step of selecting includes the step of storing one or more selection criteria and comparing said plurality of sets of stored lists of canonical state transitions transited by corresponding ones of said plurality of extended finite state machines in the performance of their respective ones of said service descriptions and based on said stored selection criteria to automatically determine an optimum extended finite state machine from among said plurality of extended finite state machines.

Claim 24

The method as defined in claim 19 wherein each of said canonical state transitions represents a predetermined time interval and wherein said step for utilizing includes the step of determining the number of said state transitions in each of said plurality of sets of lists, wherein said number of state transitions in each of said plurality of sets of lists is an objective measurement of performance of the corresponding extended finite state machine and is representative of a time interval for performing the corresponding service description.