지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers 정보과학회논문지 : 소프트웨어 및 응용 정보과학회논문지 : 소프트웨어 및 응용 제36권 제6호
- 발행연도
- 2009.6
- 수록면
- 443 - 450 (8page)
이용수
초록· 키워드
오류제보하기
시스템 개발 초기 단계에 시스템의 기능적 요구사항이 제대로 반영되었는지를 검사하기 위해 시뮬레이션 기법을 이용한다. 일반적으로 시뮬레이션은 순차도에 나타난 추상적 시나리오를 바탕으로 상태머신을 직접 또는 랜덤으로 수행하는 행태로 진행된다. 시뮬레이션은 분석자가 직접 수행해야 하므로 많은 시간과 노력이 소요된다. 이 논문에서는 순차도 기반의 상태 머신의 시뮬레이션의 자동화 기법을 제공한다. 일반적으로 순차도와 상태머신의 추상화 레벨이 달라서 순차도에서 상세 시뮬레이션 트레이스를 추출하기가 쉽지 않다. 이 연구에서는 상태 머신을 LTS 모델로 변환하여 합성적 분석, 트랜지션 축약 등의 분석 방법을 적용하여 순차도와 동일한 추상화 레벨로 변환한 다음, 시나리오 포함여부를 검사한 후 해당시나리오의 상세 시뮬레이션 트레이스를 생성한다. 이러한 시뮬레이션 트레이스는 순차도에 기술된 시나리오를 기반으로 시뮬레이션을 자동으로 수행할 뿐만 아니라, 특정 시스템 상태까지 자동 시뮬레이션할 수 있으므로 시뮬레이션을 효율적으로 진행할 수 있다.
목차
요약
Abstract
1. Introduction
2. Simulation based on Sequence Diagrams
3. Transforming UML models to LTS models
4. Generating simulation traces
5. Simulation Trace Generator
6. Case Study and Verification
7. Conclusion
References
참고문헌 (11)
참고문헌 신청
1. [학술대회논문] - Alexander Egyed / 2001 / Statechart Simulator for Modeling Architectural Dynamics / Proc. of the 2nd International Working Conference on Software Architecture (WICSA)
2. [인터넷자원] - OMG / / Unified Modeling Language : Superstructure, Version 2.2
3. [학술대회논문] - Enrique V. Kortright / 1997 / Modeling and Simulation with UML and Java / Proc. of 30th Annual Simulation Symposium : 43 ~ 48
4. [학술대회논문] - M. Marzolla / 2004 / UML-PSI: the UML performance simulator / Proc. of First International Conference on the Quantitative Evaluation of Systems : 340 ~ 341
5. [학술대회논문] - C. Ermel / 2005 / Animated simulation of integrated UML behavioral models based on graph transformation / Proc. of IEEE Symposium on Visual Languages and Human-Centric Computing : 125 ~ 13
2. [인터넷자원] - OMG / / Unified Modeling Language : Superstructure, Version 2.2
3. [학술대회논문] - Enrique V. Kortright / 1997 / Modeling and Simulation with UML and Java / Proc. of 30th Annual Simulation Symposium : 43 ~ 48
4. [학술대회논문] - M. Marzolla / 2004 / UML-PSI: the UML performance simulator / Proc. of First International Conference on the Quantitative Evaluation of Systems : 340 ~ 341
5. [학술대회논문] - C. Ermel / 2005 / Animated simulation of integrated UML behavioral models based on graph transformation / Proc. of IEEE Symposium on Visual Languages and Human-Centric Computing : 125 ~ 13
함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
Simulation of State Machine Diagram based on Sequence Diagram
한국정보과학회 학술발표논문집
2008 .06
-
강건성 테스트 케이스 생성을 위한 상태 머신 다이어그램의 생성 연구
정보과학회논문지 : 소프트웨어 및 응용
2014 .01
-
UML 다이어그램을 위한 다이어그램 레포지토리의 정보구조화
한국정보통신학회논문지
2019 .12
-
UML을 이용한 PDA용 메신저 프로그램 설계 및 구현
한국산업정보학회논문지
2010 .12
-
DML(Diagram Markup Language) 시스템의 설계 및 구현
한국통신학회논문지
2005 .03
-
Study of State Machine Diagram Robustness Testing using Casual Relation of Events
Journal of KIISE
2014 .10
-
근ㆍ현대건축에 나타나는 다이어그램의 연속성에 관한 연구
대한건축학회 논문집 - 계획계
2011 .07
-
응용문제에서 보로노이 다이어그램과 파워 다이어그램의 사용성 비교
산업경영시스템학회지
2012 .01
-
시퀀스 다이어그램으로부터 테스트 케이스 자동 생성을 위한 M2M(Model-to-Model) 변환 규칙
정보과학회 컴퓨팅의 실제 논문지
2016 .01
-
Factor Analysis of Visual Literacy Influencing Diagram Understanding and Drawing in Computer Science Education
JOURNAL OF ADVANCED INFORMATION TECHNOLOGY AND CONVERGENCE
2019 .07
-
Dynamic simulation models for seismic behavior of soil systems - Part I: Block diagrams
Geomechanics & engineering
2015 .01
-
요구분석을 위한 UML 다이어그램 저장관리 시스템
정보과학회논문지 : 컴퓨팅의 실제 및 레터
2002 .12
-
원시코드로부터의 순차도 추출을 통한 일관성 확인
한국정보과학회 학술발표논문집
1999 .04
-
루이스 칸의 건축에 나타난 다이어그램에 관한 연구
대한건축학회 논문집 - 계획계
2006 .08
-
X . 25 Link Level의 State Transition Diagram에 관한 표현 ( The Expression of the State Transition Diagram About X . 25 Link Level )
대한전자공학회 학술대회
1983 .01
-
「시뮬레이션」 특집을 내면서
정보과학회지
1990 .02
-
다이어그램을 통한 건축형태생성 프로세스 연구
대한건축학회 학술발표대회 논문집 - 계획계
2005 .10
이 논문의 저자 정보
이 논문과 함께 이용한 논문
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2009-569-018446663