(A) visual architecture description language for distributed software design = 분산 소프트웨어 설계를 지원하는 시각적 아키텍처 기술 언어

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 224
  • Download : 0
As software systems become larger and more complex, the software architecture of such systems plays a critical role in software development. Software architecture is generally known as the description of system in terms of computational components and their interactions. In the past, software architecture was informally described as box-and-line diagram. By the needs of analysis and precise description, many Architecture Description Languages(ADLs) have been proposed to specify and analyze various aspect of software. None the less, the existing ADLs lack in supporting design of consideration on synchronous/asynchronous message passing and data affecting computation among the components. Distinguishing synchronous and asynchronous message passing is one of the important issues at the architectural level of design. Also, it is important to analyze the architecture considering data (for example, boundary value) of components in a software under development. However, the existing ADLs do not address those information sufficiently. In this thesis, we propose a visual ADL which can be used to specify and analyze software architecture including message passing and data. Also, we present a prototype tool that supports the visual description of software architecture and the translation from it to PROMELA for model checking.
Advisors
Bae, Doo-Whanresearcher배두환researcher
Description
한국과학기술원 : 전산학전공,
Publisher
한국과학기술원
Issue Date
2000
Identifier
157563/325007 / 000983536
Language
eng
Description

학위논문(석사) - 한국과학기술원 : 전산학전공, 2000.2, [ v, 49 p. ]

Keywords

Message passing types; Architecture description language; Software architecture; Data; 데이터; 메시지 전달 형식; 아키텍처 기술 언어; 소프트웨어 아키텍처

URI
http://hdl.handle.net/10203/34397
Link
http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=157563&flag=dissertation
Appears in Collection
CS-Theses_Master(석사논문)
Files in This Item
There are no files associated with this item.

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0