In this paper, we present a systematic approach to translating BPML (Business Process Modeling Language) into the π-Calculus. BPML is an executable business process modeling language, like BPEL4WS (Business Process Execution Language for Web Services).

미국프로젝트관리협회(Project Management Institute)에서는 리스크의 형태를 외부 리스크(External Risk)와 내부 리스크(Internal Risk)로 구분 하고 있다. 외부 리스크는 프로젝트에서 통제가 불가능한 리스크로 정책 및 관련제도 변화, 기후 및 자연재해, 환율 등이다. 내부 리스크는 사업 자체에 존재하는 리스크로, 프로젝트내부에서 통제가 가능한 항목들이다. 프로젝트 관리상의 기술적 위험은 비용, 품질, 시간, 안전, 환경이다. 따라서 건설프로젝트의성공적인 수행을 위해서는 외부 리스크와 내부 리스크를 모두 관리해야 하며, 특히 기술적 리스크 관 리를 통하여 시설물의 품질과 안전을 확보할 수 있다. 특히 다수의 시설물로 구성된 복합 시설물은 다수의 단위프로젝트로 구성되어 있고, 다 양한 참여주체 및 이해관계자간 갈등이 존재하기 때문에 잠재 리스크에 대한관리의 중요성이 대두되고 있으며, 리스크 관리의 부재는 사업 지 연 및 공사비 증가와 더불어 시설물의안전에도 부정적 영향을 미친다. 본 연구는 복합 시설물의 안전성 확보를 위한 사업관리 측면의 리스크관 리 프로세스 구축 방안의 제시를 목적으로 수행하였다. 이를 위해 리스크 관리 프로세스의 구축 절차를 제시하고, 각 단계별 활용 가능한 리스 크 정보로서, 건설프로젝트에 내재된 리스크의 유형 및 요인, 그리고 대응 전략을 제시하였다.