在线聊天系统中英文对照外文翻译文献.docx

在线聊天系统中英文对照外文翻译文献.docx

《在线聊天系统中英文对照外文翻译文献.docx》由会员分享，可在线阅读，更多相关《在线聊天系统中英文对照外文翻译文献.docx（7页珍藏版）》请在冰豆网上搜索。

在线聊天系统中英文对照外文翻译文献

中英文对照外文翻译

（文档含英文原文和中文翻译）

ModelingandspecificationofWebservicescompositionusingUML-S

Abstract

AsWebservicescompositionarousesagrowinginterest,mostresearchworksaddressimplementationandexecutionissues.Therefore,manycompositionlanguages（BPEL,XLANG,WSFL,WSCI,tonameafewofthem）havebeenproposedinthepastfewyears.However,aweaknessoftheselanguagesisthattheyaredifficulttouseinearlystagesofdevelopment,suchasspecification.Inthispaper,anextensiontoUML2.0called”UML-S:

UMLforServices”isintroduced.UML-SallowsforaModelDrivenEngineering（MDE）ofWebservicesandtheirinteractions.

1.Introduction

ManycompaniesarenowusingtheWebasaplatformtocommunicatewiththeirpartners.TheWebanditstechnologiesallowsthemtoprovideWebservicestoindividualsaswellasotherbusinesses.

ThemainchallengesintheWebservicesparadigmaretheirdiscoveryandtheircomposition.Inotherwords,onemustbeabletofindasuitableWebserviceforagiventask.Thisprocessiscalledthediscovery[18,19].Thesecondchallengeistheonethatisaddressedinthispaper.ItisknownasWebservicescomposition[4,10].InWebservicescomposition,alreadydefinedservicesareusedtogethertoachievealargertask,resultinginanewcompositeandvalue-addedWebservice.Toaccomplishthispurpose,acommonapproachistoallowtheWebservicestointeractinascenariothroughtheuseofmessagingmechanisms.

AlthoughalotofresearchworksdealwithWebservicesinteractions,mostofthemaddresslanguage,implementationorapplicationissues,neglectingearlystagesofthedevelopmentprocess,suchasspecification.Toaddressthisissue,anextensiontoUML2.0called”UML-S:

UMLforServices”isintroduced.UML-SallowsformodelingWebservicesaswellastheirinteractions.

TheUnifiedModelingLanguage（UML）hasbeendefinedbytheObjectManagementGroup（OMG）[2]toexpressgraphicallysystemdevelopmentmodels.

UML-SenablesthedeveloperstobuildcompositeWebservicesbyfollowingtheprinciplesoftheModel-DrivenArchitecture（MDA）.Asaconsequence,itispossibletogenerateplatform-specificcodefromhigh-levelUML-Smodels.

Thispaperisstructuredasfollows.Section2providesasurveyofexistingapproachestomodelWebservicesinteractions.Insection3,therequirementsforagoodWebservicescompositionmodelinglanguageareputforward.UML-Sisthenpresentedindetailsinsection4.Afterthat,acasestudyisprovidedinsection5toobserveUML-Sinaction.Finally,section6drawstheconclusionsandpresentsfuturework.

2.RelatedWork

TheBusinessProcessManagementInitiative（BPMI）hasdevelopedtheBusinessProcessModelingNotation（BPMN）.ThisnotationisparticularlyusefultovisualizeBPELprocesses.BPMN[23]isnowmaintainedbytheOMG.Unfortunately,onecouldreproachtoBPMNitslackofformalism,asexplainedbyWohedetat.in[24].AlthoughBPMNisaninterestingsolution,wepreferredtoextendUML2.0toachievethesamepurpose.Indeed,UMLwasalreadyusedasaProcessModelingLanguage（PML）[9,13,16].Asamatteroffact,UMLhassomeveryinterestingfeaturesasaPML:

itisstandard,graphical,popularanditcontainsseveraldiagramswhichallowstomodeldifferentviewsofasystem.

UMLwasalreadyconsideredtodescribeWebservicescomposition.In[20],anapproachusingUMLactivitydiagramstodosowaspresentedbySkoganetal.TheyprovideawaytomodelthecoordinationandthesequencingoftheinteractionsbetweenWebservices.TheyalsoexplainhowUMLactivitydiagramscanbeconvertedintoBPEL[1]orinWorkSCo[3].However,inthisapproach,methodsinput/outputanddatatransformationaremodeledinnotes（i.e.comments）onthesideoftheworkflow,whichcangetquiteconfusingwhenthecompositionflowgetscomplex.

