64 results about "Business Process Execution Language" patented technology

A model-driven approach is used in Business Solution Monitoring and Control environment. The solution is first described by the high level abstract Platform Independent Model (PIM), which is independent from platform and implementation technologies. This PIM is presented as a Directed Acyclic Graph (DAG) that is constructed by a series of models described in XML. Then the PIM is decomposed into several sub-processes that can be easily transformed into an executable representation, such as BPEL (Business Process Execution Language) or JAVA. BPEL is used as the example to show the model transformation.

A mechanism of specification of business process templates, to capture commonly performed business activities / workflows / projects within a business organization and encourage reuse of best practices. Long transaction workspaces based business process template execution mechanism are presented, which have several advantages over existing business process execution mechanisms in web collaboration frameworks. This execution approach provides support for an isolated environment for business process execution. This isolates the changes made on different resources while executing a business process from the external world until the business process completes. It enables the ability to concurrently manipulate same resources in different components of a business process, and later resolve conflicts if any and merge the different views of the same resource manipulated by different components of a business process. It also enables easy and effective mechanisms for error recovery and rollback during business process execution.

A method for capturing and converting legacy applications into a Business Process Execution Language (BPEL) model supporting a Service Oriented Architecture (SOA), the method comprising: starting a recorder for recording the legacy applications; mapping the plurality of variables of the legacy applications to a plurality of fields and to a plurality of sub-fields of the BPEL model; highlighting and identifying the plurality of fields and the plurality of sub-fields; identifying and generating partner links; identifying additional input variables of the legacy applications; mapping the additional input variables of the legacy applications to arbitrary variables; repeating the previous steps until an end result is generated; and ending the recorder.

An access authorization system is provided, which can reduce the user wait time until the provision of a user-requested service. The access authorization system of the present invention specifies the next service to be provided to a UT (a client-side communication device) after the service currently being provided to the UT, and then executes process to make an authorization decision in advance regarding the next service with respect to the user of the UT, before the UT requests the next service.

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.

Computer implemented method, system and computer usable program code for end-to-end transaction tracking of long-running processes such as a Business Process Execution Language (BPEL) process in a data processing system, such as a data processing system implemented in a Service-Oriented Architecture (SOA). A computer implemented method for tracking and correlating transactions in a process in a data processing system includes gathering instance identification data and instance state data regarding a transaction and storing the instance identification data and instance state data in association with transaction data regarding the transaction. Asynchronous event data is collected, and transaction performance information for an asynchronous event within the transaction is calculated using the transaction data. A tracking report of the transaction is then generated using the calculated transaction performance information.

The invention discloses a multidisciplinary collaborative optimization flow modeling and scheduling method and a system based on a business process execution language (BPEL). The method includes the steps of creating multidisciplinary optimization flows based on the BPEL, analyzing flow modeling files, creating multidisciplinary optimization design flow instances, executing the multidisciplinary optimization design flow instances, recording journal files of the multidisciplinary optimization flows in an iterative process, and providing checking service for the journal files. The system comprises a flow creating module, a flow analyzing module, a flow operation instance creation module, a flow instance execution module and a flow execution journal recording module. The method and the system are service-orientated in operation scheduling, support service call among networks, combine with current cloud computing well, can shield modeling principles, modeling forms and input-output inconsistency of different disciplines in modeling, and construct the single-stage and multi-stage multidisciplinary optimization flows rapidly.

The invention discloses a linked data-based multiplexing method of business process execution language (BPEL) templates and services and a system thereof. The system comprises a model layer, a control layer, a user interface (UI) layer and a service asset library, wherein the model layer is used for providing models required by graphing and various functions of the whole system; the control layer is used for carrying out a control operation on a visualization process in the whole system, and further, realizing functions of script parsing of BPEL, template extracting and packaging, service combining and business exporting; the UI layer is mainly used for the functions of a palette, an editing window, an attribute view, an outline view and a guide view; and the service asset library specifically consists of field bodies, template bodies and service bodies. With the adoption of the linked data-based multiplexing method of the BPEL templates and services and the system thereof, the multi-granularity service asset multiplexing which includes the multiplexing by taking a BPEL subprocess as a template and the atomic Web service multiplexing can be realized; and the development efficiency for service combinations can be increased so as to shorten a development cycle through a pre-designed process template or a user-defined multiplexing template.

