지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers Journal of KIISE Journal of KIISE Vol.43 No.5
- 발행연도
- 2016.5
- 수록면
- 541 - 552 (12page)
이용수
초록· 키워드
오류제보하기
본 논문은 분산 이동 실시간 시스템의 분석과 명세에서 프로세스와 시스템의 복잡도를 획기적으로 감소하기 위한 방법으로 새로운 이음 선택(Conjunctive Choice) 및 여 선택(Complement Choice) 연산을 제안한다. 여 선택 연산은 두 프로세스의 선택(Choice) 연산이 연동하여 동일한 선택을 도출함을 표현한다. 이음 선택 연산은 프로세스 내의 일련의 선택 연산들 간의 의존성을 표현한다. 이음 선택 연산은 프로세스 복잡도를 선택 연산의 의존성의 수 만큼 기하급수적으로 감소시킨다. 마찬가지로 여 선택 연산은 시스템 복잡도를 선택 연산의 의존성의 수 만큼 기하급수적으로 감소시킨다. 그리하여 복잡도가 획기적으로 감소하게 되어 시스템의 명세와 분석이 용이하게 된다. 이 선택 연산은 δ-calculus 프로세스 대수에서 구현하였다. 또한 예제를 ADOxx 플랫폼에서 개발한 SAVE 도구를 사용하여 보여줌으로써 효과와 효율성을 제시한다.
목차
요약
Abstract
1. 서론
2. δ-calculus
3. 이음 및 여 선택 연산
4. 예제
5. 예제 분석
6. SAVE 도구
7. 비교 연구
8. 결론 및 향후 연구
References
참고문헌 (10)
참고문헌 신청
E. M. Clark, D. E. Long, and K. L. McMillan,
Compositional Model Checking, Proc. of Fourth
Annual Symposium on Logic in Computer Science,
1989.
W. J. Yeh and M. Young, Compositional Reachability
Analysis using Process Algebra, Proc. of Conference
on Testing, Analysis and Verification, pp. 49-59,
Aug. 1992.
B. Josson and J. Parrow, Deciding Bisimulation
Equivalences for a Class of Non-finite-state Programs,
Technical Report SICS/R-89/8908, Swedish
Institute of Computer Science, Aug. 1989.
S. Raju, An Automatic Verification Technique for
Communicating Real-Time State Machines, Technical
Report 93-04-08, Dept. of Computer Science
and Engineering. Univ. of Washington, Apr. 1993.
I. Kang and I. Lee, State Minimization for Concurrent
System Analysis Based on State Space
Exploration, Proc. of Conference on Computer
Assurance, pp. 123-134, 1994.
W. J. Yeh and M. Young, Compositional Reachability
Analysis using Process Algebra, Proc. of Conference
on Testing, Analysis and Verification, pp. 49-59,
Aug. 1992.
B. Josson and J. Parrow, Deciding Bisimulation
Equivalences for a Class of Non-finite-state Programs,
Technical Report SICS/R-89/8908, Swedish
Institute of Computer Science, Aug. 1989.
S. Raju, An Automatic Verification Technique for
Communicating Real-Time State Machines, Technical
Report 93-04-08, Dept. of Computer Science
and Engineering. Univ. of Washington, Apr. 1993.
I. Kang and I. Lee, State Minimization for Concurrent
System Analysis Based on State Space
Exploration, Proc. of Conference on Computer
Assurance, pp. 123-134, 1994.
함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
막연한 꿈, 그리고 선택
BT NEWS
2016 .04
-
선택
지반(한국지반공학회지)
2015 .09
-
대학원에서의 선택들
콘크리트학회지
2024 .09
-
선택 통행자들(Choice Riders)의 개별 속성이 수단선택에 미치는 영향 분석
대한교통학회 학술대회지
2015 .10
-
민간경비원의 직업선택동기가 직업선택평가 및 직무태도에 미치는 영향
융합보안논문지
2016 .01
-
통상 관점에서 ICT 표준의 선택(Technology Choice)에 관한 논의
한국통신학회 학술대회논문집
2017 .11
-
내 선택이 이끄는 삶은 언제나 옳다 !
콘크리트학회지
2017 .03
-
A Process Algebra for Modeling Secure Movements of Distributed Mobile Processes
Journal of KIISE
2016 .03
-
신한옥, 주거환경의 선택
건축
2016 .07
-
과학상식 - 인간과 기계 사이의 경계가 무너진다<sub>…</sub> 우리의 선택은?
석유와 에너지
2016 .01
-
Out of Sample Validity of Random Response Share Approach: Food Choice Experiment
농업생명과학연구
2021 .10
-
제곱근 연산 횟수 감소를 이용한 Canny Edge 검출에서의 전력 소모개선
한국정보전자통신기술학회 논문지
2020 .12
-
개인형 이동수단 공유 서비스 선택 영향요인 분석
대한교통학회 학술대회지
2020 .10
-
확률 매칭(Probability Matching)과 이성적 선택(Rational Choice)의 기계학습적 고찰
정보과학회지
2019 .02
-
재생에너지의 친환경적 선택과 집중 방향
한국신·재생에너지학회 학술대회 초록집
2016 .11
-
내비게이션 자료를 활용한 중장거리 경로 선택 행태 분석
대한교통학회지
2021 .04
-
CHOICE BETWEEN NUCLEAR AND RENEWABLES IN DEVELOPING COUNTRIES
AFORE
2018 .08
-
정규화 및 교차검증 횟수 감소를 위한 무작위 풀링 연산 선택에 관한 연구
한국산학기술학회 논문지
2018 .04
-
잠재계층분석을 활용한 코로나 이후 수단선택 변화
대한교통학회 학술대회지
2022 .09
-
복합건축의 일상적 이동에서 나타나는 제3의 동선 선택 행동
대한건축학회 논문집 - 계획계
2017 .05
이 논문의 저자 정보
이 논문과 함께 이용한 논문
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2016-569-002845442