BPaaS compatibility check

A method comprising:

• generating a first plurality of finite state automata corresponding to a plurality of event sequences in a software process of a user, the first plurality of finite state automata comprising a first plurality of mealy automata;
• obtaining, from storage, a second plurality of finite state automata based on a second plurality of event sequences in a host process of a provider, the second plurality of finite state automata comprising a second plurality of mealy automata for the host process;
• establishing channels of communication between the first and second plurality of finite state automata via a runtime environment, executing the first and second plurality of finite state automata in parallel via the established channels, and determining whether the user process is compatible with the host process of the provider based on results of the execution, wherein the execution of the first and second plurality of finite state automata in parallel comprises executing the first and second pluralities of mealy automata in parallel;
• and
• displaying a result of the determination via a user interface of a computing system associated with the user.

A non-transitory computer-readable medium comprising instructions which when executed by a processor cause a computer to perform a method comprising:

• generating a first plurality of finite state automata corresponding to a plurality of event sequences in a software process of a user, the first plurality of finite state automata comprising a first plurality of mealy automata;
• obtaining a second plurality of finite state automata based on a second plurality of event sequences in a host process from a storage, the second plurality of finite state automata comprising a second plurality of mealy automata for the host process;
• establishing channels of communication between the first and second plurality of finite state automata via a runtime environment, executing the first and second plurality of finite state automata in parallel via the established channels, and determining whether the user process is compatible with the host process based on results of the execution, wherein the execution of the first and second plurality of finite state automata in parallel comprises executing the first and second pluralities of mealy automata in parallel;
• and
• displaying a result of the determination via a user interface of a computing system associated with the user.