• The KIPS Transactions:PartD
• /
• v.13D no.4 s.107
• /
• pp.535-548
• /
• 2006

To formally describe business process, many business process languages have been so far specified with different origins and goals such as XPDL, BPML and BPELAWS. Especially, XPDL proposed by WfMC has been widely used in various business process environments for a long time. On the other hand, the necessity of a standard graphical notation for a business process may create BPMN driven by BPMI. Because BPMN is composed of graphical constructs which can be used to graphically depict business process, BPMN-formed business processes should ultimately be converted to their corresponding semantically equivalent business process language(XPDL). Then, the business process languages can be consequently executed by business process engines. In this paper, we proposed a transformation mechanism from BPMN to XPDL for a business process. By this paper, We minimized the difference between process designers and process execution modules as reducing the gap of semantics between BPMN and XPDL.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2005.05a
• /
• pp.251-254
• /
• 2005

소프트웨어 품질의 중요성이 커짐에 따라, 기업들은 품질을 높이기 위해 테스트에 많은 노력을 기울이고 있다. 최근에는 테스트 성과를 높이기 위한 방법중의 하나로 테스트 프로세스 개선이 주목 받고 있다. 이를 위해 기업들은 SW-CMM(Capability Maturity Model for Software), CMMI(Capability Maturity Model Integration)와 같은 일반적인 프로세스 개선 모델들이나, TMM (Test Maturity Model), TPI (Test Process Improvement Model), TCMM (Testing Capability Maturity Model)과 같은 테스트 프로세스 개선 모델들을 적용하고 있다. 그러나 일반적인 프로세스 개선 모델들은 테스트 관련 이슈를 충분히 다루고 있지 않고, 테스트 프로세스 개선 모델들은 구조가 불완전하거나 내용이 충분하지 않아 적용 시 많은 어려움이 있다. 이에 본 논문에서는 TMM 과 CMMI 를 기반으로 조직들의 테스트 프로세스 확립이나 개선을 지원할 수 있는 새로운 테스트 프로세스 성숙도 모델인 TPMM(Test Process Maturity Model)을 연구, 개발하였다. 개발된 TPMM 을 통해 조직에서 테스트 프로세스를 개선하고, 심사하는 것을 지원할 수 있을 것으로 기대된다.

• The KIPS Transactions:PartD
• /
• v.14D no.5
• /
• pp.531-544
• /
• 2007

As the current trend in e-business has led to more various and complex business processes in recent years, problems in business process models have increased gradually. Accordingly, the concern to validation of business process models has been much larger but there are few validation checking mechanisms supported so far. On the other hand BPMN driven by BPMI is a standard graphical notation. Using the tool supporting BPMN, business process can be modeled graphically and analyzed easily. In this paper, we present technical mechanisms which can efficiently detect anomalies in a process composed of BPMN and are capable of avoiding higher unexpected costs during runtime.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.05c
• /
• pp.1701-1704
• /
• 2003

IT 산업의 급속한 확대에 따라 소프트웨어 분야에 대한 제품 및 생성 프로세스 관련 표준 연구가 국내에서 활발하게 진행되고 있다. 본 논문에서는 소프트웨어 생명주기 프로세스에 대한 국제표준의 ISO/IEC 12207, ISO/IEC 15504(일명 SPICE), SW-CMM, CMMI 등에서 정의하고 있는 프로세스에서 공통적으로 포함되어 있는 형상관리 프로세스에 대한 표준들 간의 활동 비교를 통해 프로세스 개선 모델들의 특징을 파악하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10b
• /
• pp.151-153
• /
• 2003

기업의 비즈니스 프로세스를 관리하는 역할을 하는 워크플로우 시스템에서 대용량의 비즈니스 업무를 처리하기 위한 초대형 워크플로우 시스템을 구성하고자 할 때 중요한 문제 중의 하나는 대량의 비즈니스 프로세스 인스턴스를 유지 및 관리하는 문제이다. 본 논문에서는 초대형 워크플로우에 대한 개념을 조사하고 초대형 워크플로우 시스템을 위하여 제안된 워크케이스 기반 워크플로우 구조를 이용하여 성능평가를 위한 기본적인 워크플로우 기능인 비즈니스 프로세스 처리부분에 초점을 맞춘 워크플로우 시스템을 설계 및 구현한다. 구현된 워크플로우 시스템으로 예제 프로세스인 고용 프로세스를 정의하여 몇 개의 고용 프로세스를 유지 및 관리 할 수 있는 지를 분석하여 본 논문의 초대형 워크플로우 시스템의 성능을 평가한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2014.11a
• /
• pp.597-600
• /
• 2014

컴퓨터 시스템의 병렬, 분산, 이동, 실시간 적인 시스템들을 명세하기 위한 여러가지 정형기법들이 존재한다. 본 논문에서는 이동 실시간 시스템의 명세를 위한 정형기법으로서 ${\delta}-Calculus$ 를 정의하였다. ${\delta}-Calculus$ 의 가장 큰 특징은 프로세스의 이동성으로써 시간의 흐름에 따라 프로세스 간의 상호작용을 통해 프로세스가 이동하는 것을 표현할 수 있다. ${\delta}-Calculus$ 를 사용하여 프로세스의 이동성을 표현함으로써 시스템의 공간정보와 시간정보를 명세하고, 프로세스의 상태에 따른 보안적 특성을 나타낼 수 있다. 본 논문에서는 ${\delta}-Calculus$ 의 문법과 의미를 설명하고 이동성에 의한 특성을 분석하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2012.11a
• /
• pp.1441-1444
• /
• 2012

