The KIPS Transactions:PartD (정보처리학회논문지D)

Korea Information Processing Society (한국정보처리학회)
권호 표지
DOI QR코드

DOI QR Code

Scheduling of Workflows under Resource Allocation Constraints using CTR

CTR을 이용한 자윈 할당 제약조건 하에서 워크플로우의 스케줄링

  • 고재진 (울산대학교 컴퓨터정보통신공학부) ;
  • 안형근 (울산대학교 컴퓨터정보통신공학부) ;
  • 이단영 (울산대학교 컴퓨터정보통신공학부)
  • Published : 2006.04.01
Download PDF
⟨ Previous Next ⟩

Abstract

Many enterprises have introduced workflow to enhance work efficiency and support effective work processes in their various work environments. Recently, Business Process Management(BPM), an extension of workflow, is spotlighted in enterprise software markets Although woklflow plays an important role in Business Process Managements, researches in workflow are mostly concentrated on temporal constraints which finds exact execution sequences for complicated jobs. On that reason, majority of workflow scheduling has concentrated on modeling of various resources which should be handled and the interest for workflow scheduling under constraints related to resources is rather unsatisfactory In this paper we presents the Transformation Template based on Concurrent Transaction Logic(CTR) which is suitable for scheduling workflows with resource allocation constraints, and the logical framework. The Transformation Template consists of a Workflow Transformation Template and a Constraint Transaction Template. Especially the Transformation Template can be conveniently used to logically represent new workflows under the existing resource allocation constraints.

다양한 환경 속에서 기업이 업무의 효율성과 효과적인 업무처리를 해결하기 위해서 핵심정보시스템으로 워크플로우를 도입하고 있다. 최근에는 워크플로우 확장으로 비즈니스 프로세스 관리(BPM: Business Process Management)가 기업 소프트웨어 시장의 가장 중요한 부분을 차지하고 있다. 비즈니스 프로세스 관리에서 워크플로우는 핵심적인 역할을 수행하고 있지만, 워크플로우 연구의 대부분은 복잡한 업무의 정확한 실행 순서를 찾기 위한 시간적인 제약들에 집중되어 있다. 그런 이유에서 워크플로우 스케줄링의 대부분은 처리해야 할 다양한 자원의 모델링에 집중되었으며, 자원과 연관된 제약조건에서의 워크플로우 스케줄링에 대한 관심은 미흡한 편이다. 본 논문에서는 자원할당 제약조건에 따른 워크플로우 스케줄링에 적합한 CTR(Concurrent Transaction Logic) 기반의 변형 템플릿(Transformation Template)과 논리적 프레임워크를 제안한다. 변형 템플릿은 워크플로우 변형 템플릿(Workflow Transformation Template)과 제약조건 변형 템플릿(Constraint Transformation Template)으로 구성된다. 이 변형 템플릿은 기존의 워크플로우를 자원할당 제약조건 하에서 새로운 워크플로우를 논리적으로 표현하는데 용이하게 사용할 수가 있다.

Keywords

References

  1. 안승해, 백창현, 1st Workflow, 시사컴퓨터, 2000.3
  2. D. Hollingsworth, 'Workflow Management coalition specification: the workflow reference model', WfMS specification, 1994
  3. N. Adam, V. Atluri, and W. Huang. Modeling and analysis of workflows using Petri nets. Journal of Intelligent Information System, 10(2):131-158, March, 1998 https://doi.org/10.1023/A:1008656726700
  4. A.J. Bonner and M. Kifer. Concurrency and communication in transaction logic. In Joint Int'l Conference and Symposium on Logic Programming, pp.142-156, Bonn, Germany, September, 1996. MIT Press
  5. H. Davulcu, M. Kifer, C.R. Ramarkrishnan, and I.V. Ramakrishnan. Logic based modeling and analysis of workflows. In ACM Symposium on Principles of Database Systems, pp.25-33, Seattle, Washington, June, 1998 https://doi.org/10.1145/275487.275491
  6. C. Schulte and G. Smolka. Finite domain constraint programming in oz. a tutorial. Version 1.1.0, February, 2000
  7. G.Alonso, D.Agrawal, A. EI Abbadi, M. Kamath, R. Guntho, and C. Mohan. Advanced transaction models in workflow contexts. In international Conference on Data Engineering, New Orleans, Louisiana, February, 1996 https://doi.org/10.1109/ICDE.1996.492208
  8. G.Alonso, D.Agrawal, A EI Abbadi, and C. Mohan. Functionality and limitations of current workflow management systems. in IEEE-Expert. special issue on Cooperative Information System, 1997
  9. M. Brenner. A formal model for planning with time and resources in concurrent domains. In IJ-CAI Workshop on Planning with Resource, Seattle, USA, August, 2001
  10. Workflow management Coalition. Terminology and glossary ver 3.0. Technical Report(WFMC-TC-1011), Workflow Management Coalition, Brussels, February, 1999
  11. J.Eder, E. Panagos, and H. Pezewauning, and M. Rabinovich. Time management in workflow systems. In int. Conf. on Bussness Information Systems, pp.265-280, Poznan, Poland, 1999
  12. J.Eder, E. Panagos, and M. Rabinovich. Time constraints in workflow systems. In Conference on Advanced Information Systems Engineering, pp.286-300, Germany, 1999
  13. P.Halsum and H. Geffner. Heuristic planning with time and resource. In IJCAI Workshop on planning with Resources, Seattle, USA, August, 2001
  14. Y. Huang and M. Shan. Policies in a resource manager of workflow systems: Modeling, enforcement and management. In International Conference on Data Engineering, 1999 https://doi.org/10.1109/ICDE.1999.754911
  15. W. Du, J. Davis, Y. Huang, and M. Shan. Enterprise workflow resource management. In int'l Workshop on Research Issues in Data Engineering, pp.108-115, Sydney, Australia, 1999 https://doi.org/10.1109/RIDE.1999.758623
  16. M. zur Muhlen. Resource modeling in workflow application. In Workflow Management Conference, pp.137-153, Muenster, Germany, November, 1999
  17. P. Attie, M. Singh, A. Sheth, and M. Rusinkiewicz. Specifying and enforcing intertask dependencies. In Int'l Conference on Very Large Data Bases, Dublin, Ireland, August, 1993
  18. J. Blazewicz, K. H. Ecker, E. Pesch, G. Schmidt, and J. Weglarz. Scheduling Computer and Manufacturing Processes. Springer-Verlag, 1996
  19. A. Nareyek. Applying local search to structural constraint satisfaction. In IJCAI Workshop on Intelligent Workflow and Process Management : The New Frontier fo AI in Business, Stockholm, Sweden, August, 1999