Us 8280899

8/13/2019 Us 8280899

1/14

US008280899B2

( 1 2 ) United S t a t e s PatentLo e t a l . US 8 , 2 8 0 , 8 9 9 B2O c t . 2 , 2 0 1 21 0 ) Patent N 0 . :4 5 ) Date o f P a t e n t :

5 4 )7 5 )

ABSTRACTING EVENTS FORDATAMININGI n v e n t o r s : D a v i d L o , J u r o n g W e s t ( S G ) ; Ganesan

R a m a l i n g a m , B a n g a l o r e I N ) ;V e n k a t e sh - P r a s a d R a n g a n a t h ,B a n g a l o r e I N ) ; K a p i l V a s W a n i ,B a n g a l o r e I N )7 3 ) A s s i g n e e : M i c r o s o f t C o r p o r a t i o n , R e d m o n d , WA

( U s )( * ) N o t i c e : S u b j e c t t o a n y d i s c l a i m e r , t h e t e r m o f h i s

p a t e n t i s e x t e n d e d o r a d j u s t e d u n d e r 3 5U . S . C . 1 5 4 ( b ) b y 3 3 6 d a y s .

2 1 ) A p p l . N o . : 1 2 / 5 7 8 , 6 0 3( 2 2 ) F i l e d : O c t . 1 4 , 2 0 0 9( 6 5 ) P r i o r P u b l i c a t i o n Data

US 2 0 1 1 / 0 0 8 7 7 0 0 A1 A p r . 1 4 , 2 0 1 1( 5 1 ) I n t . C l .G06F 7 / 0 0 ( 2 0 0 6 . 0 1 )( 5 2 ) US. l . . . . . . . . . . . . . . . . . . . 707/763; 707/776; 707/999.002( 5 8 ) Field of Classi?cation Search . . . . . . . . . . . . . . . . . . 707/763,

7 0 7 / 7 7 6 , 9 9 9 . 0 0 2S e e a p p l i c a t i on ? l e f o r c o m p l e t e s e a r c h h i s t o r y .References Cited

U . S . PATENT DOCUMENTS5 6 )

5 , 6 1 5 , 3 4 1 A 3 / 1 9 9 76 , 7 6 3 , 3 5 4 B2 7 / 2 0 0 47 , 3 4 6 , 6 0 1 B2 3 / 2 0 0 82003/0204834 A1* 1 0 / 2 0 0 3

2005/0166167 A1* 7 / 2 0 0 52006/0282807 A1* 1 2 / 2 0 0 62009/0055332 A1 2 / 2 0 0 9

A g r a w a l e t a l .HoskenChaudhuri et a l .B a l l et a l . . . . . . . . . . . . . . . . . . . . . . . 717/106I v a n c i c et a l . 7 1 6 / 5Ivancic et a l . . . . . . . . . . . . . . . . . . . . . . 716/5Lee

300\

OTHERPUBLICATIONSLo t a l . 2009 1 6 t h Working o n f e r e n c e on R e v e r s e E n g i n e e r i n g , p p .6 2 - 7 1 *L o e t a l . , M i n i n g Q u a n t i ? e d T e m p o r a l R u l e s : F o r m a l i s m , A l g or i t h m s , a n d E v a l u a t i o n , 2 0 0 9 1 6 Working C o n f e r e n c e o n R e v e r s eE n g i n e r i n g , p p . 6 2 - 7 1 . *A n t u n e s , C l a u d i a , Onto4AR: A ramework o r M i n i n g s s o c i a t i o nR u l e s , J u n . 1 7 , 2 0 0 9 , R e t r i e v e d a t > , p p . 3 7 - 4 8 .H o u t s m a , e t a l . , S e t - O r i e n t e d M i n i n g f o r A s s o c i a t i o n R u l e s i n R e l at i o n a l D a t a b a s e s i , M a r . 6 - 1 0 , 1 9 9 5 , 1 9 9 5 , I E E E , R e t r i e v e d a t , p p . 2 5 - 3 3 .L o , e t a l . , E f ? c i e n t M i n i n g o f t e r a t i v e P a t t e r n s f o r S o f t w a r e S p e c i? c a t i o n D i s c o v e r y , A u g . 1 2 - 1 5 , 2 0 0 7 , P r o c e e d i n g s o f t h e 1 3 t h ACMSIGKDD n t e r n a t i o n a l c o n f e r e n c e on Knowledge d i s c o v e r y a n d d a t am i n i n g , I n t e r n a t i o n a l C o n f e r e n c e o n Knowledge D i s c o v e r y a n d D a t aM i n i n g , R e t r i e v e d a t > , p p . 1 - 1 0 .G a b e l , e t a l . , S y m b o l i c M i n i n g o f T e m p o r a l S p e c i ? c a t i o n s , May1 0 - 1 8 , 2 0 0 8 , P r o c e e d i n g s o f t h e 3 0 t h i n t e r n a t i o n a l c o n f e r e n c e o nS o f t w a r e e n g i n e e r i n g , I n t e r n a t i o n a l C o n f e r e n c e on S o f t w a r e E n g in e e r i n g , R e t r i e v e d a t > , p p . 1 - 1 0 .

C o n t i n u e d )Primary Examiner* heyne Ly

5 7 ) ABSTRACTAn v e n t i s d e s c r i b e d h e r e i n a s b e i n g r e p r e s e n t a b l e by aq u a n t i ? e d a b s t r a c t i o n o f h e e v e n t . The e v e n t i n c l u d e s a t l e a s tone p r e d i c a t e , and t h e a t l e a s t one p r e d i c a t e has a t l e a s t onec o n s t a n t s y m b o l c o r r e s p o n d i n g t h e r e t o . An i n s t a n c e o f t h ec o n s t a n t s y m b o l c o r r e s p o n d i n g to t h e e v e n t i s i d e n t i ? e d , a n dt h e i n s t a n c e o f t h e c o n s t a n t s y m b o l i s r e p l a c e d by a f r e ev a r i a b l e t o o b t a i n an a b s t r a c t e d p r e d i c a t e . T h u s , a q u a n t i ? e da b s t r a c t i o n of h e e v e n t i s composed a s a p a i r : t h e a b s t r a c t e dp r e d i c a t e and a mapping between t h e f r e e v a r i a b l e and a ni n s t a n c e o f t h e c o n s t a n t s y m b o l t h a t c o r r e s p o n d s t o t h e p r e d ic a t e . A a t a m i n i n g a l g o r i t h m i s e x e c u t e d o v e r a b s t r a c t e d ,quanti?ed e v e n t s to a s c e r t a i n a c o r r e l a t i o n between t h e e v e n tand a n o t h e r e v e n t .

2 0 C l a i m s , 6 Drawing S h e e t s

3 1 1FIRST ABSTRACTION

r e t u r n V a 1 u e : v 1 f u n c t i o n I f o p e nEVENT 3042 3 : f o p c n ( i d . t x t )

r e t u m V a | u e : 2 3 f u n c t i o n = f o p e n P a r a m e t e r : i d . t x t 3 0 6 3 0 8 3 1 0

312 314

318320 SECOND ABSTRACTION 3Z2

P a r a m e t e r F i d i x t v19 2 38330 THIRD ABSTRACTION 332

334 f 36i v19 3P a r a m c t c r l - v Z v z a q d i t x l ,

324 326

3 2

8/13/2019 Us 8280899

2/14

US 8 , 2 8 0 , 8 9 9 B2P a g e 2

OTHERPUBLICATIONSS i d d i q u i , e t a l . , D i s c o v e r y o f Q u a n t i ? e d H i e r a r c h i c a l P r o d u c t i o nR u l e s f r o m L a r g e S e t o f D i s c o v e r e d R u l e s , A u g . 1 0 , 2 0 0 7 , W o r l dAcademy o f S c i e n c e , E n g i n e e r i n g a n d T e c h n o l o g y , R e t r i e v e d a t > , p p . 8 5 78 6 3 . D e b u g g i n g T o o l s f o r W i n d o w s , 2 0 0 9 , M i c r o s o f t C o r p o r a t i o n ,R e t r i e v e d at > , p p . 1 - 2 . S t a t i c D r i v e r V e r i ? e r , 2 0 0 9 , M i c r o s o f t C o r p o r a t i o n , R e t r i e v e da t > ,p p . 1 - 2 .Windows D r i v e r D e v e l o p m e n t , Mon, A u g . 1 7 , 2 0 0 9 , R e t r i e v e d a t > , p p . 1 - 3 .A g r a w a l , e t a l . , F a s t A l g o r i t h m s f o r M i n i n g A s s o c i a t i o n R u l e s ,P r o c e e d i n g s o f t h e 2 0 t h VLDB o n f e r e n c e , R e t r i e v e d a t > , p p . 1 - 1 3 .A l u r , e t a l . , S y n t h e s i s o f n t e r f a c e S p e c i ? c a t i o n s f o r J a v a C l a s s e s ,R e t r i e v e d at > , p p . 1 - 1 3 .C h e n , e t a l . , M i n i n g P a r a m e t r i c S t a t e - B a s e d S p e c i ? c a t i o n s f r o mE x e c u t i o n s , R e t r i e v e d a t > , p p . 1 - 11 .S o u s a , e t a l . , D e t e c t i n g I m p l i e d S c e n a r i o s f r o m E x e c u t i o n T r a c e s ,R e t r i e v e d a t < < h t t p : / / n a b o r . m e n d o n c a . g o o g l e p a g e s . c o m /w c r e 2 0 0 7 i ? n a l . p d f > > , p p . 1 - 1 0 .

E r n s t , e t a 1 D y n a m i c a l l y D i s c o v e r i n g L i k e l y Program n v a r i a n t s t oS u p p o r t P r o g r a m E v o l u t i o n , IEEE T r a n s a c t i o n s o n S o f t w a r e E n g in e e r i n g , v o l . 2 7 , N o . 2 , F e b . 2 0 0 1 , R e t r i e v e d a t > , p p .9 9 - 1 2 3 .G a b e l , e t a l . , J a v e r t : F u l l y A u t o m a t ic M i n i n g o f G e n e r a l T e m p o r a lP r o p e r t i e s f r o m Dynamic T r a c e s , R e t r i e v e d a t > , p p . 1 - 1 1 .L o r e n Z o l i , e t a l . , A u t o m a t i c G e n e r a t i o n o f So f t w a r e B e h a v i o r a lM o d e l s , R e t r i e v e d t > p . 1 - 1 0.R a m a n a t h a n , e t a l . , S t a t i c S p e c i ? c a t i o n I n f e r e n c e U s i n g P r e d i c a t eM i n i n g , R e t r i e v e d a t < < h t t p : / / w w w . c s . p u r d u e . e d u / h o m e s / s u r e s h /p a p e r s / p l d i 0 7 . p d f > > , p p . 1 - 1 2 .S a f y a l l a h , e t a l . , D y n a m i c A n a l y s i s o f S o f t w a r e S y s t e m s U s i n gE x e c u t i o n P a t t e r n M i n i n g , 1 4 t h IEEE I n t e r n a t i o n a l Conference onP r o g r a m C o m p r e h e n s i o n , 2 0 0 6 , R e t r i e v e d a t > , p p . 1 - 6 .Y a n g , e t a l . , D y n a m i c a l l y n f e r r i n g T e m p o r a l r o p e r t i e s , R e t r i e v e da t , p p . 1 0 .A g r a w a l , e t a l . , M i n i n g S e q u e n t i a l P a t t e r n s , R e t r i e v e d t > , p p . 1 - 1 2 .* c i t e d by examiner

