用公理化规范和激活条件表示抽象架构| IEEE会议出版物| IEEE Xplore