軟件體系結(jié)構(gòu)描述語(yǔ)言講義-文庫(kù)吧資料
2025-03-02 22:45本頁(yè)面
【正文】 ExclSet 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:date_mg)； ExclSet(e:date_mg)； EquipReqts(eq:equip_type)； in GetPrefSet()； GetExclSet()； GetEquipReqts()； RemoveExclSet()； RequestWithdrawal()； AddPrefDates()； MarkMtg(d:date； l:loc_type)；? C2對(duì) Attendee構(gòu)件的描述 (2) behaviorreceived_messages GetPrefSet always_generate PrefSet；received_messages AddPrefDates always_generate PrefSet；received_messages GetExclSet always_generate ExclSet；received_messages GetEqipReqts always_generate EqipReqts；received_messages RemoveExclSet always_generate ExclSet；received_messages ReuestWithdrawal always_generate null；received_messages MarkMtg always_generate null；end Attendee； ? C2對(duì) ImportantAttendee構(gòu)件的描述ponent ImportantAttendee is subtype Attendee(in and beh) interface bottom_domain is out LocPrefs(l:loc_type)； ExclSet(e:date_mg)； EquipReqts(eq:equip_type)； in GetLocPrefs()； behaviorreceived_messages GetLocPrefs always_generate LocPrefs；end ImportantAttendee； ? C2對(duì)體系結(jié)構(gòu)的描述architecture MeetingScheduler is conceptual_ponents Attendee； ImportantAttendee； MeetingInitiator； connectors connector MainConn is message_filter no_filtering； connector AttConn is message_filter no_filtering； connector ImportantAttConn is message_filter no_filtering； architectural_topology connector AttConn connections top_ports Attendee； bottom_ports MainConn； connector ImportantAttConn connections top_ports ImportantAttendee； bottom_ports MainConn； connector MainConn connections top_ports AttConn； ImportantAttConn； bottom_ports MeetingInitiator；end MeetingScheduler； ? C2對(duì)會(huì)議安排系統(tǒng)的描述 system MeetingScheduler_1 is architecture MeetingScheduler with Attendee instance Att_1， Att_2， Att_3； ImportantAttendee instance ImpAtt_1， ImpAtt_2； MeetingInitiator instance MtgInit_1；end MeetingScheduler_1； ADL實(shí)例 — ACME? Acme是一種體系結(jié)構(gòu)交換語(yǔ)言，旨在解決目前出現(xiàn)的眾多 ADLs之間的不兼容問題– Acme提供了一個(gè)統(tǒng)一的結(jié)構(gòu)化框架，描述公共的體系結(jié)構(gòu)信息– 通過注釋的方法，刻劃特定于某種 ADL的信息? 從不同方面對(duì)體系結(jié)構(gòu)進(jìn)行描述– 結(jié)構(gòu)– 屬性– 約束– 類型和風(fēng)格結(jié)構(gòu)? Acme使用七種成分描述一個(gè)系統(tǒng)的體系結(jié)構(gòu)：– request ::= message_name(request_parameters)bottom_domain_interface ::= bottom_domain is out interface_notifications in interface_requestsinterface_requests ::= {request； } | null； ? C2對(duì)構(gòu)件接口的描述? C2對(duì)構(gòu)件的描述ponent_message_interface ::= top_domain_interface bottom_domain_interface? 通知消息的傳遞只對(duì)應(yīng)于構(gòu)件內(nèi)部的操作，而和接收消息的構(gòu)件的需求無(wú)關(guān)。每個(gè)構(gòu)件接口最多只能和一個(gè)連接件相連，而連接件可以和任意數(shù)目的構(gòu)件或連接件相連。構(gòu)件之間的消息要么是請(qǐng)求其它構(gòu)件執(zhí)行某個(gè)操作的請(qǐng)求消息，要么是通知其他構(gòu)件自身執(zhí)行了某個(gè)操作或狀態(tài)發(fā)生改變的通知消息。? 在 C2中，連接件負(fù)責(zé)構(gòu)件之間消息的傳遞，而構(gòu)件維持狀態(tài)、執(zhí)行操作并通過兩個(gè)名字分別為“top”和 “bottom”的端口和其它的構(gòu)件交換信息。end Application。=in String)params)。out action Results(p:? Rapide構(gòu)件type ApplicationwhereEvt2。Evt1Evt2(?prm)。(constraints)Rapide的語(yǔ)法 (2)? Rapide事件模式Evt1(?prm)(interfaces)? 接口元素 (functions)的同步通訊– provides– requires? 接口元素 (events)的異
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1