曝光台 注意防骗
网曝天猫店富美金盛家居专营店坑蒙拐骗欺诈消费者
T O _ S N N . . .
I M M E D I A T E _
N O TI C E _ N O R M A L>
S H O R T_
N O T I C E _
N O R M A L >
T R A N S IT IO N _
F R O M _ S N _
T O _ S N N . . .
S H U T D O W N >
T R A N S I T IO N _
F R O M _I N N _ T O _
M N N . . .
M IN I M A L _
N O T IC E _
N O R M A L >
S T A N D B Y _ N O R M A L >
D I R E C T _
T R A N S I TI O N _
F R O M _ M N N _ TO _
S N N . . .
T R A N S I T IO N _
F R O M _ M N N _ T O _
I N N . . .
T R A N S I T IO N _
F R O M _S N N _ TO _
M N N . . .
C
S A F E T Y _ K E Y _ P O S IT I O N _ C H A N G E
c n x _ to _ M N N
c n x _ to _ M N N
L E G A L _ M N N _ T O _
S N N _S T A T E _
C H A N G E _ R E Q U E S T
c n x _t o _ M N N
c n x _ to _ S N N
LE G A L_ S N _ T O _ S N N _
S TA T E _ C H A N G E _
R E Q U E S T
S A F E T Y _ K E Y _ P O S I TI O N _ C H A N G E
L E G A L _ S N N _ T O _ M N N _
S T A T E _ C H A N G E _
R E Q U E S T
[ ( S U P E R V IS I O N _ D A T A B A S E . g et _ P A A M S _ C O N F I G U R A T I O N =
C S C _ S M _ M A S T E R . C S C _ S E R V IC E S .S M _ T Y P E S . R E V IS E D _
A U T O N O M O U S A N D S U P E R V I S IO N _ D A T A B A S E .g e t_ C O N S O L E S _
A V A IL A B IL I T Y = C S C _ S M _ M A S T E R . C S C _ S E R V IC E S .S M _
TY P E S .A L L _ U N A V A I LA B L E ) ]
c n x _ to _ S N
c n x _ to _ M N N
[ S U P E R V IS I O N _
D A T A B A S E . ge t _ V L S _S T A T E
= C S C _ S M _ M A S T E R .C S C _
S E R V I C E S .S M _
T Y P E S . S H U T D O W N ]
V L S _ S T A T E _ C H A N G E
c n x _t o _ S N N
c n x _ to _ IN N
C O N S O L E S _ C O N D I T IO N _C H A N G E
L E G A L _ M N N _T O _ I N N _
S T A T E _ C H A N G E _
R E Q U E S T
[ S U P E R V I S IO N _ D A T A B A S E . g et _ V L S _S T A T E = C S C _
S M _ M A S T E R . C S C _ S E R V I C E S .S M _
T Y P E S . M A IN TE N A N C E O R S U P E R V IS I O N _
D A T A B A S E . g et _ S A F E T Y _ K E Y _ P O S IT I O N = C S C _
S M _ M A S T E R . C S C _ S E R V I C E S .S M _
T Y P E S . S E C U R I T Y _ A C T IV E O R ( S U P E R V I S IO N _
D A T A B A S E . g et _ P A A M S _ C O N F I G U R A T I O N = C S C _
S M _ M A S T E R . C S C _ S E R V I C E S .S M _T Y P E S . R E V I S E D _
A U T O N O M O U S A N D S U P E R V IS I O N _ D A T A B A S E . ge t _
C O N S O L E S _ A V A IL A B IL I T Y = C S C _ S M _
M A S T E R . C S C _ S E R V I C E S .S M _T Y P E S . A L L _
U N A V A IL A B L E )]
c n x _ to _ M N N
L E G A L _I N N _ T O _
M N N _ S T A T E _
C H A N G E _ R E Q U E S T
c n x _ to _ S N N
c nx _ t o_ S N N
C O N S O L E S _ C O N D IT IO N _ C H A N G E
I N IT _ O K
V L S _ S T A TE _ C H A N G E
L E G A L _ S N N _ T O _
S N _ S T A T E _
C H A N G E _ R E Q U E S T
c n x _ t o _I N N
[S U P E R V IS I O N _ D A T A B A S E .g e t _V L S _ S T A T E = C S C _ S M _ M A S T E R .C S C _ S E R V IC E S . S M _
T Y P E S .S H U T D O W N O R S U P E R V I S IO N _D A TA B A S E . g e t_ S A F E T Y _ K E Y _ P O S IT I O N =
C S C _ S M _ M A S T E R . C S C _ S E R V I C E S .S M _ T Y P E S . S E C U R I T Y _ A C T IV E O R
(S U P E R V IS I O N _ D A T A B A S E .g e t _P A A M S _C O N F IG U R A T IO N = C S C _ S M _ M A S T E R .C S C _
S E R V I C E S .S M _ T Y P E S . R E V IS E D _A U TO N O M O U S A N D S U P E R V I S IO N _ D A T A B A S E . g et _
C O N S O LE S _ A V A I L A B IL IT Y = C S C _S M _M A S TE R .C S C _ S E R V I C E S . S M _ TY P E S .A L L _
U N A V A I L A B LE ) ]
C O N S O LE S _ C O N D IT I O N _ C H A N G E
c n x _ to _ S N N
50 asynchronous external messages,
translated into functional triggered operations
calls by interface layer
CSCI SM properties
MoDeVVa @ ICST 2008 12 / 29
Some difficulties using OBP V1 (industrial view)
System to be validated in UML (+ Ada)
Manual Translation in IF2
Requirements were not precise, not formal and ambiguous
Manual Translation in IF2
Validation contexts were not formalized
Manual description in XML
Proposal :
Context Description Language (CDL)
Property patterns
MoDeVVa @ ICST 2008 13 / 29
Experimentations returns and benefits (industrial view)
At the start :
Contexts were not formalized
Requirements were not precise, not formal and ambiguous
CDL definition
Property patterns definition
中国航空网 www.aero.cn
航空翻译 www.aviation.cn
本文链接地址：
航空资料19(190)
