12

有人有使用快速序列图编辑器的经验吗?即时显示+文本源代码+Java实现的组合对我来说很有吸引力,但我不太清楚如何让语法做我想要的,文档也不是很清楚。这是一个人为的例子:

al:Actor
bill:Actor
atm:ATM[a]
bank:Bank[a]

al:atm.give me $10
atm:al has $3=bank.check al's account balance
al:atm.what time is it
atm:al.it's now
atm:al.stop bugging me
atm:al.you only have $3
atm:bill.and don't you open your mouth
bill:atm.who asked you?
bill:atm.give me $20
al:atm.hey, I'm not finished!
atm:bill has $765=bank.check bill's account balance
atm:yes I'm sure, bill has $765=bank.hmm are you sure?
atm:bill.here's $20, now go away
atm:great, he's a cool dude=bank.I just gave Bill $20
al:atm.what about my $10?
atm:al.read my lips: you only have $3

以下是 QSDE 在单线程模式下的结果:

单线程

在多线程模式下:

多线程

我想我不清楚这些垂直条的开始/结束是什么。我有一个单线程的情况,但是涉及到状态,并且所有的消息都是异步的。我想这意味着我应该使用一个外部对象来表示该状态及其生命周期。我想要的是一个时间线来表示消息序列

  1. al:atm.give me $10
  2. atm:bank.check al的账户余额
  3. 银行:atm.al 有 3 美元
  4. 自动取款机:al.你只有 3 美元

和另一个时间线来表示消息序列

  1. 账单:atm。给我 20 美元
  2. atm:bank.check bill 的账户余额
  3. 银行:atm.bill 有 765 美元
  4. atm:bank.hmm 你确定吗?
  5. 银行:atm。是的,我确定,账单有 765 美元
  6. atm:bill.这是 20 美元,现在走开
  7. 自动取款机:银行。我刚给比尔 20 美元
  8. 银行:atm.great,他是个很酷的家伙

其他“俏皮话”代表我现在不关心的其他杂项信息。

有没有办法用 QSDE 做到这一点?

4

2 回答 2

14

当一个新线程启动时(并且来自用户的消息总是启动一个新线程),它不会停止,直到它被显式停止或直到图表结束。例如 atm:stop 终止 atm 线程

这是第一次尝试(多线程模式下的一切):

atmsmall

al:Actor
bill:Actor
atm:ATM[a]
bank:Bank[a]

al:atm.give me $10
atm:al has $3=bank.check al's account balance
atm:al.you only have $3
atm:stop

bill:atm.give me $20
atm:bill has $765=bank.check bill's account balance
atm:yes I'm sure, bill has $765=bank.hmm are you sure?
atm:bill.here's $20, now go away
atm:great, he's a cool dude=bank.I just gave Bill $20

另一个带有异步消息的版本

(可以说消息应该是异步的,因为它们是通过网络传输的。无论如何现在所有箭头看起来都一样)

消息开头的“>”启动一个新线程(默认情况下,来自用户和进程的所有消息都会启动一个新线程。)

末尾的“&”表示调用立即返回,不显示新线程。您可以使用它来模拟向现有线程发送消息。(默认情况下,所有发送给用户和进程的消息总是立即返回。)

atmsmallthreads

al:Actor
bill:Actor
atm:ATM[a]
bank:Bank[a]

al:atm.give me $10
atm:>bank.check al's account balance
bank:>atm.al has $3&
bank:stop
atm:al.you only have $3
atm:stop

bill:atm.give me $20
atm:>bank.check bill's account balance
bank:>atm.bill has $765&
bank:stop

atm:>bank.hmm are you sure?
bank:>atm.yes I'm sure, bill has $765&
bank:stop

atm:bill.here's $20, now go away
atm:>bank.I just gave Bill $20
bank:>atm.great, he's a cool dude&
bank:stop

所有俏皮话的完整示例

从示例中不清楚何时应该停止 ATM 中的线程。ATM 似乎更像是一个用户或进程,而不是一个对象。所以这个例子不一定有意义

大气压

al:Actor
bill:Actor
atm:ATM[a]
bank:Bank[a]

al:atm[a].give me $10
atm:al has $3=bank.check al's account balance

al:atm.what time is it
atm:al.it's now
atm:stop

atm:al.stop bugging me
atm:al.you only have $3

atm:bill.and don't you open your mouth
bill:atm.who asked you?&
atm:stop

bill:atm.give me $20
al:atm.hey, I'm not finished!&
atm:bill has $765=bank.check bill's account balance
atm:yes I'm sure, bill has $765=bank.hmm are you sure?
atm:bill.here's $20, now go away
atm:great, he's a cool dude=bank.I just gave Bill $20
atm:_
atm:stop

al:atm.what about my $10?
atm:al.read my lips: you only have $3
于 2010-09-28T17:36:19.167 回答
0

艾尔和比尔是人类。一个人怎么可能成为单线程情况的一部分?与程序相反,人类在另一个程序返回之前不会静止不动。它们可以触发计算活动并从计算机接收信号,但它们不会进入线程堆栈。

该文档明确指出(引用自多线程帮助):

“新生成的线程可以通过其相应生命线的颜色与旧线程区分开来。”

“通常,演员向对象发送的消息(动态)会产生一个新线程。”

所以这就是你的垂直条的来源。

如果你想要单线程或双线程的情况,你应该使用对象,而不是演员。

于 2009-12-05T15:40:28.993 回答