黃貽望，徐松金

(1. 銅仁學(xué)院 大數(shù)據(jù)學(xué)院,貴州 銅仁 554300； 2. 中國(guó)科學(xué)院自動(dòng)化研究所，北京 100190)

一種情境感知的業(yè)務(wù)流程動(dòng)態(tài)自適應(yīng)方法*

黃貽望1,2，徐松金1

(1. 銅仁學(xué)院 大數(shù)據(jù)學(xué)院,貴州 銅仁 554300； 2. 中國(guó)科學(xué)院自動(dòng)化研究所，北京 100190)

提出一種基于服務(wù)應(yīng)用的綜合框架，在這個(gè)框架中開發(fā)過(guò)程碎片的概念。過(guò)程碎片是過(guò)程知識(shí)重用的建模方法，可以將過(guò)程碎片的動(dòng)態(tài)、增加和情境感知組合應(yīng)用到動(dòng)態(tài)服務(wù)應(yīng)用?？蚣芴峁┝诉m應(yīng)機(jī)制集合，通過(guò)適應(yīng)策略進(jìn)行組合，從而能夠解決復(fù)雜的適應(yīng)問(wèn)題。

自適應(yīng)；情境感知；基于服務(wù)應(yīng)用；流程碎片

0 引言

面向服務(wù)(RGPS中的S)范型的關(guān)鍵優(yōu)勢(shì)是有可能減少軟件應(yīng)用的開發(fā)和維護(hù)成本[1-4]。充分利用這個(gè)優(yōu)勢(shì)的關(guān)鍵因素是：面向服務(wù)應(yīng)用的適應(yīng)能力(例如，為了滿足新的需求和新形勢(shì)可以適時(shí)修改自身的行為進(jìn)行演變)?？紤]到因特網(wǎng)服務(wù)的挑戰(zhàn)，這里的應(yīng)用服務(wù)必須適應(yīng)持續(xù)不斷變化的環(huán)境：應(yīng)用操作的情境(Context)和所涉及到的服務(wù)(Service)，使用者及提供者(Role)。在這種情形下，同一個(gè)應(yīng)用能夠面對(duì)不同情境進(jìn)行不同的操作，處理如事先不知道涉及到的服務(wù)和對(duì)新情形進(jìn)行動(dòng)態(tài)改變等[3]。

研究者對(duì)于基于服務(wù)系統(tǒng)的適應(yīng)性問(wèn)題，作了大量的研究工作[5-6,10-12]，但大多數(shù)研究工作是集中于服務(wù)適應(yīng)能力的靜態(tài)方面，不能應(yīng)用于動(dòng)態(tài)設(shè)置，這些動(dòng)態(tài)設(shè)置都不能在設(shè)計(jì)階段進(jìn)行定義。在動(dòng)態(tài)適應(yīng)方法中，適應(yīng)性活動(dòng)(因果網(wǎng)中處理的也是活動(dòng))是指該活動(dòng)滿足在當(dāng)前執(zhí)行環(huán)境和某些特殊需求運(yùn)行過(guò)程中自動(dòng)產(chǎn)生的約束。大多數(shù)方法都會(huì)約定范圍進(jìn)行局部的適應(yīng)(如替換)。而且，執(zhí)行環(huán)境的角色(RGPS中的R)也很少考慮進(jìn)去[7-8]。

在本文提出的框架中,(1)允許在設(shè)計(jì)階段部分規(guī)格化(粗粒度規(guī)格)，而在運(yùn)行階段考慮到特有的執(zhí)行情境時(shí)進(jìn)行自動(dòng)精化(refinement)。這種精化過(guò)程主要是開發(fā)利用過(guò)程碎片，它是通過(guò)其他扮演者(角色)和系統(tǒng)提供的角色，這種扮演者和系統(tǒng)能夠在特定情境中描述提供給過(guò)程的服務(wù)和能力；(2)同時(shí)支持在運(yùn)行階段對(duì)能夠影響到應(yīng)用執(zhí)行的異常情況進(jìn)行適應(yīng)處理，這種適應(yīng)處理是通過(guò)一個(gè)適應(yīng)機(jī)制集為應(yīng)用的重新執(zhí)行狀況由適應(yīng)策略進(jìn)行適當(dāng)組合而獲得的，而不同適應(yīng)能力機(jī)制是通過(guò)AI人工智能規(guī)劃技術(shù)來(lái)實(shí)現(xiàn)的[9]。

