首页>
外国专利>
System and method of automatic interoperability checking for BPEL
System and method of automatic interoperability checking for BPEL
展开▼
机译:BPEL自动互操作性检查的系统和方法
展开▼
页面导航
摘要
著录项
相似文献
摘要
In one embodiment the present invention includes a method of determining whether computer processes can interact without deadlocks. The computer processes may be modeled in a process modeling language. The method includes (optionally) generating state diagrams from the processes as modeled by process modeling language, generating step actions from the state diagrams, and executing model checking on the step actions. A computer program may implement the method, and a computer system may execute the computer program. Performing model checking on processes modeled by the process modeling language allows for increased interoperability checking.
展开▼