Uniform representation of transition concepts in Domain Specific Visual Languages

8/3/2019 Uniform representation of transition concepts in Domain Specific Visual Languages

1/8

U n i f o r m r e p r e s e n t a t i o n o f t r a n s i t i o n c o n c e p t s i n D o m a i n

S p e c i c V i s u a l L a n g u a g e s

1

P a o l o B o t t o n i

2

, M a r i a D e M a r s i c o , P a o l o D i T o m m a s o , S t e f a n o L e v i a l d i , D o m e n i c o V e n t r i g l i a

D e p a r t m e n t o f C o m p u t e r S c i e n c e , U n i v e r s i t y o f R o m e \ L a S a p i e n z a " , I t a l y

f b o t t o n i , m a r i l e n a , l e v i a l d i g @ d s i . u n i r o m a 1 . i t , v e n t r i g l i a 1 @ y a h o o . i t , p a o l o d t @ y a h o o . c o m

A b s t r a c t

D o m a i n s p e c i c v i s u a l l a n g u a g e s a r e g e n e r a l l y u s e d t o s p e c i f y s i g n i c a n t c o n g u r a t i o n s a n d b e -

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

d i e r e n t c o m p o n e n t s o f a s i n g l e s y s t e m . A t a n a b s t r a c t l e v e l , a l l t h e s e d i a g r a m s e x p r e s s s o m e

f o r m o f t r a n s f o r m a t i o n o f t h e s y s t e m , w h i c h c a n b e c h a r a c t e r i s e d b y i t s p r e - a n d p o s t - c o n d i t i o n s

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

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

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

o f t h e u n d e r l y i n g m o d e l .

1 I n t r o d u c t i o n

D o m a i n s p e c i c v i s u a l l a n g u a g e s a r e g e n e r a l l y u s e d t o s p e c i f y s i g n i c a n t s y s t e m c o n g u r a t i o n s a n d

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

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

o u r s t u d y t o d i s c r e t e e v e n t m o d e l s , a m o n g t h e m o s t c o m m o n i n t h e e l d o f v i s u a l l a n g u a g e s .

C o m p l e x m o d e l s m a y r e q u i r e t h e c o m p o s i t i o n o f s y s t e m s s p e c i e d i n d i e r e n t w a y s , e . g a t d i e r e n t

l a y e r s . F o r e x a m p l e , a p r o d u c e r - c o n s u m e r s y s t e m c a n b e m o d e l l e d a s a P e t r i n e t w h e n o n e w a n t s

t o f o c u s o n t h e d e p e n d e n c e b e t w e e n t h e t w o a c t i v i t i e s , w h i l e t h e s p e c i c b e h a v i o u r s o f t h e s y s t e m s

a c t i n g a s p r o d u c e r s o r c o n s u m e r s c a n b e d e n e d i n c o m p l e t e l y d i e r e n t w a y s , m a y b e u s i n g d i e r e n t

v i s u a l l a n g u a g e s . I n t h e s e c a s e s , o n e i s e i t h e r f o r c e d t o a d o p t o n e s i n g l e m o d e l o f v i s u a l s p e c i c a t i o n ,

t h u s r e n o u n c i n g t o d o m a i n - s p e c i c n o t a t i o n s , o r o n e h a s t o c o n n e c t t h e d i e r e n t p r o c e s s e s a t s o m e

a b s t r a c t l e v e l .

I n t h i s p a p e r , w e p r o p o s e t h e W I P P O G ( f r o m t h e i n i t i a l s o f W H E N , I F , P R O C E S S E S , P R O -

D U C E S , O U T S , a n d G E T S ) l a n g u a g e a n d c o m p u t a t i o n a l m o d e l , w h i c h i s b a s e d o n a n a b s t r a c t n o t i o n

o f t r a n s i t i o n . W I P P O G i s a b l e t o a c c o m m o d a t e a s e t o f d i e r e n t c o n c r e t e m o d e l s o f d i a g r a m m a t i c

t r a n s f o r m a t i o n , s o a s t o d e c o u p l e t h e v i s u a l a p p e a r a n c e o f t h e s p e c i c a t i o n f r o m i t s s e m a n t i c a l c o n -

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

a p p l i c a t i o n m e c h a n i s m d e n i n g a t r a n s f o r m a t i o n s t e p . T h e c o m b i n a t i o n o f a W I P P O G i n t e r p r e t e r

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

W I P P O G m a c h i n e .

S e c t i o n 2 p r e s e n t s t h e b a s i c c o n c e p t s a t t h e h e a r t o f W I P P O G i n t h e c o n t e x t o f l i t e r a t u r e o n

l i n e a r l o g i c p r o g r a m m i n g a n d m e t a - m o d e l a p p r o a c h e s . S e c t i o n 3 i l l u s t r a t e s t h e W I P P O G r a t i o n a l e

a n d s y n t a x a n d S e c t i o n 4 d i s c u s s e s v a r i o u s a s p e c t s r e l a t e d t o t h e i m p l e m e n t a t i o n a n d u s e o f W I P P O G

s p e c i c a t i o n s . S o m e c o n c l u s i o n s a r e d r a w n i n S e c t i o n 5 .

1

P a r t i a l l y s u p p o r t e d b y I t a l i a n M i n i s t r y o f U n i v e r s i t y a n d R e s e a r c h a n d E S P R I T W o r k i n g G r o u p S E G R A V I S

2

C o r r e s p o n d i n g a u t h o r


2/8

2 R e l a t e d w o r k

T h e W I P P O G c o m p u t a t i o n a l m o d e l i s t i e d t o t h e L O f r a m e w o r k A P 9 1 , A C P 9 3 ] , w h i c h i s b a s e d

o n t h e m u l t i p l i c a t i v e f r a g m e n t o f l i n e a r l o g i c G i r 9 5 , A n d 9 2 ] . I n a n u t s h e l l , a c o m p u t a t i o n a l s t e p

c o n s u m e s a n d p r o d u c e s a n i t e s e t o f r e s o u r c e s i n a p o o l , w i t h t h e p o s s i b l e t r a n s m i s s i o n o f a n o t h e r

n i t e s e t o f r e s o u r c e s i n a b r o a d c a s t w a y t o o t h e r a g e n t s . T r a n s m i t t e d r e s o u r c e s a r e i n t e r n a l i s e d t o

t h e a g e n t s i n t h e s a m e w a y a s t h o s e i n t e r n a l l y p r o d u c e d . D i e r e n t l y f r o m t h e L O m o d e l , w e d o n o t

a l l o w c r e a t i o n o f n e w p o o l s , a n d w e c o n s i d e r a r e g i s t r a t i o n m e c h a n i s m t h r o u g h I m p o r t a n d E x p o r t

i n t e r f a c e s , r a t h e r t h a n u s i n g b r o a d c a s t c o m m u n i c a t i o n . S u c h i n t e r f a c e s w e r e a l s o u s e d i n F o r u m t a l k

A n d 9 5 ] , w h e r e r e s o u r c e s c o u l d b e t r a n s m i t t e d b o t h t o o t h e r a g e n t s i n t h e s a m e v i r t u a l l o c a t i o n , a n d

t o a g e n t s w h o s e l o c a t i o n s h a d r e g i s t e r e d f o r i m p o r t .

W I P P O G e x p l o i t s t h e s e i d e a s t o p r o v i d e a n u n d e r l y i n g l a n g u a g e t o e x p r e s s d i s c r e t e e v e n t s y s -

