1 介紹為了對(duì)服務(wù)網(wǎng)絡(luò)的可用性及服務(wù)風(fēng)險(xiǎn)進(jìn)行量化評(píng)估， 首先需要將服務(wù)網(wǎng)絡(luò)的拓?fù)浣Y(jié)構(gòu)進(jìn)行形式化描述。本論文將利用由服務(wù)網(wǎng)絡(luò)拓?fù)浣Y(jié)構(gòu)轉(zhuǎn)換得到的業(yè)務(wù)服務(wù)網(wǎng)絡(luò)的基礎(chǔ)設(shè)施連接圖，對(duì)業(yè)務(wù)及 IT 服務(wù)進(jìn)行形式化描述，得到服務(wù)的邏輯表達(dá)式， 進(jìn)而完成對(duì)服務(wù)網(wǎng)絡(luò)的形式化描述。 2 服務(wù)、業(yè)務(wù)、ICT 組件的定義與關(guān)系為明確，首先要明確如下概念： 服務(wù)（Service）：由 IT 服務(wù)提供商支持的、以讓客戶感覺(jué)協(xié)調(diào)一致的方式滿足客戶的一種或多種需求的可用系統(tǒng)或功能。業(yè)務(wù)（Business）：企業(yè)中實(shí)際的業(yè)務(wù)有很多，本文主要關(guān)注那些需要由網(wǎng)絡(luò)系統(tǒng)支持的業(yè)務(wù)，故此處的“業(yè)務(wù)”可以看作一類(lèi)特殊的服務(wù)，該服務(wù)正好覆蓋了一個(gè)完整的流程，所以經(jīng)常又稱作“業(yè)務(wù)流程”“， 業(yè)務(wù)服務(wù)”。 IT 服務(wù)（IT Service）：IT 服務(wù)指綜合利用人、資源和程序以滿足客戶的信息需求。 ICT 組件（ICT Component）：ICT 基礎(chǔ)設(shè)施包括了人員、硬件、軟件、通信設(shè)施等要素，每個(gè)在底層支撐 IT 服務(wù)的要素都可以視為一個(gè) ICT 組件。