【摘 要】
：
Web服务组合研究领域的一个重要的问题是如何形式化描述Web服务组合,如何验证服务组合的正确性。Web服务组合的形式化模型可以用来检查、验证Web服务组合以保证组合的正确性
【机 构】
：
山东经济学院计算机科学与技术学院,
论文部分内容阅读
Web服务组合研究领域的一个重要的问题是如何形式化描述Web服务组合,如何验证服务组合的正确性。Web服务组合的形式化模型可以用来检查、验证Web服务组合以保证组合的正确性。针对目前最主要的一种语义Web服务组合的规范WEB本体论语言(Ontology Web Langage-Semantic,简称OWL-S),给出基于Pi演算的形式化描述,定义了Pi演算和OWl-S之间的概念映射,并给出了OWl-S的基于Pi演算的形式化模型,最后通过一个案例给出了模型验证的方法。
An important issue in the field of Web service composition research is how to formally describe Web service composition and how to verify the correctness of service composition. The formal model of Web service composition can be used to check and verify Web service composition to ensure the correctness of the combination. A formalized description based on Pi calculus is given for the current specification Web Ontology Web Langage-Semantic (OWL-S), which defines the relationship between Pi-calculus and OWI-S The concept mapping of OWl-S is given and a Pi-calculus-based formal model of OWl-S is given. Finally, a method of model verification is given through a case study.
其他文献
Deep packet inspection(DPI)scans both packet headers and payloads to search for predefined signatures.As link rates and traffc volumes of Internet are constantl
教师文言文的教学模式和教学思想亟待转变，不能再用传统的模式开展文言文教学，需要与时俱进，因材施教，注重文言文教学的灵活性和学生主体性的发展，让学生主动积极的学习文言文。所以，我结合以往的实例和自身经验，探讨和研究了初中生文言文的学习策略，希望对初中生文言文的学习提供借鉴意义，对文言文教学产生参考价值。 一、巧妙设计导语，激发学习动力 导语的设计应该遵循趣味性、知识性的原则，不论是讲一个古老
“感悟式”教学作为一种新型的学习方式，改变了传统由教师的分析代替学生对文本理解、思考的阅读教学模式，要求学生在整体感知文本的基础上，结合自身的认知水平、知识储备、情感体验等要素对文本进行理解、思考、体悟。它真正体现了学生的主体地位，实现了课堂上的师生民主平等对话，有利于培养学生的自主、合作、探究能力，使语文阅读课堂更具诗意和生命力。 一、深入理解文本内容，感悟教学重点 高中语文教材体裁多样
拓展是指在围绕课本内容的基础上，适当的补充材料，达到扩大学生视野和加深文本理解的目标。在实践教学中很多教师往往存在诸多问题，基于此，笔者结合自身实践教学经验针对九年语文教学设计中拓展的实施展开探讨，进而形成合理的拓展策略，促进学生综合素质的提升。 1.拓展应守原则，围绕教育教学目标展开 苏教版九年级语文教学设计应该遵循以学生为主体、因材施教的原则，在该原则的基础上围绕教学目标开展。著名教育
当前，“导学案”作为一种新的课型已经悄然走进新课改的课堂。我们着力探究在语文课堂教学中使用“导学案”教学，以期提高学生学习语文的兴趣，充分发挥学生学习的自主性，进而提高语文教学的效率，真正实现高效课堂，更好地促进学生的发展。 一、“导学案”的内涵 “导学案”就是导学方案，主要是由教师主导编写完成，学习目标明确、重难点突出、难易程度适中，供学生学习使用的方案。它既反映学习结果，又体现学习过程
美国哈佛大学心理学家加德纳对智力持多元观点 ,如空间———知觉智能、身体———运动智能、音乐智能、人际交往智能、自我认知智能以及自然智能等。智力是由多种能力而非一
《湖北成人教育学院学报》(双月刊)是湖北省教育厅主管,长江职业学院主办的职业教育类学术期刊,国内统一刊号CN42-1578/G4,国际标准刊号ISSN 1673-3878。本刊立足于高等职业
自主学习就是学生根据学习内容的特点，选择自己擅长的学习方法，采用自己喜爱的学习形式，对学习任务的相关信息进行筛选和加工，并调动自己原有的知识储备，对接收到的信息进行重组或是分离，通过同化或是顺应处理，形成新的认知结构的过程。在这一过程中，学生成为课堂学习的主角;课堂成为以学生自主学习、合作探究的学习方式为主旋律的学堂。 然而课堂上教师退到后台成为配角以后，如何发挥自己的主导作用，并能及时有效地
目的检测乙肝患者血清中乙肝表面抗原大蛋白(Hepatitis B Virus Large Surface Protein,LHBs)、乙肝前S1、HBV-DNA,探讨LHBs用于乙肝患者临床诊断的意义。方法采用酶联免疫吸
我们正迈向一个崭新的大数据时代!让人憧憬也令人担忧,充满机遇也面临挑战。数据资源日趋丰富,数据应用层出不穷,数据产业空间无限,大数据技术不断创新,大数据产业体系逐渐成