| Patent application number | Description | Published |
|---|
| 20080229275 | Method and system for process composition - A method and system for model composition. A business process model defined by a plurality of tasks may be accessed. A plurality of available executable elements capable of implementing the plurality of tasks may be identified. Each of the plurality of available executable elements may be capable of providing functionality to implement parts of the business process model. One or more executable elements may be selected among the plurality of available executable elements for each of the plurality of tasks. The selection may be based on functionality of an available executable element. The selected elements may be combined for the plurality of tasks to create an executable process for the business process model. | 09-18-2008 |
| 20080300838 | System and method of automatic interoperability checking for 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. | 12-04-2008 |
| 20090037237 | SEMANTIC EXTENSIONS OF BUSINESS PROCESS MODELING TOOLS - A method and a system directed to semantically annotating business process modeling components of a business process model are described. For example, a definition of a business process modeling component and an association of a domain element with the business process modeling component are received. Then, the definition of the business process modeling component is semantically annotated using the domain element. | 02-05-2009 |
| 20090113394 | METHOD AND SYSTEM FOR VALIDATING PROCESS MODELS - A method and system are described for validating process models. A process semantic model including a semantic directed graph including nodes associated with tasks and edges associated with a direction of flow of execution of the tasks may be obtained. Edges entering nodes include annotations including precondition semantic indicators associated with the entering edges and edges exiting nodes include annotations including postcondition semantic indicators associated with the exiting edges. The process semantic model may be traversed to determine a flow of execution of activities associated with the tasks based on visiting the nodes based on a depth-first traversal. A validity of execution associated with a flow of execution of the activities associated with the tasks may be determined based on checking a validity of execution status based on a semantic processing of one or more semantic annotation indicators associated with the precondition semantic indicators and the postcondition semantic indicators. | 04-30-2009 |
| 20100114586 | BROKERED SERVICE DELIVERY - A selected activity of a service process model displayed in a process view of a graphical user interface may be determined. The service process model may represent a software service to be provided from a service provider to a consumer by way of a service broker. At least one service delivery entity associated with the service broker and providing service delivery functionality to be included in a brokered service process model may be determined, the service delivery entity including a state machine comprising states and transitions between the states. Configuration options may be provided in a configuration view of the graphical user interface. The configuration options may include goal states of the states to be reached as part of the brokered service process model and in association with the selected activity. A selected goal state of the goal states may be determined. The brokered service process model may be provided within a brokered service process view of the graphical user interface. The brokered service process model may include at least one entity activity configured to cause the selected goal state to be reached in association with the selected activity. | 05-06-2010 |