t e m s , i n d e p e n d e n t o f a n y s p e c i c v i s u a l l a n g u a g e . I n t h i s s e n s e , o u r w o r k i s i n t h e l i n e o f m e t a l e v e l

a p p r o a c h e s , w h i c h o e r f r a m e w o r k s f o r t h e c r e a t i o n a n d d e n i t i o n o f l a n g u a g e s y n t a x a n d s e m a n t i c s .

M o s e s E J 0 1 ] f o l l o w s t h e a p p r o a c h o f E r w 9 8 ] t o w o r k o n a n a b s t r a c t s y n t a x d e s c r i p t i o n o f v i s u a l

s e n t e n c e s t h r o u g h a t t r i b u t e d g r a p h s . F r o m t h i s s p e c i c a t i o n a s y n t a x - c h e c k e r i s d e n e d . M o s e s

p r o v i d e s a n e n v i r o n m e n t i n w h i c h a u s e r c a n d e n e a s e n t e n c e , w i t h t h e s y n t a x - c h e c k e r o p e r a t i n g i n

t h e b a c k g r o u n d . S e m a n t i c s i s d e a l t w i t h b y p r o d u c i n g s p e c i c i n t e r p r e t e r s i n t h e f o r m o f A b s t r a c t

S t a t e M a c h i n e s f o r a n y g i v e n v i s u a l l a n g u a g e . I n o u r a p p r o a c h , w e u s e W I P P O G b o t h t o e x p r e s s t h e

l e g a l a c t i o n s i n a s y n t a x - d i r e c t e d e d i t o r g e n e r a t e d f r o m t h e d e n i t i o n o f a v i s u a l l a n g u a g e , a n d t o

e x p r e s s t h e b e h a v i o u r a l s e m a n t i c s a t t a c h e d t o a d i a g r a m i n t h e l a n g u a g e , a s b o t h a r e s e e n a s d i s c r e t e

e v e n t s y s t e m s .

T h e p r o b l e m o f i n t e r c o n n e c t i n g c o m p o n e n t s ( f o r s y s t e m s i m u l a t i o n ) e x p r e s s e d w i t h d i e r e n t v i s u a l

f o r m a l i s m s i s p a r t i c u l a r l y a d d r e s s e d i n t h e A T o M

3

e n v i r o n m e n t d L V 0 2 ] . H e r e , g e n e r a l m e t a - m e t a -

m o d e l s g e n e r a t e m e t a - m o d e l s i n w h i c h t o d e n e t h e t y p e o f s y s t e m s t o b e s i m u l a t e d . F i n a l l y , a

m o d e l d e n e s a s p e c i c i n s t a n c e o f s y s t e m . A l l m o d e l s a r e e x p r e s s e d i n s o m e v i s u a l f o r m a l i s m a n d

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

m a p p i n g d i e r e n t c o m p o n e n t s t o a c o m m o n f o r m a l i s m . I n o u r a p p r o a c h , c o m p o n e n t i n t e r c o n n e c t i o n

i s a u t o m a t i c a l l y g i v e n b y t h e i r W I P P O G e x p r e s s i o n i n d e p e n d e n t l y f r o m t h e o r i g i n a l v i s u a l f o r m a l i s m .

T h e t r a n s l a t i o n f r o m d o m a i n s p e c i c l a n g u a g e s t o t h e i r W I P P O G t r a n s l a t i o n h a s t o s i m u l t a n e o u s l y

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

a n d a u t o m a t e d m a n a g e m e n t o f t h e s e d e n i t i o n s , e x p l o i t i n g t h e m e t a - m e t a - l e v e l a p p r o a c h c o u l d b e

b e n e c i a l t o W I P P O G a s c u r r e n t l y t h e t r a n s l a t i o n o f o p e r a t i o n a l s e m a n t i c s f r o m t h e v i s u a l f o r m a l i s m

t o W I P P O G h a s t o b e e x p l i c i t l y c o d e d c a s e b y c a s e .

R e f e r r i n g t o d i s c r e t e e v e n t s y s t e m s , t h e D E V S f r a m e w o r k h a s t o b e c o n s i d e r e d Z P K 0 0 ] . T h i s

f r a m e w o r k d i s t i n g u i s h e s b e t w e e n i n t e r n a l a n d e x t e r n a l t r a n s i t i o n s , r a t h e r t h a n r e s o u r c e s , a n d a l l o w s

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

I n t h e W I P P O G a p p r o a c h , t r a n s i t i o n s a r e d e n e d a s W I P P O G r u l e s , a n d e x t e r n a l c o n n e c t i o n s a r e

m a n a g e d a t t h e W I P P O G m a c h i n e l e v e l , w i t h o u t h a v i n g t o r e v i s e t h e r u l e d e n i t i o n .

W h i l e W I P P O G i s b a s e d o n m u l t i s e t r e w r i t i n g , g r a p h r e w r i t i n g i s u s e d i n s e v e r a l e n v i r o n m e n t s

a s a u n i f o r m w a y t o e x p r e s s s y n t a x a n d s e m a n t i c s B M S T 9 9 ] . E a c h t o o l i s h o w e v e r t i e d t o a s p e c i c

a p p l i c a t i o n p o l i c y a n d h a s t o r e c u r t o h y b r i d ( t e x t u a l a n d v i s u a l ) f o r m s , t o s t e e r r u l e a p p l i c a t i o n i n

s o m e d e s i r e d w a y .

3 A p r e s e n t a t i o n o f W I P P O G

W I P P O G e x p l o i t s a n a b s t r a c t n o t i o n o f t r a n s i t i o n p e r f o r m e d b y a d i s c r e t e e v e n t s y s t e m , a n d d e t a i l s

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

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

i t e m , o f t h e f o r m

I t e m = T y p e N a m e ' ( ' ' i d ' = I d e n t ' ' ] C S L O F A V P ' ) '


3/8

w h e r e T y p e N a m e i s a s t r i n g f r o m a s e t T N i d e n t i f y i n g t h e r e s o u r c e t y p e i n a s e t T I d e n t i s a s t r i n g

u n i q u e l y d e n i n g t h e i t e m , C S L O F A V P i s a c o m m a - s e p a r a t e d l i s t o f a t t r i b u t e - v a l u e p a i r s . T h e r e s o u r c e

t y p e d e t e r m i n e s t h e n a m e s o f t h e a t t r i b u t e s f r o m a s e t N m s , w h i l e v a l u e s a r e t a k e n f r o m d o m a i n s

a s s o c i a t e d w i t h t h e a t t r i b u t e s . N o a t t r i b u t e c a n a p p e a r t w i c e i n t h e s a m e i t e m . I n t h e c u r r e n t

i m p l e m e n t a t i o n , v a l u e s c a n b e t a k e n f r o m t h e d o m a i n s o f t h e b a s i c t y p e s , i n t s t r i n g b o o l e a n I d

a n d f r o m l i s t s o f t h e s e t y p e s . A t y p e O b j e c t i s p r o v i d e d f o r u s e r - d e n e d t y p e s . T h e s e t o f a l l r e s o u r c e s

d e n a b l e o n T i s c a l l e d W ( T )

A t r a n s i t i o n i s c o n d i t i o n a l r e s o u r c e c o n s u m p t i o n a n d p r o d u c t i o n . W I P P O G d i s t i n g u i s h e s i n t e r n a l

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