方法的應(yīng)用場(chǎng)景是一個(gè)基于海港操作的汽車場(chǎng)景：它處理汽車由船運(yùn)達(dá)到提交給零售商的全部操作，必須承擔(dān)涉及到的各參與者的高復(fù)雜性度(different roles)，每個(gè)參與者都有自己的規(guī)則和法律(Role’s constraints, rules)，同時(shí)要承擔(dān)執(zhí)行環(huán)境的動(dòng)態(tài)性(Contextual properties)(如港口設(shè)備的可用性、意外的損壞、人為錯(cuò)誤或規(guī)則的改變等)。

1 應(yīng)用場(chǎng)景

這里是指德國(guó)不萊梅的一個(gè)港口城市，每年有無(wú)數(shù)車輛需要處理(從制造商到零售商的交付)，如圖1所示。每輛汽車的交付過(guò)程包含了一個(gè)能夠根據(jù)汽車的商標(biāo)模型及特有零售商的需求進(jìn)行個(gè)性化定制的過(guò)程集。如汽車被船運(yùn)達(dá)、卸貨，并在終端解包。一旦解包后，需根據(jù)其汽車類型和停車場(chǎng)空間的可用性，汽車被移動(dòng)到固定存儲(chǔ)區(qū)域，不同的存儲(chǔ)區(qū)域需要執(zhí)行不同的停車過(guò)程。停完后汽車直到被零售商訂購(gòu)后空出?？课恢?，而汽車一旦被零售商訂購(gòu)后需進(jìn)入一個(gè)提交過(guò)程，汽車準(zhǔn)備提交就被指派一個(gè)提交港口(gate)，然后裝上卡車，最終提交給零售商。

圖1 汽車交付流程的自適應(yīng)機(jī)制架構(gòu)(略圖)

本文目的是開發(fā)一個(gè)應(yīng)用系統(tǒng)用來(lái)支持港口的操作和管理(CLS)，這個(gè)系統(tǒng)涉及到多個(gè)參與者(ROLE)(汽車、船工、卡車、處理位置等)根據(jù)自身過(guò)程和業(yè)務(wù)策略進(jìn)行協(xié)同合作。這個(gè)場(chǎng)景應(yīng)用需要根據(jù)扮演者的可變性即個(gè)性化過(guò)程和影響到操作的情境變化來(lái)處理場(chǎng)景的動(dòng)態(tài)性。個(gè)性化是指汽車的不同商標(biāo)和模型需要以個(gè)性化的方式進(jìn)行相似化處理。而且針對(duì)新的汽車模型(R)，它有自身特定的需求(goal)和規(guī)程或程序(process)，必須能夠很容易地整合到應(yīng)用中去。類似的，應(yīng)用需要靈活處理如船和卡車等外部參與者規(guī)程的改變。最后，應(yīng)用需要反映國(guó)際規(guī)則和法律的改變(Role’s constraints)，要考慮情境的動(dòng)態(tài)性(dynamic context)。

2 方法概述

2.1應(yīng)用模型