The invention discloses a method and device for data access based on an SOA (Service-Oriented Architecture). The method comprises the following steps: receiving a call instruction of business service, wherein the call instruction comprises an SQL (Structured Query Language) ID (Identity) and an inquiry parameter; obtaining an XML (X Extensible Markup Language) configuration file corresponding to the SQL ID; according to the XML configuration file, analyzing an SQL original statement; according to the SQL original statement and the inquiry parameter, constructing a whole SQL statement; according to the whole SQL statement, inquiring in the database; and obtaining an inquiring result. In the method, the device can serve as a data access layer in an SOA system to finish inquiring various types of databases. The method and the device are especially suitable for complex and dynamic inquiry in a BPEL (Business Process Execution Language) flow, and can be used for overcoming the defects of a DB (Data Bank) adapter inquiry mode provided by manufacturers. The method and the device have the characteristics of simplicity, convenience, flexibility and the like.

The invention discloses an event-handling-based coal mine alarm system, mainly comprising an event processing module, an issuing and subscribing module, an alarm processing flow module, a control server module and a client display module, wherein the event processing module is used for receiving an original data stream monitored by a coal mine sensor, acquiring an event concerned by a system by virtue of an event processing engine and issuing the event to the issuing and subscribing module in a specific theme; the issuing and subscribing module is used for realizing an issuing and subscribing service engine and interaction of processing messages; the alarm processing flow module is based on a service flow execution language and is used for describing an alarm processing flow and calling corresponding web service in the alarm processing flow; the control server module is used for subscribing a theme event concerned by the system, triggering an alarm flow when receiving the alarm event, being taken as a proxy of interaction between the flow and a human and interacting with the flow, storing an alarm condition and initiatively pushing the alarm state to the client display module to be displayed; and the client display module is used for communicating with the control server module and providing a user interaction interface and content display.

Video of work being performed in a place of business can be analyzed. Patterns can be identified and scored within the work when analyzing the video. The identified patterns can be correlated with business processes of a business process management system of the business. In one embodiment, the tasks performed can be to monitor a business process flow, to update a business process flow, and / or to create a new business process flow. Business process flows can be written in a standardized business process execution language or other standards based languages.

The invention provides a secure access service integration modeling method, which belongs to the technical field of information security. In the method, for a secure access service in a system, the secure access service comprises an authentication flow, an access control flow and a check flow; on the basis, a business process execution language (BPEL)-based secure access service flow is designed and implemented, related Web Service components are provided for the realization of specific functions for the detailed processing flows of authentication, access control and check in the secure access service flow, and interfaces between the secure access service and the Web Service components and exchange information between the service and a Web Service are realized by a BPEL. A service integrator can conveniently integrate conventional information security components and the Web Service by the BPEL, fast develop a set of applicable secure access service flow, and in addition, can fast replace the Web Service in the service flow so as to improve the development efficiency.

The invention discloses a system and method for executing a combined service with centralized control flow and distributed data flow. The system comprises a central node and a plurality of service agents which are distributed on different nodes in a network. The invention has the advantages that: a control message for informing the service of when and where data is transmitted is sent, so that the problems of lack of monitoring capability of a distributed execution mode on the overall running situation of the combined service and easy existence of system performance bottleneck caused by the transition of data flow by a central node in a centralized execution mode can be solved. Simultaneously, overall execution logic of the combined service is controlled by adopting the central node, and the current business process execution language (BPEL) can be compatible, so that the execution of combined service application can be effectively supported.

