基于时间_演算的移动商务过程建模

-乔　爽1　张春城1　顾　宏2(1.大连理工大学管理学院;2.大连理工大学电子与信息工程学院):在总结无线技术对商务活动的影响的基础上,针对信息交互频繁、不确定环境下的过程结构动态变化、局部自治等柔性特征,采用时间-演算为移动商务过程建模,目的在于便于分析时间绩效改进。然后,具体指出了-演算和移动商务过程的对应关系,构建了具有共性的选择过程组件,以及在时间方面扩展了-演算。最后,用无线自动售货机系统的物流配送过程实例,证明了方法的有效性。:;;;-:C93:A:1672-884X(2010)06-0885-06ModelingMobileBusinessProcessBasedonTime-CalculusQIAOShuangZHANGChunchengGUHong(DalianUniversityofTechnology,Dalian,Liaoning,China)Abstract:Inthispaper,theinfectionofthebusinessactivitieswiththeintroductionofwirelesstechnologyissummarized.Focusingontheflexiblecharacteristicsoffrequentinformationinterac-tions,theprocessstructuredynamicchangingintheuncertaincontextandthepartialautonomyin-volvedinthemobilebusiness,theTime-CalculusisadoptedtomodelMobileBusinessProcesstofa-cilitateanalyzingtheimprovementoftemporalperformance.Thecorrespondingrelationshipbetween-CalculusandtheMobileBusinessProcessesarespecified,commonchoiceprocesscomponentiscon-stituted,and-calculusisextendedwithtemporalelements.Themethodhasbeenproventobevalidwithinstancesforthelogisticaldistributionprocessofthewirelessvendingmachinesystem.Keywords:M-business;modelingbusinessprocess;processalgebra;-Calculu:2008-04-15,[1]ALEXAN-DER[2]:,,,ANDRE[3],,,,,,,,,,,,1　无线技术对商务过程影响的分析,HANS[4],WANG[5]RAILPOCKET,,,,AN-DER[3],,8857620106ChineseJournalofManagementVol.7No.6Jun.2010,,4:,,;,,,;,,,;!,,2　移动商务过程相关研究2.1,,,,[6],,,,ANDER[3]ProcessLand-scaping,DAVENPORT[7]P-graph,,2,,,,,[8],,Petri[9,10],,Petri,,[11]2,2090,-[12],2:-,[12,13];-,,[14]-,,,,SMITH[15],-Web[16,17],,,,,-,,-,2.2-(PA):PA=(OP,A,ROPL,:),,OP;A();ROPL;PAPA-,N,(),,:abxy;,A,,:PQR-BNF:P::=0xy.Px(y).P.P(x)P[x=y]PPQP+QA(y1,y2,,yn)-OP2:+:,P+Q,P,Q;2,:,PQPQ;2,88676201064:(i)xy.P:,x,xy.Pxy,P(ii)x(y).P:,x,x(y).Px,y,P(iii).:,PQ,PxQx,PQ()(iv)x(y).P:xy.P,y,[x=y]Px,y,P;(x)P;A(y1,y2,,yn),-P!Q,P!,Q,-L:(i):PQ;(ii)xy:PxyQ;(iii)x(y).:Px(y)Q;(iv)x(y).:Px(y)Q-(ROPL)(:)[12]3　移动商务过程模型与建模方法3.1,:,;,;,;!,,,;∀,,,,3-,-;4,;5,,-3.2-3.2.1-,-,,-11--agent\processchannel\linkportFreeoccurrenceBoundoccurrencevariableinvariant2,;,,();,,2--a(x).Pax,Pax.Pax,P(),,2;+,∀+2;∀[x=y]Pxy,PA[f]Pa,f,Pa:[f1=P1,f2=P2,,fn=Pn]a,fn,Pn(x)PxPA(m1,m2,,mn)defPPA,m1,,mnA;(t)3.2.2-,,-(2):-;;;!887-,,,3.2.3--,,,,-XAVIER[18],,:(1)DN,(2)(t)(2),P(t)QPQt,,#(t),P#(t)Q-,(TPA)(PA)TPA=(OPOP,L,ROPOPL,T),,OP(t);L=AD,[14,18]3.2.4,,,,,(1)1-,,1(1)LM,CAEA,lLM(e,input)(l)[CA(e,input)]EA(1)CA(e,input)def(l)[n1exk.CA(e,input)+input(i).lxi.CA(e,input)](i=1,2,,n);(2)EAdef(l)l(y).y(z).EA(3)CA2(e,input)(l)e,m1,m2,,mk,,mn,,,xkmk(input(i)mi),(l)i(ximi)EA,(2)EA(mi),,(ymi),(3):,,;-,,,;-,,;!,,;∀,,#,4　无线自动售货机物流配送过程实例[19],:,;,;,,,4.13,2(4),:(M)(SC),(LM),,88876201062System[n1Mk(mk,ink,outk,tk)]SC(m,e,f)LM(e,f,input)(4)Mk(mk,ink,outk,tk)defink[empty].mk(empty,tk).Mk(mk,ink,outk,tk)+mk[supply].mkok.outkfull.Mk(mk,ink,outk,tk)(5)SC(m,e,f)def{n1mk[empty].e(mk,tk).SC(m,e,f)+f(x).SC(m,e,f)}(6),k=1,2,,n,m=(m1,,mk,,mn),LM(e,input,f)(l)[CA(e,input)EA(f)],CA(e,input)def(l)[n1e(xk,yk).CA(e,input)+input(i).lxi.CA(e,input)](7)EA(f)def(l)l(y).(tc).ysupply.EA(f)+y[ok].fy.LM(f)(8)(5),(Mk)2:in(empty),mSC(tk);mLM,,outMk(k=1,2,,n)(6),(SC)2:m(M),e,mLMm,mkk;f,LMx,xmk(1),(LM),CA,yk(7)tk(8),EAtc,4.23,mef,m,MSCLM,mef():emptyfullsupplyok,2,memptymempty;mok.mok;inempty.empty.tk,tk,tc,lxyxkyk,4.3,,,,,,;,,,,-,2:(1),S012,S1-22,S1S2;1220min30min,;118min,25min,1214min(3)3:889-S0SCCAEAin1emptyin2empty(m1[empty].e(m1,20).SCm2[empty].e(m2,30).SCe(x1,y1).CAe(x2,y2).CA)+(l)(input(i).lxi.CA)l(y).ysupply.EA)=S1-2(9),2,,(m1,m2)2:1,1,2,,2,1,,22,CA,2,S0=m1(empty,20)m2(empty,30)S1-2input(2)S1-2#(5)S1-2m2okS1(10),,LMM2,SCM2(4)42,1,,(1)S1input(1)S1#(14)S1m1okS0(11):,,;,,;,,;!,--,-,,,,5　结语,,,,--,---,,,-,,,,[1]NGAIEWT,GUNASEKARANA.AReviewforMobileCommerceResearchandApplications[J].De-cisionSupportSystems,2007,43(1):315.[2]ALEXANDERO,YVESP.AnE-BusinessModelOntologyforModelingE-Business[C]//15thBledElectronicCommerceConference,Slovenia,2002.[3]ANDREK,VOLKERG.AnalysisofMobileBusinessProcessesfortheDesignofMobileInformationSys-tem[C]//5thInternationalConference,Zaragoza,2004.[4]HANSVDH,PABLOV.TheValueofMobilityforBusinessProcessPerformance:EvidencefromSwe-denandtheNetherlands[R].Stockholm:StockholmSchoolofEconomics,2002.[5]WANGY,ELSVDK,GELEYNM.ImprovingBusinessProcesseswithMobileWorkforceSolutions[C]//InternationalConferenceonMobileBusiness,London,2005.[6]PABLOV,HANSVDH.AMethodtoIdentifyOp-portunitiesforMobileBusinessProcesses[R].Stock-holm:StockholmSchoolofEconomics,2002.(929)8907620106[16]SHLEIFERA,VISHNYRW.PoliticiansandFirms[J].QuarterlyJournalofEconomics,1994,109(4):9951025.[17]SHLEIFERA,VISHNYRW.TheGrabbingHand:GovernmentPathologiesandTheirCures[M].Cam-bridge:HarvardUniversityPress,1998.[18],.IPO[J].,2005(5):8595.[19],.[J].,2007(1):9297.[20],,.[J].,2008(4):4152.[21],,,.[J].,2008(4):132146.[22],,.[J].,2008(9):3747.[23],,.[J].,2009,6(7):952956.[24],.[J].,2001(12):2028.[25].U[J].,2005(10):4858.[26]FACCIOM.PoliticallyConnectedFirms[J].Ameri-canEconomicReview,2006,96(1):369386.[27],.[J].,2008(8):921.[28],.[J].,2009(2):98108.[29],.[J].,2004(4):5059.[30],.(2001)[M].:,2003.[31].[J].