1、在迅速變化、競(jìng)爭(zhēng)日趨激烈的市場(chǎng)環(huán)境下，虛擬企業(yè)正逐漸成為一種重要的企業(yè)經(jīng)營(yíng)模式，越來(lái)越多的企業(yè)開(kāi)始與其它企業(yè)組成虛擬企業(yè)，以便綜合多個(gè)企業(yè)的優(yōu)勢(shì)資源，快速響應(yīng)市場(chǎng)變化，共擔(dān)投資和風(fēng)險(xiǎn)。信息系統(tǒng)是虛擬企業(yè)實(shí)現(xiàn)高效運(yùn)營(yíng)的基礎(chǔ)，但目前虛擬企業(yè)信息系統(tǒng)相關(guān)技術(shù)的發(fā)展還不能完全滿足用戶的需求，針對(duì)這一現(xiàn)狀，本文分別從體系結(jié)構(gòu)、建模和算法等角度，對(duì)虛擬企業(yè)信息系統(tǒng)的若干關(guān)鍵技術(shù)進(jìn)行了研究，論文主要內(nèi)容和研究成果如下： （1 ）研究了虛擬企業(yè)

2、信息系統(tǒng)的體系結(jié)構(gòu)，提出了一種基于Web 服務(wù)和OAGIS的虛擬企業(yè)信息系統(tǒng)體系結(jié)構(gòu)，用于解決虛擬企業(yè)各成員信息系統(tǒng)之間因?yàn)楫惖?、異?gòu)以及業(yè)務(wù)信息描述差異而導(dǎo)致的集成困難，并研究了該體系結(jié)構(gòu)的一些實(shí)現(xiàn)技術(shù)，如業(yè)務(wù)對(duì)象文檔和SOAP 消息的綁定，Web 服務(wù)安全性和事務(wù)性的實(shí)現(xiàn)等。 （2 ）研究了虛擬企業(yè)信息系統(tǒng)建模技術(shù)，提出了一種虛擬企業(yè)信息系統(tǒng)模型體系結(jié)構(gòu)及建模方法，用于指導(dǎo)虛擬企業(yè)信息系統(tǒng)開(kāi)發(fā)過(guò)程中的建模工作。在虛擬企業(yè)信息

3、系統(tǒng)開(kāi)發(fā)過(guò)程中分析、設(shè)計(jì)、實(shí)施等階段，分別通過(guò)組織模型、信息模型、業(yè)務(wù)流程模型、功能模型、接口模型、交互模型、Web 服務(wù)調(diào)用流程模型、綁定模型和部署模型等，從多個(gè)視角對(duì)虛擬企業(yè)信息系統(tǒng)的全面描述。 （3 ）研究了虛擬企業(yè)信息系統(tǒng)服務(wù)調(diào)用流程正確性檢測(cè)方法，提出了基于模型檢測(cè)的流程模型檢測(cè)方法，用于解決Web 服務(wù)調(diào)用流程模型正確性檢測(cè)問(wèn)題。根據(jù)Web 服務(wù)調(diào)用流程的特點(diǎn)，提出了流程模型的檢測(cè)指標(biāo)，給出了描述檢測(cè)指標(biāo)的模態(tài)邏輯公