Systems and methods for third-party interoperability in secure network transactions using tokenized data
US-2024348616-A1 · Oct 17, 2024 · US
Verification of status schemas based on business goal definitions
US8996472B2 · US · B2
| Field | Value |
|---|---|
| Publication number | US-8996472-B2 |
| Application number | US-201213447419-A |
| Country | US |
| Kind code | B2 |
| Filing date | Apr 16, 2012 |
| Priority date | Apr 16, 2012 |
| Publication date | Mar 31, 2015 |
| Grant date | Mar 31, 2015 |
How to read this patent
A practical reading order for non-experts. Skip the full description unless you need deep technical detail.
- Title
What the patent document calls the invention.
- Abstract
A short plain-language summary of the technical disclosure.
- Assignees and inventors
Who owns or filed the patent and who is credited as inventor.
- Key dates
Filing, priority, publication, and grant dates set the timeline.
- First independent claim
The legal scope of protection — read this for what is actually claimed.
- CPC / IPC classifications
Technology tags used to group this patent with similar filings.
- Citations and related patents
Prior art links and similar publications in this corpus.
Abstract
Official abstract text for this publication.
Methods, systems, and computer-readable storage media for evaluating a validity of a status and action management (SAM) schema. In some implementations, actions include receiving the SAM schema, the SAM schema being stored as a computer-readable document in memory, providing one or more goals, each goal representing an intention of the SAM schema, the one or more goals being provided in a computer-readable document stored in memory and including one or more primary goals and one or more recovery goals that each express an intention of a process underlying the SAM schema, and processing the one or more goals using a computer-executable model checking tool for evaluating the validity of the SAM schema.
First claim
Opening claim text (preview).
What is claimed is: 1. A computer-implemented method for evaluating a validity of a status and action management (SAM) schema, the method being executed using one or more processors and comprising: receiving, by the one or more processors, the SAM schema, the SAM schema being stored as a computer-readable document in memory; providing, by the one or more processors, one or more goals, each goal representing an intention of the SAM schema, the one or more goals being provided in…
Assignees
Inventors
Classifications
Patent family
Related publications grouped by family.
External sources
Next steps
Free tools are coming soon. Tell us what you want to track and we'll notify you.
Frequently asked questions
Answers are generated from the same data shown on this page.
- What does patent US8996472B2 cover?
- Methods, systems, and computer-readable storage media for evaluating a validity of a status and action management (SAM) schema. In some implementations, actions include receiving the SAM schema, the SAM schema being stored as a computer-readable document in memory, providing one or more goals, each goal representing an intention of the SAM schema, the one or more goals being provided in a compu…
- Who is the assignee on this patent?
- Lemcke Jens, Thimmel Bernhard, Geisau Otfried Von, and 4 more
- What technology area does this patent fall under?
- Primary CPC classification G06Q10/00. Mapped technology areas include Physics.
- When was this patent published?
- Publication date Tue Mar 31 2015 00:00:00 GMT+0000 (Coordinated Universal Time) (B2). Legal status and post-grant events are not shown on this page.
- What related patents are in patentsdb?
- We list 8 related publications on this page (citations in our corpus or others sharing the same primary CPC).