An access authorization system is provided, which can reduce the user wait time until the provision of a user-requested service. The access authorization system of the present invention specifies the next service to be provided to a UT (a client-side communication device) after the service currently being provided to the UT, and then executes process to make an authorization decision in advance regarding the next service with respect to the user of the UT, before the UT requests the next service.

The invention discloses a multimedia conference system, which is based on a service-oriented architecture. The system comprises a generation unit, an execution unit and an interface unit, wherein the generation unit is used for combining services generated based on service process execution language (BPEL), generating service logic of multimedia conference, sending and deploying the service logic to the execution unit, and the execution unit is used for providing running environment of the service logic and performing concurrent execution operation on at least one service logic. The invention also discloses a multimedia conference method. The method comprises the steps of combining the generated services based on the BPEL, generating the service logic of the multimedia conference and performing the concurrent execution operation on the at least one service logic. As the service capability of the Internet and the telecommunication field can be integrated by adopting the system and the method, the need for both hardware and software is taken into consideration, thus the system and the method can be popularized among both service users and ordinary users.

The invention discloses a method for verifying a service orchestration process. The method comprises the following steps of: modeling a Petri net for a web service-business process execution language (BPEL) service process subjected to service orchestration and converting the service process into a Petri net markup language (PNML) file; analyzing the PNML file and logically verifying the analyzed PNML file; performing simulation test on the logically verified PNML file; and when the test is passed, converting the PNML file into a BPEL service process. The embodiment of the invention provides the method and a system for verifying the service orchestration BPEL process. Before the service orchestration process is formally put into operation, simulation operation is performed on the service orchestration process to realize the verification process of the service orchestration process.

The invention provides a data security method and relevant systems. The method comprises the steps of receiving a data security request sent by a financial business server; analyzing preset security point data collected during business process execution by a client and / or the financial business server and contained in the data security request; signing and encrypting the analyzed security point data; storing signed and encrypted data into a database for solidification. The method can perform evidence collection and solidification on transaction data in the first time and form evidence chains, so that powerful evidence chains can be provided when clients or loaning platforms are caught in legal disputes later, the economic property security of legal users in a loaning process can be protected, people with illegal economic behavior can punished and the good atmosphere of national economic environment can be maintained.

The invention discloses a method for realizing multi-business-process cooperation. According to the method, a global BPMN (Business Process Modeling Notation) model is created, and service tasks in the global BPMN model are subjected to role tagging; the global BPMN model is decomposed into single-role local BPMN models according to the tagged role, and each single-role local BPMN model is subjected to cooperative information tagging; the local BPMN models are converted into executable local BPEL (Business Process Execution Language) processes; and the local BPEL processes are deployed and executed. Meanwhile, the invention also discloses a system for realizing the multi-business-process cooperation.

The invention discloses a high-dimensional service data oriented hybrid visualization method. The method includes inspecting service combinations at the WSDL (web services description language)and BPEL (business process execution language) language level, parsing information provided by the WSDL and BPEL files, defining that a service set (S1, S2,..., Sn) of a service combination SC includes a plurality of services S, reducing dimensions of multi-dimensional spaces with more than three dimensions in the service set (S1, S2,..., Sn) of the service combinations SC by the aid of a tree structure, taking a service instance Si as a single event corresponding to a certain variable on a time axis, representing the service instance Si of the service sets (S1, S2,..., Sn) by a series of parallel coordinate axes, representing interrelationship between services with an improved parallel coordination view, and performing visualization on internal service data and associated information between the services by a dot matrix which includes node-link graphs and matrixes.

The invention discloses a service composition-oriented declarative transaction integration method and a service composition-oriented declarative transaction integration system. The method comprises the following steps of: (1) preprocessing service composition language, namely a business process execution language (BPEL)-based service composition specification, identifying and eliminating transaction dependence existing among different activities; (2) describing and annotating a transaction strategy for the preprocessed service composition specification, guaranteeing that the annotated activity accords with a certain transaction protocol specification; and forming a transaction annotation-containing service composition specification by the preprocessed service composition specification andan annotation file of the transaction strategy; and (3) explaining and executing the transaction annotation-containing service composition specification to finish a Web service composition of a predetermined service. By integrating a transaction frame and a protocol of the conventional Web service and utilizing the conventional service composition engine and the Web service-oriented transaction protocol, automatic transaction design and execution in the service composition are partially supported, and the reliability of the Web service composition is enhanced.

