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

Search International and National Patent Collections
World Intellectual Property Organization
Search
 
Browse
 
Translate
 
Options
 
News
 
Login
 
Help
 
Machine translation
1. (WO2013052063) GENERATING A NON-DETERMINISTIC MODEL OF A PROCESS FOR A GOAL
Latest bibliographic data on file with the International Bureau   

Pub. No.:    WO/2013/052063    International Application No.:    PCT/US2011/055390
Publication Date: 11.04.2013 International Filing Date: 07.10.2011
IPC:
G06Q 10/00 (2012.01), G06Q 30/00 (2012.01)
Applicants: HEWLETT-PACKARD DEVELOPMENT COMPANY, L.P. [US/US]; 11445 Compaq Center Drive W. Houston, Texas 77070 (US) (For All Designated States Except US).
WANG, Yin [CN/US]; (US) (For US Only).
NAZEEM, Ahmed [EG/US]; (US) (For US Only)
Inventors: WANG, Yin; (US).
NAZEEM, Ahmed; (US)
Agent: KOSH, Christopher; HEWLETT-PACKARD COMPANY Intellectual Property Administration 3404 E. Harmony Road, MS 35 Fort Collins, Colorado 80528-9599 (US)
Priority Data:
Title (EN) GENERATING A NON-DETERMINISTIC MODEL OF A PROCESS FOR A GOAL
(FR) GÉNÉRATION D'UN MODÈLE NON DÉTERMINISTE D'UN PROCESSUS POUR UN OBJECTIF
Abstract: front page image
(EN)A method and a system of generating a non-deterministic model of an artifact system for a received goal are provided. A description of artifacts and services associated with an original version of a process is received. Component automata represent the artifacts and services that are automatically generated. There is one component automaton for each attribute of an artifact. States of a particular component automaton represents potential values of a particular attribute and transitions between the states represent services that operate on the values. A non-deterministic model of the process is generated by automatically generating a composite automaton, which includes the component automata, based on the received goal. The composite automaton provides the non-deterministic model of the process.
(FR)L'invention concerne un procédé et un système de génération d'un modèle non déterministe d'un système d'artéfact pour un objectif reçu. Une description d'artéfacts et de services associés à une version originale d'un processus est reçue. Des automates de composant représentent les artéfacts et les services qui sont automatiquement générés. Il existe un automate de composant pour chaque attribut d'un artéfact. Des états d'un automate de composant particulier représentent des valeurs potentielles d'un attribut particulier et des transitions entre les états représentent des services qui fonctionnent sur les valeurs. Un modèle non déterministe du processus est généré par génération automatique d'un automate composite, qui comprend les automates de composant, sur la base de l'objectif reçu. L'automate composite fournit le modèle non déterministe du processus.
Designated States: AE, AG, AL, AM, AO, AT, AU, AZ, BA, BB, BG, BH, 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, KM, 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, PE, PG, PH, PL, PT, QA, RO, RS, RU, RW, 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.
African Regional Intellectual Property Organization (BW, GH, GM, KE, LR, LS, MW, MZ, NA, RW, SD, SL, SZ, TZ, UG, ZM, ZW)
Eurasian Patent Organization (AM, AZ, BY, KG, KZ, MD, RU, TJ, TM)
European Patent Office (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)
African Intellectual Property Organization (BF, BJ, CF, CG, CI, CM, GA, GN, GQ, GW, ML, MR, NE, SN, TD, TG).
Publication Language: English (EN)
Filing Language: English (EN)