论文部分内容阅读
针对基于Petri网的Web服务组合形式化建模,给出了Web服务网的正确性定义和可达图的构造算法。采用可达图作为分析工具,对Web服务网的可达性、有界性、安全性和活性等特性进行分析,给出验证Web服务组合正确性的方法,并举例说明了这种方法的应用。
基于可达图的Web服务组合验证
【摘 要】
：
针对基于Petri网的Web服务组合形式化建模,给出了Web服务网的正确性定义和可达图的构造算法。采用可达图作为分析工具,对Web服务网的可达性、有界性、安全性和活性等特性进行分析,给出验证Web服务组合正确性的方法,并举例说明了这种方法的应用。
【机 构】
：
东华大学计算机科学与技术学院,上海市软中信息技术有限公司
【出 处】
：
计算机应用与软件
【发表日期】
：
2009年09期
其他文献
想要写个好剧本并不是一件容易的事。所以，干百年积攒下来的和每年蓬勃新生的小说，成了电影创作最丰富的矿藏。我们看过的很多经典电影，都改编自小说。名著也好，畅销书也好，网络小说也好，他们都在以文字或影像的方式打动着我们。也正因为写好一个剧本不容易，作为更大众化的艺术形式，电影也在寻求着更多的可能性，从拥有庞大粉丝基础的漫画、游戏和舞台剧里，找到一个个动人的故事。 漫画改编成电影是最近十年最热的话题。
爱，是人世间一个永恒的主题，爱使人与人之间多了一份理解和宽容。师爱无疆，正是这份沉甸甸的师爱，凝聚了一股巨大的力量，这份力量帮助教师做学生的贴心人，这份力量成为教育的“润滑
“你的微博名字是什么？”“你转我的微博了吗？”“这条微博太搞笑了，快来围观!”继手机短信和QQ，微博已成为时下最受中学生欢迎的交流方式。不论是记录生活，还是八卦、娱乐、吐槽，
无线传感器网络定位问题本质上是一个基于不同的距离或路径测量方法的优化问题。第一次提出了基于遗传模拟退火算法的无线传感器网络定位算法GASA-Hop,它是将遗传模拟退火算法作为DV-Hop的后期优化。其中,DV-Hop用来估计未知节点与锚节点的测量距离,GASA用来最小化与DV-Hop相关的适应度函数。仿真结果表明,本算法定位精度高、条件简单,比较适合无线传感器网络的节点定位。
当我们在进行体育教学时,是否想到千篇一律地使用相同的教材、相同的方法、相同的训练会抹杀孩子们的独特个性,使教学效果差强人意？带着对传统教学方式的疑问,笔者在实践过程
让我们想一想，身边的高科技事物是否都在逐渐变小？电脑从当年的巨型机器到现在的手提、笔记本；手机从当年的大哥大到现在的超薄、超小，甚至一块手表里也可以植入一部手机，还有一些
父亲是音乐发烧友。小时候他经常在钢琴旁大声地练声唱歌，楼下远远玩耍的我都能听得一清二楚。在上小学时，我开始上声乐课和钢琴课，小时候我并不明白音乐对我的意义，只是觉得它应该是很好玩的。新年时添置物件儿，父亲买了一对巨大的音箱，每当音浪从音箱中喷涌而出，地板都随着节奏一下下震动，从那时起，我就觉得音乐有种魔力。虽有噪音污染之嫌，我却也自然而然地习惯了这一切。父亲说，新的一年，要去热爱你的热爱。 音乐
伴随着基础教育课程改革的推进,课堂教学的重要性日益显现。怎样在课堂教学中实现学生为主体、教师为主导的理念与角色的转变,是一直困扰我们的问题。校领导创设了“三部九步
001 一直不敢相信的事情发生了，以至于我激动得又仰起头颅望向天。 感觉就像是经历了万般苦难后，捧起仅有的一寸阳光温暖我苍白无色的脸。原以为长期面对着乌云，我本尖锐的目光会逐渐颓废得不再强烈渴望阳光。但当阳光轻轻照进这长久被云雾笼罩的大山，当我再次触及到真实的温暖时，甜蜜却始终在我嘴里化不开。 002 我身处的这座大山，天空成年是黑色和灰色的，从没真正白亮过，云雾又多又厚，地理位置偏僻。除
随着教育改革的深入，农村小学教师的负担越来越重，面对的困扰越来越多，承受的压力也越来越大。本文作者对某小学的教师进行了问卷调查和访谈，结合对调查结果的分析，指出了小学教师