從合金透視圖和UML透視圖解釋圖

Question

本書軟件抽象有一個模型化一堆網絡過程的例子。每個進程都連接到另一個進程。描繪此，在一張紙張，我畫此圖：我解釋爲圖作爲

：每個過程有一個後繼過程。

但後來我想到：這是不對的。如果它是一個UML模型，那麼它就是對的，但它不是合金模型的正確描述。

經過一番思考，我得出了這樣的描述：過程有一組（原子）值;每個值代表網絡中的一個進程。 succ有一組配對，每對代表一個過程到另一個過程的連接。 過程中的每個值都與過程中的一個值完全配對。

你贊同那個描述嗎？您是否同意上圖在合金中的表現與UML中的完全不同？

也許上圖中是更適合於UML和以下的圖更適合於合金：

那會是更合適的合金圖？

Answer 1

如果您將UML類圖的語義作爲抽象數據模型（而不是代碼草圖）給出了UML類圖的語義，您給出的解釋看起來是合理的 - 而您給出的Alloy版本僅僅是一種形式化同樣的解釋。你給出的第二個圖是一種實例圖，我將它用作爲第一個圖提供語義的一種方式：也就是說，類圖的含義是一組可能的實例圖。