• 한국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.

• 인터넷정보학회논문지
• /
• 제16권5호
• /
• pp.59-66
• /
• 2015

확률적 워크플로우 모델링 방법은 워크플로우 인텔리전스를 지원하기 위한 수학적 방법으로서 워크플로우 모델의 분석 및 시뮬레이션에 널리 사용되고 있다. 그동안에 다양한 확률적 모델링 방법이 제안되었지만, 본 논문에서는 자원관점의 모델링 방법으로서 워크플로우 기반 소셜 네트워크를 구성하는 수행자간의 업무전달 관계를 확률적으로 나타내는 모델을 제안한다. 업무전달 관계의 확률은 단위업무 사이의 제어흐름에서 발생하는 업무전이 확률과 업무와 수행자간의 할당 확률에 의해 결정된다. 이를 위해, 본 논문에서는 정보제어넷을 기반으로 확률적 워크플로우 모델과 확률적 업무전달 관계 모델을 정형적으로 정의하고, 이를 추출하기 위한 알고리즘에 대하여 설명한다. 결과적으로 제안 모델은 조직 및 자원관점의 워크플로우 시뮬레이션 및 사후 모델-로그 비교분석에 적용될 것으로 기대된다.

• 인터넷정보학회논문지
• /
• 제14권2호
• /
• pp.25-34
• /
• 2013

본 논문에서는 워크플로우 기반 인적 자원의 소속성 분석을 위한 업무-수행자 이분 행렬 생성 알고리즘을 제안한다. 워크플로우 기반 인적 자원은 워크플로우 관리 시스템에 의해 관리되는 조직의 모든 수행자들을 말하며, 워크플로우 모델의 실행 과정에서 특정 업무 집합에 참여하게 된다. 이러한 워크플로우 모델에 정의된 수행자들과 업무들과의 소속성을 나타내는 소셜 네트워크를 업무-수행자 소속성 네트워크라 정의하였으며, 본 논문에서 제안하는 알고리즘은 워크플로우 모델로부터 발견된 업무-수행자 소속성 네트워크 모델(APANM)에 대한 이분 행렬을 생성하기 위한 알고리즘이다. 결론적으로, 알고리즘에 의해 생성된 업무-수행자 이분 행렬은 중심성(centrality), 밀집도(density), 상관 관계(correlation)와 같은 다양한 소셜 네트워크 관련 속성들을 분석하는데 적용될 수 있으며, 이를 통해 워크플로우 기반 인적 자원의 소속성에 대한 유용한 지식을 획득할 수 있다.

• 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.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제9권9호
• /
• pp.3611-3634
• /
• 2015

In this paper, we build a theoretical framework for quantitatively measuring and graphically representing the degrees of closeness centralization among performers assigned to enact a workflow procedure. The degree of closeness centralization of a workflow-performer reflects how near the performer is to the other performers in enacting a corresponding workflow model designed for workflow-supported organizational operations. The proposed framework comprises three procedural phases and four functional transformations, such as discovery, analysis, and quantitation phases, which carry out ICN-to-WsoN, WsoN-to-SocioMatrix, SocioMatrix-to-DistanceMatrix, and DistanceMatrix-to-CCV transformations. We develop a series of algorithmic formalisms for the procedural phases and their transformative functionalities, and verify the proposed framework through an operational example. Finally, we expatiate on the functional expansion of the closeness centralization formulas so as for the theoretical framework to handle a group of workflow procedures (or a workflow package) with organization-wide workflow-performers.

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 2002년도 춘계공동학술대회
• /
• pp.909-915
• /
• 2002

Collaborative system is an essential idea in the global and e-business environments Workflow plays a key role implementing collaborative system. Workflow is an emerging technology for business process automation, monitoring integrity enforcement, and recovery. A process model describes the structure of business process in the real world The process model can be transformed into a Workflow model utilizing a computer. The paper proposes a web-based Workflow process design in the B2B environment Considering a global environment where the partners interchange their processes beyond the company boundaries, a web-based infrastructure is the most preferred platform Considering this, Workflow processes and e-Business structures were combined together on the web environment.

