지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers Journal of KIISE Journal of KIISE Vol.43 No.3
- 발행연도
- 2016.3
- 수록면
- 314 - 326 (13page)
이용수
초록· 키워드
오류제보하기
엔터프라이즈 비즈니스 모델링의 정형 명세와 검증을 위해 프로세스 대수들이 사용된다. π-calculus와 Mobile ambient는 분산 실시간 비즈니스 프로세스의 이동성을 표현할 수 있다. 그러나 이동성을 표현하는 데 있어 몇 가지 제약이 존재한다: 1) π-calculus는 포트의 이름을 전달함으로써 간접적으로만 이동성을 표현한다, 2) mobile ambient는 ambient를 사용하여 강제적인 비동기적 이동만을 표현한다. 이러한 문제를 해결하기 위하여 본 논문은 이동성을 표현하기 위한 새로운 프로세스 대수인 δ-calculus를 제안한다. δ-calculus는 비즈니스 프로세스의 동기적 이동을 시공간에서 직접적으로 표현할 수 있다. 이동성으로 인해 나타날 수 있는 안전성, 보안성의 위협은 동기성, 우선순위, 데드라인 속성들을 통하여 표현이 가능하다. 제안한 개념의 시뮬레이션을 위해 ADOxx 메타-모델링 플랫폼으로 SAVE 도구를 개발하였다.
목차
요약
Abstract
1. 서론
2. 관련연구
3. δ-calculus
4. 속성
5. 예제
6. 비교분석
7. 도구
8. 결론 및 향후연구
References
참고문헌 (11)
참고문헌 신청
R. Milner, "Communication and Concurrency," Prentice hall, 1989.
R. Singer and M. Teller, "Process Algebra and the Subject-oriented Business Process Management Approach," S-BPM ONE-Education and industrial developments, pp. 135-150, 2012.
R. Milner, J. Parrow and D. Walker, "A calculus of mobile processes(i-ii)," Information and Computation, pp. 1-77, 1992.
[단행본] - R. Milner / 1989 / Communication and Concurrency / Prentice hall
[단행본] - R. Singer / 2012 / S-BPM ONE-Education and industrial developments : 135 ~ 150
R. Singer and M. Teller, "Process Algebra and the Subject-oriented Business Process Management Approach," S-BPM ONE-Education and industrial developments, pp. 135-150, 2012.
R. Milner, J. Parrow and D. Walker, "A calculus of mobile processes(i-ii)," Information and Computation, pp. 1-77, 1992.
[단행본] - R. Milner / 1989 / Communication and Concurrency / Prentice hall
[단행본] - R. Singer / 2012 / S-BPM ONE-Education and industrial developments : 135 ~ 150
함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
The Probabilistic Process Algebra to Predict System Behaviors of IoT Systems
Journal of KIISE
2020 .03
-
베르누이가 쏘아 올린 작은 공
오토저널
2022 .03
-
A Process Algebra Construct Method for Reduction of States in Reachability Graph: Conjunctive and Complement Choices : 이음 선택과 여 선택
Journal of KIISE
2016 .05
-
프로세스 마이닝을 이용한 구매 프로세스 분석
한국빅데이터학회지
2018 .01
-
위성 설계 프로세스 모델링을 위한 프로세스 구조화 방법 연구
항공우주시스템공학회 학술행사 논문집
2018 .04
-
DO-254/DO-178 개발 환경 구축 방안
항공우주시스템공학회 학술행사 논문집
2019 .05
-
효과적인 프로세스 분석을 위한 프로세스 애니메이션에 대한 연구
대한산업공학회 춘계공동학술대회 논문집
2015 .04
-
Tensor Calculus in Exact Real Computation on Simplicial Complexes
한국정보과학회 학술발표논문집
2018 .06
-
Ambient IoT에 관한 연구
한국통신학회 학술대회논문집
2023 .02
-
WSN 노드 이동 환경에서 stochastic 모델 설계
한국정보통신학회논문지
2021 .08
-
프로세스 마이닝 기반의 프로세스 수행시간 예측 방법론 개발
대한산업공학회 춘계공동학술대회 논문집
2022 .06
-
설명 가능한 인공지능 기반의 프로세스 마이닝 분석 자동화 연구
전자공학회논문지
2019 .11
-
프로세스 마이닝을 이용한 제조 공정 프로세스 비교 분석
대한산업공학회 추계학술대회 논문집
2017 .11
-
표현 학습 기법을 활용한 프로세스 모델 임베딩 기법 개발
대한산업공학회 춘계공동학술대회 논문집
2023 .05
-
An Approach to a Learning Prediction Model for Recognition of Daily Life Pattern based on Event Calculus
Journal of KIISE
2018 .05
-
차량 이동 데이터의 군집화를 활용 차량 이동과 연결 관계 중심의 그래프 시각화
한국컴퓨터그래픽스학회 학술대회
2017 .07
-
사람의 이동 궤적과 활동에 대한 개인별 분석을 위한 모티프 추출 및 시각화
한국정보과학회 학술발표논문집
2021 .12
-
5G 이동통신기술
로봇과 인간
2019 .04
-
이동통신 보안의 현재와 미래
정보보호학회지
2019 .10
-
제4차 산업혁명 시대의 인구이동 행태에 관한 연구
대한산업공학회 춘계공동학술대회 논문집
2017 .04
이 논문의 저자 정보
최근 본 자료
댓글(0)
0