宁波墒废电子有限公司

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

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

beha是連接件行為的集合。

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

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

non-Func是對連接件的非功能描述，包括安全描述，可靠性描述等等。