企業(yè)網(wǎng)絡(luò)計(jì)算的參考框架與關(guān)鍵技術(shù)及其支持環(huán)境的研究

企業(yè)網(wǎng)絡(luò)計(jì)算的參考框架與關(guān)鍵技術(shù)及其支持環(huán)境的研究沈備軍beijun.shen@2002年1月信息化帶動(dòng)工業(yè)化面臨加入WTO的挑戰(zhàn)，國(guó)家在十五規(guī)劃中提出了“以信息化帶動(dòng)工業(yè)化，發(fā)揮后發(fā)優(yōu)勢(shì)，實(shí)現(xiàn)社會(huì)生產(chǎn)力的跨越發(fā)展”的發(fā)展戰(zhàn)略，而信息化的核心和基礎(chǔ)是企業(yè)信息化。研究背景管理理論、質(zhì)量模型和信息技術(shù)的發(fā)展研究背景質(zhì)量模型管理理論信息技術(shù)全面質(zhì)量管理TQM價(jià)值流管理戰(zhàn)略決策理論企業(yè)過(guò)程再造BPR虛擬組織

。。。ISO9000CMMSPICESixSigma

。。。Internet/Intranet構(gòu)件面向?qū)ο蠹夹g(shù)XMLJavaDatawarehouse。。。企業(yè)網(wǎng)絡(luò)計(jì)算

研究背景研究目標(biāo)將前沿信息技術(shù)、成熟的質(zhì)量模型與最新經(jīng)營(yíng)理念進(jìn)行有機(jī)和全面的綜合，研究企業(yè)網(wǎng)絡(luò)計(jì)算的參考框架、方法、工具和關(guān)鍵使能技術(shù)，支持對(duì)企業(yè)經(jīng)營(yíng)過(guò)程進(jìn)行整體、協(xié)同、圍繞經(jīng)營(yíng)戰(zhàn)略目標(biāo)的優(yōu)化和重組，用現(xiàn)代信息手段改造傳統(tǒng)管理，創(chuàng)造新的管理體系，發(fā)展電子商務(wù)，提高企業(yè)的“核心競(jìng)爭(zhēng)力”，推動(dòng)企業(yè)的信息化。研究背景研究出發(fā)點(diǎn)有機(jī)結(jié)合前沿信息技術(shù)、成熟的質(zhì)量模型與最新經(jīng)營(yíng)理念

軟件企業(yè)作為一般企業(yè)的一個(gè)特例，其共性部分可以采用統(tǒng)一的計(jì)算框架，其方法可互相借鑒

研究背景關(guān)鍵問(wèn)題研究背景參考框架關(guān)鍵技術(shù)支持環(huán)境ENC參考框架

企業(yè)網(wǎng)絡(luò)計(jì)算參考框架ENC－RF就是一組以過(guò)程為中心的、代表整個(gè)企業(yè)網(wǎng)絡(luò)計(jì)算各個(gè)方面的多視圖多層次的框架的集合

以過(guò)程為中心的ENC業(yè)務(wù)過(guò)程：為完成企業(yè)某一目標(biāo)或任務(wù)而進(jìn)行的一系列邏輯相關(guān)的跨越時(shí)間和空間的活動(dòng)的集合面向過(guò)程的企業(yè)管理模式成為主流

(businessprocessorientation,BPO)業(yè)務(wù)過(guò)程重組、全面質(zhì)量管理、ISO9000、CMM和SPICE、價(jià)值鏈、供應(yīng)鏈、過(guò)程中心組織

企業(yè)網(wǎng)絡(luò)計(jì)算的核心----業(yè)務(wù)過(guò)程ENC參考框架

ENC內(nèi)容和支撐技術(shù)框架

ENC參考框架

NetworkInfrastructure網(wǎng)絡(luò)基礎(chǔ)設(shè)施層IntranetExtranet/VPNLAN/WAN

InternetBPEDWDBCTIDOTCRMECKMSCMSecurityITInfrastructure信息技術(shù)層

Content

內(nèi)容層P2PMiddlewareWEBC/SToolsWorkFlowQMEP…ENC模型框架

EnterpriseModel=ProcessModel=（FunctionModel,ResourceModel,CooperationModel,ProductModel)功能模型、信息模型、資源模型、組織模型

ENC參考框架

