<code id="vkufq"></code>
  • <code id="vkufq"><small id="vkufq"></small></code>

        <th id="vkufq"><video id="vkufq"></video></th>
        歡迎來到- 無錫建昊環境科技有限公司 的官方網站, 郵箱: sales@jhhjkj.cn
        加入收藏|聯系我們 簡體中文 ENGLISH
        下載資料
        聯系我們
        無錫建昊環境科技有限公司 地址:無錫市雪浪街道繡溪路50號 K-park 3號樓 3樓 建昊科技
        聯系人:張經理
        手機:18762632319
        電話:0510-85182698
        網址:www.switchupstudios.com
        當前位置:首頁 > 新聞動態 > 公司新聞新聞動態
        安耐連接件的行為事件集合

        安耐連接件作為軟件架構的一個組成部分,它通過建模構件間的交互規則來實現構件間的鏈接。不像組件,連接件不需要編譯。

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

        beha是連接件行為的集合。

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

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

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

        COPYRIGHT ? 2020 無錫建昊環境科技有限公司 版權歸公司所有,ALL RESERVED.
        聯系我們站點索引隱私政策法律聲明
        久久亚洲AⅤ精品网站婷婷,无码人妻一区二区三区APP,国产激情怍爱视频在线观看,精品国产18久久久久久

        <code id="vkufq"></code>
      1. <code id="vkufq"><small id="vkufq"></small></code>

            <th id="vkufq"><video id="vkufq"></video></th>