• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제13권3호
• /
• pp.1702-1721
• /
• 2019

A workflow process (or business process) management system helps to define, execute, monitor and manage workflow models deployed on a workflow-supported enterprise, and the system is compartmentalized into a modeling subsystem and an enacting subsystem, in general. The modeling subsystem's functionality is to discover and analyze workflow models via a theoretical modeling methodology like ICN, to graphically define them via a graphical representation notation like BPMN, and to systematically deploy those graphically defined models onto the enacting subsystem by transforming into their textual models represented by a standardized workflow process definition language like XPDL. Before deploying those defined workflow models, it is very important to inspect its syntactical correctness as well as its structural properness to minimize the loss of effectiveness and the depreciation of efficiency in managing the corresponding workflow models. In this paper, we are particularly interested in verifying very large-scale and massively parallel workflow models, and so we need a sophisticated analyzer to automatically analyze those specialized and complex styles of workflow models. One of the sophisticated analyzers devised in this paper is able to analyze not only the structural complexity but also the data-sequence complexity, especially. The structural complexity is based upon combinational usages of those control-structure constructs such as subprocesses, exclusive-OR, parallel-AND and iterative-LOOP primitives with preserving matched pairing and proper nesting properties, whereas the data-sequence complexity is based upon combinational usages of those relevant data repositories such as data definition sequences and data use sequences. Through the devised and implemented analyzer in this paper, we are able eventually to achieve the systematic verifications of the syntactical correctness as well as the effective validation of the structural properness on those complicate and large-scale styles of workflow models. As an experimental study, we apply the implemented analyzer to an exemplary large-scale and massively parallel workflow process model, the Large Bank Transaction Workflow Process Model, and show the structural complexity analysis results via a series of operational screens captured from the implemented analyzer.

• 한국전자거래학회:학술대회논문집
• /
• 한국전자거래학회 2004년도 e-Biz World Conference
• /
• pp.350-354
• /
• 2004

□ Many specification language has been developed for workflow modeling, but their emphasis on the process semantics make it difficult for use on the business process modeling. □ Also their lack of understanding of global view of Business process adds another problem to model workflow in a seamless and accurate and timely fashion(omitted)

• 인터넷정보학회논문지
• /
• 제19권3호
• /
• pp.25-33
• /
• 2018

본 논문에서는 클라우드 컴퓨팅 환경을 기반으로 하는 실시간 엔터프라이즈 워크플로우 관리 시스템을 구현하는데 있어서 반드시 수반되어야 하는 워크플로우 모델링 방법론으로서 정보제어넷 기반 클라우드 워크플로우 모델을 제안한다. 본 논문에서 제안하는 모델은 클라우드 서비스 배치모델을 기반으로 하는 클라우드 워크플로우 아키텍처, 즉 조직 수준 클라우드 배치모델, 커뮤니티 수준 클라우드 배치모델, 공적 수준 클라우드 배치모델, 혼합형 클라우드 배치모델 등으로 분류되는 클라우드 배치모델에 따른 클라우드 워크플로우 아키텍처를 지원하는 것을 목적으로 한다. 이 모델은 전통적으로 엔터프라이즈 워크플로우의 대표적인 정형적 모델링 기법인 정보제어넷 모델링 방법론을 클라우드 배치모델과 연계할 수 있도록 확장시킨 수학적 그래프 모델이다. 결론적으로, 본 논문에서는 제안된 정보제어넷 기반 클라우드 워크플로우 모델을 적용할 수 있는 클라우드 워크플로우 아키텍처와 그에 따른 클라우드 워크플로우 서비스를 설계함으로써 제안된 모델의 적용가능성을 검증한다.

• 인터넷정보학회논문지
• /
• 제6권2호
• /
• pp.141-152
• /
• 2005

