AADL behavior annex
信息科技

        指AADL标准语言的语义扩展,用于描述软件构件内部的具体行为。行为附件通过状态及状态的迁移来描述构件行为,状态的迁移可以定义使能条件和执行动作,并且可以通过层次、并发状态来支持更加复杂的行为描述。行为附件的出现使......（本文共 147 字）     [阅读本文] >>