Error detection in web services systems
First Claim
1. A method for detecting communications errors between a plurality of communicating computing systems in a web services system, comprising:
- receiving a first BPEL abstract process for communications to and from a first computing system;
receiving a second BPEL abstract process for communications to and from a second computing system;
automatically generating a single process model by combining each of the first and second BPEL abstract processes; and
checking the single process model for communications errors occurring during one or more communications between the first and second computing systems.
2 Assignments
0 Petitions
Accused Products
Abstract
Methods and systems are provided for automatically generating an accurate model of communications processes between disparate computing systems that may be analyzed in an efficient manner for error detection in web services systems. Business Process Execution Language for Web Services (BPEL) descriptions are automatically generated for the BPEL-based executable processes utilized by each communicating computing system in a given web services system. The BPEL abstract process descriptions for each communicating computing system are translated into a combined process model according to a suitable modeling language. The process model is tested by a model checking software application. Communications errors between the disparate computing systems are detected by automatically testing the combined process model according to a variety of potential communications scenarios.
-
Citations
21 Claims
-
1. A method for detecting communications errors between a plurality of communicating computing systems in a web services system, comprising:
-
receiving a first BPEL abstract process for communications to and from a first computing system;
receiving a second BPEL abstract process for communications to and from a second computing system;
automatically generating a single process model by combining each of the first and second BPEL abstract processes; and
checking the single process model for communications errors occurring during one or more communications between the first and second computing systems. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9)
-
-
10. In a web services system having two or more communicating computing systems, a method for detecting communications errors between the two or more communicating computing systems, comprising:
-
receiving a BPEL abstract process description of potential communications between a first computing system and a second computing system; and
checking the BPEL abstract process description for communications errors occurring during one or more communications between the first computing system and the second computing system. - View Dependent Claims (11, 12, 13)
-
-
14. In a web services system having two or more communicating computing systems, a system for detecting communications errors between the two or more communicating computing systems, comprising:
-
a BPEL abstract process description operative to describe communications between a first computing system and a second computing system; and
a model checking application operative to check the BPEL abstract process description for communications errors occurring during one or more communications between the first computing system and the second computing system. - View Dependent Claims (15, 16, 17)
-
-
18. A computer-readable medium containing computer-executable instructions which when executed by a computer perform a method for detecting communications errors between a plurality of communicating computing systems in a web services system, comprising:
-
receiving a first BPEL abstract process for communications to and from a first computing system;
receiving a second BPEL abstract process for communications to and from a second computing system;
automatically generating a single process model by combining each of the first and second BPEL abstract processes; and
checking the single process model for communications errors occurring during one or more communications between the first and second computing systems. - View Dependent Claims (19, 20, 21)
-
Specification