최근에 업무효율성 향상에 대한 요구가 정보관리기술 분야의 핵심이슈로 대두되면서 많은 기업들이 워크플로우 관리 시스템의 도입을 통한 업무프로세스 자동화에 주력해 오고 있다. 특히, 기업내부 업무프로세스 즉 워크플로우 프로세스에 대한 자동화에 이어 기업간의 업무프로세스 상호연동을 필요로 하는 비즈니스 모델이 전자상거래, 전자무역 등의 급속한 확산과 더불어 활성화되면서 새로운 형태의 워크플로우 프로세스인 기업간 글로벌 워크플로우 모델을 위한 워크플로우 관리 시스템의 확장을 필요로 하고 있다. 본 논문에서는 기업간 글로벌 워크플로우 모델을 효과적으로 지원할 수 있는 새로운 형태의 기업간 워크플로우 모델링 방법론으로서 Fragment-driven 워크플로우 모델링 방법론을 제안한다. Fragment-driven 워크플로우 모델링 방법론은 실제 조직에서 엑티비티를 수행하게 될 각 참여자가 자신의 조직에 연관된 엑티비티들만을 정의하게 한 후에 그들의 통합을 통해 하나의 기업간 글로벌 워크플로우 프로세스의 모델링을 가능하게 하는 Bottom-Up방식이다. 이 방식은 각 조직의 참여자들이 자신들의 정보만을 이용하여 모델링하는 방법이기 때문에 각 조직의 독립성을 유지하면서도 모델링 작업을 단순화시킬 수 있는 장점을 기대할 수 있다. 본 논문에서는 이러한 Fragment-driven 워크플로우 모델링 방법론의 이론적 배경과 내용을 기술하며, 이 방법론을 기반으로 하는 협업적 스림레인 워크플로우 모델링 시스템을 구현한다.

• 인터넷정보학회논문지
• /
• 제3권4호
• /
• pp.19-26
• /
• 2002

본 논문에서는 워크플로우 관리 시스템의 빌드타임 기능에 속하는 모델링 시스템을 다중 에이전트 기반으로 구현하였다. 본 논문에서 제안된 다중 에이전트 기반 워크플로우 모델링 시스템은 클라이언트의 경량을 위하여 자바를 이용하였으며, 프로세스 정의에 필요한 세션, 조직, 관련데이터, 응용프로그램 속성들을 별도의 에이전트로 구성하였다 또한, 프로세스 정의를 위한 모델은 ICN(Information Control Net)을 이용하여 작성된 모델의 문법(syntax)를 검증하였으며, 타 워크플로우 엔진과의 연동을 위하여 WfMC에서 정의된 인터페이스 형태인 WPDL로 import/export할 수 있는 기능을 제공한다.

• 한국전자거래학회지
• /
• 제15권2호
• /
• pp.191-203
• /
• 2010

최근 생산 및 물류 시스템에서 RFID의 도입이 확산되어 가고 있다. 본 연구는 효과적인 RFID 시스템의 도입을 위하여 RFID에서 태그를 부착한 부품의 워크플로우 모델링 방법을 연구하고자 한다. RFID 시스템에서의 워크플로우에 따라 설계 가능성을 확인하고, BPMN으로 모델링하여 제시하였다. 또한 본 연구는 RFID 시스템의 모델링 결과를 이용하여 정의된 워크플로우를 따라 이동하는 태그의 정확한 흐름 현황을 시스템에서 모니터링하고 판정하기 위한 알고리즘을 제안하였다. RFID 시스템에서 워크플로우의 적용 방안을 제시하였다는 데 본 연구의 의의가 있다.

• 한국CDE학회논문집
• /
• 제15권1호
• /
• pp.11-23
• /
• 2010

A flexible and correct model of the activity flows is required for workflows in product development environments. In particular, the design activity flows are not known until run-time, and conventional approaches have limit to handle this situation because they cannot predefine all the potentially reachable paths. Thus, the structure of the workflow model must be flexible enough to describe variety in workflow design and accommodate dynamic changes during workflow execution. In this paper, we provide the general primitive axioms and change patterns based on event calculus for dynamic workflow specification and execution mechanisms in product development environments. Also, we describe how to execute the workflow dynamically based on the workflow specification and workflow change patterns using abductive planning technique.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제8권2호
• /
• pp.691-708
• /
• 2014