對(duì)基于碎片動(dòng)態(tài)適應(yīng)情境感知系統(tǒng)(CLS)提出一個(gè)建模框架。框架建模包括一個(gè)實(shí)體集，每個(gè)實(shí)體用自己的業(yè)務(wù)流程(business process)來(lái)規(guī)格自身的行為。這種業(yè)務(wù)過(guò)程與傳統(tǒng)的靜態(tài)描述規(guī)約不一樣，其定義的是動(dòng)態(tài)業(yè)務(wù)過(guò)程，是能夠根據(jù)系統(tǒng)提供的特征在運(yùn)行時(shí)進(jìn)行實(shí)時(shí)精化的。然后這些實(shí)體動(dòng)態(tài)地加入到系統(tǒng)中去，并通過(guò)過(guò)程碎片發(fā)布這些實(shí)體的功能，這些實(shí)體的過(guò)程碎片能夠被其他實(shí)體進(jìn)行交互使用并能夠被發(fā)現(xiàn)，使用發(fā)現(xiàn)的這些過(guò)程碎片進(jìn)行動(dòng)態(tài)的精化。如：在CLS中，不論船什么時(shí)候到達(dá)港口，它都能夠得到由登陸管理者和關(guān)口提供的過(guò)程碎片。這些過(guò)程碎片是對(duì)特有海港的規(guī)程和法則進(jìn)行建模，都能夠被船只在進(jìn)行登陸時(shí)執(zhí)行的。由不同關(guān)口提供的不同碎片可以被某個(gè)特定的船只使用。類似的船只會(huì)發(fā)布它為卸貨面實(shí)現(xiàn)的碎片。這個(gè)框架另外一個(gè)特征是將在設(shè)計(jì)階段分析所有可能的異常情境，通過(guò)運(yùn)行階段進(jìn)行異常行為處理和替代的可能性，然后在業(yè)務(wù)過(guò)程中植入一些相關(guān)的發(fā)現(xiàn)活動(dòng)。這種方法極大簡(jiǎn)化了應(yīng)用動(dòng)態(tài)環(huán)境中的業(yè)務(wù)過(guò)程，因此，設(shè)計(jì)者沒(méi)必要考慮和規(guī)約針對(duì)特有情形而作的所有可能替代。

前述這種框架的動(dòng)態(tài)特征依賴于情境模型，這個(gè)情境模型描述系統(tǒng)的操作環(huán)境。這個(gè)情境是通過(guò)情境屬性來(lái)定義的，每個(gè)屬性都描述一個(gè)系統(tǒng)的特定方面(如：汽車當(dāng)前的位置，存儲(chǔ)區(qū)域的位置等)。情境屬性可能會(huì)隨著一個(gè)領(lǐng)域正常行為(如汽車的當(dāng)前位置是在存儲(chǔ)區(qū)域A)相關(guān)的碎片活動(dòng)執(zhí)行效果或異常改變(汽車的受損環(huán)境或存儲(chǔ)區(qū)域不可用等)的結(jié)果而演化。情境配置是特定時(shí)間的一個(gè)情境快照，是捕獲所有情境屬性的當(dāng)前狀態(tài)。例如：汽車位置圖(CarLocation)捕獲的是汽車怎樣隨著時(shí)間進(jìn)行位置的改變。最初狀態(tài)為汽車登船，則此階段汽車的流程活動(dòng)狀態(tài)是從貨物卸載到貨物拆封，然后將貨物移動(dòng)到倉(cāng)庫(kù)。在處理位置時(shí)對(duì)汽車進(jìn)行裝飾。類似的，汽車狀態(tài)圖(CarStatus)表示了汽車的操作狀態(tài)，如由一個(gè)異常事件損壞導(dǎo)致汽車狀態(tài)由ok到nok。

