基于MAS系统的动态web服务组合形式化建模研究   总被引：1，自引：0，他引：1  

徐东红  刘勇  候迪  沈林峰  杜小智  王苏震 《东南大学学报》2008,24(3)

动态服务组合是解决SOA和SOC的重要方案之一.针对动态服务组合的实现,把MAS技术应用到服务组合中.首先对MAS和web服务组合的本质进行分析,讨论了MAS和web服务组合的关系.其次,构建了基于MAS的web服务组合框架,命名为CSMWC,并用Jade实现了该框架.此框架初步实现了语法级别的动态服务组合,并为语义级别的动态服务组合打下基础.为说明构建框架的正确性,应用pi演算对构建的MAS体系结构进行形式化描述,同时对web服务组合中重要的性质如动态性、适应性进行了推理.最后给出了应用基于pi演算的验证工具Pi4SOA进行验证的过程.  相似文献   

Web服务组合规范WS-CDL的类型化形式化模型     

辜希武  李瑞轩  卢正鼎 《东南大学学报》2008,24(3)

为了形式化地推理和验证web服务编排规范WS-CDL所描述的web服务组合,提出了一个WS-CDL规范的类型化形式化模型——typed abstract WS-CDL.在typed abstract WS-CDL中,定义了类型和会话的语法、类型判定规则和操作语义;web服务间的协作由会话来描述;利用会话的操作语义能对web服务编排的执行进行推理;利用类型判定规则能检查web服务间交换信息类型一致性并捕获由于类型不一致导致的运行时错误.特别地提出了类型假设集的外延和类型假设集相容性的概念,并定义了类型假设集的合并算法以消除类型假设冲突.在该模型基础上,还定义了从choreography到orchestration的类型化映射规则,通过这组规则,可以从一个给定的web服务choreography得到orchestration桩代码及其类型假设集,因而web服务组合能在choreography和orchestration层被验证.提出的模型被证明具有类型安全性,并且通过一个案例分析说明了所提出的模型是有助于对web服务组合进行推理和验证的.  相似文献   

使用NWA对组合web服务进行可达性分析     

杜旭涛  邢春晓  周立柱 《东南大学学报》2008,24(3)

为了提高组合web服务的设计和实现质量,使用形式化方法对其进行建模并对其关键性质进行验证.使用web服务接口控制流自动机（WCFA）对web服务进行建模,主要描述其控制流及与其他web服务的交互关系.组合web服务由一组交互的WCFA组成.使用嵌套字自动机（NWA）对组合web服务的整体行为进行建模.将一组WCFA转换为嵌套字自动机（NWA）的算法是深度优先搜索算法的变种,算法中使用路径相关的可达性分析计算NWA的每个节点的状态公式和调用栈.安全性相关性质、调用栈相关性质及服务调用的前置和后置条件都可以用断言来描述,然后使用一个自动的可满足性（SAT）求解工具对这些断言进行验证.  相似文献   

利用语义约束实现用户个性化的服务组合算法   总被引：1，自引：1，他引：0  

史斌  王海洋  崔立真  史玉良 《东南大学学报》2008,24(3):365-368

为了提高服务组合的质量和效率,提出了一种基于语义约束的服务组合算法.算法中,首先利用2层语义匹配算法对用户需求和服务库中的服务进行比较,利用用户约束性个性化需求对符合匹配的服务进行筛选,从而在第一时间缩小了服务组合算法执行过程中服务的搜索空间,然后对候选的服务组合组件进行用户趋向性个性化需求计算,选择其中最符合用户个性化需求的服务构成最终的服务组合.通过仿真实验证明,该算法有效提高了服务组合算法的运行效率,并且保证了用户的个性化需求得到最大满足.  相似文献   

从写作教材看句群写作的操练形式     

陈萍  刘娟娟 《云南师范大学学报(教育科学版)》2008,(2):44-49