This paper formalizes a special type of social networking knowledge, which is called "workflow performer-role affiliation networking knowledge." A workflow model specifies execution sequences of the associated activities and their affiliated relationships with roles, performers, invoked-applications, and relevant data. In Particular, these affiliated relationships exhibit a stream of organizational work-sharing knowledge and utilize business process intelligence to explore resources allotting and planning knowledge concealed in the corresponding workflow model. In this paper, we particularly focus on the performer-role affiliation relationships and their implications as organizational and business process intelligence in workflow-driven organizations. We elaborate a series of theoretical formalisms and practical implementation for modeling, discovering, and visualizing workflow performer-role affiliation networking knowledge, and practical details as workflow performer-role affiliation knowledge representation, discovery, and visualization techniques. These theoretical concepts and practical algorithms are based upon information control net methodology for formally describing workflow models, and the affiliated knowledge eventually represents the various degrees of involvements and participations between a group of performers and a group of roles in a corresponding workflow model. Finally, we summarily describe the implications of the proposed affiliation networking knowledge as business process intelligence, and how worthwhile it is in discovering and visualizing the knowledge in workflow-driven organizations and enterprises that produce massively parallel interactions and large-scaled operational data collections through deploying and enacting massively parallel and large-scale workflow models.

• 인터넷정보학회논문지
• /
• 제6권6호
• /
• pp.107-115
• /
• 2005

최근의 워크플로우 및 비즈니스 프로세스는 조직의 대형화와 조직간 상호협력의 증가와 더불어 점점 더 복잡해지고 대형화 되어가고 있다. 본 논문에서는 이러한 대형화된 워크플로우 및 비즈니스 프로세스를 모델링 하는데 있어서 보다 향상된 워크플로우 모델링 방법론을 제시하고자 한다. 이 새로운 방법론을 조각-ICN을 이용한 협동 워크플로우 모델링 방법론이라 부르는데 다수의 모델 설계자 그룹이 워크플로우 모델을 실시간 협업을 통해 정의할 수 있게 함으로써 모델링 작업의 효율을 향상시키는데 주요 목적이 있다. 즉. 이 모델링 방법론은 실시간 협업공간의 공유를 통해 실제 엑티비티를 수행하게 될 각 참여자가 자신의 엑티비티 조각들을 직접 정의하게 한 후에, 이 조각들을 통합하여 전체 워크플로우 모델을 정의하게 하는 Bottom-Up 모델링 방식이다. 본 논문에서는 이 조각-ICN을 이용한 협업 워크플로우 모델링 방법론의 정형적 표현법과 그래픽적 표기법을 정의하고, 이를 기반으로 하는 협업 워크플로우 모델링 시스템을 설계 및 구현한다.

• 정보처리학회논문지D
• /
• 제10D권7호
• /
• pp.1189-1196
• /
• 2003

IT 산업의 발달로 인해 조직의 자동화된 업무 흐름인 워크플로우에 대한 관심과 연구가 활발해지고 있다. 본 논문에서는 워크플로우 설계시 자주 사용되는 기본 구조와 다양한 병행 처리 구조론 개념적인 설계가 가능한 EMFG(Extended Mark Row Graph)로 먼저 표현한 후 워크플로우를 모델링한다. 모델링된 EMFG를 시뮬레이션하여 워크플로우의 완료 가능 여부를 알 수 있는 수행완료 가능성 검증 방법과 수행완료 후에 나타날 수 있는 논리적 오류 검증 방범을 제안한다. 제안한 워크플로우의 EMFG 모델링 및 분석 방법을 사용하면 시각적이고 정형적인 설계가 가능하고 직관적인 수학적 해석이 가능하다.