WIPO logo
Mobile | Deutsch | English | Español | 日本語 | 한국어 | Português | Русский | 中文 | العربية |
PATENTSCOPE

Recherche dans les collections de brevets nationales et internationales
World Intellectual Property Organization
PATENTSCOPE sera indisponible quelques heures pour des raisons de maintenance le samedi 18.08.2018 à 09:00 CEST
Recherche
 
Options de navigation
 
Traduction
 
Options
 
Quoi de neuf
 
Connexion
 
Aide
 
Traduction automatique
1. (WO2014025946) VÉRIFICATION AUTOMATIQUE DE SOURCES DE DONNÉES
Dernières données bibliographiques dont dispose le Bureau international   

N° de publication : WO/2014/025946 N° de la demande internationale : PCT/US2013/054037
Date de publication : 13.02.2014 Date de dépôt international : 08.08.2013
Demande présentée en vertu du Chapitre 2 : 02.09.2014
CIB :
G06F 17/30 (2006.01)
Déposants : MICROSOFT TECHNOLOGY LICENSING, LLC[US/US]; One Microsoft Way Redmond, WA 98052, US
Inventeurs : EJSING, Simon Kristiansen; US
GRUBOV, Soren Lindegaard; US
Mandataire : GRÜNECKER KINDELDEY STOCKMAIR & SCHWANHÄUSSER; Leopoldstr. 4 80802 München, DE
Données relatives à la priorité :
13/571,71710.08.2012US
Titre (EN) AUTOMATIC VERIFICATION OF DATA SOURCES
(FR) VÉRIFICATION AUTOMATIQUE DE SOURCES DE DONNÉES
Abrégé : front page image
(EN) A data source, such as a database, is modeled using state variables, state, and actions performed on the data source. State variable queries may be automatically generated by generating queries or functions based on intercepting data queries to a data source and using the intercepted data query language. State variable queries may automatically inspect data objects within the data store and automatically generate state variable values. The state variable queries or functions may be executed automatically after an action is run against a data source such that state information is automatically determined. Further, a graphical user interface used to modify, add and delete state information and automatic state variable queries associated with the verification model is described.
(FR) Selon l'invention, une source de données, telle qu'une base de données, est modélisée à l'aide de variables d'état, d'états et d'actions effectuées sur la source de données. Des interrogations de variable d'état peuvent être automatiquement générées par génération d'interrogations ou fonctions sur la base d'une interception d'interrogations de données destinées à une source de données et d'une utilisation du langage des interrogations de données interceptées. Des interrogations de variable d'état peuvent inspecter automatiquement des objets de données dans le magasin de données et générer automatiquement des valeurs de variable d'état. Les interrogations ou fonctions de variable d'état peuvent être exécutées automatiquement après qu'une action a été effectuée contre une source de données de manière que des informations d'état soient automatiquement déterminées. En outre, une interface utilisateur graphique utilisée pour modifier, ajouter et supprimer des informations d'état et des interrogations de variable d'état automatiques associées au modèle de vérification est décrite.
États désignés : AE, AG, AL, AM, AO, AT, AU, AZ, BA, BB, BG, BH, BN, BR, BW, BY, BZ, CA, CH, CL, CN, CO, CR, CU, CZ, DE, DK, DM, DO, DZ, EC, EE, EG, ES, FI, GB, GD, GE, GH, GM, GT, HN, HR, HU, ID, IL, IN, IS, JP, KE, KG, KN, KP, KR, KZ, LA, LC, LK, LR, LS, LT, LU, LY, MA, MD, ME, MG, MK, MN, MW, MX, MY, MZ, NA, NG, NI, NO, NZ, OM, PA, PE, PG, PH, PL, PT, QA, RO, RS, RU, RW, SA, SC, SD, SE, SG, SK, SL, SM, ST, SV, SY, TH, TJ, TM, TN, TR, TT, TZ, UA, UG, US, UZ, VC, VN, ZA, ZM, ZW
Organisation régionale africaine de la propriété intellectuelle (ARIPO) (BW, GH, GM, KE, LR, LS, MW, MZ, NA, RW, SD, SL, SZ, TZ, UG, ZM, ZW)
Office eurasien des brevets (OEAB) (AM, AZ, BY, KG, KZ, RU, TJ, TM)
Office européen des brevets (OEB (AL, AT, BE, BG, CH, CY, CZ, DE, DK, EE, ES, FI, FR, GB, GR, HR, HU, IE, IS, IT, LT, LU, LV, MC, MK, MT, NL, NO, PL, PT, RO, RS, SE, SI, SK, SM, TR)
Organisation africaine de la propriété intellectuelle (OAPI) (BF, BJ, CF, CG, CI, CM, GA, GN, GQ, GW, KM, ML, MR, NE, SN, TD, TG)
Langue de publication : anglais (EN)
Langue de dépôt : anglais (EN)