pdf download - Software and Computer Technology - TU Delft

C.3 The Models Constructed for the Case Study Lydia Models
}
/ / so t h e r u l e i s i n d e p e n d e n t of any h e a l t h
ERROR = (A != B) ;
system PEU
(
bool POSVAL ERROR,
bool h
) {
}
/ / d e f i n i t i o n b e h a v i o r
POSVAL ERROR => ! h ;
/ / D e f i n i t i o n LUC Extension
system LUC Extension
(
bool e pos ,
bool c t r s p e e d ,
bool I s e t , Pset , Pact ,
bool POSITION ERROR ,
bool h PEU ,
bool h EXT
) {
/ / d e c l a r a t i o n i n t e r n a l s
bool e s p ;
/ / d e f i n i t i o n d e r i v a t i v e c t r s p e e d
c t r s p e e d = ( I s e t != e s p ) ;
}
/ / d e f i n i t i o n b e h a v i o r
h EXT => ( I s e t = e s p ) ;
( P a c t != P s e t ) => POSITION ERROR ;
e p o s = ( P a c t != P s e t ) ; / / by d e f i n i t i o n
h EXT => ( POSITION ERROR => ( e p o s or ! h PEU ) ) ;
/ / D e f i n i t i o n of a component
system Component
(
bool i n s t a t u s ,
bool o u t s t a t u s ,
bool h
) {
/ / i f t h e component i s h e a l t h y ,
/ / a c o r r e c t i n s t a t u s r e s u l t s i n a c o r r e c t o u t s t a t u s .
h => ( o u t s t a t u s = i n s t a t u s ) ;
}
110