能够处理用户访问请求的服务器程序,提供验证(authentication)、授权(authorization)以及账户(accounting)的服务器。通常与网络访问控制、网关服务器、数据库以及用户信息目录等协同工作。同AAA服务器协作的网络连接服务器接口是远程身份...[继续阅读]
海量资源,尽在掌握
能够处理用户访问请求的服务器程序,提供验证(authentication)、授权(authorization)以及账户(accounting)的服务器。通常与网络访问控制、网关服务器、数据库以及用户信息目录等协同工作。同AAA服务器协作的网络连接服务器接口是远程身份...[继续阅读]
指AADL标准语言的语义扩展,用于描述软件构件内部的具体行为。行为附件通过状态及状态的迁移来描述构件行为,状态的迁移可以定义使能条件和执行动作,并且可以通过层次、并发状态来支持更加复杂的行为描述。行为附件的出现使...[继续阅读]
指结构分析设计语言标准语言所构建模型的进一步精化,以结构分析设计语言的行为附件为基础,描述结构分析设计语言标准构建内部详细行为的模型。...[继续阅读]
指体系结构分析设计语言在构建实现中流路径的具体实现,或整个系统的端到端流(endto-end flow)的延迟。可以用于支持端到端延迟分析和可靠性分析。...[继续阅读]
指能够描述嵌入式实时软件的非功能属性,支持静态、动态结构的协同建模,支持软件、硬件的协同建模,并且可以针对特定领域进行扩展,支持四种模式: 同步数据流(synchronous dataflows)模式、互斥(mutex)模式、黑板(blackboard)模式和排队缓...[继续阅读]
一种建模的模型,在体系结构分析设计语言模型中软件系统的状态通过构件的“模式”表现。通过一个可扩展的符号、一个工具框架和精确定义的语义,支持对系统的结构进行论证。...[继续阅读]
指模拟体系结构分析设计语言模型的技术。...[继续阅读]