BUSINESS PROCESS COMPLIANCE VIA SECURITY VALIDATION SERVICE ON THE CLOUD
First Claim
1. A server configured to remotely provide Security Validation as a Service (SVaaS) to one or more business process modeler (BPM) clients, the server including instructions recorded on a computer-readable medium and executable by at least one processor, the server comprising:
- an application programming interface (API) configured to receive, from a remote BPM client, a request for validation of a business process model and related information for a business process compliance problem (BPCP) including the business process work flow and security-related aspects of the business process; and
a model checking manager configured to send the BPCP to a model checker for validation and to receive validation results therefrom.
2 Assignments
0 Petitions
Accused Products
Abstract
A computer-implemented method provides remote Security Validation as a Service (SVaaS) to one or more business process modeler clients. The method includes receiving on a cloud-based server, from a remote business process modeler client, a request for validation of a business process model and related information for a business process compliance problem including the business process work flow and security-related aspects of the business process. The method further includes sending the business process compliance problem from the server to a model checker for validation and receiving, at the server, validation results from the model checker and making the validation results available to the remote business process modeler client. The method can include enhancing the remote client with a connector module that is configured to collect information on the business process compliance problem and to communicate such information to the server.
19 Citations
20 Claims
-
1. A server configured to remotely provide Security Validation as a Service (SVaaS) to one or more business process modeler (BPM) clients, the server including instructions recorded on a computer-readable medium and executable by at least one processor, the server comprising:
-
an application programming interface (API) configured to receive, from a remote BPM client, a request for validation of a business process model and related information for a business process compliance problem (BPCP) including the business process work flow and security-related aspects of the business process; and a model checking manager configured to send the BPCP to a model checker for validation and to receive validation results therefrom. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9, 10)
-
-
11. A computer-implemented method for providing Security Validation as a Service (SVaaS) remotely to one or more business process modeler (BPM) clients, the method implemented by executing instructions stored on a computer readable storage medium, the method comprising:
-
receiving on a server, from a remote BPM client, a request for validation of a business process model and related information for a business process compliance problem (BPCP) including the business process work flow and security-related aspects of the business process; sending the BPCP from the server to a model checker for validation; and receiving, at the server, validation results from the model checker. - View Dependent Claims (12, 13, 14, 15, 16)
-
-
17. A computer program product, the computer program product being tangibly embodied on a computer-readable storage medium and comprising instructions that, when executed, enhance a business process modeler (BPM) client with a connector module that is configured to:
-
send, to a remote server, a request for validation of a business process model and related information for a business process compliance problem (BPCP) including the business process work flow and security-related aspects of the business process; and receive, from the remote server, validation results for the business process compliance problem. - View Dependent Claims (18, 19, 20)
-
Specification