Method and Apparatus for Ensuring Business Process Integration Capability for one or more Distributed Component Systems in Communication with one or more Legacy Systems

摘要

In a system for bridging one or more legacy systems with one or more component systems for data communication, a method for integrating application processes with one another includes steps for (a) expressing all application behavior using a modeling language; (b) transforming those expressions into process automata; (c) organizing composition settings comprising the process automata; and (d) analyzing process automata for integration safety and for integration completeness properties of the process automata using a deterministic finite automata library and leveraging its base functions.