欢迎来到- 无锡建昊环境科技有限公司 的官方网站, 邮箱: sales@jhhjkj.cn
加入收藏|联系我们 简体中文 ENGLISH
下载资料
联系我们
无锡建昊环境科技有限公司 地址:无锡市雪浪街道绣溪路50号 K-park 3号楼 3楼 建昊科技
联系人:张经理
手机:18762632319
电话:0510-85182698
网址:www.jhhjkj.cn
当前位置:首页 > 新闻动态 > 公司新闻新闻动态
安耐连接件的行为事件集合

安耐连接件作为软件架构的一个组成部分,它通过建模构件间的交互规则来实现构件间的链接。不像组件,连接件不需要编译。

连接件是一种构件操作的实现,它是一个六元组。这里的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.
联系我们站点索引隐私政策法律声明