業(yè)務(wù)過(guò)程和碎片是通過(guò)APF(Adaptable Pervasive Flows)來(lái)建模的，一種傳統(tǒng)工作流語(yǔ)言的擴(kuò)展，以適應(yīng)普適動(dòng)態(tài)的業(yè)務(wù)流程執(zhí)行環(huán)境。APF除了經(jīng)典的工作流語(yǔ)言具有結(jié)構(gòu)處，還通過(guò)帶有標(biāo)注前件和效果活動(dòng)增加了關(guān)聯(lián)系統(tǒng)情境過(guò)程執(zhí)行的可能性。前件對(duì)特有的情境配置的執(zhí)行活動(dòng)進(jìn)行約束，在該框架中，對(duì)支持適應(yīng)的和預(yù)期行為的非正常行為進(jìn)行捕獲。效果是對(duì)系統(tǒng)情境的執(zhí)行活動(dòng)的預(yù)期影響進(jìn)行建模，應(yīng)用于碎片或過(guò)程執(zhí)行序列的自動(dòng)推理。

最后，為了使建模具有動(dòng)態(tài)過(guò)程，擴(kuò)充APF結(jié)構(gòu)使得其能夠?qū)^(guò)程碎片的個(gè)性化和適應(yīng)性進(jìn)行建模。特別的，介紹通過(guò)碎片對(duì)抽象活動(dòng)進(jìn)行規(guī)格的可能性，抽象活動(dòng)是根據(jù)在設(shè)計(jì)階段要達(dá)到的目標(biāo)定義的，表示為要達(dá)到的情境配置，能夠在運(yùn)行的執(zhí)行過(guò)程中進(jìn)行精化，這里要考慮有效的碎片集、當(dāng)前情境配置和達(dá)到的目標(biāo)。

2.2適應(yīng)機(jī)制

為達(dá)到情境感知的普適系統(tǒng)的動(dòng)態(tài)性需提出不同的適應(yīng)機(jī)制，該框架能夠處理兩種不同的適應(yīng)需求：在一個(gè)過(guò)程實(shí)例中對(duì)抽象活動(dòng)的精化需求和活動(dòng)的情境前件違背的情形下執(zhí)行；第二種適應(yīng)的目標(biāo)是通過(guò)將系統(tǒng)恢復(fù)到能夠重新執(zhí)行的過(guò)程的狀態(tài)中去解決違背性。

(1)精化機(jī)制：當(dāng)抽象活動(dòng)在過(guò)程實(shí)例中需要精化時(shí)觸發(fā)。該機(jī)制的目的是自動(dòng)組合有用的流程碎片，這些流程碎片需考慮到跟抽象活動(dòng)相關(guān)的目標(biāo)和當(dāng)前情境配置。精化結(jié)果是一個(gè)組合由系統(tǒng)中其他實(shí)體提供的碎片的可執(zhí)行過(guò)程，如果這個(gè)可執(zhí)行過(guò)程執(zhí)行的話，則會(huì)滿足抽象活動(dòng)的目標(biāo)。運(yùn)行時(shí)進(jìn)行精化的優(yōu)勢(shì)有兩點(diǎn)：有效的碎片并不總是在設(shè)計(jì)時(shí)所熟知(如：卡車到提交區(qū)域可能提供自己的卸載碎片)；組合對(duì)當(dāng)前的執(zhí)行情境有強(qiáng)依賴性(如：存儲(chǔ)區(qū)域可能滿，從而當(dāng)前碎片不可用)。

考慮到圖1中A1主要的汽車過(guò)程的存儲(chǔ)抽象活動(dòng)。活動(dòng)的執(zhí)行是自動(dòng)精化并組合了由不同實(shí)體提供的5個(gè)有效的碎片(如：存儲(chǔ)管理者—注冊(cè)、存儲(chǔ)指定，存儲(chǔ)區(qū)域A—存儲(chǔ)到A，存儲(chǔ)區(qū)域A—存儲(chǔ)到B，存儲(chǔ)區(qū)域A—存儲(chǔ)到C)。這種精化注入到汽車過(guò)程實(shí)例中去并能繼續(xù)執(zhí)行并達(dá)到目標(biāo)。在組合的碎片中也可能包括需進(jìn)一步精化的過(guò)程執(zhí)行。這種持續(xù)精化的結(jié)果構(gòu)成了多層執(zhí)行模型(如圖1)，最頂層是最初的過(guò)程實(shí)體和逐步精化相關(guān)的中間層。