8/13/2019 Us 8280899

3/14

US. P a tent O c t . 2 , 2 0 1 2 S h e e t 1 o f 6 US , 2 8 0 , 8 9 9 B2

r001 1 2f ACCESSORDATAREPOSITORY * COMPONENT

1 0 4 \ AFIRST DATA RECORD 1 1 4v /_106 108 -\ FIRST EVENT [- 110 REPREsENTOR

CONSTANT COMPONENTPREDICATE SYMBOL A l 1 61 2 2 _\ v /_

SECOND DATA RECORD IDENTIFIERCOMPONENT124 ABSTRACTION1 2 ( 1 2 s r 1 : f1 8F R E E VAR. MAPPING MAPPER

COMPONENTki 1 2 0 v /_ GENERATOR

COMPONENT

FIG. 1

8/13/2019 Us 8280899

4/14

US. P a tent 0a. , 2 0 1 2 S h e e t 2 o f 6 US , 2 8 0 , 8 9 9 B2

I 0 2

0 0V1 0 xDATAREPOSITORY1 2 2 \ SECOND DATARECORD124 _ DATA INING COMPONENT126 BSTRACTION /_ 12g > 7 DATA ININGFREE VAR. MAPPING ALGORITHMoo /212N T I - I DATA RECORDABSTRACTION [- 2 0 8200\FREE AR. MAPPING

FIG. 2

8/13/2019 Us 8280899

5/14

8/13/2019 Us 8280899

6/14


402400\

/- 0 4ACCESSA IRST DATARECORD IN ADATA REPOSITORY

i 406GENERATE A Q U A N T I F I E D , /ABSTRACTED EVENT THAT S

REPRESENTATIVE OFAN EVENT NTHE IRST DATARECORD

l 408C A U S I N G THE Q U A N T I F I E D , /ABSTRACTED EVENT TOBE STOREDASA SECOND DATA RECORD N THE

DATAREPOSITORY

l 410EXECUTING A DATA MINING /

ALGORITHM OVER THE SECOND DATARECORD AND AT LEAST ONE OTHERDATA RECORD TODETERMINEA

CORRELATION BETWEENTHE SECONDDATA RECORD AND THE ATLEAST

ONE OTHERDATARECORD

i 4 2OUTPUT AN INDICATION O F THE /CORRELATION

414

FIG. 4

8/13/2019 Us 8280899

7/14


502500\504

ACCESSA IRST DATA RECORD N A DATAREPOSITORYI

IDENTIFY AT LEAST ONE INSTANCE OFA CONSTANTSYMBOL CORRESPONDING TOA R E DI CAT E IN ANEVENT INCLUDED IN THE IRST DATARECORDIREPRESENTING THE CONSTANT SYMBOL N THE

PREDICATE WITHAFREEVARIABLEIGENERATE A MAPPINGBETWEEN THE FREEVARIABLEAND THE INSTAN CE OFTHE CONSTANT SYMBOL

IGENERATEA SECONDDATARECORD THAT

COMPRISESTHE FREE VARIABLE AND THE MAPPING

IEXECUTE A DATAMININGALGORITHMOVERTHESECOND DATA RECORDAND AT LEAST ONE OTHER

DATARECORD TO DETERMINEA TEMPORALCORRELATIONBETWEEN THE SECOND DATARECORD

AND THEATLEAST ONE OTHERDATA RECORDI / 5 1 6OUTPUTAN NDICATION OFTHE CORRELATION

506

508

5 1 0

512

514

518

FIG. 5

8/13/2019 Us 8280899

8/14

US. P a tent 0a. , 2 0 1 2 S h e e t 6 0 f 6 US , 2 8 0 , 8 9 9 B2

0 0

6 0 2 -\ 6 0 4 -\PROCESSOR MEMORY

T 6 0 6 \ 1I N P U T UTPUTINTERFACE INTERFACE

6 1 0 -/ 6 1 2 -/608 DATA STORE

FIG. 6

8/13/2019 Us 8280899

9/14

US 8 , 2 8 0 , 8 9 9 B21

ABSTRACTING EVENTS FOR DATA MININGBACKGROUND

One o f t h e m a j o r t h e m e s i n d a t a m i n i n g i s t h e e x t r a c t i o n o fp a t t e r n s e x i s t e n t i n a d a t a s e t . F o r e x a m p l e , d a t a m i n i n ga l g o r i t h m s h a v e b e e n c o m m i s s i o n e d t o r e c o g n i z e c o r r e l at i o n s i n p u r c h a s e p a t t e r n s o f c o n s u m e r s . F o r i n s t a n c e , a d a t amining a l g o r i t h m c a n be employed t o a s c e r t a i n t h a t a n i n d iv i d u a l W i l l g e n e r a l l y p u r c h a s e t o o t h p a s t e i f t h e i n d i v i d u a la l s o p u r c h a s e d a t o o t h b r u s h . I n a n o t h e r e x a m p l e , a d a t a mini n g a l g o r i t h m c a n b e c o m m i s s i o n e d t o i n f e r s e q u e n t i a l p a tt e r n s i n d a t a . I f a n i n d i v i d u a l p u r c h a s e s a s h i r t , f o r i n s t a n c e ,t h e d a t a m i n i n g a l g o r i t h m c a n i n f e r t h a t t h e i n d i v i d u a l W i l ll i k e l y p u r c h a s e t r o u s e r s a f t e r p u r c h a s i n g t h e s h i r t . Such c o rr e l a t i o n s i n t r a n s a c t i o n s can be u s e f u l i n c o n n e c t i o n Withp r o d u c t p l a c e m e n t , m a r k e t i n g , e t c .

C o n v e n t i o n a l l y , h o W e v e r , d a t a m i n i n g t e c h n i q u e s h a v e n o tb e e n W i d e l y u t i l i Z e d i n c o n n e c t i o n W i t h s o f t W a r e v e r i ? c a t i o nt o o l s . F o r e x a m p l e , g i v e n a program and documented r u l e s /c o n s t r a i n t s i m p o s e d by d e v e l o p e r s on t h e p r o g r a m , s o f t W a r ev e r i ? c a t i o n t o o l s can be u t i l i Z e d t o v e r i f y t h a t t h e programs a t i s ? e s t h e r u l e s / o n s t r a i n t s i m p o s e d b y t h e d e v e l o p e r s . F o ri n s t a n c e , s o f t W a r e v e r i ? c a t i o n t o o l s c a n be employed t oa s c e r t a i n t h a t a program t h a t u s e s a l i b r a r y / a p p l i c a t i o n programming i n t e r f a c e d o e s s o in a c c o r d a n c e W i t h r u l e s / c o ns t r a i n t s o f h e l i b r a r y / a p p l i c a t i o n p r o g r a m m i n g n t e r f a c e . T h eu s e f u l n e s s o f s u c h v e r i ? c a t i o n t o o l s , h o W e v e r , i s l i m i t e d d u eto l a c k of m a c h i n e - r e a d a b l e r u l e s / c o n s t r a i n t s f o r p r o g r a m s .F o r i n s t a n c e , W i t h r e s p e c t t o l e g a c y s o f t W a r e , d e v e l o p e r tumover can r e s u l t i n t h e l o s s of a s u b s t a n t i a l amount of knoWle d g e a b o u t t h e i n t e r n a l W o r k i n g s o f t h e s o f t W a r e t h a t i si n g r a i n e d in t h e memory o f d e v e l o p e r s b u t i s n o t W r i t t e n i n as p e c i ? c a t i o n p e r t a i n i n g t o t h e s o f t W a r e . W h i l e d o c u m e n t at i o n m a y u r b some o f s u c h l o s s e s , o f t e n t i m e s i n t e r n a l d e t a i l sof s o f t W a r e a r e c o n v e n t i o n a l l y n o t documented.

I n a n o t h e r e x a m p l e , a l t e r a t i o n t o undocumented b u tobserved b e h a v i o r s of s o f t W a r e can cause c l i e n t s of h e s o f tWare t o f a i l a s such softWare e v o l v e s . These f a i l u r e s can bea l l e v i a t e d i f r u l e s / o n s t r a i n t s of h e s o f t W a r e a r e a v a il a b l e t od e v e l o p e r s a t t h e t i m e t h e y make m o d i ? c a t i o n s to s u c h s o f tWare.

SUMMARYThe f o l l o W i n g i s a b r i e f summary o f s u b j e c t m a t t e r t h a t i s

d e s c r i b e d i n g r e a t e r d e t a i l h e r e i n . T h i s summary i s n o ti n t e n d e d t o be l i m i t i n g a s to t h e s c o p e of h e c l a i m s .

D e s c r i b e d h e r e i n a r e v a r i o u s t e c h n o l o g i e s p e r t a i n i n g toa b s t r a c t i n g o b s e r v e d e v e n t s t o g e n e r a t e d q u a n t i ? e d a b s t r a ct i o n s of h e ob e r v e d e v e n t s . I n an example, an ob e r v e d e v e n tm a y be a t r a n s a c t i o n t h a t i n c l u d e s a p l u r a l i t y o f p u r c h a s e s o fv a r i o u s i t e m s . I n a n o t h e r e x a m p l e , an e v e n t m a y p e r t a i n t oe x e c u t i o n o f a p a r t i c u l a r p o r t i o n o f a s o f t W a r e program e . g . ,a p o r t i o n of a t r a c e ) . An b s e r v e d e v e n t m a y i n c l u d e a p l ur a l i t y of What s r e f e r r e d t o h e r e i n a s p r e d i c a t e s . I n t h e c a s e ofa t r a n s a c t i o n a l e v e n t , a p r e d i c a t e may be an a t t r i b u t e / v a l u ep a i r , Which can be an i n d i c a t i o n t h a t an a t t r i b u t e has a c e r t a i nv a l u e , such a s a c o l o r of a s h i r t i s r e d , a manufacturer of t h es h i r t i s a p a r t i c u l a r m a n u f a c t u r e r , e t c . I n t h e c a s e o f s o f t W a r e ,a p r e d i c a t e may be an i n d i c a t i o n t h a t a r e t u r n value i s ap a r t i c u l a r number, a n i n d i c a t i o n t h a t a n i n v o k e d f u n c t i o n h a sa p a r t i c u l a r name, an i n d i c a t i o n t h a t a parameter a s a s p e c i ? cv a l u e , e t c .At l e a s t one o f t h e p r e d i c a t e s c o r r e s p o n d i n g t o t h e e v e n tm a y h a v e a c o n s t a n t symbol c o r r e s p o n d i n g t h e r e t o . I n t h ee x a m p l e p e r t a i n i n g t o t h e s h i r t , t h e c o n s t a n t s y m b o l m a y e a

20

25

30

35

4 0

45

50

55

60

6 5

2p a r t i c u l a r c o l o r , s u c h a s r e d , g r e e n o r b l u e . I n t h e s o f t W a r ee x a m p l e , t h e c o n s t a n t symbol m a y b e a p a r t i c u l a r v a l u e o f ap a r a m e t e r . W h i l e t h e e x a m p l e s a b o v e h a v e d e s c r i b e d p r e d ic a t e s a s b e i n g a t o m i c i n n a t u r e , i t i s t o be u n d e r s t o o d t h a t t h ep r e d i c a t e s may b e c o n j u n c t i v e s u c h t h a t a p r e d i c a t e may b econnected by n a n or an or.

Once t h e p l u r a l i t y o f p r e d i c a t e s h a v e b e e n i d e n t i ? e d , as u b s e t o f s u c h p r e d i c a t e s c a n b e s e l e c t e d from h e p l u r a l i t y o fp r e d i c a t e s. T h e r e a f t er , a s e t o f i n s t a n c e s o f c o n s t a n t s y m b o l st h a t c o r r e s p o n d t o t h e s u b s e t o f p r e d i c a t e s c a n b e i d e n t i ? e d .T h u s , f o r i n s t a n c e , i f a p r e d i c a t e i s i n d i c a t i v e o f a s i Z e o f t h es h i r t , t h e c o n s t a n t s y m b o l m a y b e a p a r t i c u l a r s i Z e e . g . , 4 0l o n g ) . T h e r e a f t e r , f o r e a c h i n s t a n c e o f t h e c o n s t a n t s y m b o l si d e n t i ? e d , a mapping can be g e n e r a t e d from a f r e e v a r i a b l et h a t i s c h o s e n t o b e u s e d i n a p a r t i c u l a r p r e d i c a t e e . g . , t or e p r e s e n t t h e i n s t a n c e o f t h e c o n s t a n t s y m b o l ) t o t h e i n s t a n c eo f t h e c o n s t a n t s y m b o l i n s u c h p r e d i c a t e . Such mapping c a nbe added t o an o v e r a l l mapping d a t a s e t t h a t i n c l u d e s a l lm a p p i n g s f r o m f r e e v a r i a b l e s c h o s e n to b e u s e d i n p r e d i c a t e st o c o n s t a n t s y m b o l s c o r r e s p o n d i n g o t h e s u b s e t o f r e d i c a t e s .