企業(yè)建模方法

ENC參考框架

ENC集成框架ENC參考框架

物理集成PhysicalIntegration數(shù)據(jù)集成DataIntegration應(yīng)用集成ApplicationIntegration過(guò)程集成ProcessIntegration企業(yè)集成ENC方法框架ENC參考框架

1.確定企業(yè)經(jīng)營(yíng)目標(biāo)和需求4．現(xiàn)有過(guò)程建模7．體系結(jié)構(gòu)設(shè)計(jì)2.識(shí)別企業(yè)的核心業(yè)務(wù)過(guò)程9．評(píng)審和測(cè)試10．實(shí)施和集成11．度量和評(píng)估通過(guò)不通過(guò)5．業(yè)務(wù)過(guò)程優(yōu)化8．過(guò)程自動(dòng)化3.制定企業(yè)信息化計(jì)劃業(yè)務(wù)規(guī)劃過(guò)程建模和分析過(guò)程自動(dòng)化過(guò)程實(shí)施集成和度量12．下一循環(huán)6．新系統(tǒng)需求確定經(jīng)營(yíng)目標(biāo)模型框架內(nèi)容和技術(shù)框架集成框架企業(yè)信息化方法EIM企業(yè)信息化建設(shè)參考改進(jìn)模型EI-CMM

ENC參考框架

相關(guān)工作SanFrancisco

OMA

Zachman框架

CIM-OSA

ARIS

GIMPERA

GERAMSLAENC參考框架

ENC-FR特點(diǎn)以業(yè)務(wù)過(guò)程重構(gòu)、虛擬組織，全面質(zhì)量管理、價(jià)值流管理和戰(zhàn)略決策等現(xiàn)代管理理論和質(zhì)量模型為指導(dǎo)，以網(wǎng)絡(luò)信息技術(shù)的最新發(fā)展為支撐綜合了現(xiàn)代企業(yè)客戶關(guān)系管理、知識(shí)管理、質(zhì)量保證等新的應(yīng)用內(nèi)容以業(yè)務(wù)過(guò)程為中心，全面涉及了企業(yè)網(wǎng)絡(luò)計(jì)算的四個(gè)重要維度——內(nèi)容和支撐技術(shù)、方法、模型和集成不僅適用于制造業(yè)，而且適合于軟件業(yè)、服務(wù)業(yè)、金融業(yè)等各行各業(yè)的企業(yè)經(jīng)營(yíng)管理，其共性部分被概括成統(tǒng)一的計(jì)算框架。在這框架下，不同行業(yè)的一些方法可互相借鑒。

ENC參考框架

業(yè)務(wù)過(guò)程定義P=(O,As,C1,C2,IO,Rs,Ms)過(guò)程={過(guò)程目標(biāo)，活動(dòng)，前置條件，后置條件，產(chǎn)品，資源，度量指標(biāo)}業(yè)務(wù)過(guò)程技術(shù)

業(yè)務(wù)過(guò)程的元過(guò)程過(guò)程建模（ProcessModeling）過(guò)程規(guī)劃、設(shè)計(jì)、定義、實(shí)例化、復(fù)用和演化等活動(dòng)過(guò)程分析與優(yōu)化（ProcessAnalysisandOptimization）靜態(tài)分析、動(dòng)態(tài)模擬過(guò)程運(yùn)作

（ProcessEnactment）過(guò)程執(zhí)行、監(jiān)控和跟蹤度量

（Measurement）產(chǎn)品度量、資源度量、過(guò)程度量、客戶關(guān)系度量；FCM、GQM度量模型過(guò)程改進(jìn)和評(píng)估

（ProcessImprovementandAssessment）

三大過(guò)程評(píng)估標(biāo)準(zhǔn)：CMM、ISO9001、SPICE業(yè)務(wù)過(guò)程技術(shù)

業(yè)務(wù)過(guò)程技術(shù)的發(fā)展現(xiàn)狀