(2)本地適應(yīng)機(jī)制：是指具有對(duì)一個(gè)特定活動(dòng)中產(chǎn)生的一個(gè)錯(cuò)誤流程進(jìn)行重新配置并啟動(dòng)的解決方案。因此，需生成一個(gè)組合碎片然后執(zhí)行將系統(tǒng)帶入到滿足活動(dòng)前件的情境配置。

舉例：在圖1中1B的A1中，汽車過(guò)程準(zhǔn)備執(zhí)行注冊(cè)碎片中的Registration Reply活動(dòng)，因汽車受到損壞，使得這個(gè)活動(dòng)的前件P1無(wú)效。在這個(gè)實(shí)例中的本地適應(yīng)是需要對(duì)汽車進(jìn)行修復(fù)(如：屬性CarStatus=ok必須保持)。這個(gè)目標(biāo)通過(guò)兩個(gè)碎片達(dá)到：允許將汽車移動(dòng)到處理的地點(diǎn)(MoveToTreatment)并做修復(fù)(repairment)。在執(zhí)行這個(gè)本地適應(yīng)過(guò)程后，汽車過(guò)程實(shí)例又重新回到初過(guò)程執(zhí)行狀態(tài)。

(3)補(bǔ)償機(jī)制：這個(gè)機(jī)制用于動(dòng)態(tài)計(jì)算特定活動(dòng)的補(bǔ)償過(guò)程。這個(gè)補(bǔ)償過(guò)程是由當(dāng)前情境和滿足補(bǔ)償目標(biāo)執(zhí)行選擇的過(guò)程碎片組合。

2.3適應(yīng)策略

適應(yīng)策略是為了實(shí)現(xiàn)有效組合適應(yīng)機(jī)制而設(shè)計(jì)的。它能夠處理那種不能單獨(dú)由適應(yīng)機(jī)制解決的復(fù)雜適應(yīng)性問(wèn)題。如一個(gè)活動(dòng)前件的違背不能由本地適應(yīng)能力機(jī)制來(lái)解決，另一個(gè)例子是由無(wú)效的碎片組合滿足特有情境目標(biāo)引起的失敗抽象活動(dòng)精化問(wèn)題。

框架提供適應(yīng)機(jī)制的不同組合方式：一次對(duì)齊適應(yīng)機(jī)制是為一個(gè)單一的適應(yīng)問(wèn)題進(jìn)行不同適應(yīng)機(jī)制的組合，即發(fā)現(xiàn)一個(gè)解決方案就執(zhí)行；另一個(gè)是增量適應(yīng)機(jī)制，是指可能性策略中的每一個(gè)適應(yīng)機(jī)制被呼叫并且應(yīng)用下一個(gè)適應(yīng)機(jī)制之前適應(yīng)進(jìn)程也被執(zhí)行。這種適應(yīng)機(jī)制交錯(cuò)過(guò)程的執(zhí)行使得可以為特定執(zhí)行情境進(jìn)行調(diào)整，其主要缺點(diǎn)是不能提前知道策略是否被完全執(zhí)行。

重精化策略：是指重復(fù)抽象活動(dòng)的精化流程的過(guò)程。目的是補(bǔ)償標(biāo)記為補(bǔ)償目標(biāo)的所有精化活動(dòng)，然后計(jì)算滿足抽象活動(dòng)目標(biāo)的新精化過(guò)程，同時(shí)考慮新的情境配置。

后退適應(yīng)機(jī)制策略:將過(guò)程實(shí)例帶回到過(guò)程先前執(zhí)行的活動(dòng)，給定新的情境配置，能夠允許不同的執(zhí)行決定。這種策略需要對(duì)所有需回滾活動(dòng)進(jìn)行補(bǔ)償，并將系統(tǒng)帶回到滿足前件活動(dòng)執(zhí)行的情境配置。

