Patent · US Active

Integrated model checking and issue resolution framework

US8069434B2 · kind B2 · utility

11Cited by

0References

20Claims

0Family size

Assignee

SAP AG · DE

Inventors

Karsten Ploesser · Brisbane, AU
Franz Weber · Wiesloch, DE
Joerg Mann · Heidelberg, DE

Key dates

Filing date	Oct 29, 2007
Grant date	Nov 29, 2011
Priority date	—
Expiry date	Sep 28, 2030

Classification

Technology area (CPC G)Physics
CPC primaryG06F8/20
WIPO fieldComputer technology
WIPO sectorElectrical engineering

Abstract

A plurality of constraints are identified for a model of a software deployment in an integrated development environment. Each of the constraints are associated with one of a plurality of analysis levels. It is determined for each analysis level whether the corresponding associated constraints are met so that an identification indicating the same may be provided. Related techniques, apparatus, systems, and articles are described.

Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.