軟件領(lǐng)域的業(yè)務(wù)過(guò)程1956年開始提出了各種軟件開發(fā)模型80年代后期，研究重點(diǎn)：軟件過(guò)程是否應(yīng)被認(rèn)為是一種程序90年代早期，研究重點(diǎn)：軟件過(guò)程建模語(yǔ)言目前的研究重點(diǎn)：過(guò)程信息交換、過(guò)程演化問(wèn)題、過(guò)程工程環(huán)境、過(guò)程評(píng)估和改進(jìn)傳統(tǒng)領(lǐng)域的業(yè)務(wù)過(guò)程現(xiàn)代工業(yè)大機(jī)器生產(chǎn)的主要特點(diǎn)之一就是生產(chǎn)過(guò)程標(biāo)準(zhǔn)化、規(guī)范化和自動(dòng)化。BPR和BPI傳統(tǒng)業(yè)務(wù)過(guò)程和軟件過(guò)程的結(jié)合1994年第三屆國(guó)際軟件過(guò)程會(huì)議得出：“軟件過(guò)程也是企業(yè)過(guò)程”將軟件過(guò)程技術(shù)推廣至一般企業(yè)的若干實(shí)踐業(yè)務(wù)過(guò)程技術(shù)

業(yè)務(wù)過(guò)程技術(shù)的應(yīng)用現(xiàn)狀業(yè)務(wù)過(guò)程技術(shù)

現(xiàn)有的過(guò)程實(shí)施經(jīng)驗(yàn)大多數(shù)是對(duì)小規(guī)模的、獨(dú)立的業(yè)務(wù)過(guò)程實(shí)驗(yàn)所得到，沒(méi)有將過(guò)程技術(shù)和工程原則大規(guī)模應(yīng)用于實(shí)踐大多數(shù)企業(yè)在管理和產(chǎn)品開發(fā)時(shí)，仍然采用傳統(tǒng)的方法現(xiàn)有的過(guò)程支持工具和環(huán)境大多停留在原型階段，工業(yè)界至今缺少成熟的工具產(chǎn)品，學(xué)術(shù)研究和工業(yè)實(shí)踐存在著較大的差距由于過(guò)程技術(shù)的復(fù)雜性，它所需要的時(shí)間和投資是很大的，只有較大的企業(yè)才能將過(guò)程技術(shù)應(yīng)用于實(shí)踐?，F(xiàn)有的實(shí)用中的過(guò)程技術(shù)較難適應(yīng)小企業(yè)和小項(xiàng)目的需要。這些大量的小型企業(yè)期望通過(guò)過(guò)程技術(shù)，提高它們的產(chǎn)品質(zhì)量和生產(chǎn)率，幫助它們改進(jìn)現(xiàn)有的業(yè)務(wù)過(guò)程業(yè)務(wù)過(guò)程的關(guān)鍵問(wèn)題

過(guò)程建模語(yǔ)言過(guò)程運(yùn)作中的過(guò)程演化基于度量的過(guò)程管理PEE體系結(jié)構(gòu)PEE合作控制機(jī)制結(jié)合和借鑒傳統(tǒng)工業(yè)和軟件企業(yè)的業(yè)務(wù)過(guò)程，研究業(yè)務(wù)過(guò)程關(guān)鍵問(wèn)題，研究一套有效的、實(shí)用的過(guò)程方法和支持工具，幫助企業(yè)快速低成本地采用以過(guò)程為中心的計(jì)算框架業(yè)務(wù)過(guò)程技術(shù)

過(guò)程建模語(yǔ)言的需求

支持過(guò)程工程師從功能模型、產(chǎn)品模型、資源模型、合作模型四個(gè)側(cè)面進(jìn)行刻畫

支持六個(gè)基本過(guò)程元素：活動(dòng)、產(chǎn)品、角色、人、工具和演化；和六個(gè)輔助過(guò)程元素：項(xiàng)目/組織、產(chǎn)品庫(kù)和工具庫(kù)、用戶視圖、合作協(xié)議、事務(wù)機(jī)制和質(zhì)量/性能指標(biāo)支持元過(guò)程中每個(gè)階段對(duì)模型的特定要求：形式化、可視化、抽象性、可執(zhí)行、可分析、可理解性、多視圖和演化支持

XVPML語(yǔ)言XVPML簡(jiǎn)介eXtendedVPML增加了對(duì)過(guò)程實(shí)施狀態(tài)和度量的刻畫，支持整個(gè)元過(guò)程支持多個(gè)過(guò)程視圖引入過(guò)程構(gòu)件和范式的概念，支持過(guò)程復(fù)用