3 形式化框架

3.1相關(guān)定義

(1)情境屬性：每個(gè)情境屬性都建模成一個(gè)情境屬性圖，這是一個(gè)捕獲所有屬性值和值改變的狀態(tài)轉(zhuǎn)移系統(tǒng)。每個(gè)轉(zhuǎn)移都標(biāo)記相關(guān)的情境事件。

定義1：情境屬性圖是一個(gè)四元組c=〈L,L0,E,T〉,這里：

L是情境狀態(tài)集且L0?L為初始狀態(tài)；

E=Eunc∪Ecnt是情境事件集，Eunc是不可控事件集，Ecnt是可控事件集，因此Eunc∩Ecnt=φ；

T?L×E×L是轉(zhuǎn)移函數(shù)。

標(biāo)記L(c)、E(c)等作為情境屬性圖C的相關(guān)元素。所有情境通常相當(dāng)復(fù)雜并且需要一個(gè)情境屬性圖C的集合規(guī)約。在這種情形下，一個(gè)情境狀態(tài)是它的屬性圖的狀態(tài)集合，形式上定義情境配置空間為L(zhǎng)=Πc∈CL(c)，同時(shí)也定義：Ecnt=∪c∈CEcnt(c)。

(2)過(guò)程碎片：用狀態(tài)遷移系統(tǒng)對(duì)過(guò)程碎片進(jìn)行建模，每個(gè)遷移都有一個(gè)相關(guān)特殊的碎片活動(dòng)。區(qū)分4種活動(dòng)：過(guò)程間通信的輸入和輸出活動(dòng)；對(duì)過(guò)程內(nèi)部規(guī)格建模的具體活動(dòng)；與過(guò)程的抽象活動(dòng)相關(guān)的抽象活動(dòng)。如前文所述，活動(dòng)標(biāo)注了前件、效果和補(bǔ)償，而抽象活動(dòng)標(biāo)注目標(biāo)。在定義過(guò)程碎片中，通過(guò)標(biāo)簽函數(shù)獲得。

定義2：過(guò)程碎片是定義在情境屬性圖C上的一個(gè)元組p=〈S,S0,A,T,Ann〉,這里：

S是一個(gè)狀態(tài)集且S0?S是初始狀態(tài)集合；

A=Ain∪Aout∪Acon∪Aabs是一個(gè)活動(dòng)集，這里的Ain是輸入活動(dòng)集，Aout是輸出活動(dòng)集，Acon是具體活動(dòng)集，Aabs是抽象活動(dòng)集；

T?S×A×S是轉(zhuǎn)移函數(shù)；

(3)過(guò)程和系統(tǒng)執(zhí)行：接下來(lái)定義的是捕獲給定過(guò)程的執(zhí)行的當(dāng)前狀態(tài)。如圖1所示，過(guò)程是一個(gè)層次結(jié)構(gòu)，它是通過(guò)由抽象活動(dòng)精化為碎片得到的。過(guò)程配置定義一系列的三元組，第一個(gè)三元組描述當(dāng)前執(zhí)行的碎片，當(dāng)前活動(dòng)及執(zhí)行當(dāng)前活動(dòng)的過(guò)去活動(dòng)的歷史，其他三元組先前執(zhí)行活動(dòng)的歷史，都伴隨著當(dāng)前執(zhí)行下的抽象活動(dòng)和過(guò)往歷史?；顒?dòng)歷史記錄對(duì)于后退適應(yīng)的執(zhí)行是必須的，決定哪個(gè)補(bǔ)償需要執(zhí)行。

定義3：過(guò)程配置是一個(gè)非空的三元組序列：

Ep=(p1,a1,h1),(p2,a2,h2)…(pn,an,hn)

