• Journal of KIISE:Software and Applications
• /
• v.32 no.6
• /
• pp.473-485
• /
• 2005

UML activity diagram is useful to model business process and workflow by reason of its suitability to present dynamic aspect of system. However it Is difficult to present precise semantics which is taken as important in workflow system with the guide provided by OMG to the UML activity diagram. This paper suggests workfolw system modelling methodology by applying ASM semantics to the activity diagram after extending its semantics to correspond to workflow system characteristics. Through the exact definition to formal semactics based on ASM it is possible to effectively model workflow.

• TTA Journal
• /
• s.88
• /
• pp.105-120
• /
• 2003

본 논문은 워크플로우 기술의 표준화 및 기술 동향을 소개하는 세 번의 연재* 중 그 세 번째인 마지막 내용으로 지난 호에서 소개한 비즈니스 프로세스 관리(Business Process Management: BPM) 기술과 이의 기반기술인 워크플로우 관리기술과 연관된 국내외 표준화 기구와 그들의 활동 내용에 관하여 기술한다. 특히, 비즈니스 프로세스 관리 기술의 국제표준화 기구인 BPMI(Business Process Management Initiative)와 워크플로우 관리 기술의 국제표준화 기구인 WfMC(Workflow Management Coalition)는 최근에 웹서비스나 B2B 기술 등의 비즈니스 프로세스 관련 단일화된 표준안을 개발하고자 여러 번에 걸친 합동회의를 개최해오고 있어 이 합동회의에서 진행되고 있는 표준안 개발 활동 내용을 소개한다. 특히, 워크플로우 모델링 표준 언어인 XPDL(XML Process Definition Language)과 비즈니스 프로세스 모델링 언어인 BPMN(Business Process Modeling Notation) 그리고 대표적인 워크플로우 모델로서 연구분야에서 많이 이용되고 있는 ICN(Information Control Net)을 확장한 Kyonggi-ICN의 상호 매핑관계를 요약정리한다. 끝으로, 현재 국내의 워크플로우 기술관련 표준화기구인 한국정보통신기술협회 산하 표준화위원회인 워크플로우기술연구반의 표준화 활동과 이번에 새로이 정보통신부 표준화전략포럼중의 하나로 창립된 워크플로우 및 비즈니스 응용기술포럼(약칭 WABA 포럼: Workflow and Business Applications Technology Forum)을 소개한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.04a
• /
• pp.51-54
• /
• 2002

본 논문에서는 기업간의 비즈니스 프로세스의 자동화를 목적으로 하는 워크플로우 관리 시스템간의 상호 운영성을 지원하는 레지스트리 기반 기업간 워크플로우 모델링 도구를 설계하고 구현한다. 전자상거래를 대표하는 B2B (Business-to-Business) / B2E (Business-to-Enterprise) 환경에서 Interworkflow 메커니즘의 Cross Organizational 워크플로우 모델의 출현은 기업간 이질적인 환경에서의 조직과 시스템간의 상호운용성과 글로벌 워크플로우 관리를 가능하게 하였다. 이러한 메커니즘은 전자상거래의 발전에 많은 요소를 포함하고 있다. 본 논문에서는 Interworkflow 메커니즘의 Cross Organizational 워크플로우 모델의 연구를 통해 발전된 형태의 워크플로우 관리 시스템을 소개하고 또한 새로운 문제점을 제시한다. 또한 Interworkflow의 프로세스와 조직의 정의시 나타나는 문제점을 제시, 분석하고 이를 통해 발전된 형태의 레지스트리 기반 기업간 워크플로우 모델링 도구를 설계, 구현한다 이렇게 제시한 도구들을 통해 기업간 비즈니스 프로세스 자동화를 위한 전자상거래 워크플로우 관리 시스템 모델을 제시한다.

• The KIPS Transactions:PartD
• /
• v.10D no.7
• /
• pp.1189-1196
• /
• 2003

Owing to the developed If industry, many people are more and more interested in Workflow which is an automated business processing system. In this paper, we present basic structures and various parallel processing structures of a workflow using EMFG (Extended Mark Flow Graph) that makes conceptional design available. And then, We design a workflow with EMFG. We propose the commitability verification method to check whether a workflow can complete or not and the logical bug verification method to find whether invalid components exist or not by using simulation result of it. The proposed EMFG modeling and analysis method for a workflow make it possible to become a visual and formal design. Also, it makes intuitional and mathematical analysis possible.

• The Journal of Society for e-Business Studies
• /
• v.15 no.2
• /
• pp.191-203
• /
• 2010

Recently applications of RFID technologies in production and logistics systems are expanding. In this research, we deal with workflow modeling methods for handling RFID-tagged parts. We verified that the material flow processes in a RFID system can be designed and assessed using workflow modeling notations, and suggested available process patterns using BPMN. In addition, we proposed an algorithm to monitor the exact status of flows and determine whether some of the events are ghost reads or not by referring predefined workflow definitions. The major contribution of this research is that it has demonstrated how well-established workflow modeling methods can be applied to RFID-based systems.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04a
• /
• pp.677-679
• /
• 2003

