歡迎來到- 無錫建昊環(huán)境科技有限公司 的官方網(wǎng)站, 郵箱: sales@jhhjkj.cn
加入收藏|聯(lián)系我們 簡(jiǎn)體中文 ENGLISH
下載資料
聯(lián)系我們
無錫建昊環(huán)境科技有限公司 地址:無錫市雪浪街道繡溪路50號(hào) K-park 3號(hào)樓 3樓 建昊科技
聯(lián)系人:張經(jīng)理
手機(jī):18762632319
電話:0510-85182698
網(wǎng)址:m.candlesbulk.com
當(dāng)前位置:首頁 > 新聞動(dòng)態(tài) > 公司新聞新聞動(dòng)態(tài)
安耐連接件的行為事件集合

安耐連接件作為軟件架構(gòu)的一個(gè)組成部分,它通過建模構(gòu)件間的交互規(guī)則來實(shí)現(xiàn)構(gòu)件間的鏈接。不像組件,連接件不需要編譯。

連接件是一種構(gòu)件操作的實(shí)現(xiàn),它是一個(gè)六元組。這里的ID是連接的標(biāo)識(shí)。Role是一組連接件和工件的交互點(diǎn),Role在這里,ID是Role的標(biāo)識(shí);操作是Role活動(dòng)的集合,每個(gè)活動(dòng)都包含一個(gè)時(shí)間的鏈接(謂詞);事件是Role生成的事件集合;LConstrains是Role的約束集合。將Role與連接件的其他屬性分開來描述的目的是強(qiáng)調(diào)連接件的多態(tài)性,即一個(gè)連接件可以同時(shí)連接到多個(gè)構(gòu)件。

beha是連接件行為的集合。

Msgs是來自連接件中每個(gè)Role中的事件的一組消息。

cons是連接件約束的集合,包含連接件的初始化條件、前置條件和后置條件,為了清楚地說明這三個(gè)條件,有時(shí)可以將其寫成Cons(init,pre-cond,post-cond),init,pre-cond和post-cond分別表示初始條件、前置條件和后置條件的集合。

non-Func是對(duì)連接件的非功能描述,包括安全描述,可靠性描述等等。

COPYRIGHT ? 2020 無錫建昊環(huán)境科技有限公司 版權(quán)歸公司所有,ALL RESERVED.
聯(lián)系我們站點(diǎn)索引隱私政策法律聲明