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

The Purpose of this paper is to automate the representation of manufacturing line using Petri net model. In the manufacturing cell, the line can be represented using workflow which is composed of Bill of Material (BOM) and Bill of Processes (BOP). BOP shows the precedence of processes and the relationship between assembly and disassembly. As a modeling scheme, generalized stochastic Petri net is adopted. For a problem domain with flexible manufacturing cell, Petri net model is made and behavioral properties are analyzed.

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

본 논문에서는 워크플로우 프로세스 재발견 문제를 해결하기 위한 적절한 해결책으로 워크플로우 최적 축소 모델을 제안한다. 워크플로우 최적 축소 모델은 워크플로우 최적 축소 넷으로 표현할 수 있다. ICN(Information Control Net) 모델링 기법으로 표현되는 프로세스 모델은 ICN을 구성하고 있는 액티비티 사이의 액티비티 의존성에 따라 적절한 알고리즘의 적용으로 액티비티 의존 넷을 구성할 수 있다. 워크플로우 최적 넷 또한 액티비티 의존 넷의 몇 가지 속성에 대한 알고리즘 적용으로 찾아낼 수 있으며, 찾아낸 워크플로우 최적 넷을 프로세스 재발견 문제를 해결하기 위한 방안으로 제안하며, 프로세스 개선에도 의미를 둘 수 있다.

• 한국디지털정책학회:학술대회논문집
• /
• 한국디지털정책학회 2004년도 International Conference on Digital Policy & Management
• /
• pp.299-310
• /
• 2004

Business process in e-government mostly embody as the flow of documents. Constructing a web-based document flow system becomes an critical task for today s digital government. But few of them use an off-the-shelf workflow product. Why? One of the reasons is that most of the workflow system are heavyweight, monolithic, and package a comprehensive set of features in an all-or-nothing manner. Another reason is that workflow technology lacks the constructs and modeling capability as programming language. It is incumbent on government IT organizations to transform their solution development to component-based computing model. Component technology isolates the computation and communication parts, but how to compose different software components is still a hard nut. An integrated development environment is necessary for CBSD. In this paper we propose a XML and component-based document flow-oriented integrated development environment (DFoIDE) for software developers. By writing some xml configure file, and operate on DFoIDE, developer can construct a workflow application quickly. This method divides system to several components and the activities in process are implemented as business component. Different components are discribed detailedly in this paper, especially one of the core component. Component Integrating Tool. Different perspectives in workflow application are seperated and depicted as different XML files. Correspondly, A component composition method for developing workflow application instead of workflow itself is proposed.

• 한국정보과학회논문지:데이타베이스
• /
• 제29권2호
• /
• pp.138-147
• /
• 2002

워크플로우에서 임계 경로의 개념은 워크플로우 자원 및 시간 관리 등과 같이 워크플로우의 여러 분야에서 유용하게 활용될 수 있다는 면에서 중요하다. 그럼에도 불구하고 지금까지 임계 경로에 대한 연구가 많이 이루어지지 않았다. 이는 워크플로우에서의 제어 흐름 구조는 기존의 전형적인 그래프 혹은 네트워크 보다 더 복잡한 구조를 가지고 있기 때문이다. 본 논문에서는 먼저 복잡한 업무 흐름을 워크플로우로 표현할 수 있도록 지원하는 다양한 워크플로우 제어 구성 자들을 정의한다. 그리고 이를 기반으로 정의된 구조적 워크플로우 스키마에서 임계 경로를 결정하는 방법을 제안한다.

• 한국콘텐츠학회논문지
• /
• 제6권1호
• /
• pp.54-63
• /
• 2006

본 논문에서는 레거시 시스템에 대한 기존 도메인 분석의 문제점을 해결하기 위하여 동적 모델링을 기반으로 하는 확장된 워크플로우 메커니즘을 이용한 도메인 분석 방법론을 제안한다. 이 방법론을 WODA(Werldlow Oriented Domain Analysis)라 명명한다. 제안하는 절차를 통해 공통/비공통 컴포넌트를 식별 및 컴포넌트들의 클러스터를 추출할 수 있다. 이를 통해 새로운 시스템을 개발 시 효율적으로 재사용하고자 한다. 동적 분석으로 특정한 시스템에 발생 가능한 시나리오들을 식별한 후, 제안한 컴포넌트 테스트 플랜 매트릭스를 이용해 재사용성이 높은 컴포넌트와 컴포넌트 시나리오를 결정한다. 또한 컴포넌트 가중치 측정을 통해 재사용 가능한 컴포넌트들의 중요성과 빈도수를 인식하고 컴포넌트 시나리오들의 우선순위를 도출 할 수 있다. 구현한 자동화 모델링 도구인 WODA을 통해 UPS(Uninterrupted Power Supply)에 적용 사례를 소개한다.

