论文部分内容阅读
利用Petri网对工作流模型进行分析与验证是目前行之有效的一种方法。该文应用工作流思想研究Web Services的复合问题,利用Petri网技术分析Web Services的调用过程,并对Web Services网进行形式化分析,给出Web Services复合群到工作流网的映射规则。
基于Petri网的复合Web Service构造与分析
【摘 要】
：
利用Petri网对工作流模型进行分析与验证是目前行之有效的一种方法。该文应用工作流思想研究Web Services的复合问题,利用Petri网技术分析Web Services的调用过程,并对Web Se
【机 构】
：
明达职业技术学院
【出 处】
：
电脑知识与技术
【发表日期】
：
2009年8X期
其他文献
我区农民养羊，完全依赖放牧，不补喂任何草料。在丰草季节勉强能满足其营养需要，进入枯草期后，能量、蛋白质、矿物质元素供给明显不足，不少山羊身体消瘦、抗病力低，有的甚至死亡。根
目的探讨贲门癌经腹切除的有关问题.方法通过对138例贲门癌经腹切除病例回顾性总结分析.结果全组无死亡、无吻合口漏、陕窄及胸腹部其它并发症发生.结论经腹手术具有创伤相对
患者： 男， 31岁， 下腹坠胀伴大便干结3年。于3年前无原因出现下腹部坠胀， 并伴有大便干结。无腹痛， 食欲减退明显。大便由每日一次延长到3日一次。体重明显下降。曾多次使用胃肠道
出现在瑞典卡岁琳医学院诺贝尔大厅大屏幕上的“中国面孔”，令国人振奋不已。北京时间10月5日17时30分，瑞典卡罗琳医学院在斯德哥尔摩宣布。将2015年诺贝尔生理学或医学奖授予
猪瘟是猪的一种最重要的传染病，常造成严重的经济损失。国际兽疫局（ＯＩＥ）的国际动物卫生法规中，将该病列入Ａ类１６种法定传染病之一。１病原、临床症状和诊断要点１．１病原根据最近的病毒分类，猪瘟
珍珠高粱是一种优质高产的珍稀高粱品种，九十年代从西欧引入我国，近年山西、河南、宁夏、陕西、安徽、湖南、云南、北京、山东等１５个省（市）已作试种示范，亩产籽粒约为７５０千克，高产田可突
该文介绍了一种智能式检测系统，该系统电子电路为基础，采用集成电路，可实现以下功能：当有人进出时，先有发射电路发射信号，接收电路接收信号，进出鉴别电路判别人是进还是出，由计数器进