邯郸

点击搜索

发布

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

区域:
邯郸 > 临漳
类别:
紧固件和连接件
单价:
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是连接件的非功能说明,包括连接件的安全性、可靠性说明等
查看更多邯郸五金配件信息

免责声明:此信息系发布者(UID:622107)自行发布,本站是服务平台,仅提供信息存储空间服务,该信息内容的真实性及合法性由该发布者完全负责。

© lieju.com 联系我们