所属栏目:英汉云计算·物联网·大数据
指AADL标准语言的语义扩展,用于描述软件构件内部的具体行为。行为附件通过状态及状态的迁移来描述构件行为,状态的迁移可以定义使能条件和执行动作,并且可以通过层次、并发状态来支持更加复杂的行为描述。行为附件的出现使 ......(本文共 147 字 ) [阅读本文] >>