引入過(guò)程演化機(jī)制，支持過(guò)程動(dòng)態(tài)改進(jìn)以XML作為語(yǔ)言的載體，利于數(shù)據(jù)集成和交換XVPML語(yǔ)言XVPML原語(yǔ)XVPML語(yǔ)言分類原語(yǔ)對(duì)象原語(yǔ)活動(dòng)、產(chǎn)品、資源、角色、里程碑、時(shí)鐘、標(biāo)注、視圖連接原語(yǔ)數(shù)據(jù)流連接、時(shí)序連接、關(guān)聯(lián)連接、引用連接、時(shí)鐘連接連接符原語(yǔ)邏輯連接符、層次連接符、管道連接符過(guò)程實(shí)施原語(yǔ)活動(dòng)副本、產(chǎn)品副本和資源分配副本度量原語(yǔ)度量、產(chǎn)品度量、過(guò)程度量、顧客關(guān)系度量、度量結(jié)果概念模型

XVPML語(yǔ)言過(guò)程模型示例XVPML語(yǔ)言過(guò)程模型的分析優(yōu)化分析內(nèi)容建模的過(guò)程是否合理？是否是期望的過(guò)程？過(guò)程是否被正確建模？

分析方法靜態(tài)分析基于XVPML過(guò)程模型的語(yǔ)法和語(yǔ)義基于業(yè)務(wù)過(guò)程改進(jìn)（BPI/BPR）的管理思想動(dòng)態(tài)模擬XVPML語(yǔ)言九種靜態(tài)分析優(yōu)化方法正確性檢查必要性分析與過(guò)程簡(jiǎn)化性能分析和瓶頸發(fā)現(xiàn)資源和成本分析圖論分析變異分析過(guò)程的協(xié)同和跟蹤缺陷和不完全性分析

價(jià)值（流）分析

XVPML語(yǔ)言基于構(gòu)件和范式的過(guò)程復(fù)用

基于構(gòu)件的過(guò)程復(fù)用過(guò)程編程階段的復(fù)用過(guò)程構(gòu)件、產(chǎn)品構(gòu)件、資源構(gòu)件和合作構(gòu)件基于3C構(gòu)件模型，刪除了上下文實(shí)例描述

基于范式的過(guò)程復(fù)用過(guò)程設(shè)計(jì)階段的復(fù)用過(guò)程范式和組織范式統(tǒng)一采用XVPML刻畫XVPML語(yǔ)言3C過(guò)程構(gòu)件模型

XVPML語(yǔ)言Concept一般信息過(guò)程ID過(guò)程的唯一標(biāo)識(shí)過(guò)程度量和目的提供過(guò)程度量和目的的概要描述標(biāo)準(zhǔn)過(guò)程所遵循的標(biāo)準(zhǔn)，如CMM和ISO9000版本號(hào)配置管理的版本號(hào)顧客描述顧客識(shí)別從過(guò)程中直接獲利或接受過(guò)程輸出產(chǎn)品的內(nèi)部和外部群組顧客需求列出每個(gè)需求接口描述前置條件和輸入產(chǎn)品識(shí)別過(guò)程執(zhí)行的前置條件，包括其它過(guò)程的時(shí)序約束以及輸入產(chǎn)品后置條件和輸出產(chǎn)品識(shí)別過(guò)程執(zhí)行的后置條件，包括其它過(guò)程的時(shí)序約束以及輸出產(chǎn)品Content過(guò)程描述功能描述過(guò)程內(nèi)部必須實(shí)現(xiàn)的功能關(guān)系過(guò)程內(nèi)各實(shí)體間的關(guān)系Context上下文類屬描述周期整個(gè)過(guò)程的總執(zhí)行時(shí)間問(wèn)題復(fù)雜度描述復(fù)雜度約束，如軟件的規(guī)模通信基礎(chǔ)設(shè)施描述小組內(nèi)部通信機(jī)制的需求成本和盈利描述過(guò)程的成本和盈利風(fēng)險(xiǎn)列出所有管理和技術(shù)風(fēng)險(xiǎn)優(yōu)先級(jí)描述過(guò)程的優(yōu)先級(jí)資源數(shù)目描述支持過(guò)程實(shí)施的資源及其數(shù)目，包括人員、工具、場(chǎng)地等概率描述多種可能的輸出產(chǎn)品的各自概率上下文實(shí)例描述起始時(shí)間描述過(guò)程的起始時(shí)間結(jié)束時(shí)間描述過(guò)程的結(jié)束時(shí)間負(fù)責(zé)人描述過(guò)程的負(fù)責(zé)人小組成員描述參加的所有人員原型過(guò)程范式

