지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술대회자료
- 저자정보
- 발행연도
- 2015.4
- 수록면
- 4,055 - 4,060 (6page)
이용수
이 논문의 연구 히스토리 (2)
- 이 논문의 후속연구가 궁금하신가요?
- 연관 학술논문 또는 학술발표를 통해 보다 발전된 연구결과를 확인하실 수 있습니다.
- 이 논문의 연구 히스토리 확인하기
초록· 키워드
오류제보하기
A workflow consists of an orchestrated and repeatable pattern of business activity enabled by the systematic organization of resources into processes that transform materials, provide services, or process information. A workflow can usually be described using formal or informal flow diagramming techniques, showing directed flows between processing steps. One of the important point of implementing workflow simulation model is to capture the user’s intention. Therefore, the requirements of the workflow model should be described unambiguously and the implementation of the workflow model should be tested thoroughly respect to the requirements. To describe unambiguous requirements, one can utilize the Safety properties and Liveness properties. The Safety property describes the specific event should never happen in whole event, and Liveness property describes the specific event should occur in whole event. In this paper, we introduce the test method to check the implementation of a workflow model against to the given Safety properties. Specially, we utilize ExtendSim to test requirements of ExtendSim Model which used to simulate workflow.
목차
Abstract
1. 서론
2. 관련연구
3. 검출기를 활용한 작업 흐름 검사 방안
4. 사례연구 및 구현
5. 결론
6. 참고문헌
참고문헌 (0)
참고문헌 신청함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
A Workflow Execution System for Analyzing Large-scale Astronomy Data on Virtualized Computing Environments
International JOURNAL OF CONTENTS
2020 .12
-
Surgical Workflow Manager를 통한 수술 프로세스 관리에 대한 연구
한국CDE학회 학술발표회 논문집
2015 .08
-
빅데이터 분석 서비스를 위한 워크플로우 기반 저작 시스템
한국정보과학회 학술발표논문집
2015 .06
-
Innovative 3D Character Model Texture Mapping Solution Based on Artificial Intelligence Image Generation Model
International JOURNAL OF CONTENTS
2024 .12
-
하이브리드 클라우드 환경에서 다중 데이터 처리 방법을 이용한 워크플로우 모델 설계
한국통신학회 학술대회논문집
2017 .06
-
케플러 워크플로우를 통한 파이프라인 기반 워크플로우의 구현
한국정보과학회 학술발표논문집
2017 .12
-
효율적인 대용량 데이터 수집을 위한 워크플로우 기반 사용자 인터페이스 개발
한국정보과학회 학술발표논문집
2016 .12
-
포토그래메트리와 3D 모델링을 활용한 경제적인 문화재 아카이빙 연구
멀티미디어학회논문지
2023 .09
-
ETL Workflow Design for Analyzing Relationship of Empathy and Social Awareness using Socio-Emotion Data
한국정보과학회 학술발표논문집
2017 .12
-
과학 워크플로우 시스템을 위한 프로파일링 연구
한국정보과학회 학술발표논문집
2018 .06
-
빅데이터 처리 프로세스의 웹 다이어그램을 통한 제어 기술 개발
Proceedings of KIIT Conference
2023 .06
-
컨테이너 환경에서의 고속 장애 복구를 위한 워크플로우 설계
한국통신학회 학술대회논문집
2020 .08
-
워크 플로우 기반 의사 맞춤형 거시 수술계획에 관한 연구
한국CDE학회 학술발표회 논문집
2016 .01
-
Study on Integrated Workflow for Designing Sustainable Tall Building : With Parametric method using Rhino Grasshopper and DIVA for Daylight Optimization
KIEAE Journal
2016 .10
-
통신 및 레이다를 위한 매스웍스 AI Workflow 소개
전자파기술
2024 .09
-
소프트웨어 정의 방송 제작 워크플로우
한국방송미디어공학회 학술발표대회 논문집
2019 .06
-
다양한 문장형태에 대한 지리공간 분석절차 분류 연구
한국측량학회지
2022 .12
-
파이프라인 기반 워크플로우의 우선 데이터 처리 방안
한국정보과학회 학술발표논문집
2017 .06
-
과학 워크플로우 실행 단계에 따른 데이터 재배치 분석
한국정보과학회 학술발표논문집
2018 .06
-
일가스 생산효율 향상을 위한 탐사, 평가 프로세스
한국가스학회 학술대회논문집
2017 .05
이 논문의 저자 정보
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2016-530-001315988