As i n d i c a te d a b o v e , f r e e v a r i a b l e s can be chosen o be usedi n p r e d i c a t e s . F o r e a c h o f t h e p r e d i c a t e s , a n a b s t r a c t e d p r e d ic a t e can be c o n s t r u c t e d by r e p l a c i n g t h e i n s t a n c e of h e cons t a n t s y m b o l W i t h a f r e e v a r i a b l e , s u c h h a t t h e mapping i v e nt h e f r e e v a r i a b l e p o i n t s t o t h e i n s t a n c e o f h e c o n s t a n t s y m b o l .The r e d i c a t e s c o r r e s p o n d i n g t o t h e e v e n t m a y be e w r i t t e n a sa b s t r a c t e d p r e d i c a t e s b y r e p l a c i n g e a c h p r e d i c a t e i n t h e s u bs e t o f p r e d i c a t e s W i t h t s c o r r e s p o n d i n g a b s t r a c t ed p r e d i c a t ea s d e s c r i b e d a b o v e . The a b s t r a c t e d p r e d i c a t e and h e mappingbetWeen t h e s u b s e t o f a b s t r a c t e d v a r i a b l e s and t h e i n s t a n c e sof t h e c o n s t a n t symbols can be composed a s a p a i r t o cons t r u c t a quanti?ed a b s t r a c t i o n of h e e v e n t . T h i s p r o c e s s canbe u n d e r t a k e n f o r a p l u r a l i t y of v e n t s .

Once a p l u r a l i t y of q u a n t i ? e d a b s t r a c t e d e v e n t s a r e g e n e ra t e d , a d a t a mining a l g o r i t h m can be e x e c u t e d o v e r s u c hq u a n t i ? e d a b s t r a c t e d e v e n t s . T o o b t a i n di ffe r e n t r e s u l t s , d i ff e r e n t p r e d i c a t e s c a n b e s e l e c t e d t o be i n t h e s u b s e t o f p r e d ic a t e s f o r v a r i o u s e v e n t s . E x e c u t i n g a d a t a m i n i n g a l g o r i t h mover such a b s t r a c t e d e v e n t s can alloW f o r i n f e r e n c e of r i c hp a t t e r n s i n a d a t a s e t e . g . , c o m p l e x / r i c h r u l e s / c o n s t r a i n t sp e r t a i n i n g t o a s o f t W a r e p r o g r a m ) .

O t h e r a s p e c t s W i l l b e a p p r e c i a t e d upon e a d i n g a n d u n d e rs t a n d i n g t h e a t t a c h e d ? g u r e s a n d d e s c r i p t i o n .

BRIEF DESCRIPTIONOFTHE DRAWINGSF I G . 1 i s a f u n c t i o n a l b l o c k diagram o f an example s y s t e m

t h a t f a c i l i t a t e s a b s t r a c t i n g e v e n t s i n a d a t a s e t i n p r e p a r a t i o nf o r p e r f o r m i n g d a t a mining o v e r s u c h d a t a s e t .

F I G . 2 i s a f u n c t i o n a l b l o c k diagram o f an example s y s t e mt h a t f a c i l i t a t e s e x e c u t i n g a d a t a m i n i n g a l g o r i t h m o v e ra b s t r a c t e d e v e n t s .

F I G . 3 i s d i a g r a m o f e x a m p l e q u a n t i ? e d a b s t r a c t i o n s o f a ne v e n t .

F I G . 4 i s a How diagram t h a t i l l u s t r a t e s an example methodology f o r a b s t r a c t i n g e v e n t s i n a d a t a s e t and e x e c u t i n g ad a t a m i n i n g a l g o r i t h m o v e r s u c h a b s t r a c t e d e v e n t s .

F I G . 5 i s a How diagram t h a t i l l u s t r a t e s an example metho d o l o g y f o r e x e c u t i n g a d a t a m i n i n g a l g o r i t h m o v e ra b s t r a c t e d e v e n t s .

F I G . 6 i s a n e x a m p l e c o m p u t i n g s y s t e m .DETAILED DESCRIPTION

V a r i o u s t e c h n o l o g i e s p e r t a i n i n g t o a b s t r a c t i n g e v e n t s i n ad a t a s e t W i l l noW be d e s c r i b e d W i t h r e f e r e n c e t o t h e d r a W i n g s ,Where l i k e r e f e r e n c e n u m e r a l s r e p r e s e n t l i k e e l e m e n t s

8/13/2019 Us 8280899

10/14

US 8 , 2 8 0 , 8 9 9 B23

t h r o u g h o u t . I n a d d i t i o n , s e v e r a l f u n c t i o n a l b l o c k d i a g r a m s o fexample s y s t e m s a r e i l l u s t r a t e d and d e s c r i b e d h e r e i n f o r p u rp o s e s o f e x p l a n a t i o n ; h o W e v e r , i t i s t o b e u n d e r s t o o d t h a tf u n c t i o n a l i t y t h a t i s d e s c r i b e d a s b e i n g c a r r i e d o u t by c e r t a i ns y s t e m c o m p o n e n t s may b e p e r f o r m e d b y m u l t i p l e c o m p on e n t s . S i m i l a r l y , f o r i n s t a n c e , a component may e c o n ? g u r e dt o p e r f o r m f u n c t i o n a l i t y t h a t i s d e s c r i b e d a s b e i n g c a r r i e d o u tb y m u l t i p l e c o m p o n e n t s .

With r e f e r e n c e t o F I G . 1 , a n example s y s t e m 1 0 0 t h a tf a c i l i t a t e s a b s t r a c t i n g e v e n t s i n a d a t a s e t i s i l l u s t r a t e d . A sused h e r e i n , an e v e n t can r e f e r t o a t u p l e o f p r i m i t i v e v a l u e s .T h u s , f o r i n s t a n c e , an e v e n t m a y be t r a n s a c t i on a l i n n a t u r e ,such a s an i n d i v i d u a l p u r c h a s i n g a s h i r t , Wherein h e s h i r t h a ss e v e r a l a t t r i b u t e s c o r r e s p o n d i n g t h e r e t o c o l o r , s i Z e , manuf a c t u r e r ) and each of such a t t r i b u t e s can have a v a l u e c o r r es p o n d i n g t h e r e t o . I n a n o t h e r e x a m p l e , an e v e n t m a y r e f e r t oe x e c u t i o n o f a p a r t i c u l a r p o r t i o n o f a s o f t W a r e p r o g r a m ,Wherein s u c h p o r t i o n o f h e s o f t W a r e program m a y n c l u d e ani n p u t v a l u e , a r e t u r n v a l u e , a f u n c t i o n name, a f u n c t i o n t y p e ,e t c . T h u s , a p r i m i t i v e v a l u e c o r r e s p o n d i n g t o an e v e n t m a y bea s t r i n g , an i n t e g e r , a ? o a t i n g p o i n t v a l u e , o r o t h e r s u i t a b l ev a l u e . O t h e r t y p e s o f e v e n t s W i l l b e r e c o g n i z e d by o n e o fo r d i n a r y s k i l l i n t h e a r t .The s y s t e m 1 0 0 c o m p r i s e s a d a t a r e p o s i t o r y 1 0 2 . The d a t ar e p o s i t o r y 102 can e t a i n a ? r s t d a t a r e c o r d 104 t h a t i s i n anys u i t a b l e f o r m a t . The r s t d a t a r e c o r d 104 can a l s o be e f e r r e dto h e r e i n a s a raW d a t a r e c o r d , and may comprise a s i n g l ee v e n t o r m u l t i p l e e v e n t s . The ? r s t d a t a record 104 can comp r i s e a ? r s t e v e n t 1 0 6 . The ? r s t e v e n t 106 c o m p r i s e s a t l e a s tone r e d i c a t e 1 0 8 , Which s a p r e d i c a t e o v e r t h e e v e n t 1 0 6 . I nan e x a m p l e , Where t h e ? r s t e v e n t 106 i s t r a n s a c t i o n a l i nn a t u r e , t h e p r e d i c a t e 1 0 8 c a n r e p r e s e n t a p a r t i c u l a r a t t r i b u t e /v a l u e p a i r c o r r e s p o n d i n g t o t h e ? r s t e v e n t 1 0 6 . I n a mored e t a i l e d e x a m p l e , i f t h e ? r s t e v e n t 106 i s t h e p u r c h a s e o f as h i r t , t h e p r e d i c a t e 1 0 8 m a y b e a n a t t r i b u t e / v a l u e p a i r t h a t i si n d i c a t i v e of an i d e n t i t y of a manufacturer of t h e s h i r t . I na n o t h e r e x a m p l e , t h e p r e d i c a t e 1 0 8 m a y r e p r e s e n t a na t t r i b u t e / v a l u e p a i r t h a t i s i n d i c a t i v e o f a c o l o r o f t h e s h i r t , as i Z e o f t h e s h i r t , o r o t h e r s u i t a b l e a t t r i b u t e / v a l u e p a i r s e . g . ,a t t r i b u t e i s c o l o r o r i Z e , and a l u e i s r e d o r a r g e , r e s p e c t i v e l y ,and t h e p r e d i c a t e s i n d i c a t e t h a t t h e c o l o r o f t h e s h i r t i s r e d o rt h e s i Z e o f t h e s h i r t i s l a r g e ) .