XVPML語(yǔ)言ID：00000001名稱：原型（Prototype）分類：過(guò)程范式目的：需求的早期獲取和驗(yàn)證十分困難別名：無(wú)解決方案：建立原型，供客戶和開發(fā)者等多方共同理解、分析和確認(rèn)需求。當(dāng)需求獲取后，原型可以被拋棄，也可以不斷改進(jìn)，演化成最終系統(tǒng)。應(yīng)用：在以下情況下采用原型法是十分有效的：-

需求不斷變化-書面需求具有二義性-

設(shè)計(jì)和實(shí)現(xiàn)人員必須直接理解需求-顧客無(wú)法提出詳細(xì)的需求后果：可以獲取更精確更詳細(xì)的需求。實(shí)現(xiàn)：建議采用工具建立快速原型已知的應(yīng)用：幾乎所有成功的企業(yè)都采用原型方法實(shí)施需求工程相關(guān)范式：本范式是對(duì)EngageCustomers和ScenariosDefineProblem范式的補(bǔ)充，是DeveloperControlsProcess和EngageQA范式的基礎(chǔ)。過(guò)程演化機(jī)制

演化是過(guò)程的固有特性

演化策略：靜態(tài)、動(dòng)態(tài)演化方法：基于元過(guò)程建模的復(fù)雜性和過(guò)程變化的不可預(yù)測(cè)性，因而采用反射語(yǔ)言機(jī)制，過(guò)程模型作為元數(shù)據(jù)可以在實(shí)施中修改演化分類元素的屬性修改過(guò)程拓?fù)浣Y(jié)構(gòu)的變更

XVPML語(yǔ)言相關(guān)工作形式化規(guī)范語(yǔ)言，如MELMAC、SPADE/SLANG,、ProcessWeaver、OPSIS、CSPL設(shè)計(jì)語(yǔ)言，如IDEF0、E3、SOCCA、EPM編程語(yǔ)言如APPL/A，Merlin/ESCAPE數(shù)據(jù)庫(kù)語(yǔ)言，如ADELE、ALF和PEACE項(xiàng)目管理CADES、ISTAR和ProcessWeaver工作流XVPML語(yǔ)言XVPML特點(diǎn)借鑒了項(xiàng)目管理、工作流和SADT結(jié)構(gòu)化分析和設(shè)計(jì)語(yǔ)言技術(shù)以圖形與文本相結(jié)合的方式從過(guò)程的功能、合作、產(chǎn)品和資源四個(gè)側(cè)面描述了全部的過(guò)程元素，具有高度的完整性、可視性和形式化程度不僅是過(guò)程建模的基礎(chǔ)，而且同時(shí)包含了過(guò)程實(shí)施和度量原語(yǔ)，支持從建模、分析、實(shí)施、演化到度量的整個(gè)元過(guò)程以XML作為存貯媒體，與PSL1.0可轉(zhuǎn)換，具有較好的可交換性XVPML語(yǔ)言分布式過(guò)程工程環(huán)境E-ProcessE-Process環(huán)境

E-Process功能模型E-Process以XVPML為基礎(chǔ)，完整地支持整個(gè)業(yè)務(wù)過(guò)程的元過(guò)程E-Process環(huán)境

E-Process系統(tǒng)結(jié)構(gòu)E-Process環(huán)境

E-Process八個(gè)工具可視化建模和分析工具(ProcessModelingTool,PMT)

過(guò)程實(shí)施工具(ProcessEnactmentTool,PET)

過(guò)程監(jiān)控工具(ProcessMoNitoringtool,PMN)

過(guò)程度量工具(ProcessMeaSurementtool,PMS)

構(gòu)件和范式管理工具(ComponentandPatternmanagementTool,CPT)

問(wèn)題跟蹤工具(IssueTrackingTool,ITT)

資源管理工具(ResourceManagementTool,RMT)

權(quán)限管理中心(AccessControlCenter,ACC)

E-Process環(huán)境

過(guò)程建模工具E-Process環(huán)境