ChunmingGaoetal.alsopresentin[11]anon-graphicalwaytomodelWebservicescompositionwithsomemobilityandtimeconstraint.Todoso,theyintroduceDiscreteTimeMobileAmbientcalculus（DTMA）,anextensiontotheformalmodelcalledMobileambientscalculus[5].UsingDTMA,theyfocusonmodelingBPELoperations.Duetotheirnon-graphicalnature,languagessuchasDTMAarelessuser-friendlythangraphicallikeUML.

AnotherapproachtoWebservicescompositionmodelingwasproposedbyDeCastroetalin[6].Intheirwork,theymakeuseofthebehaviormodelingmethodofMIDAS,aModel-DrivenArchitecture（MDA）framework[14].MIDASisamodel-drivenmethodologyforthedevelopmentofWebInformationSystems（WIS）basedontheMDA[21],proposedbytheOMG[2].TheyintroducedWebservicescompositionthroughUMLactivitydiagramsintheirpaper.However,themodelisnotdetailedasmuchasnecessarytoallowcodegenerationasBPEL.Somefeaturescouldalsobeaddedsuchasdatatransformationandflowcontrolmechanisms.

In[12],Hamadietal.putforwardsPetrinets[17]basedalgebraforcomposingWebservices.Petrinetsareawell-knownprocessmodelingtechnique.TheprosofusingsuchPetrinetbasedalgebraisthatitallowstheverificationofpropertiesandthedetectionofinconsistencies.However,WebservicesneedtobeexpressedusingalgebraconstructsbeforebeingtranslatedintoaPetrinetrepresentation,addingconsequentlyanothernecessarystageintheprocess.

UML-StransformationrulesfromWSDL2.0andtoWS-BPEL2.0wereprovidedin[8].UML-SactivitydiagramsverificationandvalidationusingPetrinetswasalsodetailedin[15].

3.Webservicescompositionmodelrequirements

Inthispart,westatewhattherequirementsforagoodWebservicescompositionmodelinglanguage.Firstofall,itisbettertoextendsanalreadyexisting,well-knownstandardifitisadaptedinsteadofcomingupwithanewmodel.UMLmodelinglanguageisthedefactoindustrystandard.ThereforeitisagoodcandidatetobeextendedforWebservicescompositionmodeling.Moreover,UMLiswidelyusedanditsgraphicalmodelsareeasilyunderstandable.ThemodelinglanguageshouldallowtorepresentWebservicesinterfacesaswellasthedynamisminducedbytheircomposition.UMLclassdiagramisparticularlyadaptedtorepresentinterfaces.Additionally,UMLactivitydiagramisaexcellentcandidatetomodelWebservicescomposition,duetoitsstrengthtorepresentthedynamic.Agoodmodelinglanguagecanalsobejudgedbyitssimplicityanditsclarity.GraphicallanguagessuchasUMLareknownforbeinguser-friendly.Finally,itisworthnotingthatacompositeWebservicesimplycallsotherservicesandmakestheminteract.Therefore,thereisnotalotofprogramminginvolvedcomparedtousualWebservices.Asaconsequence,acompositeWebservice’scodecanbegeneratedinitstotalityfromhighlevelgraphicalmodelssuchasUML’s.4.UML-S:

UMLforServicesThemaincontributionofthispaperis”UML-S:

UMLforServices”,anextensiontoUML2.0thatallowsformodelingWebservicesaswellastheirinteractions.InUML-S,bothclassdiagramsandactivitydiagramsareusedtomodelandspecifyrespectivelyWebservicesandtheirinteractions.Inpart4.1,wepresentUML-Sextendedclassdiagram.Afterthat,theactivitydiagramproposalisdetailedinpart4.2.

建模和使用UML-SWeb服务组合的规范

摘要

随着Web服务组合引起了越来越多的兴趣，大部分研究工作解决了实现和执行的问题。

因此，在过去的几年里许多组成语言（BPEL，XLANG，WSFL，WSCI，仅举几例）已经提出。

然而，这些语言的一个弱点在于，它们很难在早期的发展阶段如说明书中使用。

在本文中，延伸到UML2.0叫做“UML-S：

UML的服务”介绍。

UML-S允许Web服务模型驱动工程（MDE）和它们之间的相互作用。

1.介绍

现在很多公司都使用Web作为平台与合作伙伴进行沟通。

互联网和它的技术，使他们能够提供给个人的Web服务以及其他业务。

在Web服务模式的主要挑战是他们的发现和它们的组成。

换言之，必须能够找到合适的Web服务对于给定的工作。

这一过程被称为发现[18，19]。

第二个挑战是在本文讨论的之一。

它被称为Web服务组合[4,10]。

在Web服务组合，已定义的服务一起用来实现更大的工作，从而生成了新的复合和增值的Web服务。