I n a n o t he r e x a m p l e , a s i n d i c a t e d a b o v e , t h e ? r s t e v e n t 106can r e p r e s e n t e x e c u t i o n of a p a r t i c u l a r p o r t i o n of a s o f t W a r ep r o g r a m . I n s u c h a c a s e , f o r i n s t a n c e , t h e p r e d i c a t e 108 m a ybe a name o f a s p e c i ? c p r o c e d u r e , Wherein a r a m e t e r v a l u e sc o r r e s p o n d i n g t o t h e p r o c e d u r e may h a v e p a r t i c u l a r c o ns t r a i n t s c o r r e s p o n d i n g t h e r e t o . T h u s , t h e p r e d i c a t e 1 0 8 c a nmatch c a l l s t o a p r o c e d u r e With a c e r t a i n parameter v a l u e .

The r s t e v e n t 106 can f u r t h e r comprise a c o n s t a n t symbol1 1 0 t h a t c o r r e s p o n d s t o t h e p r e d i c a t e 1 0 8 e . g . , t h e p r e d i c a t e108 m a y i n c l u d e a c o n s t an t s y m b o l ) . The c o n s t a n t symbol110 i s a symbol c o r r e s p o n d i n g t o t h e a t l e a s t one p r e d i c a t e1 0 8 t h a t i s n o t s u b j e c t t o a l t e r a t i o n . T h u s , t h e c o n s t a n t s y m b o l1 1 0 m a y b e a p a r t i c u l a r v a l u e , m a y b e a p a r t i c u l a r s t r i n g ,l e t t e r , e t c . R e t u r n i n g t o t h e t r a n s a c t i o n e x a m p l e , t h e p r e d i c a t e108 c a n r e p r e s e n t s i Z e o f t h e s h i r t , and t h e c o n s t a n t symbol1 1 0 c a n b e t h e p a r t i c u l a r s i Z e e . g . , 4 0 ) . I n t h e e x a m p l e W h e r et h e ? r s t e v e n t 106 c o r r e s p o n d s t o e x e c u t i o n o f t h e s o f t W a r ep r o g r a m , t h e c o n s t a n t symbol 110 m a y be a p a r t i c u l a r r e t u r nv a l u e , a p a r t i c u l a r p a r a m e t e r v a l u e , o r o t h e r c o n s t a n t s y m b o l .

The system 100 a l s o i n c l u d e s an a c c e s s o r component 112t h a t a c c e s s e s t h e d a t a r e p o s i t o r y 102 and r e t r i e v e s t h e ? r s td a t a r e c o r d 1 0 4 from h e d a t a r e p o s i t o r y 1 0 2 . F o r i n s t a n c e , t h ed a t a r e p o s i t o r y 102 may e i n c l u d e d i n a c o m p u t e r , such a s ap e r s o n a l c o m p u t e r , a s e r v e r computing d e v i c e , o r o t h e r s u i ta b l e c o m p u t i n g d e v i c e . A d d i t i o n a l l y , a s i n d i c a t e d a b o v e , t h e

20

25

30

35

4 0

45

50

55

60

6 5

4? r s t d a t a r e c o r d 1 0 4 c o m p r i s e s t h e ? r s t e v e n t 1 0 6 , Which h a st h e a t l e a s t o n e p r e d i c a t e 1 0 8 c o r r e s p o n d i n g t h e r e t o , and t h ea t l e a s t one r e d i c a t e 108 h a s t h e c o n s t a n t symbol 110 c o r r es p o n d i n g t h e r e t o .A e p r e s e n t o r component 1 1 4 i s in communication W i t ht h e a c c e s s o r component 1 1 2 . The e p r e s e n t o r component 1 1 4u t i l i Z e s a f r e e v a r i a b l e i n t h e p r e d i c a t e 108 t o a b s t r a c t s u c hp r e d i c a te 1 0 8 . T h u s , f o r e x a m p l e , i f t h e p r e d i c a t e 1 0 8 i sr e p r e s e n t a t i v e o f a m a n u f a c t u r e r o f t h e s h i r t , t h e r e p r e s e n t o rcomponent 114 can t i l i Z e a f r e e v a r i a b l e t o i n d i c a t e t h a t t h em a n u f a c t u r e r o f t h e s h i r t i s t h e va r i a b l e x . I n a n o t h e re x a m p l e , i f t h e p r e d i c a t e 1 0 8 r e p r e s e n t s a r e t u r n v a l u e , t h er e p r e s e n t o r component 114 can use a f r e e v a r i a b l e V 1 t o i n d ic a t e t h a t t h e r e t u r n v a l u e i s v 1 .An i d e n t i ? e r component 116 can i d e n t i f y a t l e a s t one

i n s t a n c e o f h e c o n s t a n t symbol 110 i n c l u d e d in t h e ? r s t e v e n t1 0 6 . F o r e x a m p l e , in c o n n e c t i o n W i t h a s o f t W a r e p r o g r a m ,s e v e r a l i n s t a n c e s of a c o n s t a n t symbol m a y be e x i s t e n t W i t hr e s p e c t t o a p a r t i c u l a r p o r t i o n o f t h e s o f t W a r e p r o g r a m . Thei d e n t i ? e r component 1 1 6 c a n i d e n t i f y s u c h i n s t a n c e s o f t h ec o n s t a n t symbol 1 1 0 t h a t c o r r e s p o n d s t o t h e ? r s t e v e n t 1 0 6 .

The s y s t e m 100 f u r t h e r i n c l u d e s a mapper component 118t h a t g e n e r a t e s a mapping betWeen t h e a t l e a s t one f r e e v a r ia b l e used i n t h e p r e d i c a t e 108 and t h e a t l e a s t one i n s t a n c e o ft h e c o n s t a n t s y m b o l 1 1 0 i d e n t i ? e d b y t h e i d e n t i ? e r compon e n t 1 1 6 . C o n s i d e r i n g i n s t a n c e s o f o n s t a n t s y m b o l s ( i n s t e a dof c o n s t a n t s y m b o l s ) a l l o W s d i f f e r e n t i n s t a n c e s of t h e cons t a n t symbol 110 to be mapped o d i f f e r e n t f r e e v a r i a b l e s i n asame a b s t r a c t i o n . Example mappings b e t W e e n f r e e v a r i a b l e sand i n s t a n c e s o f c o n s t a n t s y m b o l s 1 1 0 a r e p r o v i d e d b e l o W .A e n e r a t o r component 120 c a n be in communication W i t h

t h e mapper c o m p o n e n t 1 1 8 . T h e g e n e r a t o r c o m p o n e n t 1 2 0can be con?gured t o g e n e r a t e a second d a t a r e c o r d 122 andc a u s e such second d a t a r e c o r d 122 t o be s t o r e d i n t h e d a t ar e p o s i t o r y 1 0 2 . C o n t e n t s o f t h e s e c o n d d a t a r e c o r d 1 2 2i n c l u d e an a b s t r a c t i o n 124 of h e ? r s t e v e n t 1 0 6 , Wherein t h ea b s t r a c t i o n 124 i s a q u a n t i ? e d a b s t r a c t i o n o f t h e ? r s t e v e n t1 0 6 . The a b s t r a c t i o n 1 0 4 g e n e r a t e d b y t h e g e n e r a t o r compon e n t 120 i n c l u d e s a f r e e v a r i a b l e 126 used n t h e p r e d i c a t e 108and a mapping 128 betWeen t h e f r e e v a r i a b l e 126 and t h ei n s t a n c e o f t h e c o n s t a n t s y m b o l 1 1 0 i d e n t i ? e d by t h e i d e n t i? e r component 1 1 6 .

The d e s c r i p t i o n o f t h e s y s t e m 1 0 0 a b o v e d e s c r i b e s cons t r u c t i o n o f a s i n g l e a b s t r a c t i o n 124 of h e ? r s t e v e n t 1 0 6 . I t i st o be u n d e r s t o o d t h a t m u l t i p l e a b s t r a c t i o n s o f t h e ? r s t e v e n t1 0 6 c a n b e g e n e r a t e d i f t h e r e a r e m u l t i p l e p r e d i c a t e s t h a tc o r r e s p o n d to t h e ? r s t e v e n t 1 0 6 a n d / r f p r e d i c a t e s c o m p r i s em u l t i p l e i n s t a n c e s o f c o n s t a n t s y m b o l s . F o r i n s t a n c e , i f t h e? r s t e v e n t 1 0 6 h a s a p l u r a l i t y o f p r e d i c a t e s c o r r e s p o n d i n gt h e r e t o , t h e a b s t r a c t i o n 1 2 4 m a y i n c l u d e t h e f r e e v a r i a b l e 1 2 6t h a t c o r r e s p o n d s t o o n e o f s u c h p r e d i c a t e s a n d t h e mapping128 t h a t map s t h e f r e e v a r i a b l e 126 t o t h e i n s t a n c e of t h ec o n s t a n t s y m b o l c o r r e s p o n d i n g t o t h e p r e d i c a t e 1 0 8 . Ther e m a i n d e r o f h e a b s t r a c t i o n 124 m a y be a n o t h e r f r e e v a r i a b l et h a t i s used i n a d i f f e r e n t p r e d i c a t e and i n s t a n c e s o f c o n s t a n ts y m b o l s t h a t c o r r e s p o n d o t h e d i f f e r e n t p r e d i c a t e . T h u s , a n ys u i t a b l e c o m b i n a t i o n o f r e d i c a t e s c a n b e a s s i g n e d f r e e v a r ia b l e s , a n d m a p p i n g s c a n b e g e n e r a t e d b e t W e e n t h e f r e e v a r ia b l e s a n d i n s t a n c e s o f c o n s t a n t s y m b o l s c o r r e s p o n d i n gt h e r e t o . T h e r e f o r e , a s i n g l e e v e n t m a y h a v e m u l t i p l e a b t r a ct i o n s r e l a t e d t h e r e t o .

R e f e r r i n g noW t o F I G . 2 , an example s y s t e m 200 t h a tf a c i l i t a t e s e x e c u t i n g a d a t a m i n i n g a l g o r i t h m o v e r q u a n t i ? e da b s t r a c t i o n s of e v e n t s i s i l l u s t r a t e d . The system 200 omp r i s e s t h e d a t a r e p o s i t o r y 1 0 2 t h a t i n c l u d e s t h e s e c o n d d a t ar e c o r d 1 2 2 , Which o m p r i s e s a r e p r e s e n t a t i o n o f h e ? r s t e v e n t1 0 6 i n t h e ? r s t d a t a r e c o r d 1 0 4 ( F I G . 1 ) . T h a t s , t h e s e c o n d

8/13/2019 Us 8280899

11/14

US 8 , 2 8 0 , 8 9 9 B25