f r o m t h e e n v i r o n m e n t ( t h i s m a y i n c l u d e r e s o u r c e s r e p r e s e n t i n g u s e r i n p u t s ) . I n a s i m i l a r w a y , r e s o u r c e s

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

u t i l i z e d b y o t h e r a g e n t s . T r a n s i t i o n p r e c o n d i t i o n s m a y i n c l u d e c h e c k s o n t h e v a l u e s o f a t t r i b u t e s o f

t h e i n t e r n a l o r e x t e r n a l r e s o u r c e s t o b e c o n s u m e d . V a l u e s f o r t h e a t t r i b u t e s o f t h e r e s o u r c e s t o b e

p r o d u c e d a r e c o m p u t e d i n a d e d i c a t e d c o m p o n e n t o f t h e t r a n s i t i o n . T o m e e t t h e s e n e e d s , v a r i a b l e s

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

v a l u e s o f e x i s t i n g r e s o u r c e s . V a r i a b l e s w i t h t h e s a m e n a m e a r e b o u n d t o a s s u m e t h e s a m e v a l u e .

A W I P P O G t r a n s i t i o n i s t h e r e f o r e f o r m e d b y s i x c o m p o n e n t s :

W H E N : r e s o u r c e s w h i c h m u s t b e a v a i l a b l e i n t e r n a l l y t o t h e a g e n t . A t t r i b u t e s c a n b e m e n t i o n e d ,

w i t h e i t h e r a c o n s t a n t v a l u e , o r a v a r i a b l e n a m e .

G E T S : e x t e r n a l l y p r o d u c e d r e s o u r c e s w h i c h m u s t b e a v a i l a b l e t o t h e a g e n t . A t t r i b u t e s c a n b e

m e n t i o n e d , w i t h a c o n s t a n t v a l u e o r a v a r i a b l e n a m e .

I F : c o n d i t i o n s o n v a r i a b l e s i n t h e W H E N o r G E T S c o m p o n e n t s .

P R O C E S S E S : c o m p u t a t i o n a l a c t i v i t i e s a s s o c i a t e d w i t h t h e t r a n s i t i o n a n d c o n s i d e r e d t o b e

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

c r e a t e d . V a r i a b l e s i n t r o d u c e d i n t h e W H E N o r G E T S c o m p o n e n t s c a n b e u s e d i n t h e e x p r e s s i o n s .

P R O D U C E S : r e s o u r c e s t o b e c r e a t e d b y t h e t r a n s i t i o n . I f v a r i a b l e s a p p e a r , t h e i r n a m e s m u s t

o c c u r e i t h e r i n t h e W H E N o r G E T S c o m p o n e n t s , o r i n t h e l e f t - h a n d s i d e o f a n a s s i g n m e n t i n

t h e P R O C E S S E S c o m p o n e n t .

O U T S : r e s o u r c e s t o b e m a d e e x t e r n a l l y a v a i l a b l e . I f v a r i a b l e s a p p e a r , t h e i r n a m e s m u s t o c c u r

e i t h e r i n t h e W H E N o r G E T S c o m p o n e n t s , o r i n t h e l e f t - h a n d s i d e o f a n a s s i g n m e n t i n t h e

P R O C E S S E S c o m p o n e n t s .

T h e a p p l i c a t i o n o f a W I P P O G t r a n s i t i o n : a ) r e m o v e s f r o m t h e r e s o u r c e p o o l a v a i l a b l e t o a n a n

a g e n t ( i n t e r n a l o r e x t e r n a l ) t h o s e m e n t i o n e d i n t h e W H E N a n d G E T S c o m p o n e n t s , i f t h e c o n d i t i o n s

i n t h e I F c o m p o n e n t a r e s a t i s e d b ) e x e c u t e s t h e a c t i v i t i e s s p e c i e d i n t h e P R O C E S S E S c o m p o n e n t

a n d c ) p r o d u c e s ( e i t h e r f o r i n t e r n a l o r e x t e r n a l u s e ) t h e r e s o u r c e s s p e c i e d i n t h e P R O D U C E S a n d

O U T S c o m p o n e n t s .

A s a n e x a m p l e , a t r a n s i t i o n i n a n i t e s t a t e m a c h i n e , g o i n g f r o m o n e s t a t e A t o a s t a t e B w h e n

r e c e i v i n g t h e i n p u t c , a s s h o w n i n F i g u r e 1 a ) , w o u l d b e e n c o d e d b y t h e r u l e

3

W H E N : c u r r e n t ( i d = A )

G E T S : i n p u t ( v a l u e = c )

P R O D U C E S : c u r r e n t ( i d = B )

I n a n o t h e r e x a m p l e , a t r a n s i t i o n i n a P l a c e / T r a n s i t i o n P e t r i N e t r e m o v i n g t w o t o k e n s f r o m a p l a c e

p l 1 , o n e t o k e n f r o m a p l a c e p l 2 , a n d i n s e r t i n g a t o k e n i n p l a c e p l 3 , a s s p e c i e d i n F i g u r e 1 b ) , w o u l d

b e e n c o d e d b y t h e r u l e :

W H E N : p l a c e ( i d = 1 t k n s = X ) p l a c e ( i d = 2 t k n s = Y ) p l a c e ( i d = 3 t k n s = Z )

I F : X 2 Y 1

P R O C E S S E S : X 1 : = X - 2 Y 1 : = Y - 1 Z 1 : = Z + 1

P R O D U C E S : p l a c e ( i d = 1 t k n s = X 1 ) p l a c e ( i d = 2 t k n s = Y 1 ) p l a c e ( i d = 3 t k n s = Z 1 )

3

A c t u a l l y , t h e c o r r e c t s y n t a x o f W I P P O G i s e x p r e s s e d i n X M L t h r o u g h a D T D . F o r t h e s a k e o f c o n c i s e n e s s w e a d o p t

a s i m p l i e d s y n t a x h e r e .


4/8

1

13

2

cA B2

a)

b)

1

F i g u r e 1 : a ) A t r a n s i t i o n i n a n i t e s t a t e m a c h i n e . b ) A t r a n s i t i o n i n a P T P e t r i N e t

4 W I P P O G i n a p p l i c a t i o n c o n t e x t s

W e d i s c u s s h e r e s o m e a s p e c t s r e l a t i v e t o t h e m a n a g e m e n t o f W I P P O G s p e c i c a t i o n s , i n p a r t i c u l a r i n

t h e c o n t e x t o f v i s u a l l a n g u a g e s .

4 . 1 W I P P O G M a c h i n e s

A W I P P O G m a c h i n e ( W M ) p r o v i d e s a c o m p u t a t i o n a l e n v i r o n m e n t f o r t h e e x e c u t i o n o f W I P P O G

r u l e s . I t c o n s i s t s , a s p o r t r a y e d i n F i g u r e 2 , o f a W I P P O G I n t e r p r e t e r , a p p l y i n g o n e W I P P O G r u l e

a t a t i m e , f r o m t h o s e p r e s e n t i n t h e R u l e b a s e , c o h e r e n t l y w i t h t h e r o l e o f t h e d i e r e n t c o m p o n e n t s

a n d a c c o r d i n g t o a n a c t i v a t i o n p o l i c y m a n a g e d b y t h e W I P P O G M a n a g e r . T h e p r o c e s s a c t s o n b o t h

t h e R e s o u r c e P o o l w h i c h c o n t a i n s t h e r e s o u r c e s d e s c r i b i n g t h e s t a t e o f t h e s y s t e m , a n d t h e I n p u t a n d