過(guò)程實(shí)施工具E-Process環(huán)境

過(guò)程度量工具E-Process環(huán)境

分布式體系結(jié)構(gòu)

分布性、自主性、信息共享可靠性、并發(fā)性、一致性

E-Process環(huán)境

多層客戶/服務(wù)器架構(gòu)E-Process環(huán)境

基于規(guī)則的業(yè)務(wù)過(guò)程事務(wù)模型

問(wèn)題業(yè)務(wù)過(guò)程是一項(xiàng)需要多個(gè)小組成員共同合作完成的、長(zhǎng)時(shí)間的、復(fù)雜的工作。如何在提高合作效率的同時(shí)，保證其執(zhí)行的正確性和一致性？

方案提出基于規(guī)則的業(yè)務(wù)過(guò)程事務(wù)模型E-Process/TM，作為E-Process環(huán)境中分布式過(guò)程實(shí)施的合作控制機(jī)制

E-Process環(huán)境

業(yè)務(wù)過(guò)程事務(wù)的需求交互性、動(dòng)態(tài)性和長(zhǎng)期性反復(fù)性

合作性

開放性

E-Process環(huán)境

相關(guān)的高級(jí)事務(wù)模型嵌套事務(wù)和多級(jí)事務(wù)

補(bǔ)償事務(wù)

拆分事務(wù)

合作事務(wù)

參與事務(wù)

Check-Out/Check-In模型

事務(wù)工作流

無(wú)法全部滿足業(yè)務(wù)過(guò)程事務(wù)的需求

E-Process環(huán)境

E-Process/TM基本思想和特點(diǎn)采用動(dòng)態(tài)的分層事務(wù)結(jié)構(gòu)允許業(yè)務(wù)過(guò)程迭代進(jìn)行擴(kuò)展經(jīng)典事務(wù)的操作支持事務(wù)的中間數(shù)據(jù)提前曝光用戶可選擇合適的補(bǔ)償策略集成版本管理自定義正確性規(guī)則能較好的滿足業(yè)務(wù)過(guò)程事務(wù)的需求E-Process環(huán)境

業(yè)務(wù)過(guò)程事務(wù)的七種原子操作

E-Process環(huán)境

序號(hào)操作表示符語(yǔ)義(1)

只讀（ReadOnly）ro將產(chǎn)品從公共工作區(qū)中復(fù)制一份存入私有工作區(qū)，不回寫（Check-Out）(2)

讀(ReadforWriting)rw將產(chǎn)品從公共工作區(qū)中復(fù)制一份存入私有工作區(qū)，將回寫（Check-Out）(3)

參閱(ReadforReference)rr將產(chǎn)品從公共工作區(qū)中復(fù)制一份存入私有工作區(qū)，僅作參考（Check-Out）(4)

寫（Write）w將新建的或修改后產(chǎn)品從私有工作區(qū)中復(fù)制一份作為新版本存入共有工作區(qū)（Check-In）(5)

評(píng)審與驗(yàn)證(Prove)p將產(chǎn)品從公共工作區(qū)中復(fù)制一份存入私有工作區(qū)，技術(shù)評(píng)審后修改公共工作區(qū)中該版本的評(píng)審屬性(6)

提交(Commit)c事務(wù)成功完成，所有寫入公共工作區(qū)的產(chǎn)品正式提交(7)

中止(Abort)a事務(wù)中止,通過(guò)補(bǔ)償事務(wù)取消事務(wù)影響業(yè)務(wù)過(guò)程事務(wù)的形式化定義T=o1o2…on

或

{t1,t2,…,tn}

若業(yè)務(wù)過(guò)程事務(wù)是一個(gè)有限個(gè)對(duì)產(chǎn)品的操作組成的偏序集o1o2…on，偏序關(guān)系為

,則：I.

oi

{roi(x),wi(x),pi(x),rwi(x),rri(x)|xareproducts}{ai,ci};II.

ai

Tiiffcj

Ti

;III.

ift=ciort=ai,then(p

Ti)p

t,andIV.

ifri(x),wi(x)

Ti,thenri(x)<wi(x)orwi(x)<ri(x).業(yè)務(wù)過(guò)程事務(wù)也可以是一個(gè)由有限的子過(guò)程事務(wù)組成的集合，這些子事務(wù)可以并發(fā)運(yùn)行，同時(shí)受到子事務(wù)間控制流和數(shù)據(jù)流的約束。E-Process環(huán)境