d a t a r e c o r d 1 2 2 c o m p r i s e s t h e a b s t r a c t i o n 1 2 4 o f t h e ? r s te v e n t 1 0 6 , Wherein t h e a b s t r a c t i o n 124 i n c l u d e s t h e a t l e a s tone f r e e v a r i a b l e 1 2 6 t h a t i n c l u d e d i n t h e p r e d i c a t e 1 0 8 , andt h e mapping 1 2 8 betWeen t h e f r e e v a r i a b l e 126 and t l e a s tone i n s t a n c e o f t h e c o n s t a n t symbol 1 1 0 . The d a t a r e p o s i t o r y102 a l s o i n c l u d e s an n t h d a t a r e c o r d 2 0 2 , Which i s a r e p r es e n t a t i o n o f a n o t h e r e v e n t i n c l u d e d in t h e d a t a r e p o s i t o r y 1 0 2 .The n t h d a t a r e c o r d 202 i n c l u d e s an a b s t r a c t i o n 204 t h a t i s aq u a n t i ? e d a b s t r a c t i o n o f t l e a s t one o t h e r e v e n t r e p r e s e n t e di n t h e d a t a r e p o s i t o r y 1 0 2 . The a b s t r a c t i o n 204 i n c l u d e s a f r e ev a r i a b l e 206 t h a t i s i n c l u d e d in a p r e d i c a t e t h a t c o r r e s p o n d s t ot h e a t l e a s t one o t h e r e v e n t and a mapping 208 betWeen t h ef r e e v a r i a b l e 206 and an i n s t a n c e of a c o n s t a n t symbol t h a tc o r r e s p o n d s t o s u c h f r e e v a r i a b l e 2 0 6 .

The s y s t e m 2 0 0 f u r t h e r i n c l u d e s a d a t a m i n i n g component210 t h a t i s con?gured o e x e c u t e a d a t a mining a l g o r i t h m 212o v e r t h e second d a t a r e c o r d 102 and t h e n t h d a t a r e c o r d 2 0 2 .The d a t a m i n i n g a l g o r i t h m 212 c a n b e con?gured o o u t p u t a ni n d i c a t i o n o f c o r r e l a t i o n betWeen t h e s e c o n d d a t a r e c o r d 122and t h e n t h d a t a r e c o r d 2 0 2 . I n an e x a m p l e , t h e i n d i c a t i o n o fc o r r e l a t i o n can i n c l u d e an i n d i c a t i o n of temporal c o r r e l a t i o nb e t W e e n t h e ? r s t e v e n t , r e p r e s e n t e d b y t h e a b s t r a c t i o n 1 2 4 ,a n d t h e n t h e v e n t r e p r e s e n t e d by t h e a b s t r a c t i o n 2 0 4 . A nexample o f a t e m p o r a l c o r r e l a t i o n m a y be h a t i f a p e r s o n ? r s tb u y s a s h i r t , t h a t p e r s o n W i l l t h e r e a f t e r b u y p a n t s . I n a n o t h e re x a m p l e , a t e m p o r a l c o r r e l a t i o n m a y b e t h a t i f a p a r t i c u l a rf u n c t i o n a l c a l l h a s a c e r t a i n i n p u t , s u c h f u n c t i o n a l l W i l l l a t e rb e f o l l o W e d by a n o t h e r f u n c t i o n W i t h a p a r t i c u l a r o u t p u t . I ny e t a n o t he r e x a m p l e , t h e i n d i c a t i o n o f o r r e l a t i o n o u t p u t b yt h e d a t a mining a l g o r i t h m 212 m a y be a n i n d i c a t i o n o f at r a n s a c t i o n a l c o r r e l a t i o n b e t W e e n t h e ? r s t e v e n t , r e p r e s e n t e db y t h e a b s t r a c t i o n 1 2 4 , a n d a n o t h e r e v e n t , r e p r e s e n t e d b y t h ea b s t r a c t i o n 2 0 4 . An xample t r a n s a c t io n a l c o r r e l a t i o n i s t h a ti f a p e r s o n b u y s a t o o t h b r u s h , t h a t p e r s o n i s a l s o h i g h l y l i k e l yto p u r c h a s e t o o t h p a s t e . I n a s o f t W a r e program, a t r a n s a c t i o n a lc o r r e l a t i o n may e t h a t i f a f u n c t i o n c a l l e x i s t s With a c e r t a i np a r a m e t e r , then a r e t u r n v a l u e f o r a n o t h e r f u n c t i o n may e ap a r t i c u l a r v a l u e .

With e f e r e n c e noW o F I G . 3 , an example d e p i c t i o n 300 o fv a r i o u s W ay s t o perform an a b s t r a c t i o n over an e v e n t i s i l l u st r a t e d . The d e p i c t i o n 300 c o m p r i s e s a n e v e n t 3 0 2 . The e v e n t302 m a y i n c l u d e t h e e x e c u t i o n o f t h e f u n c t i o n f o p e n , W i t h ani n p u t argument d . t x t t h a t r e t u r n s t h e n u m e r i c a l v a l u e 2 3 a s a? l e h a n dl e . T h i s e v e n t i s i l l u s t r a t e d i n t h e f u n c t i o n a l b l o c k3 0 4 . The e v e n t 302 c a n be r e p r e s e n t e d t h r o u g h u t i l i Z a t i o n o ft h r e e p r e d i c a t e s 3 0 6 , 3 0 8 and 3 1 0 . The ? r s t p r e d i c a t e c o r r es p o n d s t o t h e r e t u r n v a l u e e q u a l i n g 2 3 ( r e t u m V a l u e : 2 3 ) . Thes e c o n d p r e d i c a t e c o r r e s p o n d s t o t h e f u n c t i o n e q u a l i n g f o p e n( f u n c t i o n : f o p e n ) . T h e t h i r d p r e d i c a t e 3 1 0 c o r r e s p o n d s t o t h e? r s t p a r a m e t e r o f t h e e v e n t 3 0 2 b e i n g i d . t x t( P a r a m e t e r l : i d . t x t ) . T h e r e f o r e , t h e e v e n t 302 c a n be r e p r es e n t e d a s p r e d i c a t e s r e t u r n v a l u e : 2 3 and u n c t i o n : f o p e n ; andr e t u r n v a l u e : 2 3 a n d f u n c t i o n : f o p e n a n d p a r a m e t e r l : i d . t x t ,W h e r e i n t h e r e p r e s e n t a t i o n c o m p r i s e s c o n s t a n t s y m b o l s / v a lu e s , where x / i s a p o s i t i o n a l p r e d i c a t e t h a t d e n o t e s t h a t yoccurs a t position x .

From s u c h r e p r e s e n t a t i o n s o f h e e v e n t 3 0 2 , t h e s y s t e m 1 0 0can be u t i l i Z e d t o c o n s t r u c t a t l e a s t t h r e e d i f f e r e n t quanti?eda b s t r a c t i o n s . F o r e x a m p l e , W i t h r e s p e c t t o a ? r s t a b s t r a c t i o n3 1 1 , a f r e e v a r i a b l e v1 can be i n c l u d e d i n t h e p r e d i c a t e 3 0 6 , a sshoWn i n f u n c t i o n b l o c k 3 1 2 . The f u n c t i o n b l o c k 312 i s t h u sa n a b s t r a c t e d v e r s i o n o f t h e p r e d i c a t e 3 0 6 . The s e c o n d p r e d ic a t e 308 can remain unchanged n t h e ? r s t a b s t r a c t i o n 3 1 1 , a sshoWn i n f u n c t i o n b l o c k 3 1 4 . An n s t a n c e o f t h e c o n s t a n tsymbol 23 can be i d e n t i ? e d and can be mapped t o t h e f r e e

20

25

30

4 0

45

50

55

60

6 5

6v a r i a b l e v 1 , a s shoWn i n f u n c t i o n block 3 1 6 . I t can be a s c e rt a i n e d t h a t i n t h e ? r s t a b s t r a c t i o n 311 t h e p r e d i c a t e 310 s n o ti n c l u d e d t h e r e i n .

I n a second a b s t r a c t i o n 3 1 8 , a f r e e v a r i a b l e v1 can bee m p l o y e d i n c o n n e c t i o n W i t h a b s t r a c t i n g t h e ? r s t p r e d i c a t e306 a s shoWn n f u n c t i o n b l o c k 3 2 0 . The s e c o n d r e d i c a t e 308and h e t h i r d p r e d i c a t e 310 c a n remain n a l t e r e d , a s shoWn i nf u n c t i o n b l o c k s 322 and 2 4 . As shoWn n f u n c t i o n b l o c k 3 2 6 ,t h e i n s t a n c e o f t h e c o n s t a n t symbol can e mapped o t h e f r e ev a r i a b l e v 1 .

I n a t h i r d a b s t r a c t i o n 3 2 8 , t h e f r e e v a r i a b l e v1 can a g a i n bechosen o b e used o a b s t r a c t t h e ? r s t p r e d i c a t e 3 0 6 , a s shoWni n f u n c t i o n b l o c k 3 3 0 . The s e c o n d p r e d i c a t e 308 m a y r e m a i nunchanged, a s shoWn n f u n c t i o n block 332 A r e e v a r i a b l e v2can be used t o a b s t r a c t t h e t h i r d p r e d i c a t e 3 1 0 , a s shoWn i nf u n c t i o n block 3 3 4 . I n f u n c t i o n block 336 i t can be a s c e rt a i n e d t h a t t h e f r e e v a r i a b l e v 1 i s mapped o t h e v a l u e 2 3 W h i l et h e f r e e v a r i a b l e v2 s mapped o t h e p a r a m e t e r v a l u e i d . t x t . AsW i l l b e shoWn b y Way o f e x a m p l e b e l o W , t h e f r e e v a r i a b l e sa n d m a p p i n g s may b e u t i l i Z e d by a d a t a m i n i n g a l g o r i t h m t oa s c e r t a i n c o r r e l a t i o n s betWeen e v e n t s .

As i n d i c a t e d a b o v e , s u c h a b s t r a c t i o n s c a n b e employed i nc o n n e c t i o n W i t h a d a t a m i n i n g a l g o r i t h m t h a t c a n b e con?gu r e d t o mine r u l e s / p e c i ? c a t i o n s o f a s o f t W a r e p r o g r a m . Thei m p l i c a t i o n s of a b s t r a c t i n g e v e n t s i n a manner such a s t h a td e s c r i b e d a b o v e i s t h a t d a t a m i n i n g a l g o r i t h m s c a n l e v e r a g eknoWn p r o p e r t i e s t o i n c r e m e n t a l l y c o n s i d e r r i c h e r a b s t r a ct i o n s o f e v e n t s t o e ? i c i e n t l y mine r i c h e r s p e c i ? c a t i o n s / r u l e sp e r t a i n i n g t o t h e s o f t W a r e p r o g r a m . T h i s c a n be n d e r t a k e n bya v o i d i n g a b s t r a c t i o n s of v e n t s t h a t a r e knoWn o n o t c o n t r i bu t e t o a r u l e . A d d i t i o n a l l y , a n y d a t a m i n i n g a l g o r i t h m t h a toperates on a sequence of events can operate on a sequence ofe v e n t s o f a b s t r a c t i o n s r e s u l t i n g f r o m e x e c u t i n g o f t h e s y s t e m1 0 0 . F u r t h e r m o r e , t h e a b s t r a c t i o n s c a n b e g e n e r a t e d i n d e p e nd e n t o f h e c l a s s o f r e d i c a t e s , s o l o n g a s t e r m s i n v o l v e d in t h ep r e d i c a t e s a r e c o m p a r a b l e .