为了实现这个目的，一个常见的方法是允许Web服务交互场景中通过使用消息传递机制。

尽管很多研究工作处理Web服务交互,其中大部分是解决语言,实现或应用程序问题,忽视了开发过程的早期阶段,如规范。

为了解决这个问题,一个扩展UML2.0称为“UML-S:

UML服务”。

UML-S允许Web服务以及它们的交互建模。

统一建模语言（UML）已经由对象管理组织（OMG）[2]以图形化表达系统的开发模式定义。

UML-S使开发人员通过下面的模型驱动架构（MDA）的原则来构建组合Web服务。

因此,可以从高级UML-S模型生成特定于平台的代码。

本文的结构如下。

第二节提供了一个现有的调查方法模型的Web服务交互。

在第三节,要求良好的Web服务组合建模语言。

然后在第四节提出了UML-S的细节。

之后,提供了一个案例研究在第五节观察UML-S行动。

最后,第六节吸引了结论并提出了未来的工作。

2.相关工作

业务流程管理计划（BPMI）开发了业务流程建模符号（BPMN）。

这种表示法是特别有用的可视化BPEL流程。

BPMN[23]现在由OMG维护。

不幸的是，一个Wohed等的解释可以责备BPMN缺乏形式主义。

在[24]。

尽管BPMN是一个有趣的解决方案,我们更倾向于扩展UML2.0来达到相同的目的。

事实上,UML已经用作一种过程建模语言（PML）（9、13、16）。

作为事实上，UML有一些非常有趣的功能作为PML：

它是标准的，图形化的，流行的，它包含几个图表，允许模型系统的不同视图。

UML已经被认为是描述Web服务组成。

在文献[20]，由Skogan等提出了使用UML活动图这样做的方法。

它们提供了一种方式来协调和Web服务之间的交互的测序建模。

他们也说明UML活动图可以被转换成BPEL[1]或WorkSCo[3]。

然而,在这种方法中,方法的输入/输出和数据转换建模在notes（即评论）上的工作流,当组成流程变得复杂时会得到相当混乱的结果。

高春明等人也展示了[11]Web服务组合与一些流动性和时间约束模型非图形的方式。

为此，他们引进离散移动环境演算（DTMA），一个扩展名为手机的正式型号ambients演算[5]。

他们使用DTMA集中于建模BPEL的操作。

由于其非图形特性，语言如DTMA，不太人性化比的图形，如UML。

德卡斯特罗等提出了另一个Web服务组合建模方法6]。

在他们的工作,他们利用MIDAS的行为建模方法,模型驱动体系结构（MDA）框架[14]。

MIDAS是一个模型驱动的方法发展的网络信息系统”（感知）基于OMG提出的[2]MDA[21]。

他们在论文中通过UML活动图引入了Web服务组合。

然而，该模型没有详细尽可能必要允许代码生成作为BPEL。

也可以添加一些功能如数据转换和流控制机制。

在[12],Hamadi等人提出了基于Petri网[17]的代数组合Web服务。

Petri网是一个著名的流程建模技术。

使用这种基于Petri网的代数的优点是它允许验证的属性和不一致性的检测。

然而,Web服务需要使用代数表示构造被翻译成佩特里网表示,因此之前添加另一个必要的阶段。

从WSDL2.0和ws-bpel2.0[8]中提供了UML-S转换规则。

UML-S活动图验证和确认使用Petri网也有详细介绍。

3.WEB服务组合模型的要求

在本部分中，我们陈述一个好的WEB服务组合建模语言的要求。

首先，最好是延伸一个已存在的、著名的标准，如果它适于取代想出一种新的模式的话。

UML语言是事实上的行业标准。

因此，这是一个用于延长WEB服务组合建模的很好的选择。

此外，UML应用广泛，它的图形模型是易于理解的。

建模语言应该允许代表Web服务接口以及活力成分诱导。

UML类图特别适应代表接口。

此外,由于其强度来表示动态,UML活动图是一个优秀的候选人模型的Web服务组成。

一个好的建模语言，也可通过其简单性和其清晰度判断。

图形语言，例如UML，以人性化而著称。

最后，值得一提的是，复合Web服务简单地调用其他服务，使他们互动。

因此，相比通常的Web服务编程没有涉及很多的编程。

其结果是，复合Web服务的代码可以从高标准的图形模型如UML全部产生。

DesignandApplicationofCollaborativeLearningSystembasedonWebtoDatabaseExperimentTeaching

Abstract-ThecourseofSQLServerDatabaseDesignandManagementisanexperimentcoursethatcontributestocultivatetheexperimentabilityofstudents,whichisasupplytothedatabasetheoryteaching.Thecollaborativelearningisaneffectivemethodtoprogressthe