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

Recherche dans les collections de brevets nationales et internationales
World Intellectual Property Organization
Recherche
 
Options de navigation
 
Traduction
 
Options
 
Quoi de neuf
 
Connexion
 
Aide
 
Traduction automatique
1. (WO2011148319) PROCÉDÉ INFORMATISÉ, PROGICIEL ET SYSTÈME POUR L'ANALYSE D'UN FLUX DE COMMANDE DANS UN MODÈLE DE PROCESSUS D'AFFAIRES
Dernières données bibliographiques dont dispose le Bureau international   

N° de publication :    WO/2011/148319    N° de la demande internationale :    PCT/IB2011/052266
Date de publication : 01.12.2011 Date de dépôt international : 25.05.2011
CIB :
G06Q 10/04 (2012.01)
Déposants : INTERNATIONAL BUSINESS MACHINES CORPORATION [US/US]; New Orchard Road Armonk, New York 10504 (US) (Tous Sauf US).
FAVRE, Cedric [CH/CH]; (CH) (US Seulement).
VOELZER, Hagen [DE/CH]; (CH) (US Seulement)
Inventeurs : FAVRE, Cedric; (CH).
VOELZER, Hagen; (CH)
Mandataire : Ragot, Sebastien; IBM Research GmbH IBM Research - Zurich Intellectual Property Law Saeumerstrasse 4 CH-8803 Rueschlikon (CH)
Données relatives à la priorité :
10164396.3 28.05.2010 EP
Titre (EN) COMPUTER-IMPLEMENTED METHOD, COMPUTER PROGRAM PRODUCT AND SYSTEM FOR ANALYZING A CONTROL-FLOW IN A BUSINESS PROCESS MODEL
(FR) PROCÉDÉ INFORMATISÉ, PROGICIEL ET SYSTÈME POUR L'ANALYSE D'UN FLUX DE COMMANDE DANS UN MODÈLE DE PROCESSUS D'AFFAIRES
Abrégé : front page image
(EN)The invention is directed to a new technique to analyze the control-flow, i.e., the workflow graph (100) of a business process model, which is called symbolic 10 execution. Acyclic workflow graphs that may contain inclusive OR-gateways are considered; a symbolic execution for them is defined, which, in embodiments, runs in quadratic time. In particular, this symbolic execution essentially comprises labeling edges of nodes of the graph such that a label ({d, e}) assigned to a first edge (j) comprises a set of one or more edge identifiers (d, e), each identifying a second 15 edge (d, e) that is an outgoing edge of an XOR-split or an IOR-split node in the graph, whereby executing the second edge ensures that the first edge will be executed; Such a scheme may for instance allow to decide for any pair of control- flow edges or tasks of the workflow graph whether they are sometimes, never, or always reached concurrently. This has different applications in finding control-and 20 data-flow errors.
(FR)La présente invention concerne une nouvelle technique pour analyser le flux de commande, c'est-à-dire, le graphe de flux de travaux (100) d'un modèle de processus d'affaires, désigné exécution symbolique. Des graphes acycliques de flux de travaux pouvant contenir des portes OU inclusif sont envisagés; une exécution symbolique est définie pour celles-ci, qui, selon des modes de réalisation, fonctionne en temps quadratique. En particulier, cette exécution symbolique comprend essentiellement l'étiquetage des arêtes de nœuds du graphe de sorte qu'une étiquette ({d, e}) attribuée à une première arête(j) comporte un ensemble d'un ou de plusieurs identifiants d'arête (d, e), chacun identifiant une seconde arête (d, e) qui est une arête sortante d'un nœud de partage OU exclusif ou de partage OU inclusif dans le graphe, l'exécution de la seconde arête assurant l'exécution de la première arête. Un tel schéma peut, par exemple, permettre de décider pour une paire quelconque d'arêtes de flux de commande ou des tâches du flux de travaux si elles sont réalisées parfois, jamais, ou toujours concurremment. Cela présente différentes applications dans la recherche d'erreurs de flux de commande ou de flux de données.
États désignés : 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, RO, RS, RU, 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, SD, SL, SZ, TZ, UG, ZM, ZW)
Office eurasien des brevets (OEAB) (AM, AZ, BY, KG, KZ, MD, 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, ML, MR, NE, SN, TD, TG).
Langue de publication : anglais (EN)
Langue de dépôt : anglais (EN)