M o r e o v e r , t h e d a t a m i n i n g a l g o r i t h m c a n b e u t i l i Z e d t omine t e m p o r a l r u l e s t h r o u g h u t i l i Z a t i o n o f t r a c e a b s t r a c t i o n s .For i n s t a n c e , g i v e n a t r a c e t h a t encodes a n e x e c u t i o n p a t h a sa sequenc e of v e n t s , t h e t r a c e can be vieWed a s a sequence ofp r e d i c a t e s s a t i s ? e d b y t h e e v e n t s i n t h e c o r r e s p o n d i n g p o s it i o n i n t h e o r i g i n a l t r a c e . A c c o r d i n g l y , s p e c i ? c a t i o n m i n i n ga l g o r i t h m s can d e a l With one t r a c e composed of l a r g e numb e r o f e t s o f r e p e a t e d ) p r e d i c a t e s , a s o p p o s e d o c o n s i d e r i n gp r o h i b i t i v e l y numerous vieWs of h e s a me t r a c e .The d a t a m i n i n g a l g o r i t h m i n d i c a t e d a b o v e c a n b e c o n ? gured o e x e c u t e o v e r a b s t r a c t i o n s and s c e r t a i n t e m p o r a l r u l e sc o r r e s p o n d i n g to t h e a b s t r a c t i o n s o f t h e e v e n t s . F o r i n s t a n c e ,t h e t e m p o r a l r u l e E l L E 2 r e p r e s e n t s t h e r u l e t h a t a n y o c c u rr e n c e of l must be e v e n t u a l l y f o l l o W e d by an o c c u r r e n c e ofE 2 . Thus, a seq uence s ' F e l , e 2 , e n s a t i s ? e s the temporalf o r m u l a E l L E 2 ( d e n o t e d J E I I E l L E 2 ) i f a n d o n l y i f f o r a n y e l| = E l t h e r e e x i s t s a > i s u c h t h a t e j | = i 2 .

I n a n o t he r e x a m p l e , t h e t e m p o r a l r u l e E l 1&2 e p r e s e n t s ar u l e t h a t i ) a n y o c c u r r e n c e o f E l m u s t e v e n t u a l l y b e f o l l o W e dby a n o c c u r r e n c e o f 2 , and i i ) an o c c u r r e n c e o f E l c a n n o t befolloWed by another occurrence of E b e f o r e an occurrence ofE 2 . I n s u c h r u l e s , E l c a n b e r e f e r r e d t o a s a n t e c e d e n t , a n d E 2can be r e f e r r e d t o a s a consequent of h e r u l e .When o n s t r a i n t s a r e i n t r o d u c e d , Wherein t h e c o n s t r a i n t s

i n v o l v e parameter and r e t u r n v a l u e s of d i f f e r e n t e v e n t s i n at e m p o r a l r u l e , s u c h u l e s c a n become q u a n t i ? e d . An x a m p l em a y b e e v e r y c a l l made o f o o ( x ) c a n b e p r e c e d e d by a c a l lt o b a r t h a t r e t u r n e d x . As can be a s c e r t a i n e d , t h i s form o f u l ec a n b e l e a r n e d b y e x e c u t i n g t h e d a t a m i n i n g a l g o r i t h m o v e ra b s t r a c t i o n s g e n e r a t e d b y Way o f t h e s y s t e m 1 0 0 . More f o r

8/13/2019 Us 8280899

12/14

US 8 , 2 8 0 , 8 9 9 B27m a l l y , q u a n t i ? c a t i o n i s e n a b l e d t h r o u g h g e n e r a l i z i n g e v e n t

p r e d i c a t e s t o a l l o W e v e n t p r e d i c a t e s t h a t i n c l u d e f r e e v a r ia b l e s .An e x a m p l e a l g o r i t h m f o r p e r f o r m i n g da t a m i n i n g o v e ra b s t r a c t e d e v e n t s p e r t a i n i n g t o a s o f t W a r e program e . g . , a c a l lt o anAPI o r l i b r a r y ) i s d e s c r i b e d in Mining Q u a n t i ? e d Temp o r a l R u l e s : F o r m a l i s m , A l g o r i t h m a n d v a l u a t i o n , b y D a v i dL o , e t a l . , 1 6 W o r k i n g C o n f e r e n c e o n R e v e r s e E n g i n e e r i n g( W C R E 0 9 ) , L i l l e , F r a n c e O c t . 1 3 - 1 6 , 2 0 0 9 , t h e e n t i r e t y o fW h i c h s i n c o r p o r a t e d h e r e i n b y r e f e r e n c e .

With r e f e r e n c e noW t o FIGS. 4 and 5 , v a r i o u s examplem e t h o d o l o g i e s a r e i l l u s t r a t e d and d e s c r i b e d . While t h e methodologies a r e d e s c r i b e d a s being a s e r i e s of a c t s t h a t a r eperformed i n a s e q u e n c e , i t i s t o be u n d e r s t o o d t h a t t h e metho d o l o g i e s a r e n o t l i m i t e d by t h e o r d e r o f t h e s e q u e n c e . F o ri n s t a n c e , some a c t s may occur i n a d i f f e r e n t o r d e r than Whati s described h e r e i n . I n a d d i t i o n , an a c t may occur concurr e n t l y W i t h a n o t h e r a c t . F u r t h e r m o r e , i n some i n s t a n c e s , n o ta l l a c t s m a y b e r e q u i r e d t o i m p l e m e n t a methodologyd e s c r i b e d h e r e i n .

M o r e o v e r , t h e a c t s d e s c r i b e d h e r e i n m a y b e c o m p u t e re x e c u t a b l e i n s t r u c t i o n s t h a t can be implem ented by one o rmore processors and/or s t o r e d on a computer-readablemedium r m e d i a . The o m p u t e r - e x e c u t a b l e i n s t r u c t i o n s m a yi n c l u d e a r o u t i n e , a sub r o u t i n e , programs, a t h r e a d of execut i o n , a n d / o r t h e l i k e . S t i l l f u r t h e r , r e s u l t s o f a c t s o f t h e metho d o l o g i e s may b e s t o r e d i n a c o m p u t e r - r e a d a b l e medium,d i s p l a y e d on a d i s p l a y d e v i c e , a n d / o r t h e l i k e .

R e f e r r i n g noW o F I G . 4 , a methodology 400 t h a t f a c i l i t a t e sa b s t r a c t i n g an e v e n t i s i l l u s t r a t e d . The methodology 400b e g i n s a t 4 0 2 , and at 404 a ? r s t d a t a r e c o r d i s a c c e s s e d i n ad a t a r e p o s i t o r y . The r s t d a t a r e c o r d c o m p r i s e s a ? r s t e v e n t ,Wherein h e ? r s t e v e n t c o m p r i s e s a t l e a s t one r e d i c a t e and tl e a s t one v a l u e t h a t c o r r e s p o n d s t o t h e a t l e a s t one p r e d i c a t e .

At 4 0 6 , a q u a n t i ? e d , a b s t r a c t e d e v e n t i s g e n e r a t e d t h a t i sr e p r e s e n t a t i v e o f t h e ? r s t e v e n t . G e n e r a t i n g t h e q u a n t i ? e d ,a b s t r a c t e d e v e n t can i n c l u d e using a t l e a s t one f r e e v a r i a b l e t oa b s t r a c t t h e a t l e a s t o n e p r e d i c a t e . G e n e r a t i n g t h e q u a n t i ? e da b s t r a c t i n g e v e n t c a n f u r t h e r i n c l u d e g e n e r a t i n g a mappingbetWeen h e a t l e a s t one f r e e v a r i a b l e and at l e a s t one i n s t a n c eof a c o n s t a n t symbol t h a t c o r r e s p o n d s t o t h e a t l e a s t onep r e d i c a t e . The f r e e v a r i a b l e ( s ) a n d t h e m a p p i n g ( s ) c a n b es t o r e d i n t h e d a t a r e p o s i t o r y a s a second d a t a r e c o r d .

At 4 0 8 , t h e q u a n t i ? e d a b s t r a c t e d e v e n t i s c a u s e d to b es t o r e d a s a second d a t a r e c o r d in t h e d a t a r e p o s i t o r y . At 4 1 0 ,a d a t a mining a l g o r i t h m i s e x e c u t e d v i a a t l e a s t one computerprocessor over t h e second d a t a record and a t l e a s t one o t h e rd a t a r e c o r d t o determine a c o r r e l a t i on betWeen t h e secondd a t a r e c o r d and t h e at l e a s t one o t h e r d a t a r e c o r d . Such c o rr e l a t i o n m a y be i n t h e form of r u l e p e r t a i n i n g t o a c c e s s i n g ana p p l i c a t i o n p r o g r a m m i n g i n t e r f a c e . I n a n o t h e r e x a m p l e , s u c hc o r r e l a t i o n m a y b e t e m p o r a l i n n a t u r e a n d / o r t r a n s a c t i o n i nn a t u r e .

At 4 1 2 , an i n d i c a t i o n o f t h e c o r r e l a t i o n i s o u t p u t . F o ri n s t a n c e , t h e i n d i c a t i o n of t h e c o r r e l a t i o n can be o u t p u t t o ad i s p l a y s c r e e n , t o a me mory d e v i c e , a hard d r i v e , e t c .

I t i s t o be understood t h a t t h e ? r s t e v e n t can i n c l u d e ap l u r a l i t y o f r e d i c a t e s , W h e r e i n t l e a s t a s u b s e t o f s u c h p r e d ic a t e s h a s c o n s t a n t symbols c o r r e s p o n d i n g t h e r e t o . I n s u c h ac a s e , g e n e r a t i n g t h e q u a n t i ? e d a b s t r a c t e d e v e n t c a n i n c l u d es e l e c t i n g a s u b s e t o f t h e p l u r a l i t y o f p r e d i c a t e s t h a t c o r r es p o n d t o t h e ? r s t e v e n t , u s i n g a c o r r e s p o n d i n g s e t o f f r e ev a r i a b l e s t o a b s t r a c t e a c h o f t h e s u b s e t o f t h e p l u r a l i t y o fp r e d i c a t e s , a n d g e n e r a t i n g m a p p i n g s b e t W e e n t h e s e t o f r e ev a r i a b l e s and i n s t a n c e s of t h e c o n s t a n t symbols t h a t c o r r es p o n d t o t h e s u b s e t o f p r e d i c a t e s . D i f f e r e n t q u a n t i ? e da b s t r a c t i o n s o f t h e ? r s t e v e n t c a n b e g e n e r a t e d b y s e l e c t i n g

20

25

30

4 0

50

55

6 5

8di ffe r e n t s u b e t s o f r e d i c a t e s a n d mapping r e e v a r i a b l e s t h a tr e p r e s e n t s u c h p r e d i c a t e s t o c o n s t a n t s y m b o l s c o r r e s p o n d i n gt h e r e t o .

The r s t e v e n t d e s c r i b e d a b o v e c a n p e r t a i n o , f o r i n s t a n c e ,a n a p p l i c a t i o n programming i n t e r f a c e , a l i b r a r y , a n e x e c u t i o np a t h o f a program e x e c u t e d by a computer p r o c e s s o r , e t c .M o r e o v e r , a s d e s c r i b e d a b o v e , t h e q u a n t i ? e d a b s t r a c t i o n i nt h e second d a t a r e c o r d can be composed s a a i r , Wherein h ep a i r c o m p r i s e s f r e e v a r i a b l e s t h a t r e p r e s e n t p r e d i c a t e s c o r r es p o n d i n g t o t h e ? r s t e v e n t , and a mapping betWeen t h e f r e ev a r i a b l e s a n d i n s t a n c e s o f o n s t a n t s y m b o l s c o r r e s p o n d i n g t ot h e p r e d i c a te s . F u r t h e r , t h e ? r s t e v e n t c a n b e g e n e r a t e d b ye n c o d i n g a n e x e c u t i o n p a t h o f a n a p p l i c a t i o n ( s o f t W ar e p r og r a m ) e x e c u t e d b y t h e c o m p u t e r r o c e s s o r . T h e m e t h o d o l o g y400 c o m p l e t e s a t 4 1 4 .