e-비즈니스의 활성화에 따른 기업 환경의 변화로 인해 전자상거래와 물류 및 공급망의 현실적/효율적 운영관리를 위한 새로운 개념의 워크플로우 관리 시스템의 필요성이 절대적으로 요구되고 있다. e-비즈니스는 기업 내부 프로세스와 기업간 거래 프로세스와의 연동을 수반하기 때문에 워크플로우 관리 시스템 또한 다중 기업들간의 워크플로우 모델의 상호 연동이 필요하다. 따라서 전자상거래를 위한 기업들은 서로 다른 워크플로우 관리 시스템 및 워크플로우 모델들간의 상호 운영적인 문제를 해결하는 방법에 대한 관심이 증대되었다. 본 논문은, 워크플로우 모델러와 ebXML 기반 비즈니스 프로세스 모델러의 연계를 통해 ebXML을 기반으로 e-비즈니스를 위한 워크플로우 모델링 기법을 제시함으로써, 거래 기업간의 표준화된 비즈니스 프로세스 모델링을 효율적으로 지원하는 것을 목적으로 한다.

• Journal of KIISE:Computing Practices and Letters
• /
• v.10 no.2
• /
• pp.156-173
• /
• 2004

Business process should support the execution of collaboration process with agility and flexibility through the integration of enterprise inner or outer applications and human resources from the collaborative workflow view. Although the dependency of enterprise activities to the automated system has been increasing, human role is as important as ever. In the workflow modelling this human role is emphasized and the structure to control human error by analysing decision-making itself is needed. Also, through the collaboration of activities agile and effective communication should be constructed, eventually by the combination and coordination of activities to the aimed process the product quality should be improved. This paper classifies human errors can be occurred in collaborative workflow by applying GEMS(Generic Error Modelling System) to control them, and suggests human error control method through hybrid based modelling as well. On this base collaborative workflow modeling tool is designed and implemented. Using this modelling methodology it is possible to workflow modeling could be supported considering human characteristics has a tendency of human error to be controlled.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.11c
• /
• pp.2301-2304
• /
• 2002

IT 산업의 발달로 조직의 자동화된 업무 흐름인 워크플로우에 대한 관심과 연구가 활발해지고 있다. 본 논문에서는 워크플로우 설계시 자주 사용되는 기본 구조를 개념적 설계와 수학적 해석이 가능한 EMFG(Extended Mark Flow Graph)로 표현하고 이를 이용하여 워크플로우를 모델링한다. 모델링된 EMFG로 도달가능트리를 구현하여 워크플로우의 수행완료 가능성과 논리적 오류의 존재 여부를 검증한다. 또한 논리적 오류가 발생할 경우에 이를 제거하는 방법을 제안하고 이를 통해 워크플로우의 정형적 설계와 동적 분석을 가능하게 한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.10a
• /
• pp.39-42
• /
• 2000

본 논문은 워크플로우 모델링 도구인 ICN(Information Control Net)을 기반으로 하는 워크플로우 제어 의존성 분석을 위한 도구를 구현하였다. 즉, ICN 모델로 정의된 워크플로우의 각 단위업무(Activity)들 간에 존재하는 제어 의존 관계를 표현하기 위한 제어 의존 넷(Control Dependency Net)을 정형적인 방법으로 정의, 표현하였다. 본 논문에서 정의된 제어 의존 넷은 워크플로우 빌드타임(Build-time) 측면과 런타임(Run-time)측면에서 여러 가지 기능을 제공한다. 전자의 측면에서는 워크플로우 모델링시 시멘틱 에러 테스팅 기능을 효과적으로 적용될 수 있으며 후자의 측면에서는 제어 흐름의 동적 변경(dynamic Change)기능의 완결성 및 프로세스 안의 단위업무(Activity) 간의 경로 및 경로 대한 정보를 제공한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04a
• /
• pp.563-565
• /
• 2003

기업 업무의 절차와 규모가 복잡해지고 증가함에 따라 한 사람이 기업의 모든 업무 프로세스를 모델링하고 관리하는 것이 어려워지고 있다. 기존의 Workflow 모델링 방식은 프로세스 정의를 한 명(또는 소수)의 디자이너가 맡아 왔다. 그러나 스윔레인 같은 롤 기반의 프로세스 모델링은 각 롤에 해당하는 디자이너 그룹이 프로세스를 정의하기 때문에 모델링 작업을 단순화 시킬 수 있다. 본 논문에서는 워크플로우 모델링 방식과 다른 역할 기반의 스윔레인 모델링을 바탕으로 그룹웨어기술을 접목 시켜 기업의 업무 프로세스를 보다 효율적으로 정의할 수 있는 실시간 협업 지원 협동 스윔레인 워크플로우 모델링 시스템 아키텍처를 제시한다. 이벤트 방식의 화면 처리는 네트워크 트래픽 및 오버 헤드를 감소 시킬 수 있다. 또한 분리된 어플리케이션이 비동기적으로 신뢰성 있게 통신할 수 있도록 메시징 시스템을 도입하고, 협업간 투명성(Transparency)을 보장하는 가상 협업 서버 구조를 살펴 볼 것이다. 이러한 것들은 향후 분산환경으로의 발판을 이를 수 있다.