這里pi是過(guò)程碎片，ai∈A(pi)是與過(guò)程碎片相關(guān)的活動(dòng)，且ai∈Aabs(pi)對(duì)i≥2(如任何被精化的活動(dòng)都是抽象的)，hi∈A(pi)*是過(guò)程碎片執(zhí)行過(guò)的活動(dòng)序列。整個(gè)系統(tǒng)的配置主要是通過(guò)情境屬性的當(dāng)前配置、系統(tǒng)中過(guò)程的配置及有效的碎片集定義的。具體定義如下：

定義4：系統(tǒng)配置是指給定一個(gè)情境屬性圖的集合C，定義C上的系統(tǒng)配置為一個(gè)元組S=〈I,ε,F〉，這里：

I∈L(c1)×…×L(cn),ci∈C，是情境屬性圖的當(dāng)前配置；

ε∈Ep1×…×Epn是運(yùn)行過(guò)程的當(dāng)前配置；

F是有效碎片集。

然后用I(S)、ε(S)標(biāo)記系統(tǒng)配置S中的相關(guān)元素。受篇幅所限，這里沒(méi)有給出系統(tǒng)配置演化的形式化定義。

3.2適應(yīng)

(1)總適應(yīng)問(wèn)題：用于對(duì)不同適應(yīng)機(jī)制進(jìn)行形式化，包含系統(tǒng)配置和適應(yīng)目標(biāo)的完整信息。

定義5：適應(yīng)問(wèn)題是一個(gè)元組ξ=〈S,G〉，S是當(dāng)前系統(tǒng)配置，G是C上的適應(yīng)目標(biāo)。

對(duì)于目標(biāo)，使用EAGLE定義自動(dòng)規(guī)劃范圍內(nèi)的復(fù)雜目標(biāo)，解決總適應(yīng)問(wèn)題實(shí)際上是獲取有效碎片的過(guò)程Madapt，在沒(méi)有異常事件的情形下，確保情境配置的結(jié)果滿足目標(biāo)G。

(2)從適應(yīng)策略到適應(yīng)問(wèn)題：將使用于系統(tǒng)配置中過(guò)程實(shí)例EP的適應(yīng)策略和機(jī)制轉(zhuǎn)化成總的適應(yīng)問(wèn)題，如何將獲取的進(jìn)程Madapt從一個(gè)適應(yīng)系統(tǒng)配置S應(yīng)用研究于新的配置S′。

本地適應(yīng)：這種自適應(yīng)機(jī)制能夠應(yīng)用于解決當(dāng)Pre(a1)有效時(shí)a1不能執(zhí)行的情形。這意味著為問(wèn)題ξ生成一個(gè)自適應(yīng)解決方案，這里G(ξ)=Pre(a1).S，是從S中通過(guò)不斷更新Ep得到的，Ep=(p1‘,a0,h1), (p2,a2,h2)…(pn,an,hn)，p1通過(guò)前面a1活動(dòng)的自適應(yīng)機(jī)制獲得。

4 結(jié)束語(yǔ)

本文提出一種基于情景感知的流程碎片自適應(yīng)方法構(gòu)架，可以將此框架應(yīng)用于實(shí)際的業(yè)務(wù)流程管理。存在的挑戰(zhàn)是學(xué)習(xí)從過(guò)去的適應(yīng)機(jī)制找到最優(yōu)的策略，以解決具體的自適應(yīng)問(wèn)題，并使用這種分析結(jié)果，提高業(yè)務(wù)流程管理策略。同時(shí)也需進(jìn)一步研究用規(guī)劃最優(yōu)適應(yīng)活動(dòng)提升復(fù)雜標(biāo)準(zhǔn)的可能性，即不僅考慮時(shí)間成本，還要考慮副作用極小、最小的執(zhí)行成本等。

[1] BERTOLI P, KAZHAMIAKIN R, PAOLUCCI M, et al. Control flow requirements for automated service composition[C]. In Proc. ICWS’09, 2009: 17-24.