文章通过10篇具有代表性的对外汉语写作教材分析,既肯定了部分教材逐渐用句群写作练习代替命题写作的练习、将句群写作训练与阅读和口语技能培养相结合的可喜进步,也客观地指出了一些教材对某些句群衔接手段还没有予以重视,并对句群写作的教学原则和具体操练形式进行了进一步的探索,认为在写作课中应该使句群写作的形式更加丰富。  相似文献   

The developmental influence of sex composition in preschool classrooms: Boys fare worse in preschool classrooms with more boys     

Arlen C. Moller  Emma Forbes-Jones  A. Dirk Hightower  Ron Friedman 《Early childhood research quarterly》2008

A multilevel modeling approach was employed to investigate the relation between sex composition and developmental change in 70 urban preschool classrooms. The research represents a unique contribution as (1) few studies have examined the influence of sex composition during the preschool years, (2) it represents the first research to use a continuous (i.e., sex ratio) as opposed to binary (i.e., mixed- versus single-sex) indicator for classroom sex composition, and (3) the sample represents an important and often neglected group (i.e., low-income children from urban schools). A series of HLM models were run, addressing the nested nature of the data (children within classrooms), and relating classroom sex composition to developmental change using the cognitive, motor, and social subscales from the Child Observation Record (COR). Overall, there were no main effects at the classroom-level for sex composition. However, a cross-level interaction indicated that, while girls’ development was not influenced by classroom sex composition, boys in classrooms with proportionally more boys fared significantly worse in terms of development as assessed by combined score on the COR. More specifically, this interaction was significant when predicting the COR cognitive subscale, but nonsignificant when predicting the COR social and motor subscales. This was true when controlling for the number of students at the classroom-level, as well as child's age and baseline ability (i.e., Time 1 COR) at the child-level. Implications for early childhood education policy are discussed.  相似文献   

贴近生活领悟生活——试谈作文教学导向     

李海涛 《安顺学院学报》2004,(1)

作文能力是语文能力的综合体现,生活给学生提供了取之不尽用之不竭的创作源泉。然而,在应试教育的高压之下,学生远离生活,缺乏对生活的领悟,没有自己的思想与灵魂的套路作文是时下作文教学的最大弊端。扭转这种状况的关键在于革新作文教学理念,打破封闭的课堂教学模式,引导学生做生活的主人,生动而深刻地领悟生活。  相似文献   

大学英语写作中错误分析及教学对策     

刘莹 《鞍山师范学院学报》2008,10(5)

写作向来被认为是大学生英语学习过程中比较薄弱的一个环节,而写作能力又通常被确定为衡量学习者语言综合运用能力的一项重要指标。本文运用错误分析理论并结合实证调查与研究,试图对大学生英语写作中出现的典型错误进行归类与分析,探究错误根源,并进一步探讨教师在大学英语写作教学中应如何有针对性地制定教学策略来帮助学生纠正错误。  相似文献   

中药党参的研究概况   总被引：4，自引：0，他引：4  

陈克克 《西安文理学院学报》2008,11(2):33-39

党参为我国传统名贵中药材,主要含有萜类、糖和糖苷类、甾体类、黄酮类、挥发油、生物碱等成分,并具有抗衰老、抗氧化、抗疲劳、抗肿瘤、增强免疫力等功能,综述了党参的研究近况,主要包括其本草考证、化学组成和药理作用三个方面,以为进一步开发利用党参资源提供科学依据。  相似文献   

常熟市专利申请和专利授权状况之评估分析     

周俊  张国平 《常熟理工学院学报》2008,22(7):41-45

根据《苏州统计年鉴）（2001-2007）的统计资料以及常熟市科技局于2006年开展的知识产权调查结果,采用线性回归和聚类分析等多种统计方法,从横向和纵向维度评估了常熟市的专利申请特别是专利授权在苏州地区的相对地住及其动态演化,探究了214家样本企业的专利授权在1988-2005年期间的动态变化、集中程度及其行为特征,分别依据专利结构和专利授权量的动态特征对相关企业进行了归类。  相似文献