• Safety and Health at Work
• /
• 제5권1호
• /
• pp.1-6
• /
• 2014

Background: Workflow interruptions during surgery may cause a threat to patient's safety. Workflow interruptions were tested to predict failure in action regulation that in turn predicts near-accidents in surgery and related health care. Methods: One-hundred-and-thirty-three theater nurses and physicians from eight Swiss hospitals participated in a cross-sectional questionnaire survey. The study participation rate was 43%. Results: Structural equation modeling confirmed an indirect path from workflow interruptions through cognitive failure in action regulation on near-accidents (p < 0.05). The indirect path was stronger for workflow interruptions by malfunctions and task organizational blockages compared with workflow interruptions that were caused by persons. The indirect path remained meaningful when individual differences in conscientiousness and compliance with safety regulations were controlled. Conclusion: Task interruptions caused by malfunction and organizational constraints are likely to trigger errors in surgery. Work redesign is recommended to reduce workflow interruptions by malfunction and regulatory constraints.

• 한국컴퓨터정보학회논문지
• /
• 제8권3호
• /
• pp.16-25
• /
• 2003

모델링 도구는 그룹 단위의 실시간 협업 지원을 가능하게 하는 워크플로우 비즈니스 프로세스를 정의한다. 오늘날 대부분의 모델러는 비즈니스 프로세스 정의과정에서 동시에 여러 사용자가 작업을 수행해야 할 사안이 많이 발생하지만 동시작업 지원을 지원하는데 미흡하다. 본 논문에서는 여러 사용자가 동시에 작업이 가능하게 하기 위해 확장 ICN을 이용한 CDN을 생성하는 알고리즘과 아키텍처를 제안하고 데이터베이스 에이전트를 이용하여 에디터를 설계한다. 에디터를 통하여 정의된 워크플로우 비즈니스 프로세스 모델들의 집합은 데이터베이스에 저장이 되고, WfMC에서 표준화한 워크플로우 프로세스 정의 언어(WPDL)로 변환되게 된다. 이 방법은 프로세스 정의 과정에서 발생하는 작업 지연 비용을 최소화하여 워크플로우 처리성능을 향상 시킬 수 있다.

• 산업공학
• /
• 제20권1호
• /
• pp.79-86
• /
• 2007

In B2B e-commerce environments, many initiatives for process modeling have made efforts to design business processes correctly. Especially, Petri nets have been widely used as a good theory to design and verify process models. Therefore, we propose the process modeling method for the B2B e-commerce based on Petri nets. First of all, a B2B process model based on BPSS is represented by the UML activity diagram. Second, the activity diagram is transformed to a Petri net model. For the transformation, well-behaved building blocks/control structures and the modeling rules for inter-organizational workflow processes are proposed. Third, the process is partitioned into sharable processes for individual business partners. Finally, according to needs of individual business partners, the sharable processes are modified by well-structured refinement rules. The whole procedure is explained with the purchase process of an e-bookstore.

• Journal of Information Processing Systems
• /
• 제10권3호
• /
• pp.365-383
• /
• 2014

Service-oriented computing offers efficient solutions for executing complex applications in an acceptable amount of time. These solutions provide important computing and storage resources, but they are too difficult for individual users to handle. In fact, Service-oriented architectures are usually sophisticated in terms of design, specifications, and deployment. On the other hand, workflow management systems provide frameworks that help users to manage cooperative and interdependent processes in a convivial manner. In this paper, we propose a workflow-based approach to fully take advantage of new service-oriented architectures that take the users' skills and the internal complexity of their applications into account. To get to this point, we defined a novel framework named JASMIN, which is responsible for managing service-oriented workflows on distributed systems. JASMIN has two main components: unified modeling language (UML) to specify workflow models and business process execution language (BPEL) to generate and compose Web services. In order to cover both workflow and service concepts, we describe in this paper a refinement of UML activity diagrams and present a set of rules for mapping UML activity diagrams into BPEL specifications.

• 한국컴퓨터산업학회논문지
• /
• 제6권3호
• /
• pp.551-558
• /
• 2005

OMG가 UML 액티비티 다이어그램에 대한 텍츄얼한 시멘틱을 제공하지만 정확한 시멘틱의 부족으로 인하여 모호해지는 단점이 있다. OMG의 UML 액티비티 다이어그램이 제공하는 가이드로는 워크플로우 시스템의 정확한 시멘틱을 제공하지는 못한다. 이에 본 논문에서는 대안적인 방법으로 ASM을 사용하여 UML 액티비티 다이어그램의 정형화를 제시한다. 또한 워크플로우 시스템의 특성에 맞춰 ASM 시멘틱을 확장한다.