O u t p u t c o m p a r t m e n t s o f t h e W M , w h i c h r e p r e s e n t t h e s y s t e m ' s c o n n e c t i o n w i t h t h e o t h e r s y s t e m s .

S e v e r a l W M s c a n c o m m u n i c a t e a m o n g t h e m . I n p a r t i c u l a r , l e t T

1

a n d T

2

b e t h e s e t o f t y p e s f o r

t h e r u l e s a s s o c i a t e d w i t h t w o m a c h i n e s W M

1

a n d W M

2

, c a l l e d t h e s e t s P

1

a n d P

2

. A m a c h i n e W M

i

c a n d e c l a r e a s e t I

i

T

i

o f t y p e s a s I m p o r t a n d a s e t E

i

T

i

a s E x p o r t . N o w , f o r i j 2 f 1 2 g

e a c h r e s o u r c e o f a t y p e t 2 I

i

\ E

j

w h i c h i s d e c l a r e d i n t h e O U T S c o m p o n e n t o f a r u l e i n P

j

a n d

p r o d u c e d d u r i n g a t r a n s i t i o n , w i l l b e p l a c e d i n t h e O u t p u t c o m p a r t m e n t o f W M

j

. T h e c o m m u n i c a t i o n

m e c h a n i s m r e m o v e s t h e m f r o m t h e r e a n d p l a c e s t h e m i n t h e I n p u t c o m p a r t m e n t o f W M

i

. A r u l e i n

P

i

, e x p l o i t i n g a r e s o u r c e o f t y p e t i n i t s G E T S c o m p o n e n t , w i l l b e a b l e t o u s e s u c h r e s o u r c e a n d

r e m o v e i t f r o m t h e I n p u t c o m p o n e n t .

T h e W I P P O G M a n a g e r i s r e s p o n s i b l e f o r a c t i v a t i n g t h e i n t e r p r e t e r , a c c o r d i n g t o a n a c t i v a t i o n

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

c o n c u r r e n t , a n d m a x i m a l l y c o n c u r r e n t

I n t h e s e q u e n t i a l p o l i c y , t h e i n t e r p r e t e r s e l e c t s o n l y o n e s e t o f r e s o u r c e s s a t i s f y i n g t h e p r e c o n d i t i o n s

o f a t l e a s t o n e r u l e f o r a p p l i c a t i o n . I n t h e c o n c u r r e n t p o l i c y , a s e t o f n o n c o n i c t i n g s e t s o f r e s o u r c e s

s a t i s f y i n g t h e p r e c o n d i t i o n s f o r s o m e r u l e f o r a p p l i c a t i o n i s s e l e c t e d . T h e m a x i m a l c o n c u r r e n c y p o l i c y

a p p l i e s a l l p o s s i b l e c o n c u r r e n t r u l e s i n s u c h a w a y t h a t a n y o t h e r a p p l i c a t i o n w o u l d c o n i c t w i t h t h e

s e l e c t e d i n s t a n c e s . A l l t h e r e s o u r c e s a p p e a r i n g i n t h e s e t s o f p r e c o n d i t i o n s f o r t h e a p p l i e d r u l e s a r e

r e m o v e d f r o m t h e p o o l , w h i l e a l l r e s o u r c e s i n t h e s e t s o f p o s t c o n d i t i o n s f o r s u c h r u l e s a r e a d d e d . T h e

c o m p l e t i o n o f a s t e p c a n t r i g g e r s o m e s p e c i c a c t i v i t y b y o t h e r o b j e c t s i n t h e s y s t e m . I n p a r t i c u l a r ,

i t t r i g g e r s t h e m o v e m e n t f r o m t h e E x p o r t o f o n e m a c h i n e t o t h e I m p o r t c o m p a r t m e n t o f a n o t h e r

m a c h i n e , a n d e n a b l e s p o s s i b l e e x t e r n a l o b s e r v e r s t o r e f e r t o t h e n e w c o n t e n t o f t h e R e s o u r c e P o o l

4 . 2 F r o m d o m a i n s p e c i c l a n g u a g e s t o W I P P O G s p e c i c a t i o n s

I n o r d e r t o u s e a W I P P O G m a c h i n e t o s u p p o r t e x e c u t i o n o f v i s u a l s p e c i c a t i o n s , w e c o n s i d e r t h a t

b e h a v i o u r s p e c i c a t i o n s a r e g e n e r a l l y o f t h r e e t y p e s .

I n a r s t c a s e , d i a g r a m m a t i c n o t a t i o n s a r e u s e d t o s p e c i f y t r a n s f o r m a t i o n s f o l l o w i n g s o m e p r o t o -

t y p i c a l m o d e l s u c h a s n i t e s t a t e a u t o m a t a , d a t a o w d i a g r a m s ( a n d t h e i r d e r i v a t i o n s l i k e P r o g r a p h

C G P 8 9 ] ) , o r P e t r i n e t s . T h e s e m o d e l s u s e a d i a g r a m t o i m p l i c i t l y d e n e t h e c o n t e n t o f t h e t r a n s f o r -

m a t i o n ( w h i c h c a n b e r e p r e s e n t e d a s d i a g r a m a n i m a t i o n ) , w h i l e a d o p t i n g a n e x p l i c i t r e p r e s e n t a t i o n o f

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


5/8

ResourcePool

Input

Output

WIPPOG Machine

Rules

WIPPOG Manager

WIPPOG Interpreter

F i g u r e 2 : T h e a r c h i t e c t u r e o f a W I P P O G m a c h i n e

T h e s e c o n d f a m i l y g r o u p s t h o s e s p e c i c a t i o n s w h i c h e x p r e s s t r a n s f o r m a t i o n s a s b e f o r e - a f t e r v i s u a l

r u l e s , f o l l o w i n g t h e p i o n e e r i n g w o r k s o f B I T P I C T F u r 9 1 ] , A g e n t s h e e t s R S 9 5 ] o r K i d S y m S C S 9 4 ] .

T h e s e a r e b a s e d o n a s i m p l e o p e r a t i o n a l s e m a n t i c s ( r e m o v e t h e a n t e c e d e n t a n d s u b s t i t u t e i t w i t h

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

s e q u e n t i a l o r a c o n c u r r e n t o n e .

F i n a l l y , v i s u a l r u l e s c a n b e a s s o c i a t e d w i t h s o p h i s t i c a t e d a p p l i c a t i o n p o l i c i e s o r e m b e d d i n g m e c h -

a n i s m s , a s i n g r a p h g r a m m a r s ( f o r t h e d i e r e n t a p p r o a c h e s t o t h i s e l d , s e e R o z 9 7 ] ) . I n t h i s c a s e ,

h o w e v e r , r u l e s o p e r a t e m o r e o n a n a b s t r a c t r e p r e s e n t a t i o n o f t h e d i a g r a m , r a t h e r t h a n o n t h e a c t u a l d i -

a g r a m . T r a n s f o r m a t i o n s c a n b e m a p p e d b a c k t o t h e a c t u a l d i a g r a m , g e n e r a l l y b y w a y o f p r o g r a m m e d

r o u t i n e s T a e 0 0 ] , o r l a y e r e d t r a n s f o r m a t i o n s B a r 0 2 ] ( f o r a s u r v e y o n a p p l i c a t i o n s s e e B T M S 9 9 ] ) .

F o r a l l t h e s e c a s e s , a s t y l e o f t r a n s l a t i o n t o a W I P P O G s p e c i c a t i o n c a n b e d e v i s e d , e x p l o i t i n g