With r e f e r e n c e to F I G . 5 , a n e x a m p l e methodology 5 0 0t h a t f a c i l i t a t e s e x e c u t i n g a d a t a mining a l g o r i t h m o v e r a quant i ? e d a b s t r a c t i o n of an e v e n t i s i l l u s t r a t e d . The methodology500 b e g i n s a t 5 0 2 , and t 504 a ? r s t d a t a r e c o r d i s a c c e s s e d i na d a t a r e p o s i t o r y . The r s t d a t a r e c o r d can i n c l u d e a ? r s t e v e n tt h a t o c c u r r e d d u r i n g e x e c u t i o n o f a s o f t W a r e p r o g r a m ,Wherein t h e ? r s t e v e n t h a s a t l e a s t one p r e d i c a t e c o r r e s p o n di n g t h e r e t o , and t h e a t l e a s t one p r e d i c a t e h a s a c o n s t a n ts y m b o l c o r r e s p o n d i n g t h e r e t o . E x a m p l e s o f p r e d i c a t e s a n dc o n s t a n t s y m b o l s h a v e b e e n p r o v i d e d a b o v e .

At 5 0 6 , a t l e a s t one i n s t a n c e of h e c o n s t a n t symbol c o r r es p o n d i n g t o t h e p r e d i c a t e in t h e ? r s t e v e n t i s i d e n t i ? e d i n t h e? r s t d a t a r e c o r d .

At 5 0 8 , a t l e a s t one f r e e v a r i a b l e i s used t o a b s t r a c t t h ep r e d i c a t e . At 5 1 0 , f o r t h e a t l e a s t one i d e n t i ? e d i n s t a n c e o f h ec o n s t a n t s y m b o l , a mapping i s g e n e r a t e d b e t W e e n t h e f r e ev a r i a b l e and t h e a t l e a s t o n e i n s t a n c e o f t h e c o n s t a n t s y m b o l .

At 5 1 2 , a s e c o n d d a t a r e c o r d s g e n e r a t e d i n t h e d a t a r e p o s it o r y , Wherein t h e s e c o n d d a t a r e c o r d c o m p r i s e s a t l e a s t onef r e e v a r i a b l e and t h e mapping composed a s a p a i r . Asd e s c r i b e d a b o v e , t h i s composed a i r c a n r e p r e s e n t a q u a n t i?ed a b s t r a c t i o n of h e ? r s t e v e n t .

At 5 1 4 , a d a t a mining a l g o r i t h m i s e x e c u t e d o v e r t h e s e cond a t a r e c o r d and t l e a s t one t h e r d a t a r e c o r d t o determinea t e m p o r a l c o r r e l a t i o n betWeen h e s e c o n d d a t a r e c o r d and h ea t l e a s t one o t h e r d a t a r e c o r d e . g . , and h u s t h e ? r s t e v e n t anda n o t h e r e v e n t ) . At 5 1 6 , a n i n d i c a t i o n o f t h e c o r r e l a t i o n i so u t p u t , a n d t h e m e t h o d o l o g y 5 0 0 c o m p l e t e s a t 5 1 8 .NoW e f e r r i n g t o F I G . 6 , a h i g h - l e v e l i l l u s t r a t i o n o f a n

example computing d e v i c e 600 t h a t c a n b e used i n a c c o rd a n c e W i t h t h e s y s t e m s a n d m e t h o d o l o g i e s d i s c l o s e d h e r e i n si l l u s t r a t e d . F o r i n s t a n c e , t h e c o m p u t i n g d e v i c e 6 0 0 may b eu s e d i n a s y s t e m t h a t s u p p o r t s a b s t r a c t i n g e v e n t s in a q u a n t i?ed m a n n e r . I n a n o t h e r e x a m p l e , a t l e a s t a p o r t i o n o f t h ec o m p u t i n g d e v i c e 6 0 0 m a y e u s e d i n a s y s t e m t h a t s u p p o r t se x e c u t i n g d a t a m i n i n g a l g o r i t h m s o v e r q u a n t i ? e d a b s t r a c t e de v e n t s . The computing d e v i c e 600 i n c l u d e s at l e a s t one p r ocessor 602 t h a t executes i n s t r u c t i o n s t h a t a r e s t o r e d i n amemory 6 0 4 . The i n s t r u c t i o n s m a y b e , f o r i n s t a n c e , i n s t r u ct i o n s f o r i m p l e m e n t i n g f u n c t i o n a l i t y d e s c r i b e d a s b e i n g c a rr i e d o u t by one o r more components discussed above ori n s t r u c t i o n s f o r implementing one o r more of t h e methodsd e s c r i b e d a b o v e . The p r o c e s s o r 602 m a y a c c e s s t h e me mory604 by Way f a s y s t e m b u s 6 0 6 . I n a d d i ti o n t o s t o r i n g e x e c u ta b l e i n s t r u c t i o n s , t h e memory 6 0 4 m a y a l s o s t o r e e v e n t s ,q u a n t i ? e d a b s t r a c t i o n s o f t h e e v e n t s , e t c .

The c o m p u t i n g d e v i c e 6 0 0 a d d i t i o n a l l y i n c l u d e s a d a t as t o r e 6 0 8 t h a t i s a c c e s s i b l e by h e p r o c e s s o r 6 0 2 by Way f h es y s t e m b u s 6 0 6 . The d a t a s t o r e 608 m a y i n c l u d e e x e c u t a b l ei n s t r u c t i o n s , e v e n t s , q u a n t i ? e d a b s t r a c t i o n s o f h e e v e n t s , e t c .The c o m p u t i n g d e v i c e 6 0 0 a l s o i n c l u d e s a n i n p u t i n t e r f a c e610 t h a t a l l o W s e x t e r n a l d e v i c e s t o communicate W i t h t h e

8/13/2019 Us 8280899

13/14

US 8 , 2 8 0 , 8 9 9 B2c o m p u t i n g d e v i c e 6 0 0 . F o r i n s t a n c e , t h e i n p u t i n t e r f a c e 6 1 0may be used t o r e c e i v e i n s t r u c t i o n s from an e x t e r n a l comp u t e r d e v i c e , f r o m a n i n d i v i d u a l , e t c . The c o m p u t i n g d e v i c e600 a l s o i n c l u d e s an o u t p u t i n t e r f a c e 612 t h a t i n t e r f a c e s t h ecomputing d e v i c e 600 With one o r more e x t e r n a l d e v i c e s . Fore x a m p l e , t h e c o m p u t i n g d e v i c e 6 0 0 may i s p l a y t e x t , i m a g e s ,e t c . by Way o f t h e o u t p u t i n t e r f a c e 6 1 2 .A d d i t i o n a l l y , W h i l e i l l u s t r a t e d a s a s i n g l e s y s t e m , i t i s to beu n d e r s t o o d t h a t t h e computing d e v i c e 600 m a y b e a d i s t r i bu t e d s y s t e m . T h u s , f o r i n s t a n c e , s e v e r a l d e v i c e s may b e i ncommunication by Way o f a netWork c o n n e c t i o n and m a yc o l l e c t i v e l y p e r f o r m t a s k s d e s c r i b e d a s b e i n g p e r f o r m e d b yt h e c o m p u t i n g d e v i c e 6 0 0 .

As u s e d h e r e i n , t h e t e r m s component a n d s y s t e m a r ei n t e n d e d t o encompass h a r d W a r e , s o f t W a r e, o r a combinationo f h a r d W a r e and s o f t W a r e . T h u s , f o r e x a m p l e , a s y s t e m o rcomponent may e a p r o c e s s , a process executing on a proc e s s o r , o r a p r o c e s s o r . A d d i t io n a l l y , a component o r systemmay be l o c a l i Z e d on a s i n g l e device or d i s t r i b u t e d a c r o s ss e v e r a l d e v i c e s .

I t i s n o t e d t h a t s e v e r a l e x a m p l e s h a v e b e e n p r o v i d e d f o rp u r p o s e s of e x p l a n a t i o n . These examples a r e n o t t o be cons t r u e d a s l i m i t i n g t h e h e r e t o - a p p e n d e d c l a i m s . A d d i ti o n a l l y , tmay e r e c o g n i Z e d h a t t h e e x a m p l e s p r o v i d e d h e r e i n may ep e r m u t a t e d W h i l e s t i l l f a l l i n g u n d e r t h e s c o p e o f t h e c l a i m s .

What s c l a i m e d i s :1 . A ethod con?gured f o r e x e c u t i o n by t l e a s t one co m

p u t e r p r o c e s s o r o v e r a d a t a s e t i n a d a t a r e p o s i t o r y , t h e methodc o m p r i s i n g :a c c e s s i n g a raW d a t a r e c o r d i n t h e d a t a r e p o s i t o r y , Wherein

t h e raW d a t a r e c o r d c o m p r i s e s a ? r s t e v e n t , Wherein t h e? r s t e v e n t c o m p r i s e s a t l e a s t one p r e d i c a t e and a t l e a s tone c o n s t a n t symbol t h a t c o r r e s p o n d s t o t h e a t l e a s t onep r e d i c a t e ;

g e n e r a t i n g a q u a n t i ? e d , a b s t r a c t e d e ve n t t h a t i s r e p r e s e nt a t i v e o f t h e ? r s t e v e n t , W h e r e i n g e n e r a t i n g t h e q u a n t i? e d , a b s t r a c t e d e v e n t c o m p r i s e s :u s i n g a t l e a s t one f r e e v a r i a b l e t o a b s t r a c t t h e p r e d i c a t e ;

andg e n e r a t i n g a mapping betWeen h e a t l e a s t one f r e e v a r i

a b l e and a t l e a s t one i n s t a n c e of h e a t l e a s t one cons t a n t symbol o q u a n t i f y t h e a t l e a s t o n e p r e d i c a t e ;

c a u s i n g t h e q u a n t i ? e d , a b s t r a c t e d e v e n t t o be s t o r e d a s as e c o n d d a t a r e c o r d i n t h e d a t a r e p o s i t o r y ;

e x e c u t i n g , v i a t h e a t l e a s t one compu ter p r o c e s s o r , a d a t am i n i n g a l g o r i t h m o v e r t h e s e c o n d d a t a r e c o r d and a tl e a s t one o t h e r d a t a record t o determine a c o r r e l a t i o nbetWeen h e second d a t a r e c o r d and h e at l e a s t one o t h e rd a t a r e c o r d , W h e r e i n e x e c u t i n g t h e d a t a m i n i n g a l g or i t h m c o m p r i s e s c o m p a r i n g t h e m a p p i n g b e t W e e n t h e a tl e a s t one f r e e v a r i a b l e and at l e a s t one i n s t a n c e of h e a tl e a s t one c o n s t a n t symbol and a second mapping t h a tc o r r e s p o n d s t o t h e a t l e a s t one o t h e r d a t a r e c o r d ; and

