軟件體系結(jié)構(gòu)描述語(yǔ)言講義(編輯修改稿)
2025-03-16 22:45 本頁(yè)面
【文章內(nèi)容簡(jiǎn)介】 SESp2PROTOCOLUnixpipeUSESprinterINTERFACEPrintfilterCONNECTTOADL實(shí)例 — Rapide? Stanford，可執(zhí)行的 ADL。目的在于定義并模仿基于事件的行為對(duì)分布式并發(fā)系統(tǒng)建模。? 集中于動(dòng)態(tài)行為的建模和模擬– 通過(guò)事件的偏序集合刻畫系統(tǒng)的行為 (posets)– 構(gòu)件計(jì)算由構(gòu)件接受到的事件觸發(fā)，并進(jìn)一步產(chǎn)生事件傳送到其它構(gòu)件，由此觸發(fā)其他的計(jì)算– Rapid模型的執(zhí)行結(jié)果為一個(gè)事件的集合，其中的事件滿足一定的因果和時(shí)序關(guān)系? 包含若干子語(yǔ)言– 類型 (types)語(yǔ)言：定義接口類型和函數(shù)類型，支持通過(guò)繼承已有的接口來(lái)構(gòu)造新的接口類型– 模式 (pattern)語(yǔ)言：定義具有因果、獨(dú)立、時(shí)序等關(guān)系的事件所構(gòu)成的事件模式– 體系結(jié)構(gòu) (architecture)語(yǔ)言：通過(guò)定義同步和通信連接來(lái)描述構(gòu)件之間的事件流– 約束 (constraint)語(yǔ)言：定義構(gòu)件行為和體系結(jié)構(gòu)所滿足的形式化約束，其中約束為需要的或禁止的偏序模式– 可執(zhí)行 (executable)語(yǔ)言：包含描述構(gòu)件行為的控制結(jié)構(gòu)? 優(yōu)點(diǎn)– 提供多種分析工具，基于檢測(cè)在某個(gè)模擬過(guò)程中的事件是否違反了已定義的偏序關(guān)系– 基于接口定義體系結(jié)構(gòu)，可以在體系結(jié)構(gòu)定義中使用尚未存在的構(gòu)件，只要構(gòu)件符合特定接口就可以了Rapide的語(yǔ)法 (1)? 一個(gè) 體系結(jié)構(gòu) 包括– 構(gòu)件類型 (interfaces)? 接口元素 (functions)的同步通訊– provides– requires? 接口元素 (events)的異步通訊– in action– out action– 連接件 (connections)– 約束 (constraints)Rapide的語(yǔ)法 (2)? Rapide事件模式Evt1(?prm)andEvt2(?prm)。Evt1→ Evt2。Evt1Evt2。Evt1(?prm)where?prm0。? Rapide構(gòu)件type Applicationis interfacein action Request(p:params)。out action Results(p:params)。behavior(?Min String)Receive(?M)=Results(?M)。end Application。C2概述 (1)? C2和其提供的設(shè)計(jì)環(huán)境（ Argo）支持采用基于時(shí)間的風(fēng)格來(lái)描述用戶界面系統(tǒng)，并支持使用可替換、可復(fù)用的構(gòu)件開(kāi)發(fā)應(yīng)用系統(tǒng)體系結(jié)構(gòu)。? 在 C2中，連接件負(fù)責(zé)構(gòu)件之間消息的傳遞，而構(gòu)件維持狀態(tài)、執(zhí)行操作并通過(guò)兩個(gè)名字分別為“top”和 “bottom”的端口和其它的構(gòu)件交換信息。? 每個(gè)接口包含一種可發(fā)送的消息和一組可接收的消息。構(gòu)件之間的消息要么是請(qǐng)求其它構(gòu)件執(zhí)行某個(gè)操作的請(qǐng)求消息，要么是通知其他構(gòu)件自身執(zhí)行了某個(gè)操作或狀態(tài)發(fā)生改變的通知消息。C2概述 (2)? 構(gòu)件之間的消息交換不能直接進(jìn)行，而只能通過(guò)連接件來(lái)完成。每個(gè)構(gòu)件接口最多只能和一個(gè)連接件相連，而連接件可以和任意數(shù)目的構(gòu)件或連接件相連。? 請(qǐng)求消息只能向上層傳送而通知消息只能向下層傳送。? 通知消息的傳遞只對(duì)應(yīng)于構(gòu)件內(nèi)部的操作，而和接收消息的構(gòu)件的需求無(wú)關(guān)。? C2對(duì)構(gòu)件和連接件的實(shí)現(xiàn)語(yǔ)言、實(shí)現(xiàn)構(gòu)件的線程控制、構(gòu)件的部署以及連接件使用的通訊協(xié)議等都不加限制。 ? C2對(duì)構(gòu)件接口的描述? C2對(duì)構(gòu)件的描述ponent_message_interface ::= top_domain_interface bottom_domain_interfacetop_domain_interface ::= top_domain is out interface_requests in interface_notificationsbottom_domain_interface ::= bottom_domain is out interface_notifications in interface_requestsinterface_requests ::= {request； } | null；interface_notifications ::= {notification； } | null；request ::= message_name(request_parameters)request_parameters ::= [to ponent_name][parameter_list]notification ::= message_name[parameter_list] ? 會(huì)議安排系統(tǒng)的 C2風(fēng)格? C2對(duì) MeetgingInitiator構(gòu)件的描述 (1)ponent MeetingInitiator is interface top_domain is out GetPrefSet()； GetExclSet()； GetEquipReqts()； GetLocPrefs()； RemoveExclSet()； RequestWithdrawal(to Attendee)； RequestWithdrawal(to ImportantAttendee)； AddPrefDates()； MarkMtg(d:date； l:lov_type)；? C2對(duì) MeetgingInitiator構(gòu)件的描述 (2) in PrefSet(p:date_mg)； ExclSet(e:data_mg)； EquipReqts(eq:equip_type)； LocPref(l:loc_type)； behavior startup always_generate GetPrefSet， GetExclSet， GetEquipReqts， GetLocPrefs； received_messages PrefSet may_generate RemoveExclSet xor RequestWithdrawal xor MarkMtg； received_messages ExclSet may_generate AddPrefDates xor RemoveExclSet xor RequestWithdrawal xor MarkMtg； received_messages EquipReqts may_generate AddPrefDates xor RemoveExclSet xor RequestWithdrawal xor MarkMtg； received_messages LocPref always_generate null；end MeetingInitiator； ? C2對(duì) Attendee構(gòu)件的描述 (1) ponent Attendee is interface bottom_domain is out PrefSet(p:da
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1