m e t a m o d e l d e n i t i o n s o f b o t h t h e s e m a n t i c s a n d t h e s y n t a x o f t h e v i s u a l l a n g u a g e o f i n t e r e s t . T h e

m e t a m o d e l s c a n b e e x p r e s s e d i n t h e U M L s t y l e v i a a n a b s t r a c t s y n t a x , t y p i c a l l y i n t h e f o r m o f c l a s s

d i a g r a m s , a n d a c o l l e c t i o n o f c o n s t r a i n t s o n t h e r e l a t i o n s a m o n g e l e m e n t s o f t h e a b s t r a c t s y n t a x . T h e

m e t a m o d e l c h a r a c t e r i s a t i o n o f t h e s y n t a c t i c a l a s p e c t s o f t h e v i s u a l l a n g u a g e , a s d e n e d i n P G 0 2 ] ,

a s s i g n s t h e l a n g u a g e t o a f a m i l y , s u c h a s c o n t a i n m e n t - b a s e d , g r a p h - l i k e , a d j a c e n c y - b a s e d , e t c . T h e

t r a n s l a t i o n f r o m v i s u a l t o W I P P O G e l e m e n t s t h u s d e p e n d s o n t h e f a m i l i e s o f m o d e l s a s d i s c u s s e d

a b o v e , a n d t h e s p e c i c w a y o f r e p r e s e n t i n g r e l a t i o n s a m o n g e l e m e n t s .

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

r e l i e s o n t h e i d e n t i c a t i o n o f S e m a n t i c E l e m e n t s , i . e . o f t h o s e v i s u a l e l e m e n t s t h r o u g h w h i c h s e m a n t i c s

i s d e n e d . I n t h i s s e t , o n e c a n d i s t i n g u i s h b e t w e e n C o n g u r a t i o n S u p p o r t E l e m e n t s a n d T r a n s i t i o n

E l e m e n t s C o n g u r a t i o n S u p p o r t E l e m e n t s c a n b e i n t u r n d i v i d e d i n t o H o l d e r s a n d T o k e n s A C o n g -

u r a t i o n i s a s e t o f S e m a n t i c E l e m e n t s a n d a T r a n s i t i o n e x p r e s s e s a r e l a t i o n b e t w e e n t w o C o n g u r a t i o n s

( p r e - a n d p o s t - C o n g u r a t i o n )

F o r t h e r s t f a m i l y o f v i s u a l l a n g u a g e s , t h i s m e t a m o d e l i s r e e c t e d a t t h e v i s u a l l e v e l , b y e x p r e s s i n g

C o n g u r a t i o n S u p p o r t E l e m e n t s a s I d e n t i a b l e E l e m e n t s , s o t h a t a V i s u a l C o n g u r a t i o n i s a s e t o f

s u c h e l e m e n t s ( p o s s i b l y w i t h s p e c i c v a l u e s o f t h e i r a p p e a r a n c e a t t r i b u t e s , e . g . c o l o u r m a y i d e n t i f y

t h e p o s i t i o n o f t h e c u r r e n t T o k e n i n t h e r e p r e s e n t a t i o n o f a n i t e s t a t e a u t o m a t o n ) . T r a n s i t i o n s a r e

m a p p e d t o p e c u l i a r I d e n t i a b l e E l e m e n t s , w h i c h c a n b e R e f e r r a b l e E l e m e n t s , a s h a p p e n s i n P e t r i n e t s ,

o r C o n n e c t i o n s , a s i n F i n i t e S t a t e A u t o m a t a . A t t r i b u t e s o f C o n g u r a t i o n S u p p o r t E l e m e n t s r e l e v a n t

t o d e n e t h e i r s t a t e a r e m a p p e d i n t o v i s u a l a t t r i b u t e s o f t h e I d e n t i a b l e E l e m e n t s . T h e l a s t m a p p i n g

i s n o w t o t h e W I P P O G l e v e l . I d e n t i a b l e E l e m e n t s c o r r e s p o n d i n g t o C o n g u r a t i o n S u p p o r t E l e m e n t s

a r e m a p p e d i n t o W I P P O G E l e m e n t s , i . e . r e s o u r c e s . I n a n y c a s e , a W I P P O G R u l e i s c r e a t e d f o r e a c h

I d e n t i a b l e E l e m e n t c o r r e s p o n d i n g t o a T r a n s i t i o n

F o r t h e s e c o n d f a m i l y o f v i s u a l s p e c i c a t i o n s , t h e m a i n d i e r e n c e a t t h e v i s u a l l e v e l i s t h e l a c k o f

a v i s u a l e l e m e n t t h a t e x p l i c i t l y r e p r e s e n t s a t r a n s i t i o n . T h i s i s a n y w a y e x p r e s s e d b y t h e d i e r e n c e s

b e t w e e n t h e p r e - a n d p o s t - V i s u a l C o n g u r a t i o n s W I P P O G R u l e s a r e d i r e c t l y d e r i v e d f r o m t h e s e

t w o V i s u a l C o n g u r a t i o n s . T h e t h i r d f a m i l y r e l i e s o n a s i m i l a r m a p p i n g , b u t i n a d d i t i o n , i t r e q u i r e s

a s p e c i c c o d i n g o f t h e d i e r e n t e x e c u t i o n p o l i c i e s .


6/8

4 . 3 F r o m W I P P O G e x e c u t i o n t o v i s u a l r e p r e s e n t a t i o n s

T h e t r a n s i t i o n s i n a W M n e e d , o f c o u r s e , t o b e m a p p e d b a c k t o t h e p i c t o r i a l l e v e l . O n t h e o t h e r

h a n d , t h e t y p e s o f a t t r i b u t e s i n v o l v e d i n t h e m a n a g e m e n t o f a W I P P O G t r a n s i t i o n m a y b e d i e r e n t

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

M o r e o v e r , o n e c o u l d b e i n t e r e s t e d i n o b s e r v i n g g l o b a l p r o p e r t i e s o f a c o l l e c t i o n o f r e s o u r c e s , f o r i n s t a n c e

h o w m a n y r e s o u r c e s e x i s t f o r e a c h d i e r e n t t y p e . F i n a l l y , s o m e s p e c i c v a l u e s o f a n a t t r i b u t e f o r a

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

T o t h i s e n d , w e r e l y o n t h e d i s t i n c t i o n b e t w e e n O b s e r v e r s a n d E x e c u t o r s a s d e n e d i n t h e C V E

a r c h i t e c t u r e B B M P 9 3 ] . I n t h i s a r c h i t e c t u r e , E x e c u t o r s a r e r e s p o n s i b l e f o r m a n a g i n g c o m p u t a t i o n a l

r e s o u r c e s a n d a c t i v i t i e s , w h i l e O b s e r v e r s a r e r e s p o n s i b l e t o f o r m a t v i e w s t o b e d i s p l a y e d b y P r e s e n t e r s

O b s e r v e r s a r e a l s o a b l e t o i n t e r p r e t t h e e v e n t s g e n e r a t e d b y t h e u s e r o n t h e p r e s e n t a t i o n e l e m e n t s

a n d t o c o n s e q u e n t l y g e n e r a t e r e q u e s t s t o t h e e x e c u t o r s , o r a d j u s t p r e s e n t a t i o n a s p e c t s , a c c o r d i n g t o

t h e m e a n i n g o f t h e e v e n t . A n o t i c a t i o n m e c h a n i s m e n s u r e s t h a t s t a t e c h a n g e s i n t h e E x e c u t o r a r e

r e p o r t e d t o t h e r e g i s t e r e d O b s e r v e r s t o u p d a t e t h e c o n n e c t e d p r e s e n t a t i o n s .

A n O b s e r v e r f o r a W M ( i . e . a n i n s t a n c e o f W I P P O G O b s e r v e r ) n e e d s t o b e a w a r e o f t h e s e t o f

t y p e s T u s e d b y t h e W M , a n d t o d e n e a s e t o f v i s u a l t y p e s V T , t o g e t h e r w i t h a n i n j e c t i v e m a p p i n g

T ! V T c o n n e c t i n g t h e W I P P O G t y p e t o t h e v i s u a l t y p e . A s t h e a t t r i b u t e s i n a t y p e v = ( t )

m a y d i e r f o r a n y t 2 T , t h e o b s e r v e r s m u s t a l s o b e e q u i p p e d w i t h p a r t i a l m a p p i n g s

t

D

a

i

! D

a

j

f o r s o m e a

i

2 a t t s ( t ) a

j

2 a t t s ( ( t ) ) . I n t h i s w a y , a n O b s e r v e r , o n c e i n f o r m e d o f t h e c o m p l e t i o n o f

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

i n v o l v e r e m o v a l o r i n s e r t i o n o f i t e m s , o r m o d i c a t i o n s o f t h e a p p e a r a n c e o f m o d i e d i t e m s , a c c o r d i n g

t o t h e o u t c o m e s o f a s t e p .

I t i s t o b e n o t e d t h a t i n a W I P P O G t r a n s i t i o n t h e m o d i c a t i o n o f a r e s o u r c e i s p o s s i b l e o n l y i f i t

a p p e a r s w i t h t h e s a m e i d e n t i e r i n b o t h t h e W H E N a n d t h e P R O D U C E S c o m p o n e n t s . I n t h i s c a s e ,

t h e r e s o u r c e i s r s t r e m o v e d a n d t h e n r e i n s e r t e d w i t h t h e s a m e i d e n t i e r . A t t r i b u t e s w h o s e v a l u e

h a s n o t b e e n c o m p u t e d i n t h e P R O C E S S E S c o m p o n e n t m a i n t a i n t h e s a m e v a l u e . A t t h e g r a p h i c a l

l e v e l , w e d o n o t n e e d t o s h o w d e l e t i o n a n d r e i n s e r t i o n ( a n d g e n e r a l l y w e d o n o t w a n t ) , s o t h a t a

W I P P O G O b s e r v e r g e n e r a l l y w a i t s f o r t h e c o m p l e t i o n o f a s t e p t o p e r f o r m t h e u p d a t i n g , t h u s b e i n g

a b l e t o s h o w o n l y t h e n e t r e s u l t . S u c h a m e c h a n i s m c a n h o w e v e r b e o v e r r i d e n . A s a W I P P O G O b s e r v e r

n e e d s t o i m p l e m e n t t h e W I P P O G L i s t e n e r i n t e r f a c e , w h i c h d e c l a r e s m e t h o d s t o c a p t u r e t h e d i e r e n t

W I P P O G E v e n t s , o n e c a n c h o o s e t o p e r f o r m ( p a r t i a l ) u p d a t e s w h e n r e s o u r c e s a r e r e m o v e d o r i n s e r t e d

i n a n y c o m p a r t m e n t o f a W M .

4 . 4 U s i n g W I P P O G t o s p e c i f y d i a l o g u e c o n t r o l i n a s y n t a x d i r e c t e d e d i t o r

I n B C M 9 9 ] , a c o n s t r u c t i o n i s p r e s e n t e d t o t r a n s l a t e a s e t o f c o n d i t i o n a l a t t r i b u t e d v i s u a l r e w r i t i n g

r u l e s , d e n i n g a v i s u a l l a n g u a g e , i n t o a n i n t e r a c t i o n c o n t r o l a u t o m a t o n e n a b l i n g o r d i s a b l i n g r u l e

a p p l i c a t i o n , a c c o r d i n g t o t h e u s e r s e l e c t i o n o f p o s s i b l e r u l e a n t e c e d e n t s . T h e G e n I A L s y s t e m p r o v i d e s

a n i n t e r a c t i v e e n v i r o n m e n t w h e r e u s e r s c a n d e n e v i s u a l a l p h a b e t s , c o l l e c t i o n s o f v i s u a l r u l e s a n d s e t s

o f a x i o m s . T h e u s e r c a n t h e n c o n s t r u c t c o r r e c t s e n t e n c e s i n t h e c o r r e s p o n d i n g v i s u a l l a n g u a g e , i n a

w a y g o v e r n e d b y t h e g e n e r a t e d c o n t r o l a u t o m a t o n . G e n I A L e x p l o i t s t h e C V E a r c h i t e c t u r e , s o t h a t i t

i s p o s s i b l e t o i n t e g r a t e i t w i t h e x e c u t o r s e m b e d d i n g W M s i n t o t h e m a n d w i t h W I P P O G O b s e r v e r s

A s s h o w n i n F i g u r e 3 , a n E A C B u i l d e x e c u t o r t r a n s l a t e s t h e s p e c i c a t i o n o f a v i s u a l l a n g u a g e

a l p h a b e t a n d r u l e s i n t o t w o W I P P O G s p e c i c a t i o n s . O n e , m a n a g e d b y t h e a u t o m a W W M , d e n e s t h e

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

t h e W I P P O G s y n t a x . W h i l e v i s u a l r u l e s m a y c o n t a i n a t t r i b u t e s p e r t a i n i n g t o b o t h t h e g r a p h i c a l a n d

t h e s e m a n t i c a l a s p e c t s , s e n t e n c e W i s o n l y i n v o l v e d i n t h e s e m a n t i c s o f t h e v i s u a l l a n g u a g e . G r a p h i c a l

a t t r i b u t e s a r e m a n a g e d b y a n o b s e r v e r O A C e s e c , r e s p o n s i b l e f o r t h e v i s u a l i s a t i o n o f t h e c u r r e n t s t a t e

o f t h e s e n t e n c e , a c c o r d i n g t o t h e c r i t e r i a d i s c u s s e d i n S e c t i o n 4 . 3 . O A C e s e c c a p t u r e s t h e u s e r g e s t u r e s

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

b y a u t o m a W

T h e o b s e r v e r O A C e s e c i s c o n n e c t e d t o a n e x e c u t o r E A C e s e c e n c a p s u l a t i n g a u t o m a W a n d s e n t e n c e W

U s e r a c t i o n s a r e i n s e r t e d i n t h e I n p u t p o o l o f a u t o m a W a n d c o n s u m e d b y i t s t r a n s i t i o n s . I n p a r t i c u l a r ,


7/8

WippogSpecification

LanguageSpecification

RuleAlphabet

Translator

(EACBuild)

reads

produces

2

Interprets

(EACEsec)

produces

SentenceObserver

observes

ExecObserverEditorObserver

(OACEsec)

observes

SentenceEditor

WIPPOGMachine

SentenceExecutor

21

F i g u r e 3 : A c l a s s d i a g r a m d e n i n g t h e G e n I A L c o n c e p t u a l a r c h i t e c t u r e

e a c h t r a n s i t i o n i n a u t o m a W p r e s e n t s e x a c t l y o n e a c t i o n r e s o u r c e i n i t s G E T S c o m p o n e n t , w h i l e t h e

c u r r e n t s t a t e o f t h e a u t o m a t o n ( c o n s u m e d i n W H E N a n d r e g e n e r a t e d i n P R O D U C E S ) i s d e s c r i b e d

b y o n e c u r r e n t r e s o u r c e . S e l e c t i o n a c t i o n s m a y b e v a l i d o r n o t . I n e i t h e r c a s e , a n o t i c a t i o n i s

r e e c t e d b a c k t o O A C e s e c , p o s s i b l y s t a r t i n g a n e r r o r d i a l o g u e . V i s u a l i s a t i o n i s a g a i n m a n a g e d b y

O A C e s e c , w h i l e t h e c o n t r o l l o g i c i s m a n a g e d i n a u t o m a W . I f t h e a c t i o n i s a r e q u e s t f o r a c t i v a t i o n o f

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

r u l e a n d o n e d e s c r i b i n g t h e c u r r e n t l i s t o f s e l e c t e d e l e m e n t s . T h e s e n t e n c e W W M t r i e s t o e x e c u t e

t h e c o r r e s p o n d i n g t r a n s i t i o n a n d e x p o r t s t h e b o o l e a n r e s o u r c e c o n d i t i o n R u l e b a c k t o a u t o m a W t o

c o m m u n i c a t e t h e o u t c o m e . A c c o r d i n g t o t h e v a l u e o f c o n d i t i o n R u l e , o n e o f t w o t r a n s i t i o n s w i l l t a k e

p l a c e i n a u t o m a W . I n e i t h e r c a s e , t h e o u t c o m e w i l l b e n o t i e d t o O A C e s e c , w h i c h v i s u a l i s e s t h e n e w

c o n g u r a t i o n , o r s t a r t s a n e r r o r d i a l o g u e .

T h e v i s u a l l a n g u a g e r u l e s c a n i n t u r n b e a n n o t a t e d w i t h W I P P O G r u l e s d e n i n g t h e b e h a v i o u r o f

t h e t r a n s i t i o n . T h i s w a y , t h e c r e a t i o n o f t r a n s i t i o n s i n a v i s u a l s e n t e n c e i s a s s o c i a t e d w i t h t h e c r e a t i o n

o f a W I P P O G s p e c i c a t i o n c o n n e c t e d w i t h t h e v i s u a l s e n t e n c e c r e a t e d . T h e l a t t e r c a n b e e x e c u t e d

i n a n e w W M ( c a l l e d a S e n t e n c e E x e c u t o r ) a n d i t s b e h a v i o u r o b s e r v e d b y a n o b s e r v e r m a n a g i n g

s u i t a b l e g r a p h i c a l r e p r e s e n t a t i o n s o f t h e r e s o u r c e s i n t h e s e n t e n c e .

5 C o n c l u s i o n s

T h e p a p e r h a s p r e s e n t e d t h e e x e c u t a b l e l a n g u a g e W I P P O G f o r s p e c i c a t i o n o f d i s c r e t e e v e n t s y s -

t e m s , a n d s h o w n h o w t o c o n n e c t i t s e x e c u t i o n e n v i r o n m e n t t o a v i s u a l e n v i r o n m e n t i n w h i c h a u s e r

c a n s p e c i f y p r o c e s s e s b a s e d o n s o m e n o t i o n o f t r a n s i t i o n . T h e W I P P O G l a n g u a g e c a n h a v e s e v e r a l

a p p l i c a t i o n s i n t h e v i s u a l l a n g u a g e a r e a . A g e n e r i c s y s t e m f o r g e n e r a t i o n a n d u s e o f d o m a i n s p e c i c

v i s u a l l a n g u a g e s c a n s u p p o r t d i e r e n t v i s u a l l a n g u a g e s i n a u n i f o r m w a y , w i t h o u t h a v i n g t o a t t a c h

d i e r e n t e x e c u t i o n m e c h a n i s m s f o r a n y l a n g u a g e . M o r e o v e r , a s y n t a x - d i r e c t e d e d i t o r c a n b e g e n e r -

a t e d , w h i c h a l l o w s t h e c r e a t i o n o f s e n t e n c e s i n a v i s u a l l a n g u a g e s p e c i e d t h r o u g h b e f o r e - a f t e r r u l e s .

T h e e d i t o r r e s u l t s f r o m t h e c o u p l i n g o f t w o W I P P O G s p e c i c a t i o n s , o n e f o r a n a u t o m a t o n e n a b l i n g

o r d i s a b l i n g u s e r a c t i o n s , a n d o n e f o r t h e a c t u a l r u l e s f o r s e n t e n c e e v o l u t i o n .

R e f e r e n c e s

A C P 9 3 ] M . A n d r e o l i , P . C i a n c a r i n i , a n d R . P a r e s c h i . , I n t e r a c t i o n a b s t r a c t m a c h i n e s , R e s e a r c h D i r e c t i o n s

i n C o n c u r r e n t O b j e c t O r i e n t e d P r o g r a m m i n g ( G . A g h a , A . Y o n e z a w , a n d P . W e g n e r , e d s . ) , M I T

P r e s s , 1 9 9 3 , p p . 2 5 7 { 2 8 0 .

A n d 9 2 ] J . - M . A n d r e o l i , L o g i c p r o g r a m m i n g w i t h f o c u s i n g p r o o f s i n l i n e a r l o g i c , J o u r n a l o f L o g i c a n d C o m -

p u t a t i o n 2 ( 1 9 9 2 ) , n o . 3 , 2 9 7 { 3 4 7 .

A n d 9 5 ] J - M . A n d r e o l i , P r o g r a m m i n g i n f o r u m t a l k , T e c h . R e p o r t C T { 0 0 3 , R a n k X e r o x R e s e a r c h C e n t r e ,

G r e n o b l e L a b . , F r a n c e , 1 9 9 5 .


8/8

A P 9 1 ] J . - M . A n d r e o l i a n d R . P a r e s c h i , C o m m u n i c a t i o n a s F a i r D i s t r i b u t i o n o f K n o w l e d g e , P r o c e e d i n g s

o f t h e O O P S L A ' 9 1 C o n f e r e n c e o n O b j e c t - o r i e n t e d P r o g r a m m i n g S y s t e m s , L a n g u a g e s a n d A p p l i -

c a t i o n s , 1 9 9 1 , p p . 2 1 2 { 2 2 9 .

B a r 0 2 ] R . B a r d o h l , G e n g e d - a v i s u a l e n v i r o n m e n t f o r v i s u a l l a n g u a g e s , I n t . J o u r n a l S c i e n c e o f C o m p u t e r

P r o g r a m m i n g 4 4 ( 2 0 0 2 ) , n o . 2 , 1 8 1 { 2 0 3 .

B B M P 9 3 ] N . B i a n c h i , P . B o t t o n i , P . M u s s i o , a n d M . P r o t t i , C o o p e r a t i v e v i s u a l e n v i r o n m e n t s f o r t h e d e s i g n

o f e e c t i v e v i s u a l s y s t e m s , J o u r n a l o f V i s u a l L a n g u a g e s a n d C o m p u t i n g 4 ( 1 9 9 3 ) , n o . 4 , 3 5 7 { 3 8 1 .

B C M 9 9 ] P . B o t t o n i , M . F . C o s t a b i l e , a n d P . M u s s i o , S p e c i c a t i o n a n d d i a l o g u e c o n t r o l o f v i s u a l i n t e r a c t i o n

t h r o u g h v i s u a l r e w r i t i n g s y s t e m s , A C M T O P L A S 2 1 ( 1 9 9 9 ) , n o . 6 , 1 0 7 7 { 1 1 3 6 .

B M S T 9 9 ] R . B a r d o h l , M . M i n a s , A . S c h u r r , a n d G . T a e n t z e r , A p p l i c a t i o n o f g r a p h t r a n s f o r m a t i o n t o v i s u a l

l a n g u a g e s , H a n d b o o k o f G r a p h G r a m m a r s a n d C o m p u t i n g b y G r a p h T r a n s f o r m a t i o n . V o l u m e I I :

A p p l i c a t i o n s , L a n g u a g e s a n d T o o l s ( H . E h r i g , G . E n g e l s , H . - J . K r e o w s k i , a n d G . R o z e n b e r g , e d s . ) ,

W o r l d S c i e n t i c , 1 9 9 9 , p p . 1 0 5 { 1 8 0 .

B T M S 9 9 ] R . B a r d o h l , G . T a e n t z e r , M . M i n a s , a n d A S c h r r , A p p l i c a t i o n o f g r a p h t r a n s f o r m a t i o n t o v i s u a l

l a n g u a g e s , H a n d b o o k o n G r a p h G r a m m a r s a n d C o m p u t i n g b y G r a p h T r a n s f o r m a t i o n . V o l u m e 2 :

A p p l i c a t i o n s , L a n g u a g e s a n d T o o l s , , W o r l d S c i e n t i c , 1 9 9 9 .

C G P 8 9 ] P . T . C o x , F . R . G i l e s , a n d T . P i e t r z y k o w s k i , P r o g r a p h : A s t e p t o w a r d s l i b e r a t i n g p r o g r a m m i n g

f r o m t e x t u a l c o n d i t i o n i n g , P r o c . I E E E W o r k s h o p o n V i s u a l L a n g u a g e s , I E E E C S P r e s s , 1 9 8 9 , A l s o

a p p e a r i n g i n V i s u a l O b j e c t - O r i e n t e d P r o g r a m m i n g : C o n c e p t s a n d E n v i r o n m e n t s , M . M . B u r n e t t ,

A . G o l d b e r g , T . G . L e w i s ( E d s ) , P r e n t i c e - H a l l ( 1 9 9 5 ) , p p . 4 5 - 6 6 , p p . 1 5 0 { 1 5 6 .

d L V 0 2 ] J . d e L a r a a n d H . L . V a n g h e l u w e , A T o M

3

: A t o o l f o r m u l t i - f o r m a l i s m a n d m e t a - m o d e l l i n g . , E u -

r o p e a n J o i n t C o n f e r e n c e o n T h e o r y A n d P r a c t i c e o f S o f t w a r e ( E T A P S ) , F u n d a m e n t a l A p p r o a c h e s

t o S o f t w a r e E n g i n e e r i n g ( F A S E ) , L N C S , n o . 2 3 0 6 , S p r i n g e r - V e r l a g , 2 0 0 2 , p p . 1 7 4 { 1 8 8 .

E J 0 1 ] R . E s s e r a n d J . W . J a n n e c k , M o s e s - a t o o l s u i t e f o r v i s u a l m o d e l l i n g o f d i s c r e t e - e v e n t s y s t e m s , S y m -

p o s i u m o n V i s u a l / M u l t i m e d i a A p p r o a c h e s t o P r o g r a m m i n g a n d S o f t w a r e E n g i n e e r i n g , H C C 0 1 ,

2 0 0 1 , p p . 2 7 2 { 2 7 9 .

E r w 9 8 ] M . E r w i g , A b s t r a c t s y n t a x a n d s e m a n t i c s o f v i s u a l l a n g u a g e s , J o u r n a l o f V i s u a l L a n g u a g e s a n d

C o m p u t i n g 9 ( 1 9 9 8 ) , n o . 5 , 4 6 1 { 4 8 3 .

F u r 9 1 ] G . W . F u r n a s , N e w g r a p h i c a l r e a s o n i n g m o d e l s f o r u n d e r s t a n d i n g g r a p h i c a l i n t e r f a c e s , P r o c . C H I

' 9 1 , A p r i l 1 9 9 1 , p p . 7 1 { 7 8 .

G i r 9 5 ] J . - Y . G i r a r d , L i n e a r l o g i c : I t s s y n t a x a n d s e m a n t i c s , A d v a n c e s i n L i n e a r L o g i c ( J . - Y . G i r a r d ,

Y . L a f o n t , a n d L . R e g n i e r , e d s . ) , C a m b r i d g e U n i v e r s i t y P r e s s , 1 9 9 5 , p p . 1 { 4 2 .

P G 0 2 ] P . B o t t o n i a n d G . C o s t a g l i o l a , O n t h e d e n i t i o n o f v i s u a l l a n g u a g e s a n d t h e i r e d i t o r s , D i a g r a m -

m a t i c R e p r e s e n t a t i o n a n d I n f e r e n c e : S e c o n d I n t e r n a t i o n a l C o n f e r e n c e , D i a g r a m s 2 0 0 2 ( M . H e g a r t y ,

B e r n d M e y e r , a n d N . H . N a r a y a n a n , e d s . ) , L N A I , n o . 2 3 1 7 , S p r i n g e r - V e r l a g , 2 0 0 2 , p . 3 0 5 3 1 9 .

R o z 9 7 ] G . R o z e n b e r g ( e d . ) , H a n d b o o k o f g r a p h g r a m m a r s a n d c o m p u t i n g b y g r a p h t r a n s f o r m a t i o n , v o l u m e

1 : F o u n d a t i o n s , W o r l d S c i e n t i c , 1 9 9 7 .

R S 9 5 ] A . R e p e n n i n g a n d T . S u m n e r , A g e n t s h e e t s : A m e d i u m f o r c r e a t i n g d o m a i n - o r i e n t e d v i s u a l l a n -

g u a g e s , I E E E C o m p u t e r 2 8 ( 1 9 9 5 ) , n o . 3 , 1 7 { 2 6 .

S C S 9 4 ] D . S m i t h , A . C y p h e r , a n d J . S p o h r e r . , K i d s i m : P r o g r a m m i n g a g e n t s w i t h o u t a p r o g r a m m i n g l a n -

g u a g e , C o m m u n i c a t i o n s o f t h e A C M 3 7 ( 1 9 9 4 ) , n o . 7 , 5 4 { 6 7 .

T a e 0 0 ] G . T a e n t z e r , A g g : A t o o l e n v i r o m e n t f o r a l g e b r a i c g r a p h t r a n s f o r m a t i o n , A p p l i c a t i o n o f G r a p h

T r a n s f o r m a t i o n w i t h I n d u s t r i a l R e l e v a n c e ( M . N a g l , M . M n c h , a n d A . S c h u e r r , e d s . ) , L N C S 1 7 7 9 ,

B e r l i n : S p r i n g e r - V e r l a g , 2 0 0 0 .

Z P K 0 0 ] B . P . Z e i g l e r , H . P r a e h o f e r , a n d T . G K i m , T h e o r y o f m o d e l i n g a n d s i m u l a t i o n , 2 n d e d i t i o n

A c a d e m i c P r e s s , 2 0 0 0 .

Uniform representation of transition concepts in Domain Specific Visual Languages

Documents

Transcript of Uniform representation of transition concepts in Domain Specific Visual Languages