지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술대회자료
- 저자정보
- 저널정보
- 대한전자공학회 ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications ITC-CSCC : 2009
- 발행연도
- 2009.7
- 수록면
- 859 - 862 (4page)
이용수
초록· 키워드
오류제보하기
We discuss in this paper whether we can extend work-flow nets (WF-nets for short) under the condition to preserve behavioral inheritance and soundness. We propose a two step framework to extend WF-nets, i.e. we first extend a given WF-net under the condition to preserve only behavioral inheritance, and then correct it to be sound if necessary. We tackle a problem of deciding whether we can correct an unsound WF-net to be sound under the condition to preserve behavioral inheritance, named soundizability problem. There are two kinds of behavioral inheritance: Projection inheritance and protocol inheritance. Our results show that if an acyclic free choice WF-net is extended under the condition to preserve projection inheritance, the extended WF-net is sound; If an acyclic free choice WF-net is extended under the condition to preserve protocol inheritance, the extended WF-net may be unsound; The unsound extended WF-net cannot be corrected to be sound under the condition to preserve projection inheritance, but may be corrected under the condition to preserve protocol inheritance.
목차
Abstract
1. Introduction
2. Preliminary
3. Framework and Soundizability Problem
4. Analysis of Soundizability Problem under Projection Inheritance
5. Analysis of Soundizability Problem under Protocol Inheritance
6. Conclusion
References
참고문헌 (0)
참고문헌 신청함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
A Soundness Verification Tool Based on the SPIN Model Checker for Acyclic Workflow Nets
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2008 .07
-
A Proposal of Refactoring toWell-StructuredWorkflow Nets
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2009 .07
-
.NET 기술
한국멀티미디어학회지
2003 .03
-
가상 음장 시스템 : WFS 시스템을 중심으로
소음·진동
2014 .12
-
WFS의 원리와 활용에 관하여
한국음향학회지
2009 .01
-
Estimation of Accessibility and Usability in Web Interaction for Personalized Ubiquitous Web Information Services
정보과학회논문지 : 소프트웨어 및 응용
2008 .08
-
Subjective Listening Experiments on a Front and Rear Array-Based WFS System
[ETRI] ETRI Journal
2011 .12
-
전장정보체계 SW 개발을 위한 시큐어 코딩 라이브러리에 관한 연구
전기전자학회논문지
2018 .06
-
A Simplified Necessary and Sufficient Condition for a Net to be an SMA Net
JTC-CSCC : Joint Technical Conference on Circuits Systems, Computers and Communications
1991 .01
-
.NET Language특성
한국멀티미디어학회지
2003 .03
-
ANALYSIS OF COMMUNICATION PROTOCOL USING NET MODEL
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2006 .07
-
.NET 기술동향
한국멀티미디어학회지
2003 .03
-
Extended Timed Petri Net Models for Performance Analysis of Communication Protocols
TENCON 87 - Computers and Communications Technology Toward 2000
1987 .01
-
치환방법에 따른 플라이애쉬를 다량 치환한 콘크리트의 공학적 특성
한국구조물진단유지관리공학회 논문집
2006 .01
-
시스템분석을 위한 Petri Nets의 축소방법
(구)정보과학회논문지
1986 .04
-
WFS=aI+bLI²에서 b값의 실험적 측정 ( Experimental Determination of b value in WFS=aI+bLI² )
대한용접학회 특별강연 및 학술발표대회 개요집
1996 .01
-
.NET시스템 개발 방법과 Aurora.net
Proceedings of KIIT Conference
2003 .08
-
Deadlock Free를 위한 Petri Net의 합성및 제거
한국정보과학회 학술발표논문집
1985 .04
이 논문의 저자 정보
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2012-569-004021959