【摘 要】
：
Web组件技术是一种解决Web服务再利用和扩展问题的方法。Object-Z是Z语言的面向对象补充,它们是基于一阶谓词逻辑和集合论的形式规格说明语言。用形式规格说明语言Object-Z对
【机 构】
：
上海大学计算机工程与科学学院,上海市计算机软件评测重点实验室
【基金项目】
：
国家自然科学基金项目(60970007);上海市科学技术委员会(10510704900);上海市重点学科建设项目(J50103)资助
论文部分内容阅读
Web组件技术是一种解决Web服务再利用和扩展问题的方法。Object-Z是Z语言的面向对象补充,它们是基于一阶谓词逻辑和集合论的形式规格说明语言。用形式规格说明语言Object-Z对Web组件建模,能够保证Web组件在异构平台、松散耦合、封装等特性下的一致性和精确性。以Web组件为研究对象,以Object-Z为形式规格说明语言建立模型,提出了Web组件及其组合的建模方法。该方法对包括接口、组件操作在内的Web组件静态行为进行了建模,定义了接口、消息的匹配方法。构造了基本组合结构的形式化框架,利用组件的逻
其他文献
报告一起急性硫酸二甲酯中毒事故的经过、临床特点、现场卫生学调查和处理等职业卫生监督过程.针对存在的问题进行分析,以期提高用人单位的职业卫生管理水平.
超窄线宽激光器(~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