DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Bae, Doo-Whan | - |
dc.contributor.advisor | 배두환 | - |
dc.contributor.author | Chung, In-Bok | - |
dc.contributor.author | 정인복 | - |
dc.date.accessioned | 2011-12-13T06:00:57Z | - |
dc.date.available | 2011-12-13T06:00:57Z | - |
dc.date.issued | 2000 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=157563&flag=dissertation | - |
dc.identifier.uri | http://hdl.handle.net/10203/34397 | - |
dc.description | 학위논문(석사) - 한국과학기술원 : 전산학전공, 2000.2, [ v, 49 p. ] | - |
dc.description.abstract | 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. | eng |
dc.language | eng | - |
dc.publisher | 한국과학기술원 | - |
dc.subject | Message passing types | - |
dc.subject | Architecture description language | - |
dc.subject | Software architecture | - |
dc.subject | Data | - |
dc.subject | 데이터 | - |
dc.subject | 메시지 전달 형식 | - |
dc.subject | 아키텍처 기술 언어 | - |
dc.subject | 소프트웨어 아키텍처 | - |
dc.title | (A) visual architecture description language for distributed software design | - |
dc.title.alternative | 분산 소프트웨어 설계를 지원하는 시각적 아키텍처 기술 언어 | - |
dc.type | Thesis(Master) | - |
dc.identifier.CNRN | 157563/325007 | - |
dc.description.department | 한국과학기술원 : 전산학전공, | - |
dc.identifier.uid | 000983536 | - |
dc.contributor.localauthor | Bae, Doo-Whan | - |
dc.contributor.localauthor | 배두환 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.