開始行:
#menu(Menu)
RIGHT:[[Japanese>Synthesis2(Jpn)]]
** Synthesis State-machines from a communication diagram ...
#ref(Synthesis2(Jpn)/purchaseordercol2.png,right,around)
[[Example1>Synthesis(Eng)]] describes a case where every ...
This example explains a case where synchronous communicat...
*** Example [#e873c495]
The choreography of this example is shown right.
It is almost same with [[Example1>Synthesis(Eng)]]; &colo...
*** Draw Class Diagram [#pe69aaa6]
Draw a class diagram in the same way with [[Example1>Synt...
*** Draw Communication Diagram [#t120ba7a]
#ref(Synthesis2(Jpn)/communicationDiagram.png,right,around)
Draw a communication diagram in the same way with [[Examp...
As shown in the figure right, the reply message to &color...
Define ordering relation among messages.
- Add "shipReq" in the Documentation of &color(blue){4:sh...
- Add "rep_shipReq" in the Documentation of &color(blue){...
The prefix "rep_" stands for a reply message of a synchro...
*** synthesis state machine [#r100e3cd]
Synthesize state machines in the same way with [[Example1...
*** Results [#i4c20ac7]
- Vendor state machine
The state machine of ''Vendor'' in [[Example1>Synthesis(E...
In this example, the state machine calls &color(blue){shi...
#ref(Synthesis2(Jpn)/stateMachine_vendor_sync.png,center)
- Shipping state machine
''Shipping'' receives &color(blue){shipReq}; and replies ...
#ref(Synthesis2(Jpn)/stateMachine_shipping_sync.png,center)
In cbUML, execution of caller process is suspended when t...
In this example, the execution of the region that is in t...
When ''shipping'' replies to &color(blue){shipReq}; and '...
RIGHT:[[CSCB Home>CSCB(Eng)]]
終了行:
#menu(Menu)
RIGHT:[[Japanese>Synthesis2(Jpn)]]
** Synthesis State-machines from a communication diagram ...
#ref(Synthesis2(Jpn)/purchaseordercol2.png,right,around)
[[Example1>Synthesis(Eng)]] describes a case where every ...
This example explains a case where synchronous communicat...
*** Example [#e873c495]
The choreography of this example is shown right.
It is almost same with [[Example1>Synthesis(Eng)]]; &colo...
*** Draw Class Diagram [#pe69aaa6]
Draw a class diagram in the same way with [[Example1>Synt...
*** Draw Communication Diagram [#t120ba7a]
#ref(Synthesis2(Jpn)/communicationDiagram.png,right,around)
Draw a communication diagram in the same way with [[Examp...
As shown in the figure right, the reply message to &color...
Define ordering relation among messages.
- Add "shipReq" in the Documentation of &color(blue){4:sh...
- Add "rep_shipReq" in the Documentation of &color(blue){...
The prefix "rep_" stands for a reply message of a synchro...
*** synthesis state machine [#r100e3cd]
Synthesize state machines in the same way with [[Example1...
*** Results [#i4c20ac7]
- Vendor state machine
The state machine of ''Vendor'' in [[Example1>Synthesis(E...
In this example, the state machine calls &color(blue){shi...
#ref(Synthesis2(Jpn)/stateMachine_vendor_sync.png,center)
- Shipping state machine
''Shipping'' receives &color(blue){shipReq}; and replies ...
#ref(Synthesis2(Jpn)/stateMachine_shipping_sync.png,center)
In cbUML, execution of caller process is suspended when t...
In this example, the execution of the region that is in t...
When ''shipping'' replies to &color(blue){shipReq}; and '...
RIGHT:[[CSCB Home>CSCB(Eng)]]
ページ名: