HOME > 공학 > 로봇 > 한국정보과학회 > 정보과학회논문지
분산 이동 프로세스 이동의 안전성 모델링을 위한 프로세스 대수 -
분야 공학 > 로봇
저자 최영복 이문근
발행기관 한국정보과학회
간행물정보 정보과학회논문지 2016년, 정보과학회논문지 제43권 제3호, 314page~326page(총13page)
파일형식 2904137 [다운로드 무료 PDF 뷰어]
판매가격 6,000원
적립금 180원 (구매자료 3% 적립)
이 자료를
논문의 미리보기 2페이지를 PDF파일로 제공합니다.
 
연관 논문
도달성 도표의 상태감소를 위한 프로세스 대수 구문 방법 - 이음 선택과 여 선택
보안 서비스를 고려한 이동 에이전트 모델과 클라이언트 - 서버 모델의 성능 비교 -
이동 프로세스 대수에서 행위의 의미 분석을 위한 정형기법 -
프로세스 대수에서 이동성과 상호작용을 분석하기 위한 행위 온톨로지를 이용한 추상화 방법 -
분산 및 병렬처리 : 분산 DB 환경에서 동기화 이동에이전트
 
 
목차
부제 : A Process Algebra for Modeling Secure Movements of Distributed Mobile Processes
요약
Abstract
1. 서론
2. 관련연구
3. δ-calculus
4. 속성
5. 예제
6. 비교분석
7. 도구
8. 결론 및 향후연구
References
 
 
국문초록
엔터프라이즈 비즈니스 모델링의 정형 명세와 검증을 위해 프로세스 대수들이 사용된다. π-calculus와 Mobile ambient는 분산 실시간 비즈니스 프로세스의 이동성을 표현할 수 있다. 그러나 이동성을 표현하는 데 있어 몇 가지 제약이 존재한다: 1) π-calculus는 포트의 이름을 전달함으로써 간접적으로만 이동성을 표현한다, 2) mobile ambient는 ambient를 사용하여 강제적인 비동기적 이동만을 표현한다. 이러한 문제를 해결하기 위하여 본 논문은 이동성을 표현하기 위한 새로운 프로세스 대수인 δ-calculus를 제안한다. δ-calculus는 비즈니스 프로세스의 동기적 이동을 시공간에서 직접적으로 표현할 수 있다. 이동성으로 인해 나타날 수 있는 안전성, 보안성의 위협은 동기성, 우선순위, 데드라인 속성들을 통하여 표현이 가능하다. 제안한 개념의 시뮬레이션을 위해 ADOxx 메타-모델링 플랫폼으로 SAVE 도구를 개발하였다.
 
 
영문초록
Some process algebras were applied to enterprise business modelling for formal specification and verification. π-calculus and mobile ambient can be considered for the distributed and mobile, especially to represent the movements of distributed real-time business processes. However there are some limitations to model the movements: 1) π-calculus passes the name of port for indirect movements, and 2) mobile ambient uses ambient to synchronize asynchronous movements forcefully. As a solution to the limitations, this paper presents a new process algebra, called δ-calculus, to specify direct and synchronous movements of business processes over geo-temporal space. Any violation of safety or security of the systems caused by the movements can be indicated by the properties of the movements: synchrony, priority and deadline. A tool, called SAVE, was developed on ADOxx meta-modelling platform to demonstrate the concept.
 
 
δ-calculus, 프로세스 대수, 이동성, 동기성, 시간, 보안, δ-calculus, process algebra, movements, synchrony, time, security
 
 
도움말
본 논문은 참고용 논문으로 수정 및 텍스트 복사가 되지 않습니다.
 
 
추천자료
[경영전략] 전략기법 (ERP, SCM, CRM, EVA, KMS)
[화공] CHEMICAL ENGINEERING
1998 정보화에 관한 연차보고서
[정보] 1998 정보화 연차보고서
[경영정보] 웹기반 GIS 분석
경영학과 레포트자료 모음
현대, 기아자동차의 해외투자 사업 활동 연구 - 최종보고서
삼성 위기관리
[정보처리기사] 정보처리기사 과목별 문제분석
[정보처리,정보처리기사,정보처리산업기사,기사,산업기사,기출문제,요점정리] 정보처리기사,산업기사 요점정리 및 기출문제
오늘 본 자료
오늘 본 자료가 없습니다.
장바구니 담은 자료
장바구니가 비어 있습니다.
이 간행물 인기자료
배터리 전압 강하를 고려한 드론 모터...
클라우드 기반 파일 시스템의 오브젝...
양자 기계학습 기술의 현황 및 전망 -...
실내/실외 컨텍스트 전이를 고려한 저...
화산재해 피해 예측 시스템의 성능 향...
이 간행물 신규자료
정적, 동적 분석방법을 결합하는 바이...
과학 워크플로우의 데이터 이동과 실...
Skip-Connected LSTM RNN을 이용한 악...
스마트폰 어플리케이션 설치 목록을 ...
멀티모달 딥러닝 모델을 이용한 실감...
저작권 정보
본 학술논문은 ㈜누리미디어와 각 학회간에 저작권 계약이 체결된 것으로 HAPPY학술이 제공하고 있습니다. 본 저작물을 불법적으로 이용시는 법적인 제재가 가해질 수 있습니다.
 
서비스이용약관 | 개인정보취급방침 | E-mail 수집 거부 | 제휴 및 광고문의 | FAQ
이메일 무단 수집 거부
본 웹사이트에 게시된 이메일 주소가 전자우편 수집 프로그램이나 그 밖의 기술적 장치를 이용하여 무단으로 수집되는 것을 거부하며, 이를 위반시 정보통신망법에 의해 형사처벌됨을 유념하시기 바랍니다. [게시일 2003년 4월 2일]