HOME > 공학 > 전자공학 > 한국정보처리학회 > 정보처리학회논문지D
소프트웨어공학 : 평탄화를 이용한 계층형 상태 기계의 단계 의미 정의
분야 공학 > 전자공학
저자 박사천 ( Sa Choun Park ) , 권기현 ( Gi Hwon Kwon ) , 하순회 ( Soon Hoi Ha )
발행기관 한국정보처리학회
간행물정보 정보처리학회논문지D 2005년, 제12권 제6호, 863~868쪽(총6쪽)
파일형식 52805088.pdf [다운로드 무료 PDF 뷰어]
판매가격 4,000원
적립금 120원 (구매자료 3% 적립)
이 자료를
논문의 미리보기 2페이지를 PDF파일로 제공합니다.
 
연관 논문
UML 상태기계 다이어그램을 이용한 컴포넌트 인터페이스의 행위 호환성 검증 도구
소프트웨어공학 : MDA기반 이동 단말 시스템 소프트웨어 개발 기법
상태 변환 기계를 이용한 메소드의 실행 가능 명세 기법 -
소프트웨어 프로세스 모형화 작업의 자동화 -
용어 빈도수를 이용한 영문 문헌정보의 점진적인 개념적 집단화 -
 
 
국문초록
하드웨어와 소프트웨어를 통합 설계하는 프레임워크인 PeaCE(Ptolemy extension as a Codesign Environment)가 개발되었다. PeaCE 에서는 데이터 흐름과 제어 흐름을 모두 표현할 수 있는데, 제어 흐름은 상태 기계를 확장한 fFSM으로 나타낸다. fFSM은 계층형 상태 기계로서 제어흐름을 표현하기 위해 많은 구문을 제공하지만, 모델에 대한 의미가 정의되어 있지 않아서 명세를 검증하는데 어려움이 많다. fFSM의 의미를 정의하기 위해서, 본 논문에서는 계층형 상태 기계를 먼저 평탄화한 후에 평탄화된 모델에 대해서 단계 의미를 정의하였다. 그 결과 레이스 조건, 애매한 전이, 순환 전이 등의 주요한 버그들을 정형적으로 검출할 수 있었다.
 
 
영문초록
Hardware and software codesign framework called PeaCE(Ptolemy extension as a Codesign Environment) was developed. It allows to express both data flow and control flow which is described as fFSM which extends traditional finite state machine. While the fFSM model provides lots of syntactic constructs for describing control flow, it has a lack of their formality and then difficulties in verifying the specification. In order to define the formal semantics of the fFSM, in this paper, firstly the hierarchical structure in the model is flattened and then the step semantics is defined. As a result, some important bugs such as race condition, ambiguous transition, and circulartransition can be formally detected in the model.
 
 
상태 기계, 평탄화, 검증, 통합 설계, 단계 의미, State Machine, Flattening, Verification, Codesign, Step Semantics
 
 
도움말
본 논문은 참고용 논문으로 수정 및 텍스트 복사가 되지 않습니다.
 
 
추천자료
[졸업][행정학]지식정부의 바람직한 조직모형
[정보체계론] 정보사회에서의 바람직한 공공조직모형
[기업문화]17개 대기업의 기업문화-아마존,맥도날드,월마트,GE등
[정보체계론] 정보사회에서의 바람직한 공공조직모형
[자격시험]사무자동화 산업기사 필기 기출문제 중심으로 한 필기 요약본
[졸업][경영정보] 차세대인터넷 그리드에 관한 연구 및 현황 분석
[컴퓨터,자격증,전자,엑셀,활용,1급] 컴퓨터활용능력1급 요점정리
[정보처리기사] 정보처리기사 과목별 문제분석
[정보처리,정보처리기사,정보처리산업기사,기사,산업기사,기출문제,요점정리] 정보처리기사,산업기사 요점정리 및 기출문제
지식경영
오늘 본 자료
오늘 본 자료가 없습니다.
장바구니 담은 자료
장바구니가 비어 있습니다.
이 간행물 인기자료
데이타베이스 : 단축-경로와 확장성 ...
소프트웨어 공학 : 훈련데이터 집합을...
데이터베이스 : 순차패턴에 기반한 XM...
데이터베이스 : 불확실한 시간 간격을...
소프트웨어 공학 : 디자인 패턴에 대...
이 간행물 신규자료
한글 형태소 및 키워드 분석에 기반한...
TK-Indexing: NoSQL 기반 SNS 데이터 ...
UML 상태 기계를 이용한 임베디드 소...
레퍼런스 흐름에 기반한 디자인 패턴...
웹 서비스 합성 구성을 위한 QoS고려 ...
저작권 정보
본 학술논문은 한국학술정보㈜ 각 학회간에 저작권 계약이 체결된 것으로 HAPPY학술이 제공하고 있습니다. 본 저작물을 불법적으로 이용시는 법적인 제재가 가해질 수 있습니다.
 
서비스이용약관 | 개인정보취급방침 | E-mail 수집 거부 | 제휴 및 광고문의 | FAQ
이메일 무단 수집 거부
본 웹사이트에 게시된 이메일 주소가 전자우편 수집 프로그램이나 그 밖의 기술적 장치를 이용하여 무단으로 수집되는 것을 거부하며, 이를 위반시 정보통신망법에 의해 형사처벌됨을 유념하시기 바랍니다. [게시일 2003년 4월 2일]