SW 기업들이 SW 프로세스 개선(Software Process Improvement; SPI)을 개선하기 위해 많은 관심과 노력을 투입해 왔음에도 불구하고, 이런 SW 프로세스 개선 활동이 품질, 비용, 납기준수에 어떠한 영향을 주는지에 대한 구체적인 자료들이 부족한 편이다. 본 연구에서는 SW 프로세스 개선활동들에 대한 이해의 폭을 넓히기 위해 국내 SW 개발 조직의 프로젝트 관리자를 대상으로 SW 프로세스의 공학수준과 DICE 수준관련 자료를 수집하였다. 이를 기반으로 SW 프로세스 개선 모델이 제시하고 있는 가정사항인 SW 프로세스 능력수준이 높으면 프로젝트 성과가 좋은지와 조직변화의 성공요인을 제시하는 DICE 수준에 따라 납기 성과의 변화를 살펴보았다. 분석결과 SW공학수준과 DICE 수준이 높을수록 납기가 줄어드는 것으로 나타났다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2012.04a
• /
• pp.1167-1170
• /
• 2012

SW 기업들이 SW 프로세스 개선(Software Process Improvement; SPI)을 개선하기 위해 많은 관심과 노력을 투입해 왔음에도 불구하고, 이런 SW 프로세스 개선 활동이 풀질, 비용, 납기준수에 어떠한 영향을 주는지에 대한 구체적인 자료들이 부족한 편이다. 사례를 기반으로 하는 기존 연구의 결과는 대기업을 대상으로 특정 방법론의 효과성에 초점을 맞추고 있다. 본 연구에서는 SW 프로세스 개선활동들에 대한 이해의 폭을 넓히기 위해 국내 SW 개발 조직의 프로젝트 관리자를 대상으로 SW 프로세스의 이행과 프로젝트 비용에 대한 데이터를 수집하였다. 이를 기반으로 SW 프로세스 개선 모델이 제시하고 있는 가정사항인 SW 프로세스 능력수준이 높으면 프로젝트 성과가 좋은지를 분석하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2011.11a
• /
• pp.1303-1304
• /
• 2011

전세계적으로 스마트폰, 스마트패드 등의 모바일기기의 사용은 빠르게 확산되고 있으며, 모바일 환경에서 제공되고 있는 웹 서비스 시장도 급변하고 있다. 특히, 모바일 환경에서는"Any time, Any where" 특성에 따라 사용자의 빠른 피드백이 가능하게 되었으며 이에 따라 서비스 운영 업체는 사용자의 빠른 피드백에 대한 신속한 대응이 요구되고 있다. 이러한 웹 서비스 시장의 변화는 기존의 서비스 개발과 운영 프로세스간의 단절적인 관점을 통합적인 관점으로 변화시키고 있다. 이에 본 논문에서는 모바일 기기 환경에서 제공하고 있는 웹 서비스에 대한 다양한 관점에서 잦은 개선 요청에 대한 피드백에 신속하고 정확하게 대응하기 위한 통합적인 프로세스를 제안한다. 제안된 프로세스는 ITIL 운영 모델 내에 개발/테스트 프로세스를 통합하고 있으며, CMMI-SVC 모델에 적용하여 이전보다 더 많은 프로세스영역에서 충족하고 있음을 보여주고 있다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2011.11a
• /
• pp.1393-1396
• /
• 2011

서비스기반 아키텍쳐 (SOA)는 웹기반의 표준화된 인터페이스 및 데이터 교환을 통하여 다양한 기능을 지원하기 위하여 유연성있는 비즈니스 시스템의 통합이 간편하다는 장점을 가지고 있어 현재 많은 IT 시스템에서 사용되고 있다. 하지만 기본적으로 SOA 는 call-and-return 방식으로 구현되어 있어 소프트웨어 개발 프로세스과 같이 시스템 또는 시스템 참여자간의 복잡한 상호작용이 수반되는 프로세스를 지원하는 시스템을 구축하기에는 한계를 보이고 있다. 따라서 개발 프로세스에 적용되는 시스템에서 복잡한 상호작용을 구현할 수 있는 SOA 기반 시스템이 필요하다고 판단된다. 우리는 이 논문에서 복잡한 상호작용을 지원할 수 있는 SOA 기반 프레임워크를 소개한다. SOA 기반 프레임워크에서 다양한 상호작용을 지원하기 위하여 우리는 semantic web 과 dialog act 이론을 사용하였으며 개발프로세스에 적용할 수 있는 ontology 를 개발, 사용함에 의하여 SOA 환경에서 다양한 메시지를 표현할 수 있도록 하였다. 또한 마지막으로 소프트웨어 개발 프로세스 사례연구를 통하여 우리의 접근방법의 타당성을 보인다.