o u t p u t t i n g an i n d i c a t i o n o f t h e c o r r e l a t i o n betWeen t h esecond d a t a r e c o r d and t h e at l e a s t one o t h e r d a t a r e c o r db a s e d a t l e a s t i n p a r t upon t h e c o m p a r i n g betWeen m a pp i n g s .2 . The method o f c l a i m 1 , W h e r e i n t h e c o r r e l a t i o n betWeen

t h e second d a t a r e c o r d and h e a t l e a s t one o t h e r d a t a r e c o r d sa t r a n s a c t i o n a l c o r r e l a t i o n .

3 . The method o f c l a i m 1 , W h e r e i n t h e c o r r e l a t i o n betWeent h e second d a t a r e c o r d and h e a t l e a s t one o t h e r d a t a r e c o r d sa t e m p o r a l c o r r e l a t i o n .

5

1 5

20

25

30

4 0

45

50

55

60

6 5

1 04 . The method o f l a i m 1 , W h e r e i n t h e ? r s t e v e n t c o m p r i s e s

a p l u r a l i t y o f r e d i c a t e s , a n d W h e r e i n g e n e r a t i n g t h e q u a n t i? e d , a b s t r a c t e d e v e n t f u r t h e r c o m p r i s e s :

s e l e c t i n g a s u b s e t o f t h e p l u r a l i t y o f p r e d i c a t e s ;r e p r e s e n t i n g i n s t a n c e s o f c o n s t a n t s y m b o l s c o r r e s p o n d i n g

to t h e s u b s e t o f t h e p l u r a l i t y o f p r e d i c a t e s W i t h a s e t o ff r e e v a r i a b l e s ; a n dg e n e r a t i n g m a p p i n g s b e t W e e n t h e s e t o f r e e v a r i a b l e s a n d

t h e i n s t a n c e s o f c o n s t a n t s y m b o l s t h a t c o r r e s p o n d t o t h es u b s e t o f r e d i c a t e s .

5 . The method o f c l a i m 1 , Wherein t h e raW d a t a r e c o r dc o m p r i s e s a n e v e n t p e r t a i n i n g to a n a p p l i c a t i o n programmingi n t e r f a c e .

6 . The method of c l a i m 1 , Wherein t h e ? r s t e v e n t c o r r es p o n d s to an e x e c u t i o n p a t h o f a program e x e c u t e d by t h ec o m p u t e r p r o c e s s o r .7 . The method o f c l a i m 1 , W h e r e i n t h e s e c o n d d a t a r e c o r di s composed a s a p a i r , W h e r e i n t h e p a i r c o m p r i s e s f r e e v a r ia b l e s t h a t r e p r e s e n t a t t r i b u t e s c o r r e s p o n d i n g t o t h e ? r s t e v e n tand a mapping betWeen t h e f r e e v a r i a b l e s and i n s t a n c e s o fc o n s t a n t s y m b o l s c o r r e s p o n d i n g t o t h e a t l e a s t o n e p r e d i c a t e .8 . The method o f c l a i m 1 , f u r t h e r c o m p r i s i n g g e n e r a t i n gt h e ? r s t e v e n t by e n c o d i n g a n e x e c u t i o n p a t h o f a n a p p l i c a t i o ne x e c u t e d b y t h e c o m p u t e r p r o c e s s o r .9 . The method o f c l a i m 1 , W h e r e i n t h e d a t a m i n i n g a l g or i t h m i s con?gured t o mine a s p e c i ? c a t i o n of a s o f t W a r ea p p l i c a t i o n .

1 0 . The method o f c l a i m 1 , W h e r e i n t h e d a t a m i n i n g a l g or i t h m o u t p u t s a u l e , W h e r e i n t h e r u l e c o m p r i s e s an n t e c e d e n tand a c o n s e q u e n t , and Wherein a f r e e v a r i a b l e i s i n c l u d e d i nt h e a n t e c e d e n t and t h e c o n s e q u e n t o f t h e r u l e .

1 1 . The method f l a i m 1 , W h e r e i n t h e ? r s t e v e n t i s a t u p l eof r i m i t i v e v a l u e s , Wherein a p r i m i t i v e v a l u e i s a s t r i n g o r ani n t e g e r .

1 2 . The method o f c l a i m 1 , Wherein t h e ? r s t e v e n t r e p r es e n t s a c a l l t o an a p p l i c a t i o n programming i n t e r f a c e methodby a c l i e n t c o m p u t i n g d e v i c e .

1 3 . A y s t em , c o m p r i s i n g :a processor; anda me mory h a t c o m p r i s e s a p l u r a l i t y of components h a t a r e

e x e c u t e d b y t h e p r o c e s s o r , t h e p l u r a l i t y o f c o m p o n e n t sc o m p r i s i n g :an accessor component h a t accesses a d a t a r e p o s i t o r y i n

a computer and r e t r i e v e s a raW d a t a record from t h ed a t a r e p o s i t o r y , Wherein t h e raW d a t a r e c o r d comp r i s e s a ? r s t e v e n t t h a t h a s at l e a s t one p r e d i c a te c o rr e s p o n d i n g t h e r e t o , W h e r e i n t h e a t l e a s t o n e p r e d i c a t eh a s a c o n s t a n t s y m b o l c o r r e s p o n d i n g t h e r e t o ;

a r e p r e s e n t o r component t h a t r e p r e s e n t s t h e a t l e a s t onec o n s t a n t symbol i n t h e a t l e a s t one p r e d i c a t e W i t h a tl e a s t one f r e e v a r i a b l e ;

an i d e n t i ? e r component t h a t i d e n t i ? e s a t l e a s t onei n s t a n c e of h e a t l e a s t one c o n s t a n t symbol t h a t c o rr e s p o n d s t o t h e a t l e a s t one p r e d i c a t e ;

a mapper component t h a t g e n e r a t e s a mapping betWeent h e a t l e a s t one f r e e v a r i a b l e and t h e at l e a s t onei n s t a n c e of h e a t l e a s t one c o n s t a n t s y m b o l ; and

a g e n e r a t o r component t h a t g e n e r a t e s a second d a t ar e c o r d , W h e r e i n t h e s e c o n d d a t a r e c o r d c o m p r i s e s a na b s t r a c t e d , q u a n t i ? e d r e p r e s e n t a t i o n o f t h e ? r s t e v e n ta n d c a u s e s t h e a b s t r a c t e d , q u a n t i ? e d r e p r e s e n t a t i o n o ft h e ? r s t e v e n t t o be s t o r e d a s t h e second d a t a r e c o r d i na d a t a r e p o s i t o r y , Wherein t h e s e c o n d d a t a r e c o r dc o m p r i s e s t h e a t l e a s t one f r e e v a r i a b l e and t h e m a pp i n g .

1 4 . The system o f c l a i m 1 3 , Wherein t h e a t l e a s t one e v e n tp e r t a i n s t o a f u n c t i o n c a l l i n a s o f t W a r e program.

8/13/2019 Us 8280899

14/14

US 8 , 2 8 0 , 8 9 9 B21 1

1 5 . The s y s t e m o f c l a i m 1 3 , w h e r e i n t h e ? r s t e v e n t r e p r es e n t s a c a l l t o an a p p l i c a t i o n programming i n t e r f a c e methodby a c l i e n t c o m p u t i n g d e v i c e .

1 6 . The s y s t e m o f c l a i m 1 3 , W h e r e i n t h e p l u r a l i t y o f comp o n e n t s f u r t h e r c o m p r i s e s a d a t a m i n i n g c o m p o n e n t t h a te x e c u t e s a d a t a mining a l g o r i t h m o v e r t h e second d a t a r e c o r dand a t l e a s t one o t h e r d a t a r e c o r d , W h e r e i n t h e d a t a miningcomponent o u t p u t s an i n d i c a t i o n o f c o r r e l a t i o n betWeen t h esecond d a t a r e c o r d and t h e at l e a s t one o t h e r d a t a r e c o r d .

1 7 . The s y s t e m o f c l a i m 1 6 , W h e r e i n t h e i n d i c a t i o n o fc o r r e l a t i o n c o m p r i s e s a n i n d i c a t i o n o f t e m p o r a l c o r r e l a t i o nbetWeen t h e ? r s t e v e n t and a s e c o n d e v e n t r e p r e s e n t e d by t h ea t l e a s t one o t h e r d a t a r e c o r d .

1 8 . The s y s t e m o f c l a i m 1 6 , W h e r e i n t h e i n d i c a t i o n o fc o r r e l a t i o n c o m p r i s e s an i n d i c a t i o n o f t r a n s a c t i o na l c o r r e l at i o n betWeen h e ? r s t e v e n t and s e c o n d e v e n t r e p r e s e n t e d byt h e a t l e a s t one o t h e r d a t a r e c o r d .

1 9 . The s y s t e m o f c l a i m 1 6 , W h e r e i n t h e a t l e a s t one r e d ic a t e i s an a t t r i b u t e / v a l u e p a i r of h e ? r s t e v e n t .

2 0 . A o m p u t e r r e a d a b l e d a t a s t o r a g e d e v i c e c o m p r i s i n gi n s t r u c t i o n s t h a t , When e x e c u t e d by a p r o c e s s or , c a u s e t h ep r o c e s s o r t o p e r f o r m a c t s c o m p r i s i n g :

20

1 2a c c e s s i n g a ? r s t d a t a r e c o r d in a d a t a r e p o s i t o r y , W h e r e i n

t h e ? r s t d a t a r e c o r d c o m p r i s e s a ? r s t e v e n t t h a t o c c u r r e dd u r i n g e x e c u t i o n o f a s o f t w a r e p r o g r a m , Wherein t h e? r s t e v e n t h a s a t l e a s t one p r e d i c a t e c o r r e s p o n d i n gt h e r e t o , and Wherein t h e at l e a s t one p r e d i c a t e h a s ac o n s t a n t s y m b o l c o r r e s p o n d i n g t h e r e t o ;

i d e n t i f y i n g a t l e a s t one i n s t a n c e o f t h e c o n s t a n t s y m b o l ;r e p r e s e n t i n g t h e a t l e a s t one c o n s t a n t symbol i n t h e a t l e a s t

one p r e d i c a t e W i t h a t l e a s t one f r e e v a r i a b l e ;f o r t h e a t l e a s t one i d e n t i ? e d i n s t a n c e of h e c o n s t a n t s y mb o l , g e n e r a t i n g a mapping e t W e e n t h e f r e e v a r i a b l e a n d

t h e a t l e a s t one i n s t a n c e o f t h e c o n s t a n t s y m b o l ;g e n e r a t i n g a s e c o n d d a t a r e c o r d i n t h e d a t a r e p o s i t o r y ,

W h e r e i n t h e s e c o n d d a t a r e c o r d c o m p r i s e s t h e a t l e a s tone f r e e v a r i a b l e and t h e mapping;

e x e c u t i n g a d a t a m i n i n g a l g o r i t h m o v e r t h e s e c o n d d a t arecord and a t l e a s t one o t h e r d a t a record t o determine at e m p o r a l c o r r e l a t i o n b e t W e e n t h e s e c o n d d a t a r e c o r d andt h e a t l e a s t one o t h e r d a t a r e c o r d ; ando u t p u t t i n g t h e t e m p o r a l c o r r e l a t i o n .

Documents

Us 8280899