邯郸列举网 > 行业市场 > 五金配件 > 连接件A机械连接件A连接件生产厂家
邯郸
[切换城市]

连接件A机械连接件A连接件生产厂家

更新时间:2020-09-01 17:48:16 浏览次数:355次
区域: 邯郸 > 临漳
类别:紧固件和连接件
单价:1 元
公司:吉昊
连接件是构件运算的实现,它是一个六元组<ID,Role,Beha,Msgs,Cons,Non-Func>。其中ID是连接件的标识。Role为连接件和构件的交互点集合,Role=<ID,Action,Event,LConstraions>。其中ID是Role的标识;Action是Role活动的集合,每个活动由时间的链接(谓词)组成;Event是Role产生的事件集合;LConstrains是Role的约束集合。把Role从连接件的其它属性分开来描述的目的是突出链接件的多态性,即一个连接件可以同时与多个构件相连。

Beha是连接件的行为集合。

Msgs是连接件中各Role中事件产生的消息集合。

Cons是连接件约束的集合,它包括连接件的初始化条件、前置条件和后置条件,有时为了明确表示这三个条件,可把它写成Cons(init,pre-cond,post-cond),init,pre-cond和post-cond分别表示初始条件、前置条件和后置条件的集合。

Non-Func是连接件的非功能说明,包括连接件的安全性、可靠性说明等
邯郸五金配件相关信息
注册时间:2019年07月17日
UID:622107
---------- 认证信息 ----------
手机已认证
查看用户主页