業(yè)務(wù)過(guò)程事務(wù)正確性規(guī)則

【規(guī)則1】允許事務(wù)Ti在末提交前將中間產(chǎn)品向事務(wù)Tj曝光，即允許wj(x)<ri(x)<cj

or

wj(x)<ri(x)<aj,

這里，r{rr,ro,rw}.【規(guī)則2】如果一個(gè)數(shù)據(jù)項(xiàng)被某事務(wù)Tj寫過(guò)，則其它事務(wù)在事務(wù)Tj結(jié)束之前不能寫該數(shù)據(jù)項(xiàng)。即Ifwi(x)<wj(x),thenwi(x)<ci

<

wj(x)or

wi(x)<ai

<

wj(x).【規(guī)則3】如果事務(wù)Ti從事務(wù)Tj中讀出過(guò)數(shù)據(jù)，則事務(wù)Ti不能在Tj提交之前提交。即

Ifwj(x)<ri(x),cj

Tj

andciTi,thencj

<ci,

這里，r{ro,rw}【規(guī)則4】如果事務(wù)Ti在事務(wù)Tj提交前從中讀出過(guò)數(shù)據(jù)，且事務(wù)Tj又重寫數(shù)據(jù)，則Ti必須重讀數(shù)據(jù)。即

Ifwj(x)<ri(x)<wj’(x),cj

Tj

andciTi,thenwj(x)<ri(x)<wj’(x)<ri’(x),

這里，r{ro,rw}.

E-Process環(huán)境

業(yè)務(wù)過(guò)程事務(wù)正確性規(guī)則(續(xù))【規(guī)則5】如果事務(wù)Ti參閱過(guò)的數(shù)據(jù)被事務(wù)Tj修改，則僅需通知Ti操作者。即Ifwj(x)<rri(x)<wj’(x),cj

Tj

andciTi,thenwj(x)<rri(x)<wj’(x)<rri(x).As.Notify.【規(guī)則6】如果事務(wù)T被中止，則須執(zhí)行補(bǔ)償事務(wù)撤消已產(chǎn)生的影響，恢復(fù)T啟動(dòng)前的初始狀態(tài)。即IfaT,thena<T-,

這里，T-為T的補(bǔ)償事務(wù)?！疽?guī)則7】產(chǎn)品創(chuàng)建或變更后都必須通過(guò)評(píng)審。即wi(x),ifciTithenTj,(wi(x)<pj(x)<ciandpj(x)=True).【規(guī)則8】如果業(yè)務(wù)過(guò)程事務(wù)T是業(yè)務(wù)過(guò)程P的實(shí)例，則T的執(zhí)行必須和P相一致，即T只能讀P的輸入產(chǎn)品Is,寫P的輸出產(chǎn)品Os.IfTisaninstanceofP,then(w(x),xOs)and(r(x),xIs),

這里，r{ro,rw,rr}.E-Process環(huán)境

E-Process特點(diǎn)總結(jié)基于統(tǒng)一的可視化過(guò)程語(yǔ)言XVPML，對(duì)整個(gè)過(guò)程生命周期中的各階段提供了有效的支持基于Web的、靈活的聯(lián)邦體系結(jié)構(gòu)

采用柔性的合作過(guò)程事務(wù)模型提供統(tǒng)一的、友好的、多視圖的用戶界面

多層次的開放性技術(shù)和策略

基于庫(kù)的體系結(jié)構(gòu)基于XML的過(guò)程語(yǔ)言

基于UML的系統(tǒng)建模J2EE編程模型自由軟件

E-Process環(huán)境

軟件企業(yè)網(wǎng)絡(luò)計(jì)算的研究出發(fā)點(diǎn)軟件企業(yè)作為一般企業(yè)的一個(gè)特例，其共性部分可以采用統(tǒng)一的計(jì)算框架充分利用軟件企業(yè)的信息技術(shù)優(yōu)勢(shì)，促進(jìn)自身的信息化建設(shè)，突出軟件企業(yè)網(wǎng)絡(luò)計(jì)算的特殊性將傳統(tǒng)工業(yè)的一些好的方法和理論引入到軟件企業(yè)中，