[2] B?SE F, PIOTROWSKI J. Autonomously controlled storage management in vehicle logistics applications of RFID and mobile computing systems[J]. International Journal of RT Technologies: Research an Application, 2009,1(1): 57-76.

[3] BUCCHIARONE A, KAZHAMIAKIN R, PISTORE M, et al. Adaptation of service-based business processes by contextaware replanning[C]. In SOCA 2011, 2011:1-8.

[4] LEONI M De. Adaptive process management in highly dynamic and pervasive scenarios[C]. In Proc. YR-SOC, 2009: 83-97.

[5] 韓偉倫,張紅延.業(yè)務(wù)流程建模標(biāo)注可配置建模技術(shù)[J].計(jì)算機(jī)集成制造系統(tǒng)，2013,19(8): 1928-1934.

[6] 洪余柯,趙祎,姚青.基于活動(dòng)依賴實(shí)現(xiàn)業(yè)務(wù)流程可變性的BPMS模型[J].計(jì)算機(jī)應(yīng)用研究，2009,26(9): 3348-3353.

[7] KRAMER J, MAGEE J. Self-managed systems: an architectural challenge[C]. In 2007 Future of Software Engineering, FOSE ’07, 2013: 259-268.

[8] MARCONI A, PISTORE M, TRAVERSO P. Automated composition of web services: the ASTRO approach[J]. IEEE Data Eng. Bull, 2008, 31(3): 23-26.

[9] 劉紅,劉祥偉,王麗麗.基于配置變遷的業(yè)務(wù)流程模型優(yōu)化分析方法[J].計(jì)算機(jī)科學(xué),2016,43(S2):509-512.

[10] RAIK H, BUCCHIARONE A, KHURSHID N, et al. Astro-captevo: dynamic context-aware adaptation for service-based systems[C]. In SERVICES, 2014.

[11] 杜磊，闞媛，李華，等. 應(yīng)急預(yù)案流程的Petri網(wǎng)建模方法研究[J]. 微型機(jī)與應(yīng)用,2014,32(9):345- 350.

[12] ZHAI Y, ZHANG J, LIN K. Soa middleware support for service process reconfiguration with end-to-end qos constraints[C]. In ICWS, 2015: 815-822.

Dynamic adaptation of business processes based on context-aware

Huang Yiwang1,2, Xu Songjin1

(1. School of Data Science, Tongren University, Tongren 554300, China;2. Institute of Automation, Chinese Academy of Sciences, Beijing 100190, China)

We propose a comprehensive framework for adaptively of service-based applications, which exploits the concept of process fragments as a way to model reusable process knowledge and to allow for the dynamic, incremental, context aware composition of such fragments into adaptable service based applications. The framework provides a set of adaptation mechanisms that, combined through adaptation strategies, are able to solve complex adaptation problems.

dynamic service adaptation; context-aware; service-based application; business fragment

TP311.5

A

10.19358/j.issn.1674- 7720.2017.19.007

黃貽望，徐松金.一種情境感知的業(yè)務(wù)流程動(dòng)態(tài)自適應(yīng)方法[J].微型機(jī)與應(yīng)用，2017,36(19)：23-26.

國(guó)家自然科學(xué)基金(61562073)；貴州省科學(xué)技術(shù)廳聯(lián)合基金項(xiàng)目(黔科合平臺(tái)人才[2016]5611,黔科合LH字[2015]7248號(hào))；貴州省教育廳項(xiàng)目(黔教合人才團(tuán)隊(duì)字[2015]67號(hào),黔教合KY字[2016]051號(hào))；銅仁學(xué)院博士啟動(dòng)基金(trxyDH1602)

2017-04-12)

黃貽望(1978-),男,博士后，副教授, CCF會(huì)員,主要研究方向：服務(wù)計(jì)算、業(yè)務(wù)流程管理、形式化方法等。徐松金(1970-),男,副教授,主要研究方向：數(shù)學(xué)建模、優(yōu)化算法。