发明名称 |
Validating SAM Schemas Based on Business Functionalities |
摘要 |
Methods, systems, and computer-readable storage media for evaluating a validity of an extended status and action management (SAM) schema. In some implementations, actions include receiving the extended SAM schema, the extended SAM schema being stored as a computer-readable document in memory and being an extension of a core SAM schema, receiving one or more business functionalities, at least one business functionality including a plurality of status vectors along a core trace that can be achieved in the core SAM schema, the one or more business functionalities being provided in a computer-readable document stored in memory, and processing the extended SAM schema and the one or more business functionalities using a computer-executable model checking tool for evaluating a validity of the extended SAM schema. |
申请公布号 |
US2014330614(A1) |
申请公布日期 |
2014.11.06 |
申请号 |
US201313887453 |
申请日期 |
2013.05.06 |
申请人 |
SAP AG |
发明人 |
Lemcke Jens;Friesen Andreas;Thimmel Bernhard;Geisau Otfried Von;Bertoli Piergiorgio;Pistore Marco |
分类号 |
G06Q10/06 |
主分类号 |
G06Q10/06 |
代理机构 |
|
代理人 |
|
主权项 |
1. A computer-implemented method for evaluating a validity of an extended status and action management (SAM) schema, the method being executed using one or more processors and comprising:
receiving the extended SAM schema, the extended SAM schema being stored as a computer-readable document in memory and being an extension of a core SAM schema; receiving one or more business functionalities, at least one business functionality comprising a plurality of status vectors along a core trace that can be achieved in the core SAM schema, the one or more business functionalities being provided in a computer-readable document stored in memory; and processing the extended SAM schema and the one or more business functionalities using a computer-executable model checking tool for evaluating a validity of the extended SAM schema. |
地址 |
Walldorf DE |