基于Object-Z的Web组件形式化建模

来源 :计算机科学 | 被引量 : 0次 | 上传用户:hades173053
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Web组件技术是一种解决Web服务再利用和扩展问题的方法。Object-Z是Z语言的面向对象补充,它们是基于一阶谓词逻辑和集合论的形式规格说明语言。用形式规格说明语言Object-Z对Web组件建模,能够保证Web组件在异构平台、松散耦合、封装等特性下的一致性和精确性。以Web组件为研究对象,以Object-Z为形式规格说明语言建立模型,提出了Web组件及其组合的建模方法。该方法对包括接口、组件操作在内的Web组件静态行为进行了建模,定义了接口、消息的匹配方法。构造了基本组合结构的形式化框架,利用组件的逻
其他文献
报告了我国慢性铍病81例追踪观察的结果,总患病率1.32%,潜伏期2.8-38年;病程最长者已33年,至今死亡7年,存活者74例,其中52例已奶休,21例从事轻工作,绝大部分病人现状良好或尚可。
<正> 白居易(公元772—846年),字乐天,晚年自号香山居士,祖籍太原,后迁居下邽(今陕西渭南县)。其父白季庚曾任彭城(今江苏徐州)令。早年家境贫寒,他29岁考中进士,授秘书省校书郎,随后历任唐地方县尉、州刺史等职。其间因得罪权贵被贬为江州司马。文宗即位后,迁升为刑部侍郎;经牛李党争,会昌初,担任过刑部尚书。 白居易生活的70多年间,标志着李唐王朝盛衰转折的“安史之乱”所引起的一系列社会矛盾,依然摧残着社会生产的发展。土地兼并日趋严重,藩镇割据战争此起彼伏,边疆少数民族也
期刊
对同时接触沿烟与噪声的某钢铁厂82名男性炼铁炉前工进行听力测试,当噪声强度一样时,铅烟吸入加重了接噪工人的损伤,且随着体内铅负荷的增高,工人听阈位移更为明显。提示铅与噪声对
为配合ILO/WHO全球消除矽肺的国际规划和突出强调一级预防的基础原则,WHO职业卫生处发起了一项名为“预防与控制信息交流——一粉尘控制”的计划.其长期目标是借助于必要的人类
报告一起急性硫酸二甲酯中毒事故的经过、临床特点、现场卫生学调查和处理等职业卫生监督过程.针对存在的问题进行分析,以期提高用人单位的职业卫生管理水平.
超窄线宽激光器(~kHz)在高精度光纤传感、远程相干光通信、高精度光学精密计量和高分辨率雷达成像等技术领域具有十分重要而广泛的应用。光源的线宽直接影响着传感系统的性能
采用LiNi0.8Co0.1Mn0.1O2正极材料,研究了SP 与KS-6复合,以及SP、CNTs、KS-6三种导电剂按一定比例复合对其全电池电化学性能和内阻的影响。结果表明:添加KS-6能与SP 互补协同
人生步入老年,因各种器管功能及代偿逐渐衰退,机体机能下降,耐受性降低,因而对用药物的敏感性发生变化,发病率也随之上升,药物不良反应发生率增高.据国家药品监督管理局不良
期刊
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield