Information system upon information systems : a conceptual framework

Thesis

Reference

Information system upon information systems : a conceptual framework

LE DINH, Thang

Abstract

Our research addresses the problem of managing and coordinating information resources used in information system (IS) development. In our approach, we argue that conceptual specifications of information systems are the fundamental constituents of information resources. Accordingly, the first challenge of the research is to manage and coordinate conceptual specifications used in IS development. For this reason, an "Information System upon Information Systems" (ISIS) is proposed to manage and coordinate information resources based on conceptual specifications of information systems. An ISIS is actually a typical information system, which supports other information systems in development.

Correspondingly, this thesis presents a conceptual framework for building and managing the ISIS. This conceptual framework describes how to identify, modularize, manage, represent, and coordinate conceptual specifications used in IS development. In conclusion, the thesis ends with the current results, present works and remaining research issues.

LE DINH, Thang. Information system upon information systems : a conceptual framework. Thèse de doctorat : Univ. Genève, 2004, no. SES 577

URN : urn:nbn:ch:unige-3087

DOI : 10.13097/archive-ouverte/unige:308

Available at:

http://archive-ouverte.unige.ch/unige:308

Disclaimer: layout of this document may differ from the published version.

1 / 1

!" # $%

& #

'

( )

( & * " )

( + ",!" -$ !% ' ' , " '

% ."( " ' / $

(0!"& ! 1' '

(0 2-$ !3$!3 ' ' ' *

(0( " -$31 ' ' ' "

( 4 13 5! ' ' 6

( . 1- 3$ ' ' & '

!" 788

' 9::;

# # &

0

' <= $ & 9::;

3 3$

0

> !" # $% 9::;0 ! 0

' ? @ " @ ' 0 ( " -$31 "

& " ' # A 0

3 # ' ? @ " @ 0 + " !" -$ !% "

# # " #" ? @ " . . B

$ & # "0 0

? @ " @ " & ' 0 2-$ !3$!3 '

0 . 1- 3$ ' 0 !"& ! 1' 0 4 13 5! '

& & @ " 0

# " & ' ' " .

" (3! ' " " " #" 0

# " 3& CC2%3 13- ' % #! % # ' !" "!"

%3( !% ' ( " $ $ ' ! 12 ' $ 31$ ,+ -.%' 4 #

31 3 ' " "0 " @

4 13 5! " & & @ 0

/ " @ # " #

# 0

' # & ? ' 2 $# ' ? ' 3 ",( "

3 ",D ' " ? # ' " #"

0

& !" # $%

- " " & # # #

E F 0 "' ? #

" "

0 3 # ' " " # " "

# 0

" ' E F

# &

0 3 ' ?" "

" 0

. # ' " " ? @ & #

# # " 0 !" ? @ & " ? ' C '

# ' ' 0

' " " ? " " ' ? @ #

" 0

! " #$ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

& %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% '

&" %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% '

" %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% (

" $ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% (

" &" %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% (

# %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% )

)%)% * + %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%)

)%,% + - - . + / %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%,

)%0% + 1- + 1- -%%%%%%%%%%%%%%%%%%%%%%%%%%%%%2

!

"#$ !

% &

)%3% . -+- + %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%4

' ( )

5 5 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% ))

,%)% * - + 6 + %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%))

+ ,

&

,%,% 5 5 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%)7

- ' ( )

.

# %%%%%%%%%%%%%%%%%%%%%%% ,3

0%)% * + %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%,3 0%,% . + - %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%,8

# ' &

% *

0%0% . #1 + - %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%00

% .

0%3% . 9 +1 - %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%30

%

# ' %

0%8% & - + %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%32

/01 !

/01 &

/01 % &

2 # )

0%2% -+ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%34

# " : %%%%%%%%%%%%%%%%%%% 3;

3%)% * + %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%3;

3%,% + 1- %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%8<

.

+ .

" '

3%0% *+ +9 +. 6 /+ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%84 )

!.

3 # !

3%3% . - %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%27

4 !&

2 !)

3%8% + 1- & -*# / .%%%%%%%2;

!*

- ' ( &.

' &

3%2% -+ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%72

$ %%%%%%%%%%%%%%%%%%%%%%%%%% 77

8%)% / /+ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%77 8%,% 9 - ++ + -%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%7;

" % 5 &*

2 # " % 5 )

8%0% .+ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%42 )!

" ))

%' )*

8%3% = 9 +. . %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%;0

*

$ % *

8%8% -+ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%)<<

%%%%%%%%%%%%%%%%%% )<,

2%)% + + - . - + 1 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%)<,

! "#$ .

! + ' ( .

! - .

2%,% - ++ + -%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%)<3

! .

! .&

! % .*

! 2 # .

! 6

! 2 % #$ !

2%3% . - ++ + -%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%))7

! % % )

! % % *

! 3 % % *

2%8% -+ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%),)

# %%%%%%%%%%%%%%%%%%%%%% ),,

7%)% + *+ + %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%),,

& 7

&

&

&

7%,% *+ + + * / - *>1 %%%%%%%%%%%%%%%%%%%%%%%%),3

& 2 %

& 4 4

& #$ + #$ !

7%0% 5 *+ + %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%),4

& # ' )

& 4 #

7%3% 5 *+ + %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%)07

& # ' &

& 4 #

7%8% -+ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%)34

" %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% )8<

4%)% -+ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%)8<

4%,% - -%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%)8) 4%0% -%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%)8,

( " & "

%%%%% )83

++ + . + - %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%)83

44 2 4

A

++ + . #1 + - %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%)88 44

44 &

44 3 )

44 + )

++ + . 9 +1 - %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%)8;

44 % *

44 !

5 # " 7 # " %% )2,

. + - %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%)2,

4 !

! . #1 + - %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%)23

4 !

!!

. 9 +1 - %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%)27

4 % !&

!)

# &? " "

$ " %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% )7<

2 " 4 ,2 % &.

89+3- ,2 % &

2 - /: 3 % &

;39% &

3<30 % &!

+-" 3 % &&

902 2 3 % &)

3 8" % &*

0 36- 9-:,3 % ).

"+3 % )

- ; % )

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% )43

A

; " # #

+$ + @ $

.3 . 3 # #

.+ . +

. . . . $ % ."

( "

. ., !" .

.

+( & ( #

1 1 #

#

. .

,.+ . +

! " #

2+( 2 ? # + ( #

(3! , !" " (3!

( 3 ( 3 "

(

*

G( ?

/ $ % ,.",( " H *

- -&*

- . -&* ,

1I 1 & I

.( ? . # ( #

. ,

$ ,%.( $ % ,.",( "

A

# <,<) !" 000000000000000000000000000000000000000000000000000000000000000000000000000000007

# 9,<) 3 " " 3 0 00000000000000000000000000000000000000000000000000000000000000<9

# 9,9) !" . ", ," 3 00000000000000000000000000000000000000000000000000000000000<J

# J,<) !" # " " K. 0 000000J:

# J,9) !" # " " 0 0000000000000000000000000000000000000000000000J<

# J,J) !" -&* # " - , 00000000000000000000000000000000000J<

# J,;) !" % L< " , &* " " 0 0000000000000000000000000000000000000J9

# J,7) 3 &," 0 0000000000000000000000000000000000000000000000000000000J;

# J,M) " , K.

0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000J7

# J,8) 0 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000;<

# J,N) -&* 0 00000000000000000000000000000000000000000000000000000000000000000000000000000000000000;9

# ;,<) 00000000000000000000000000000000000000000000000000000000000007<

# ;,9) A ? 0 000000000000000000000000000000000000000000000000000000000000079

# ;,J) ? 00000000000000000000000000000000000000000000000000000000000079

# ;,;) !" " " (3! , 000000000000000000000000000000000000000000000077

# ;,7) !" " # "

0 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000077

# ;,M) !" " #

# 0 000000000000000000000000000000000000000000000000000000000000000000000000000000007M

# ;,8) & ? "

& C 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000007=

# ;,N) - 0000000000000000000000000000000000000000000000000000000000000000000000000000000000007=

# ;,=) " 0 0000000000000000000000000000000000000000000000000000000000M:

# ;,<:) - & ? #

# 000000000000000000000000000000000000000000000000000000000000000000000000000000000M;

# ;,<<) . & & ? " #

# 000000000000000000000000000000000000000000000000000000000000000000000000000000000MM

# ;,<9) ( , " . 000000000000000000000000000000000000000000000000000M8

# ;,<J) ? " 0 000000000000000000000000000000000000000000000000000089

# 7,<) ( , " - # C 0 00000000000000000000000000000000000000000000000N:

# 7,9) !" 3 L< & 0 000000000000000000000000000000000000000000000000000000N9

# 7,J) " . ., 0 00000000000000000000000000000000000000000000000000N9

# 7,;) 3 " " . .0 0000000000000000000NJ

# 7,7) " L<0 0000000000000000000000000000000000000000000N;

# 7,M) " " L<0 0000000000000000000000000000000000000000000000N7

# 7,8) 1 " . ., 00000000000000000000000000000000000000000000000000000000000000000000000000000N7

# 7,N) - " 00000000000000000000000000000000000000000000000000000000000000000NN

# 7,=) !" 0 0000000000000000000000000000000000000000000000000000000000000N=

# 7,<:) !? # 000000000000000000000000000000000000000000000000000000000000000000000000=<

# 7,<<) # 00000000000000000000000000000000000000000000000000000000000000000000000000=<

# 7,<9) 1 # 0 0000000000000000000000000000000000000000000000000000000000000000=9

# 7,<J) 3# # 0 0000000000000000000000000000000000000000000000000000000000000000000000000=9

A

# 7,<M) !" 0 00000000000000000000000000000000000000000000000000000000000000000000000000000=;

# 7,<8) !" @ " 0 00000000000000000000000000000000000000000000000000000000000000=M

# M,<) A & " " 1 0 00000000000000<:J

# M,9) # 0000000000000000000000000000000000000<:7

# M,J) 3 , 0 000000000000000000000000000000000000000000000000<:7

# M,;) % 00000000000000000000000000000000000000000000000000000<:M

# M,7) 3 & 0 0000000000000000000000000000000000000000000000000000000<:M

# M,M) 2 0000000000000000000000000000000000000000000000000000000000000000<:8

# M,8) , 0 0000000000000000000000000000000000000000000000<:8

# M,N) ( " 0 000000000000000000000000000000000000000000000000000000000<:N

# M,=) 0 000000000000000000000000000000000000000000000000000000000000<:N

# M,<:) 0 0000000000000000000000000000000000000000000000000000000<:N

# M,<<) # 0 0000000000000000000000000000000000000000000000<:=

# M,<9) 00000000000000000000000000000000000000000000000000000000000<:=

# M,<J) 1 @ 0 000000000000000000000000000000000000000000000000000000000000<<:

# M,<;) !" &* # # " . " "

(3! , 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000<<<

# M,<7) 0 00000000000000000000000000000000000000000000000000000000000000000000000<<J

# M,<M) 3 # &* # " " 000000000000<<;

# M,<8) &* " % # " 0 000000000<<8

# 8,<) , , 0000000000000000000000000000000000000000000000000000000000<9M

# 8,9) , 0 00000000000000000000000000000000000000000000000000000000000000000000000000000<98

# 8,J) % C & ? 0000000000000000000000000000000000<98

# 8,;) % 3 & 0 00000000000000000000000000<9=

# 8,7) . " &* %

3 & # " 0 000000000000000000000000000000000000000000000000000000000000000000000000000<9=

# 8,M) O O 0 0000000000000000000000000000000000000000000000000000000000<J;

# 8,8) G @ # H 0 00000000000000000000<J7

# 8,N) O/ " O 0 000000000000000000000000000000000000000000000000000000000000000000<JM

# 8,=) , 0 00000000000000000000000000000000000000000000000000000000000000000000000000000<JM

# 8,<:) - & ? " #

# 0 000000000000000000000000000000000000000000000000000000000000000000000000000000<J=

# 8,<<) O & " O

00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000<;;

# 8,<9) O O 0 00000000000000000000000000000000000000000<;7

# 8,<J) O & -? " ,&

O 000000000000000000000000000000000000000000000000000000000000000000000000000000000000<;M

# 8,<;) G & ,&

H 000000000000000000000000000000000000000000000000000000000000000000000000000000000000<;8

# 8,<7) G & P ",&

H 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000<;N

# N,<) !" , " 0 00000000000000000000000000000000000000000000000000000<M9

# N,9) !" , " 0000000000000000000000000000000000000000000000000<M7

# N,J) !" , " # 0 00000000000000000000000000000000000000000<M8

A

! & 9,<) . " "? " " " " 0 0000000000000000000009<

! & J,<) 3 & " . , 00000000000000000000000000000000000000000000000000000009N

! & J,9) 3 & " " 00000000000000000000000000000000000000000000000000000000000000009N

! & J,J) !" " " L< " L9 " , &* 0 0000000000000000000000J9

! & J,;) !" " , K.

0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000JM

! & J,7) ( " ' . ' ,

0 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000J8

! & J,M) !" K. 0 000000000000000000000000000000000000000000JN

! & J,8) " " 0000000000000000000000000000000000000000000000000000000000000000;:

! & J,N) # 0 0000000000000000000000000000000000000000000000000000000000000000000000;J

! & J,=) 0 00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000;;

! & J,<:) @ 0 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000;M

! & ;,<) !" # " # 0 0000000000007N

! & 7,<) ( @ " 3 # " 0 000000000000000000000000000000000000000<::

! & 7,9) !" @ " " 3 #

" 0 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000<::

! & M,<) " # " " 0 00000000000000000000000000000<<7

! & M,9) " " % # " " 00000000<<8

! & M,J) # # # " "

% # " 0 000000000000000000000000000000000000000000000000000000000000000000000000000<<N

! & M,;) # # # "

% # " 0 000000000000000000000000000000000000000000000000000000000000000000000000000<<=

! & M,7) # 000000000000000000000000000000000000000000<<=

! & M,M) !" " % # " 0 00000000000000000000000000000000<9:

! & 8,<) , " # &*

% 3 & # " 000000000000000000000000000000000000000000000000000<J:

! & 8,9) . # " &*

% # " ? " &* 3 & # " 0 0000<J9

! & 8,J) # #

0 0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000<JJ

! & 8,;) # # # # ,

000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000<JJ

! & 8,7) . , & 0 00000000000000000000000000000000000000000000000000000000000000000000000<J=

! & 8,M) , Q ," , & 0 0000000000000000000000000000000000000000000<;:

! & 8,8) , & 000000000000000000000000000000000000000000000000000000000000000000000<;:

! & N,<) !" " 0 00000000000000000000000000000000000000000000000000000<M;

! & N,9) !" " 000000000000000000000000000000000000000000000<M;

! & N,J) !" " 0 00000000000000000000000000000000000000000000000<MM

! & N,;) !" " 0 00000000000000000000000000000000000000<M8

A

! & N,8) , & # " " #

&* 3 , # " 0 0000000000000000000000000000000000000000000000000000000<8:

! & N,N) . # " 3 , # " 0 00000<8:

! & N,=) , & # " " #

&* % # " 0 0000000000000000000000000000000000000000000000000000000000<8<

! & N,<:) . # " % # " 0 000000<8;

! & N,<<) , & # " " #

&* 3 & # " 0 00000000000000000000000000000000000000000000000000000000000000<8;

! & N,<9) . # " 3 & # " 0 0000000000<87

! & N,<J) , & # " " #

&* 2 # " 00000000000000000000000000000000000000000000000000000000000000000000000<8M

! & N,<;) . # " 2 # " 0 00000000000000000<8M

! & N,<7) , & # " " #

&* # " 0 0000000000000000000000000000000000000000000000000000000000000000000<8M

! & N,<M) . # " # " 0000000000000000<8M

! & N,<8) , & # " " #

&* # " 0 0000000000000000000000000000000000000000000000000000000000000000<88

! & N,<N) . # " # " 0000000000000<88

! & N,<=) , & # " " #

&* # " 0 00000000000000000000000000000000000000000000000000000<8N

! & N,9:) . # " #

" 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000<8=

! & N,9<) , & # " " #

&* ( " # " 00000000000000000000000000000000000000000000000000000000000000000<8=

! & N,99) . # " ( " # " 0000000000000<N:

! & N,9J) , & # " " #

&* # # " 0 0000000000000000000000000000000000000000000000000000000<N<

! & N,9;) . # " # # " 0 000<N<

! & N,97) , & # " " #

&* # " 0 000000000000000000000000000000000000000000000000000000000000000000<N<

! & N,9M) . # " # " 0 00000000000000<N9

! & N,98) , & # " " #

&* 1 @# " 0 000000000000000000000000000000000000000000000000000000000000000000000<N9

! & N,9N) . # " 1 @# " 000000000000000000<NJ

<

I NTRODUCTION

)%)% * +

)%)%)% 6

$ ? ' E F " #

& "& # 0 # '

" & " # 0 % ? '

" # ? " " " 0 !"

" " # E !F # " & #

' # & ' & # " ) " " 0

- " " " ' # ' ? #

# = #& " )

" ) 0 !" *

& ' & " " ' @ ? # ,

& ' ? @ ? & ' 0

" ' " # "

# & ? " 0 % ? ' "

" "

& @ " " &

" # 0

)%)%,% + / +

- " # " # ? #

0 !"

# ' &

" # " # " 0

' " " " " & #

# " E #? " "

9

" F0 ' & &

? # 0

!" ' " # #

" ' "#" & " "

0 3 # ' #

& " ' ?" "

" ' ? " " # "

R ":;S0

. ' " &* " " ? @'

?" " # # '

' " 0

3 " ' " " " # " "

2 E( 3F R @ :JS' ?" " &

# # 0 + " " ?

" # # " '

?" " ? " " # " 0

!" " " 0 <09

& " ' "

0 <0J " ' "

: E F' " # #

0 <0; ? " "

" " " ) " ' ( 0

)%,% + - - . + /

)%,%)% ++ + -

- " G?"

H 0 ' # ? "

G" ? # A " " #

TH

P " > ? & ' ?" " &

0 P " > ? &

& 0

++ + - " E F

@ ? # E F "

J

& & 0

' " 0

' " "

& 0 . ' "

" & & " &

" " 0 !"

& # ' "

' ? " # " 0

' ?" # & '

& " > ?'> ?' >+ ?

0 # " ' " " # "

@ & A " " 0

!" ? " " " "

> ?' >+ ?' > ?0 !" ? " "

& " " " >- ?' >+

?' > ' ?' 0 " ' "

& " " 0

)%,%,% - ++ + -

" # " ' " &

" #" #, 0 % ? '

' " & 0 !"

? " @ " , , 0

"' ' '

# " 0

/ " " " ? )

• %( ' % P " '

" @ ? # & & &

0 &

@ ? # " & @ & 0

• % ' 1 ' "

& " " @ & # 0

. ' " " # "

" " # " 0

• % @ A + '

" 0 ' *

" 0

" " # 0 " & ? "

" " & 0 " ? '

;

" " # C

& 0

• % % 3 ' "

# ' # '

, # A & 0 !" " ?

? " " " 0 P " "

" # ' " " "

" # " " 0 " " &

" & ? " 0

)%,%0% * . + - ++ + -

. " & "

0 + " ? &

" # 0 !"

) " " 0

" ' # & ' ? ?

) . ! " 0

. + - ++ + - & "

0 !" "

' # ? 0 !"

" " 0 A ' "

& ' & ' ? ' ' ## ' ' 0

- ++ + - & "

" ' & "

" 0 !" &

&

" # " 0 !" ? " #

" 0 A & ' ' '

" ' # 0

"' ' ?" " "

" ' " (

0 !" @ " '

?" " & 0

( " " 0

!" ' " "

' " " " "

? & # 0

" ?" ' " " ' ? "

" " & 0

7

)%,%3% + 1

! # ' "

? " #' # # # " 0 !"

" ? " " " "

A ? " " 0 !" "

? ) " 0

!" &* "

0 . ' " " & " # ,

# C , 0

P # " " # #

? " " " " " & 0 !" #

" & " #' #'

# # 0

!" " & ? " ?

) " / " 0 !"

+ # " ? "

# " ? 0

# <,< " ' ?" " #

? " & ? " + " 0

Information layer

Informatics layer (Information systems)

Business process hierrachy IS infrastructure hierrachy Business layer

(Business processes)

1 % 4 B

- " " " ' " #" ' " " #

& ? " ? " ? 0 " "

& " ? " ? E

F " " " 0

!" ' " ? & " ! )

@ " # 0 " ? ' "

? ? " " ?

0 " ' " " " "

" # & ? " ? "

? 0

M

)%0% + 1- + 1- -

)%0%)% # +++

+ # ? ' " A ? "

" 0 " ? '

A ? " " E 0 0 " F "

0

( ' ? @ ? " " # ' A &

? " & ' "

0 !"

' " ' #

" 0 " ?" "

E F0

" ? ' " "

# 0

)%0%,% >= + /

3 ?" ' " #

" ? " A

0

+9 *+ + + + - -+ * / %

3 ' #

? " " 0 !" # & "

" & #

" " ' & "

? 0

# A ' & ? " "

' " "

" ! 0 + " "

" ' " # " & #, #

0

" ' " # , ,? ' "

" & ? * ' ?" "

& # # 0

8

!" #

" 2 3 % %

E.3 F ' 1 6 % % E; F ' # %

E +( F0

+9 *+ + + + - -+ 6 + + %

- A ' " " #

& ? A 0 + ' "

" ? " " "

E F " # " 7 - %

( ' " " 0 !"

& " "

?" # # ? # 0

3 " & #' " ? " " &* )

# " #

0 " ' " " " ? " 0

)%0%0% . 9 -

3 & ' " &* " "

" ? " " #

0

P " # " A

" ? # )

• # '

• P @ #? " '

• ( # # '

• 1 # # '

• . #

P " " ' " ?

" ? # " # # " )

= 5 = % =

= 0

++ + +* ++ + %

!" " # " ? ? " #

& " ?" " " & #0 ' "

" ' " #

" 0 ' "

&* , " " 0 !" " # " " ?

" # 0

N ++ + * +@ + %

!" " # " ? C " 0 "

? ' ? ? @ ? " '

0 "'

& 0 "

" 0 " "

' ? " ' ? "

0

++ + 9 %

!" " " # " ? " & ' # C "

' # " & C 0 3

# 5 = ?" " # & # ? "

& ' " 0

++ + - + %

!" " " # " ?

A 0 ' " " A

0 !" A & " ? " @

& &* " A '

0 ++ + *+ + %

!" " " # " ? ? "

& ? & C 0 !" " # " " ?

" & ? ? " & ?

& C ' " ?

# " 0

)%3% . -+ - +

)%3%)%

3 & ' " # #

0

!" &* " " ? @ & # # #

" #

0 !" ' " ? @ G ' (

?0

=

3 ' " ? @ & # " 0 !" ? @

" " # 0 !"

" ? @ # 0 !"

#

? " # " # " 0

' " ? @ " & " # " A " #

" # " 0 ? & # & # ?

# 0

!" ? @' " ' " " #

<0J0J0 " ' " &* " ? @

' ' # '

' 0

' " # #

0 !" ? @ # # & ?

"#" & 0 " ? ' " ? @ "

0 #

" ? # ' C # # "

? @' # # " &

0

)%3%,% . -+ --

! " " &* " ? @' " # " "

? # )

." 9 ? " " 4 42 ' # " ? @

A & #

0

." J' = " " ?

# 0 !" "

? @ @ "

' ?" " & #

0

." ;' 5 ' ? " " ? ? @

? " ' "

0 !" " "

" ? " 0

." 7' % ' "

" ? # 0 !" "

<:

A @ # " #

0

." M' ' ? " "

' # " ' & " "

0

." 8' ' ? " "

? " " ' 4 0

!" ' & " & ? "

' 4

' " N ? " " ' ? @

0

<<

STATE- OF-ART

P C "& & " A # & #0 " '

" " & # ? " " A

" ? " " ,- ,3 & " #

0

,%)% * - + 6 +

!" & " A & " #

0 ' " A "

0 ' A 0 '

0

,%)%)% 6

!" A C " " ( * '

?" " '

( * * & ? , ? C

$ , % ." ( " E $ ,%.(F , / $ 0

" " * ' " E. .F % ,%.( ?

" "

/ $ " 0

! & " ' " . . " " #

0 - " " # " ?

" 0

!" " " " " " % E

# F " . . " # #

0 !" # ? <==7 " & # ? @ 0 <==='

" & 9: " 7:

0

<9

3 " ' " " " "

. .' " # ' #

0

,%)%,% * - .

!" " # " 2 "

# " & & # C 0 !"

" " . . ? " & 7: 8:

" " & " 0

!" ? " " 3 " ? # 9,<0 3 3

' -' " 6

, % ' ' # (' 2 ' ' +

'2 - # '2 + # '+ 1 42 0

$

" *9

+

+/ 1

-. +

*/

*

+/ 1

+/ >

1 >

1 +6

-- -5

-. + . *

1 % 4 B 2 2

!" # " # U &* , " #

# ' +( V . ' " 3

# & " & R " =7S " &

+( 0

" 3 & # #

? & & & " # 0

+ ' " 3 " ? 0 !"

3 & ' ?" " " "

@ " & & " 0 !" & "

3 & # "

# " " 0

<J

1 % 4 B 4 4 2

# 9,9 " ? " " 4 4 3 0 !"

& " . ", ," " - + = ?"

" ' 2 + 0 4 4

" & " " 0

' # " C " ' 3 &

& 0

3 # ' 3 # &

0 !" & ? 3 # & &

" # C # 0

,%)%0% " -- - *

# " ' # - & <==7 & 9:::' "

# ? ? " " # & " #

" 0

!" # # " ? ? " ? # )

• % ? ? " " T

• % ? T

• % ? ? @? " T

• % ? ? " & ? T

, B % '

!" " ? " ? ? " "

0

+

%%

# (

2 ,

(

<;

3 ? " "

# " " 0 ' ? @ ? " " #

@ " " # 0

% ? ' # ? " " " . . " ? " "

" # # " ? # )

• ' ' " . . " ? " " # ! E "

# F0 !" ' " ? @ ? " " #

" ? ' ?" "?

" # 0

• ' " " . . E " & '

' ' F ? # 0

. ' " " "

0 " ' ? "

" ? @ ? " " ? 0

• !" ' " " . . #" " " 0

!" @ " ' ?" "? " 0

• "' " ! ? # " & # '

" " " . . " & # 0

!" ' " . . " & ? " 0

3 ' " @ ? # & @ " @ ? #

& 0 ( " @ ? # ? "

0

1 #" @ #' " " & "

" & " ' ? " "

0 # " ? "

" " " "

# " 0

' " # " ? # 0 # '

&* E # F " ?

&* E # " F "

0 1 #" @ #' " , , #? 0

" ? , , #' " &* " ?

&* # " , , #0

!" ' " , " ) G . ? " +( H?

" 3 0 + " " ' " 3 ?

& ? @ ? " +( 0 . ' " 3

" ? " & "

# ! E " ( ' & ' +( - F0

<7

, B : % C

!" ? " ? 0

P " " " '

# " ' & " " 0

!" " # ? " ? ? " "

& " 0 ' ? " ( "

" ' ' # 0 3

? @ 0 ' " ?

0

!" " # ? " " & ? " 0

A ' " ? " "& ? " G ! H "

G. H " 0 % ? ' " ? "

& ? " & " . .0 !" "

G H # 0

' " * " . . " G # H&

" (8 " 0 !" # " & "

, ' & ' , ' ' @ ' ' ' '

# 0 !" ' " & ?" #? "

0

!" " # ? " ? " @ ? # & ? @ # 0 !" . .

" ? @ # "

" 0 !" ? @ # ? "

" ' # ' # '

0 !" @ " ' " 3 "

" # "

" ? " 0

" " # ? " ? " #" , A ? "&

0 ' " 3 " ? "

& 0 !" 3 "

?" # & 0 . ' ?" # 3 '

#" " # "

" 0

, B 7 ( %'

!" ? " ? ? @ ? " ' &

0

<M

3 & ' 3 ? & 3 0

" 3 ' "

' # & " 0

# " # ' 3 &

# " 0 ' 3 ?

" # " ( A W & " ?

# " " & # " ( D '

+ ' +9 - 0

3 3 ? # & 0 " 3

#" & ' # ' ' ' '

A ? " " 3 0 !" * " 3

" & & ? " 0

, B %' # '

C

!" " ? " ? ? " & ?

0

!" " # ? " ? ? " 3 0

!" ? " "

? " # " 0 -

" ? " ? # " 0 !" & " . .

? " ? " " " "

0 - " ? " " " " &

" " ?" " ? " ' " " " "

" " # " 0 A ' "

" ' " " "

>+ ? 0 " " C " & )>+ 4 ?

" ' " " " " E ' F' ?"

" 0

!" " # ? " ? & ?

# 3 0 # " # C

# " ' " ' " *

' ?" " " " ? 0 ' " 4 4

? " ? " " 4 '

" 6 4, % ? " ? " " 2 4 0

" 4 4 " " 2 4

' " " " " 6 , % ' ?" "? " ?

" 0 " ? " ' "

" ? ? @ 0

<8

,%)%3% #+ - --+

!" " . .' & " ?

" " ! & # C 0 !"

" " " " . . " # 0

% ? ' " # ' " # ? 0

" ?" "

' ( " " 0

!" ? " & ." J' # ? "

0 !" ? " & ."

7 ." M' ?" " ? " " " ?

0 !" ? " " & ." ;'

#? " 0 !" ? " "

& ." 8' # ? " "

0

,%,% 5 5

" " ' ? " > % ? " " > %?0

' # ' " " #

# 0 P

# " " #" #'

#' #' #' # 0

!" ' ? " > ? " > % ?0 '

" # # # " 0

!" ' " G H # G # H "

# " " 0

" ' ? " > ? " > ?0

G H " " &

G # H " 1 "R1 =NS0 !" " #

" G H' G H' G #

H' G H0

"' # " #

# " 0

# # '

" # # "

& " & " & " 0 ( *

" & & " " @ # ?' "

' # & 0

<N

" A ' ? " ,- ,3 & " " #

# 0

,%,%)% *

" ? #' ? & " # " #

0

!" " # " " # )

• ; ' % % ? " " @ ? # &

* 0

• 2 % ? " "

& " * 0

• % ? " " &

& 0

; ' % %

2 ? # # " ? " " ? ' '

" @ ? # & * 0 !"

" " , 3' " 3 ' / 0

" %

!" " R & =<S ,& @ ? #

# # ;20 "- & # ? *

0 " 23$ -1 # # '

A " A & " "

0 + " ? ' " A ' ? " " #

G!% $ H " ' " " & 0 + ' "

? , ' ' & " & & 0

!" @ ? # ,& A

& # ? * ' #

" 0

# 3%

!" @ ? # & " .- ; "R @ =7S "

& ? ,& ' # " ' &* ,

# 0 !" & @ ? # " 0 3

G" #H) " " # " #0

!" .- ; # , @ ? # # "

? " " @ ? # # ?"

<=

' ' @ ? # ? '

" & @ ' " #

# # #0

& -%

!" . & "R4 @ =7' 4 =NS " " # # '

?" " @ ? # & 0 ' ! R(

=:S # # " 0 !" # # &

@ ? # & " ? "

" " #$ ' E F' " % ' E

? @ # F' " ' E F "

' E " # F0 " ! # # '

&* ' ?" " & ? @ '

@ ? # & 0 !" ? ) & 0

' ?" # & " & ?

" " 0

. + ; ' % / % E2+( F "

# " 0

' . + " " ! # # & "

# &* , " # 0

%

( # " # # ' '

0 !" ? # )

0

# *+ + 1%

C & &

& # #' #'

# " " 0

* -+ 1%

( # # # # #

" # R( ::S0 !" ?

# C ) " E( .F

? " " R+ ==S %

R( =8SW " -&* ( # E-( F ? "

7 R.P ( :JS' "#$ 1 R(- :9S D #

% RX( ::S0

9:

2 %

3 # " #

" # "

* 0 !" & " ' ' # ' '

" ' & # # ? "

" #" 0

!" " " 2 2 ' ' #

' % % 0

# # /+ %

3 3 ' 1 ! * ' " & ,- ,

3 # # #' #

R4 @ =9S0 3 3 " # #

" #" ?" " " & ' #

0 + ' " % %4 4 4 %

E &* & # C ? F % %4 4 4 E

& F0

+ & - A &B%

' / ? "

# C ' # ' # ' & ?

R. =7S0 !" + "

& ' # ? 0 !" +

& # "' ? " & # ?

# # " & ? " 0 3 ?

" ? ' A " +' A ) #

# 0

E .(F #'

# # # ' # # ? # ? @

R " :9S0

,%,%,% #+ - --+

!" * & ? "

E F " " " " & "

" " ")

• 1 # " ' # " '

& " " W

• # " ? @? " &

W

9<

• # " # " #"

" " 0

! & 9,< " * " " ? " " "

" 0

# 4 B '

!"#$%& % %&%'()'*

&( +#(+ %!,

& %#),)#"()!'

% %&%'()'*

-%$".)!+ !,

& %#),)#"()!'

% %&%'()'*

#!$% %'#%!,

& %#),)#"()!'

+ ! ()'*

($%

/"'"*%/%'(

!,

& %#),)#"()!'&

!#%&&

+ ! ()'*

($%

#!! 0)'"()!'

!,

& %#),)#"()!'&

! 1)'*

2)($

" (& !,

"'

!'#% ( /"'"*%/%'(

" !"#$

%("0"("

/"'"*%/%'(

" !"#$

(%,"#(

/"'"*%/%'(

" !"#$

! !

" #

"

" #

" $%

$

',! /"()!' 3&(%/ + !' ',! /"()!'

3&(%/&

4 5

99

' " # " & " 0 "

"' " & " & " &

" & ? " 0

' " "' " " &

0 % ? ' " "

" & " 0

!" ' " " # " #

" #" " ' ?" "

" " 0 ' " (

" # " W " " "

A " W " . # "

# " " # " 0

" ' " " & # "

? " & ? ? @ #

0 ( ' " " "

A & # & " (4 ( " 0 "

"' " & "

# " 0

' " ? @ #? " 0 !" " 3 3

" " ? " " A &* 0

!" " " &* ? 0

!" " # &

# &

" )

• 2 E F

" " ' #

0 3 & & 0 3

& &

? " " " 0 !" @ " " "

4 0 & "

?" " " ' " # '

" & & # 0

• 2 ? " # 0

" & & " 4

#$ " 0 3 " , &* &* & ? "

&* " " &* ' ?" " & " " &* &

? # # @ R! @ :9S0 1 # #

" , &* @ " " A & " " " 0

" " " 0

!" C " & " & " "

9J

# 0 !" " & "

" & ? " # 0

' " & " " &

,& " " #

" ? "0

!" " # " ?

" # " ' & " "

0

" ' ? @ ? ' " "

" ' "

& ? " 0

9;

&

S PECIFICATION IDENTIFICATION

0%)% * +

!" " " " & ' ?" " &

# 0 !"

# ? @ " '

' 0

# ' " & ? '

" " & ? " 0 !" ' #? " # #'

" (8 " E "

F " " " ?" "

0

' #' # "

# 0 # ' A )

• + + #& " ' A

" G H 0

• - + + + #& " '

A " G # H 0

• . + + #& " % '

A " & " ) G" "

A " " H0

" ? ' & & & # "

' " ' " # 0

" " ' "

" 0

" ' " (8 & "

" " " & " &* ,

# 0 & &* , " "

""2E R. =:' . =<S' / R+ " =<S' " R1 & #" =<S' E

R " N=' " =9S'"" 3R4 & =9S'- R1 =JS' : ,

R+ "=8' 1 & #"=NS0

97

!" (8 & " & #$ 4 R =<' =MW

"=7S' ?" " # " ' #

? 0 !" "

' " ' ' #

0

!" # C " " " ? 0 J09 & # ? " "

" 0 J0J ? " " "

0 ' J0; " " #

0

0%,% . + -

!" + - ? " " 0 !"

" & ?" A ' "

? " " 0

. ' " & # ? " " " E " )

" F " ? " " " 0

!" " ? " " #

" 2 4 '8 '2 # '; ' #4

0

0%,%)% + -

C &

" " # ? ? & & & "

&* 0

3 &* &* " 0 " (8

' " " @ )2 4 ' 4 8 0

! , " " '

?" " ? &* ' ?" " ? &* ,

# 0

2 4

+5 --- ' ?" " & 0 -&*

, " " ) " # "

0

9M

3 0 3 *

W ?" ? " &* " # " &*

? " 0

3 4 B 4

&

(3! 0 !" (3! E (3! , F &

" E ' + E2 A '

R% ::S0

!" A ? " " K. ' "

" 0 # ' " & " &

& " (3! , & " , " ' 0 '

'2 ' ' 0

4

3 5 -- &* " # " " & " 0

!" , &* & " &*

E- F0

3 , " C & & 0 3 &

, " &* " , E

% F &* , E

F0

!" & " , & " 0 3 &

" ? & " " 0

' , & #

" 0 ' , &

# " & ( # E +( F' #$

&* , +( ' &* , +( 0

3 4 B 4

. # " (3! , ' " " , " "

" K. " = =

= + 0

8

" # , ' " ? @? " &

, , 0 " ' ? " .1 -- 0

98

3 " & & " "

? " A 0 " ?' "

& " & # @ ( E

" )( F ? " & # R3 =<W ! @ :9S0

3 &* " ' 4 #$ = & ? " &* " @

" &* " , " " " & "

" &* " @ & ? # # @ 0

. ' , & " 0

" ' " (8 ' 4

8 0

0 B% "' " ? # )

• !" G H G " H

• !" G #$ H G " &* " &*

H

• !" G % H G " ' , ' , H

3 4 B

1 A ' " (3! , ' " "

? " A ' ?" " & & '

" ' ' ' 0

" & " 0

' ? # & '

' @' # " " 0

0%,%,% + -.+-> - + -

!" " & ? " " "

2 # '; #4 0

3 " & "

" # ? 0 3 # "

&* " " &* " 0

3 " &* # 0 3( "

# ' ?" " & # " " , &* " 0 3

@ " & & " " 0

3 " & #4 " " " ' ?" "

4 0 " (8 " ' " " "

# ) " " , &* &," " " , &*

," 0

9N

" &," " " & ,"

& " , &* 0 . ' " " , &*

&," " " " " , &* ,

" 0

2 #

+> " # " # @& ? " "

" % # " % 3 # &

" ' , , 0

3 4 B # 4

!" , " " & " 4 = 4 =

4 = 4 2 E! & J,<F

(( )-+(% )*)' 3 % #6"&& % /)'"()!' "(%*! 3

% ' % '

% % (

% '' % !''

% % )

! * ') % )

# 4 B 2 # 4

& " 0 !" " " "

& " 4 = 4 ' 4 ' 4+ E! &

J,9F

"/% (( )-+(% )*)' 3 % #6"&& % /)'"()!' "(%*! 3

% %

' '

' '

*

+ +

# 4 B 2 #

;

3 1 " & & &

# " " , &* " " , &* " " 0 3 @

& # " , &* " 0

9=

3 4 B ; ; (

!" @ " , ; & & )

- " " " ' " @ " " ;

& & ) 4 "

#4

!" @ " " # K ' "

- >5.1 ---0 !" &," A "

" ," ?" " "

& G H0

- " ' " 4 &," " "

?" " " &," 0 2 &,"

," " ," " ," 0

" " E F &," "

" 0

" ? ' " , &* &," " , &* ,

" ?" " 0 !"

+ A & & " ," 0 !"

0 &

" " #4 ' &* E& #

F0

+ " ? ' &," " "

" ? 0 + ' " &," "

," 0 " ? ' " (8 "

" 0

3 4!B , 9 " #4

!" " E -F , " " &," ) , 9 "0 !"

G5 " - " &

<H0

0%,%0% + *+9 -

. # # " # "

& C E F 0

3 ' " & ? # " ? # # )

% "#$ % 0

J:

%

!" --*+9 " ? " ' , ' ,

" " 0 . # & " ? '

" " 0

# ' , & ? " ' ,

& ? " E # J,< # J,9F0

# " # ' # ,

0

3 4&B %

' " # J,< . # " " , ' ,

, # " K. " (3! , 0

PaymentApprovedTime

SO ReceivedTime PaymentCode

PaymentDate

PaymentAmount

ItemCode ItemName ItemDescription

ItemUnitPrice QuantityInstock Order Quantity

SO_ItemAmount

SO Amount

SO AcceptedTime SO CancelledTime

SO DeliveredTime

SO ItemReturnedTime SO PaidTime

paymentFor

ofSaleOrder belongedToCustomer

Sale order Payment

Sale order item

Mono-value attribute Multi-value attribute

Notes:

Tuple-class

Inventory Item

SO_items

Customer Code

Customer Name Customer Address

Customer Telephone

Customer Name

Address

Telephone Code

DateTime ActivatedTime

SO Number SO Date

Date

Amount Code

DateTime

Quantity

Amount

Text

Quantity Code

Name

Amount Date

Code

Amount

Atomic-class DateTime

LastYearSo

DateTime ItemActivatedTime

Sub-hyperclass of

1 % 4 B % E

!" , " " ' 0 '

2 ' 2 & 0

!" , " " " 0 # ' " ' " 2 ' " -

' " ' " 2 ' " ' " + '

" - & 0 " ' " "

" '" F ' " 2 ' "G & 0

J<

!" " " ' ' '

: + 'F (' 2 & 0

!" + " " + ' + ' + 2 '

2 ' 1 & 0

- " " " ' " # J,9 " . # "

(3! , ) " " E A J,JF0 !" " " "

@ 0 " @ ' # "

, " '+ ' 0

paymentFor

ofSaleOrder belongedToCustomer Sale order

Payment

Customer

Sale order item

Mono-value attribute Multi-value attribute

Notes:

Key class Tuple class

Inventory Item SO_items

SALE hyperclass

1 % 4 B %

"#$ %

>= *+9 " ? " &* " " #

0 -&* # & " " &*

# 0

3 4)B "#$ %

!" ? # A " -&* # " ,

, E # J,JF0

Sale order Customer

Sale order Item Payment

Inventory Item

SO#1

SO#2

C#1

C#2

SO#1- ITM#¦

SO#2- ITM#3 SO#2- ITM#2 PY#1

PY#2

C#3

ITM#1

ITM#3 ITM#2

ITM#4

SO#1- ITM#2

link

Notes:

object

1 % 4 B "#$ % " 4

J9

3 " & #' " " ? # &* )

• !" " &* " , ) .H' .H .HW

• !" , " ? &* ) "H "HW

• !" ? -L<) -L<, !(L< E 0 0 H

HF -L<, !(L9W ? -L9) -L9,

!(L9 -L9, !(LJW

• !" , " &* ) H<' H' H'

HW

• !" + , " ? &* +9H< +9H

. # " " ' " " ? " , &* H

E" , &* " # " @ ) -L<F H E" , &* " # " @

) -L9F0 !" "" , &* &* " &

" " &* " @ # @ #

& ? " &* E # J,;F0

Sale order Customer

Sale order Item Payment

Inventory Item

SO#1

SO#2

C#1

C#2

SO#1- ITM#¦

SO#2- ITM#3 SO#2- ITM#2 PY#1

PY#2

C#3

ITM#1

ITM#3 ITM#2 ITM#4

SO#1- ITM#2 HoS#1

link

Notes:

object

1 % 4 B 8 H 4 #$

!" " ? " , &* ) " L< " L9

! & J,J0 " &* @ 0

"/% -7%#(& )'1&

, -.

/

0 / ) / 1 /

) / 21

0) / 1) / 2

, -.

/

# 4 B H H 4 #$

JJ

' " " " L< " , &* &*

" )

• !" "H &* " W

• !" H &* " W

• !" "H 4 H = "H 4 H &* " W

• !" H = H &* " W

• !" "H 4 H &* " 0

" "H &* " @ ' ? " @I "H H J

" " H &* " & " "

"H 4 H = "H 4 H &* " & # "

I "H "H 4 H = "H "H 4 H J @ 0 . ? " " @ ' ?

" " &* " " L< " , &* 0

0%0% . #1 + -

!" #1 + - ? " " = ?" "

" & " " 0

" (8 " ' " ? & " )

• "#$ # " & " &* W

• # " & " " " 0

!" & # ? " " &* & " & "

0 !" ' " & " & " 3 +

0

3 # ' " & & " #

" ' '3 ' + 0

0%0%)% #1 + -

!" " E " ) F

= = 3 ' + 0

!" & ? " # C &

& 0 P " " ' ## 0 3

" 0 3

& ? " &* " 0

J;

&* #?" " "

G & H " " G & H0

3 # ' # " " ' &* "

& ? # ) # # &* " "

' " # " " E #

J,7F0

Objects at the state s₁ CLASS c1

Objects not at the state s₁

1 % 4 B 2 #4

" ' # &* "

" " 0 " (8 " ' " @ "

' & & E 0 0

&," F " 0 !" "

A #G #$ H0

3 4*B

" ? & " #

# " K 0 !" " G = "

G ' " G ' " G = " G = "

G = " " (8 " ' " &

& " &," " " # J,M0

' " " )

!" + " )+ 0 ' "

" " ? # ) '

(' ('

J7

SO demand-

invalid

demand-SO valid

SO customer-

valid

SO amount- paid

Customer

Customer activated

belongTo Customer of_SO

paymentFor Sale order

Payment

Sale order Item

Inventory Item demand-SO

received

Payment approved

SO items- delivered

Inventory item activated

SO items returned

Inventory item deactivated

Inventory item in

stock

Inventory item out of stock SO_items

Customer deactivated

1 % 4!B 4 E

!" " = = +

& " ! & J,;0

83'"/)#&("(% & +-9$3 % #6"&& %#)"6)&"()!'#!'0)()!' +-9

$3 % #6"&&

,

' '

* '

' '3 * ' 4 * ')

%

'

! "

' * '

" * ' $

' '3* ' ! ')

%

' '

* '

"

' * ' "

* ' $

' '3 * ' ')

%

' '

* ' ) ' '

- $ '

% * '

% 3* ' $) %

%

' '

* '

! "

' ' * '

3' * ' * ')

%

%

* '

' ' % 3 ' + ') %

' * '

" '

% '-

%

% ' 4 % )

%

% '

! %

* ' "

"

% 3 * ' % ! * ')

%

%

JM

! %

' * '

% 3' * ' % ! * ')

%

%

!

* '

+ 3 * ' + ! * ')

%

+

! *

* '

*

* '

! * ')

%

*

! *

' * '

*

' * '

! * ') % *

! *

5

* 5 6% 5 $

7

*

* '

! *

% " 5

* % "

5

6% 5 8%

7

*

* '

# 4 B 4 E

3 . * & ? " " &*

" 0 ' " "

0

3 " & " ?" " & # 0

3 4 .B 4 E

!" ! & J,7 " " " ' . '

" " ? " " K. 0

%($!0 "/%

%($!0

%($!0 , 3 % 9

#6"&&

!/ ("(% ! ("(% '.!6.%

(( )-+(%&

4 * $ ' '

" - % "

%

4 * $ ' '

' ' ' '

* '

(% - 1 1 " ' 1 3 16%

' '1 4 * ') 5 $

* ' "

' ' ' 9 ' 8%

"

8% 5:

5 $ 5

' ' '

* '

' '

* '1 ' '

* '

! ') 1

')

; $ %

" "

% '

5 $

%

; $

%

"

' ' '

* ' %

* '

$ ' %

J8 ' < ':

* $ ' ' '

%

$ 8%

5

'

%

* '

' * '

* '

4 * $

" - %

4 * $ ' 3

' * '

3 % '

! % 1 + ' ) 1

3 ! % 4 * $

% '

4 * $

% '

' 3 %

'

3 3

% '

% '

$ #

% #

" - % ' 1 ' ''

$

#

%

% % %

* '

% ' 1

% 1

% '' 1

%

$

8% 5

"

' * '

$ 8%

5

*

*

5

*

* '

6% 5

= ' ' $

8%

5 "

% '

= '

' $

8%

5

* *

* '

*

5

6% 5

! * $

'-

%

! * $

+

+ + 3

* '

+ ' 1

+ ' 1

+ % 1

! * ')

# 4 B = = + 4

3

/ @ & " " " @

" # 0 ' " " "

" ? " # C " 0

. # ' " ? " & &

" " 0 - " ?'

" # " 0

3 # ' " > ? " # " " >

?R( =8S " " 0 !" G H ? " "

& ? " ? " ? @ # # "

0 !" ' & C 0 !" G

H " G H

R ::S0

JN

" (8 " ' " " & ? ' '

&* ' C & ' ? ' A & 0 !"

" " & ? " ? " " ? @ # # ?

& " ? # " 0

3 4 B E

. #? " A & " (3! ' " "

& " K. )

• !" ?" @ W

• !" ?" " "

& " ' W

• !" ?" " " "

& " & W

• !" ?" " & "

" " " 0

!" " & " 0 "

& ? " " 0 (

& " & ? & R =MS0

!" " ! & J,M0

.%'( 8%&# )()!' "/%

> % ' 5 " '"

> % % 1 *'

" ' *

! % '; *

"

& > % % "

' - - ' '

+ '

> % % - %

8% $ '

4 %

# 4!B E

+

3 -- & @ " " 0 '

" 0

3 ' " ' # ? ' ?" " # # @

" " & ' @ #

& &* ' ?" " & " ' & " &

0

3 " " " " " ?" "

0 & # 4 4

? & & 0

J=

!" 4 ) &* "

" ' ?" " " ," 0 ' " 4

" " ?" &* E

F & " 0

" ' " , ,

" 0 3 4 " " & &

# 0 - " ' 4 " "

& # 0

3 4 B E

. # " K. ' " " )

• !" < W

• !" 9 # "

W

• !" J " @ " W

• !" ; " W

• !" 7 " 0

E F " @ " 0

. # " " & ? " "

& ' " G B - % % ? " G B

H W " G B 6 % %?

" G B 2

H W " G B - % ? # " G B

+ H W " G B - %

# " G B - H 0

!" " " E "

! & J,80

!#%&& %

#!'0)()!'

!&( #!'0)()!' )**% %0 :3

%

$3 % #6"&&

!&(

$3 % #6"&&

;%#

/%($!0&

+ 4 * $

'

* ' $ ' '

! - 5 '

! ' '

" * ' 9

' * '

'

"

' 1 ' 1

*

' '

* '1 ' '

* '1 ' 1

* 5

4 * $ ' '1 5 $ 5

+ ; $

%

"

' ' * $

! '

# %

%

"

! '

# * '

% "

!

=

+ '

; *

"

' '

* '1

%

%

* '1

% 3

* '

; $

%

" 1

$

#

%

;:

+&

$ 8%

5

* 5

*

* '#

6% 5

' '

%

* '1

* 51 '

' * '1 ' 1

*

* '

$ 8%

5

+ 4 * $

! '

# %

"

! '

# * '

"

+

' ' * '1

+

% '1

+ 3

* '

4 * $ 1

! * $

+?

4 * $

% '

! '

# %

% '

"

! '

#

% ' "

4 %

% '1

' 9

*

* '

% '1 ' 1

* 5

4 * $

% '

1

= '

' $

8%

5

# 4&B +

0%0%,% #1 + *+9 -

!" # " & " "

" & " &* 0 !" ' "

& & " ? # # ) 4 E .F #

"#$ 4 E- .F # 0

4 %

, # " & " 0

!" # " ? ' " # ' "

# ," ," 0

" (8 " ' & " & # "

$ , # R :JS0 0 E , ,F

" 0

# J,8 " # " "

K. 0 !" " " ) " GP "

HW " ) GP " #

" HW " ) GP " "

HW " ) GP " H0