论文部分内容阅读
通过集成Pi演算和Z语言两种形式化技术及其在Web服务组合中应用，对Web服务进行描述，Pi演算在描述Web服务具有相当的优势，但其在数据定义和操作描述方面有一定的不足．通过集成Z语言，利用其在数据类型的检测和定义，以及操作定义的精确性等优势，弥补了Pi演算在Web服务描述过程中的不足．
类型化Pi演算在Web服务组合中的应用
【摘 要】
：
通过集成Pi演算和Z语言两种形式化技术及其在Web服务组合中应用，对Web服务进行描述，Pi演算在描述Web服务具有相当的优势，但其在数据定义和操作描述方面有一定的不足．通过集成Z语
【机 构】
：
上海电机学院电子信息学院
【出 处】
：
上海工程技术大学学报
【发表日期】
：
2009年1期
其他文献
小丽不但人长得清纯亮丽,而且学习成绩优秀,是父母的掌上明珠;今年高中毕业,岂料上星期一高考体检,胸部透视发现左上肺内有一枚直径2厘米大小的类圆形阴影,性质待定。小丽平
“看金秋艳阳，欢迎七百三代表共聚香格里拉 为香飘四海，喜自四十五国家同商香料事业”今年的IFEAT国际精油和香料贸易协会大会于十月十八日至廿二日在上海隆重举行，大会的主题是
家庭用药要明了药品的有效期和失效期,否则对疾病的治疗是不利的。因为药品到达了失效期即不能再用了,否则会误大事。 什么叫药品的有效期和失效期 有些药品因为其理化性质稳
咳嗽是一种防御保护性反射活动,当呼吸道发生炎症,分泌过多,或呛入异物,吸入刺激性气体时,便迅速地引起咳嗽,将痰液或食物排出体外。咳嗽可由多种疾病引起,冬天常见的呼吸道
杨叔的儿子杨明在中学读书,聪明活泼,尤爱音乐,嗓音圆润、洪亮,被叔叔、阿姨们称为“小歌手”。近日一段时间,常见他愁眉苦脸,缄默不语,仿佛变了一个人似的。问题是出在他的
老年人随着年龄的增加,有些微量元素,如锌、钴、硒、铬、锰等在体内含量逐渐减少.势必影响机体各种酶的合成、蛋白质代谢等生理功能,甚至会引起某些病理反应。近年来,国内外
(三)有趣的是,德国古典唯心主义如康德、黑格尔等在强调主体之能动作用的同时,又都说到对上帝的信仰问题.那么,究竟哪一个更具有能动作用呢?或者“半斤八两”?这是同一个问题
学科的研究视角及理论框架，是学科发展的平台。本文立足于刑事科学之上，对刑事侦察学、犯罪学、刑法学、刑事诉讼法学等学科的研究视角、体系架构、理论层次等学科理论的最基本