ADL (体系结构描述语言).pptx

ADL (体系结构描述语言）;ADL 是什么？;;几种ADL;Darwin Example;XYZ/ADL 针对国内唐稚松院士提出基于时序逻辑的XYZ语言进行扩充，用来描述验证具有实时性、可靠性要求的软件体系结构;Language and tool-set for exploring dynamic properties of systems of components that communicate through events Advantages Unique and expressive language for describing asynchronously communicating components Tool-set supports simulation of models and graphical visualization of event traces Disadvantages No natural or explicit mapping to implemented systems High learning curve Important tool support is difficult to run on modern machines Has morphed into the CEP project, however;;