软件体系结构-第5章.pptVIP

* 一个特定的方法（或事件），是作用于某构件的，所以对方法（或事件）的描述可以是构件名字和方法（或事件）类型的笛卡尔积。因此可以对所有的方法和事件描述为： methods = CNAME ? METHOD events = CNAME ? EVENT 用Z语言的定义三个类型： [EVENT，METHOD，CNAME] name : CNAME methods : P METHOD events : P EVENT Componet 构件接口描述为： ?name的类型是CNAME ?methods的类型是所有METHOD元素构成的集合 ?events的类型是所有EVENT元素构成的集合 * components : P Component EM : Event ? Method EventSystem ? c1,c2|components?(c1.name=c2.name)?(c1=c2) dom EM ? Events components ran EM ? Method components 事件系统结构描述 构件是构件元素组成的构件子集的集合 EM事件管理器是事件与方法的对应关系 上部分状态变量说明 下部分变量关系式说明 ?对于构件集合中的所有两了构件，若名字相等则是相等的两个构件 ?EM事件管理器的域包含在事件构件集合中 ?EM事件管理器的运行包含在方法构件集合中 （保证系统中构件的唯一性，以及管理器关联的是系统中实际存在的） * 事件系统中对 EM事件管理器，只声明是”事件与方法的对应”，没有规定同一个事件是否可与多个不同方法的关联？或者可以不与任何方法关联？并且，也没有说明构件发布事件的条件，以及与事件对应方法的约束和限制。因此，对应隐式激发机制需要做必要的说明。 MVC（Model-View-Controller）隐式激发机制，将视图和控制作为依赖者向模型注册，当模型对象发布changed事件时，视图和控制的update方法则隐式地被激发。因此，MVC事件系统应提供changed事件与update方法的依赖关联定义。 * EventSystem dependents : component ? Component MVC-EventSystem dom dependents ? components ran dependents ? components ? c | component? c.events = {changed} EM = {c1,c2: components|(c1,c2)? dependents ? ((c1.name, changed), (c2.name, update))} 声明changed和update： changed:EVENT （changed 是EVENT类型的元素） update:METHOD （update 是METHOD类型的元素） * 事件系统作为状态变量 dependents是构件集合的关系 上部分状态变量说明 下部分变量关系式说明 ? dependents域属于构件集合 ? dependents运行属于构件集合 ? 在构件集合中的所有c满足c的事件等于changed事件的集合 ? EM事件管理器等于一个集合，该集合的构件类型元素c1,c2所组成的关系属于dependents，该关系满足 (c1.name, changed)对应(c2.name, update) MVC-EventSystem解释 * * * Configuration Capitalize Component SplitFilter …… Component UpperCase …… Connector Pipe ……. Instances Split=SplitFilter; upper=UpperCase; Merge=MergrFilter; p1,p2,p3=Pipe Attachments Split.Left as p1.Source Upper.Input as p1.Sink; Split.Right as p2. Source; Merge.Left as p2. Sink; Upper.Output as p3. Source Merge.Right as p3.