发明授权
US07567518B2 Modeling protocol transactions as formal languages with applications for workflow analysis 有权
将协议交易建模为具有工作流分析应用程序的正式语言

Modeling protocol transactions as formal languages with applications for workflow analysis
摘要:
A service grammar can be defined in Backus Naur Form for a protocol. The service grammar can be compiled into a service analyzer, which can identify services from a trace of messages sent using the protocol. Similarly, a workflow grammar can be defined for services implemented using the protocol (a meta-grammar). The workflow grammar can be compiled into a workflow analyzer, which can identify workflows from the services (and therefore, indirectly from the trace). This workflow information can be used to define actions for a User Agent (UA) that can act on behalf of a person. The UA can be validated using the service analyzer and workflow analyzer to verify that the UA is acting correctly.
信息查询
0/0