• Journal of Mechanical Science and Technology
• /
• 제20권10호
• /
• pp.1527-1533
• /
• 2006

Workflow systems have benefited the enterprise and customer in many aspects. But with the increasing complexity of the system, workflow design becomes a complicated and time-consuming process. In this paper, we model the system based on the Hierarchical Colored Petri Nets (HCPN) to avoid the complexity of the system, and the super nets of the model are abstracted as independent components to increase the flexibility, acceptability and maintainability of the system. Another important characteristic of this model is its convenience for reuse and workflow mining. The development process of the overhead traveling crane was given to demonstrate the proposed method.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제9권8호
• /
• pp.3216-3230
• /
• 2015

A hot-issued research topic in the workflow intelligence arena is the emerging topic of "workflow-supported organizational social networks." These specialized social networks have been proposed to primarily represent the process-driven work-sharing and work-collaborating relationships among the workflow-performers fulfilling a series of workflow-related operations in a workflow-supported organization. We can discover those organizational social networks, and visualize its analysis results as organizational knowledge. In this paper, we are particularly interested in how to visualize the degrees of closeness centralities among workflow-performers by proposing a graphical representation schema based on the Graph Markup Language, which is named to ccWSSN-GraphML. Additionally, we expatiate on the functional expansion of the closeness centralization formulas so as for the visualization framework to handle a group of workflow procedures (or a workflow package) with organizational workflow-performers.

• 인터넷정보학회논문지
• /
• 제11권6호
• /
• pp.145-157
• /
• 2010

본 논문에서는 엔터프라이즈 워크플로우의 자원할당 및 성능개선을 위한 워크플로우 모델 (또는 비즈니스 프로세스 모델) 분석 도구의 설계 및 구현에 관하여 기술한다. 즉, 엔터프라이즈 워크플로우 모델의 분석기법은 크게 정적인 분석기법과 동적인 분석기법으로 나눠지는데, 본 논문에서 제안하는 분석기법은 정적인 분석기법에 해당하며, 국제표준화기구 WfMC의 표준 참조모델 중 인터페이스-1의 프로세스 정의 언어인 XPDL (XML Process Definition Language)을 기반으로 하는 워크플로우 모델의 구조적 패턴분석과 정의된 자원할당계획의 효율성분석을 지원하는 분석도구를 설계 및 구현한다. 결과적으로, 본 연구에서 제시한 분석도구는 워크플로우 모델을 워크플로우 관리시스템에서 실행하기 이전인 정의시점에서 해당 모델에 대한 유효성 분석을 가능하게 함으로써 엔터프라이즈 자원 할당 계획에 활용할 수 있을 뿐 만 아니라 모델의 정확성, 신뢰성, 효율성을 높이는데 기여할 수 있을 것으로 판단된다.

• 한국콘텐츠학회:학술대회논문집
• /
• 한국콘텐츠학회 2007년도 추계 종합학술대회 논문집
• /
• pp.550-552
• /
• 2007

Workflow 형태로 수행되는 BT 분야에서의 생명정보 분석과정을 효과적으로 모델링하고 자동화하기 위한 통합 Bio-Workflow 시스템(Biowoks)을 개발하였다. 사용자는 Bioworks 시스템을 통하여 복잡한 생명정보 분석과정에 대한 Workflow 모델을 손쉽게 구성할 수 있으며, 이를 실행하여 단계별 중간 결과물을 생성할 수 있다. 또한 각각의 중간 결과물에 대한 가시화 및 검증 모듈을 플러그 인 형태로 제공함으로써 보다 손쉽게 분석업무를 수행할 수 있다. 작성된 생명정보 분석 Workflow를 XML 형태로 생성하여 웹 서비스를 통해 공유함으로써 연구자 간의 협업 연구를 통한 시너지 효과를 극대화 할 수 있다.