The invention discloses a program dependence graph-based BPEL process consistency measurement method. Two BPEL processes are inputted, and the consistency degree of the two BPEL processes is an output result; the BPEL processes used by the method need to strictly come up to the WS-BPEL2.0 specifications, and moreover, the processes do not contain (link) activities; according to the characteristics of the BPEL, the two BPEL processes are respectively converted into control flow diagrams; according to the control flow diagram of each BPEL process, three dependencies between activities are analyzed, and a program dependence graph (PDG) is generated; and on the basis of the program dependence graphs of the two BPEL processes, the consistency degree of the two BPEL processes is worked out. The method provided by the invention can provide a value from 0 to 1 for the consistency of the two BPEL processes, unlike the conventional method which only provides a qualitative conclusion (consistency or inconsistency), and thereby different degrees of BPEL process consistency can be effectively differentiated.

Signals are mapped from one protocol to another protocol. A first protocol is received, and a mapping interface is generated to a second protocol. The first protocol is then mapped to the second protocol in accordance with the mapping interface. The mapping interface may comprise a coordination map. Moreover, a state diagram may be generated that is based on the first protocol, prior to mapping the first protocol to the second protocol. The first protocol may be an abstract protocol or a web services business activity protocol, for example, and the second protocol may be another abstract protocol, a concrete interface, a web services interface, a common language runtime interface, or a business process execution language for web services, for example.

The invention provides a method for deploying a Web service in a cloud based on a Turing machine technology and a DAR (display aspect ratio) algorithm, which combines the abstraction and the wide range of languages capable of being accepted by a Turing machine with the dynamism and the reliability of the DAR algorithm to select the Web service under an easily-failed environment to further establish a model of deploying the Web service in the cloud. With adoption of the method disclosed by the invention, the challenges of rapidly and reliably deploying the Web service in the cloud can be solved. The system is formed by four modules; the uppermost layer is responsible for analyzing a BPEL (business process execution language) Web service; and the middle layer is responsible for selecting a reliable atom Web service, obtaining an attribute value and constructing the normalized Turing machine. The method is mainly is used for two parts of the construction of the turning machine and the Web service selection algorithm DAR. The verification shows that the technology of the invention has the advantages that: 1, the reliable Web service can be selected; and 2, the method has more advantages than the previous technology on the aspect of deploying Web service time and real time.

The invention discloses a method for improving service dynamic updating efficiency. The method can predict the node at which the service is possible to be executed in advance by using data information at the moment of dynamically operating the BPEL flow, thereby further providing powerful basis for inter-service dependency analysis and dynamic service substitution.

The invention provides a method and a device for detecting control dependence deadlocks. The method comprises the steps of establishing a first matrix for indicating resource request relations among activities in a business process execution language (BPEL) process, performing calculation based on elements in the first matrix, and detecting the control dependence deadlocks in the BPEL process. The calculation is performed based on the elements in the first matrix to detect the control dependence deadlocks, so that computer implementation is facilitated, fragment maps can be avoided, and the detection efficiency is improved through tracking with each node serving as a starting point along directions of directed line segments.

For a distributed application execution environment where the execution of a business process is accomplished by combining services in a manner that suits the business process to be executed, technologies have been developed to allocate hardware resources necessary to execute services that constitute a business process. With the conventional technologies, however, when using existing hardware resources is not enough to satisfy a requested execution quality of a service, the service is executed with a quality lower than the requested level. The present invention makes it possible to purvey IT resources flexibly in a distributed processing environment such that the requested level of business process execution quality is met. The present invention flexibly changes the configuration of IT resources that execute services constituting a business process, so that a requested quality of the business process is met.