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服务组合进行推理和验证的.  相似文献   

职业教育类型化发展的内涵解析、逻辑生成与对策建构     

卢晓  吴全全  闫智勇 《教育与职业》2021,(1):21-29

类型化发展是职业教育发展的必然趋势.首先,从职业教育类型化发展的内涵解析来看,涵盖遵循多元智力理论的主体指向、适应人才多元需求的目标导向和秉持专业类属特征的路径定向三个方面.其次,从职业教育类型化发展的逻辑生成来看,既是促进职业教育发展的必由阶段,又是引领经济社会升级的必然选择,还是落实国家政策部署的必然要求.最后,从职业教育类型化发展的对策来看,可以基于工作过程系统化课程开发范式,以教育生态系统观,协调职业教育类型化发展的多元要素;以专业建设为核心,促进职业教育类型化发展的路径转向;以行动绩效为准绳,提升职业教育类型化发展的质量信度.  相似文献   

职业教育类型化发展的内涵解析、逻辑生成与对策建构     

卢晓  吴全全  闫智勇 《教育与职业》2021,(1):21-29

类型化发展是职业教育发展的必然趋势.首先,从职业教育类型化发展的内涵解析来看,涵盖遵循多元智力理论的主体指向、适应人才多元需求的目标导向和秉持专业类属特征的路径定向三个方面.其次,从职业教育类型化发展的逻辑生成来看,既是促进职业教育发展的必由阶段,又是引领经济社会升级的必然选择,还是落实国家政策部署的必然要求.最后,从职业教育类型化发展的对策来看,可以基于工作过程系统化课程开发范式,以教育生态系统观,协调职业教育类型化发展的多元要素;以专业建设为核心,促进职业教育类型化发展的路径转向;以行动绩效为准绳,提升职业教育类型化发展的质量信度.  相似文献   

职业教育“类型”确立的追问与行动策略     

张健 《职业教育研究》2021,(1)

随着《国家职业教育改革实施方案》对“职业教育与普通教育是两种不同教育类型,具有同等重要地位”的确认和肯定,职业教育进入了后类型化时代。这是职业教育发展过程中具有分水岭意义和值得载入史册的标志性事件。其意义是:肯定了职业教育类型建构的长期探求努力,确认了职业教育在国民教育结构体系中的独特地位,认同了职业教育不可替代的价值功能,赋予了职业教育自成一格的发展空间。职业教育“类型”的确认是有依据和条件的,即“类型”是体系化的类型,“类型”是特色化的类型,“类型”是保障性的类型。类型视野下我们需要确定职业教育发展新的行动策略:整合指导策略,特色行动策略,创新超越策略,示范创建策略。  相似文献   

论张恨水小说的人物形态     

焦玉莲 《太原大学》2000,(1):38-41

本从类型化人物，戏剧化人物，扁形，圆形人物的角度，分析了张恨水小说的总体人物形态，并进一步指出作在人物塑造上的得失成败。  相似文献   

行政诉讼类型化比较研究     

任燕妮 《华章》2007,(12):99-99

行政诉讼类型化是20世纪以来行政诉讼制度发展的共同趋势,本文阐述了行政诉讼类型化的内涵,介绍了有关国家行政诉讼类型的划分,并分析了我国行政诉讼类型化的现状,在此基础上,借鉴国外相关制度结合我国本土情况,提出构建我国行政诉讼类型化的建议.  相似文献   

近代小说主人公称谓变迁探略     

卢川 《厦门教育学院学报》2006,8(3):33-35

小说主人公称谓被普遍赋予特殊意义,是发生在近代的事情.近代小说中,主人公名字先后出现过“象征性称谓“、“类型化称谓“和“影射性称谓“三种类型.本文试图以这三种称谓作为突破口,从文学观念转变、作者创作意图和思想倾向变革等角度来探究这种现象的兴起及其意义.  相似文献   

格日勒其木格·黑鹤动物小说中的人物形象解读     

《集宁师专学报》2019,(5):10-14

格日勒其木格·黑鹤的动物小说中经常出现儿童、老人、盗猎者、"我"等一系列人物形象。研究发现这些人物形象在人与自然的关系中承担着相似或相同的功能,是功能型人物、类型化形象。这些人物形象既有对全人类的精神期盼,又有对逝去草原、游牧民族文明的缅怀,对人性的反思,以及对人与自然共生之路的探寻,具有鲜明的精神意蕴和指向性,承载寄托着作者对人类存在的向往、思考、表达等多重意蕴。  相似文献   

再论俄罗斯民间“魔幻童话”的结构及其语言特色     

杨可 《湖南师范大学社会科学学报》1996,(6)

“魔幻童话”是俄罗斯民间童话三大主要类型中最重要的一种。它区别于其它类型童话的根本特征就在于具有特殊的内部结构。本文简述了俄罗斯民间“魔幻童话”的结构特征，分析了构成这一特殊结构的语言特色，并阐述了两者之间的相互关系。童话作为民间创作的精华具有浓郁的民族气息，因此，本文在分析研究“魔幻童话”的结构及其语言特色的同时还涉及了一些有关的民族社会文化信息问题。  相似文献   

主旋律电影创作的多样化呈现     

贺剑 《济南职业学院学报》2020,(2):107-109

从新中国成立以来,我国主旋律电影创作呈现出多样化的趋势,特别是从2009年《建国大业》以来,到2019年国庆档《我和我的祖国》《中国机长》《攀登者》三部电影创下该档期票房历史新高,主旋律电影在坚持以重大题材、主流价值观为核心的同时,竭力探索以类型化叙事、以小见大的切入口、明星化主创阵容为主要特征的商业化运作。"主旋律电影"越来越好看,是影迷们的需要,也是新时代中国特色社会主义文艺创作对中国电影从业者提出的更高要求。  相似文献