发明名称 |
System and method for message choreographies of services |
摘要 |
A computer-implemented method of evaluating interactions between processes. The method includes storing a message choreography meta-model that includes an interaction meta class and a constraint meta-class. A user creates a message choreography model between a first process and a second process. The method further includes executing a verification computer program that performs a verification of the message choreography model. The verification includes verifying absence of an inconsumable message.
|
申请公布号 |
US8448143(B2) |
申请公布日期 |
2013.05.21 |
申请号 |
US20080338183 |
申请日期 |
2008.12.18 |
申请人 |
WIECZOREK SEBASTIAN;ROTH ANDREAS;STEFANESCU ALIN;CHARFI ANIS;KRAFT FRANK MICHAEL;SAP AG |
发明人 |
WIECZOREK SEBASTIAN;ROTH ANDREAS;STEFANESCU ALIN;CHARFI ANIS;KRAFT FRANK MICHAEL |
分类号 |
G06F9/44;G06F15/16;G06F17/00 |
主分类号 |
G06F9/44 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|