论文部分内容阅读
提出了Web服务业务流程执行语言的CPN建模方法,描述了基于Web服务业务流程的工作流行为特性.在对BPEL4WS的基本活动和结构性活动进行分析的基础上,给出了利用CPN对流程进行建模的方法.然后结合具体实例阐述了利用该方法建模的详细过程,并对所生成的Petri网模型进行验证.
基于CPN的业务流程执行语言建模
【摘 要】
：
提出了Web服务业务流程执行语言的CPN建模方法,描述了基于Web服务业务流程的工作流行为特性.在对BPEL4WS的基本活动和结构性活动进行分析的基础上,给出了利用CPN对流程进行建
【机 构】
：
100084
【出 处】
：
微计算机信息
【发表日期】
：
2007年3期
【基金项目】
：
国家自然科学基金(60173012和90412012)
其他文献
2021年1月8日，国家药监局发布公告，决定自即日起停止酚酞片和酚酞含片在我国的生产、销售和使用，注销药品注册证书（药品批准文号）。主要原因是，酚酞片和酚酞含片存在严重不良反应，使用的风险大于获益。这个禁令如此严厉，以至于已经上市的酚酞片和酚酞含片，都要全部召回销毁。那么，究竟是怎样严重的不良反应以致酚酞需要撤市？撤市原因或是潜在致癌风险 酚酞，一种通便药，化学结构为苯并呋喃酮类。这种成分会在人
HSE管理,是当代企业内部结构优化调节的主要方法。为此,本文结合中国石油天然气股份有限公司华北化工销售山东分公司提供的资料,首先对HSE管理的概念和研究价值进行了阐述,其
电子见证服务是现代服务业体系中一个重要环节,为电子商务和网络应用提供安全和法律的保证。本文阐述了电子见证服务在电子商务应用中的必要性。研究影响见证服务安全几个因
化工工程项目的建设质量不仅影响着化工企业的经营效益和未来发展,也关系到企业资产和人员的安全。化工工程具有明显的复杂性特征,施工建设难度相对较大,在施工期间存在一定
大喜疯癫，以恐胜之 吴敬梓在《儒林外史》中写的范进中举，便是“喜极而疯”的典型例子。范进是一个穷书生，为了改变家里经常揭不开锅饿肚子的命运，他从20岁开始参加乡试，谁知连考20多次都是落榜，遭到街坊四邻以及自己老丈人胡屠戶的讥笑嘲讽。到他54岁那年又去应试，主考官周进看他须发花白、衣衫褴褛、面黄肌瘦的样子，顿生恻隐之心，将他录取。当范进看到自己高中的捷报，竟笑喊着“我中了”往门外飞跑，最后散着头
本文以USB2.0控制芯片CY7C68013为核心,采用DS18B20、MS5534和HF3223精密测量环境温度、气压和湿度,所采用的传感器均为数字式或准数字式,无需标定。采用直接读取暂存器的方法,温度示值分辨率细分到0.01℃;在51～84%RH范围内,湿度测量精度优于±3.4%RH;气压测量不确定度为±0.5mbar。系统具有便携和低功耗的特点,既可以独立工作,又可以通过USB端口与PC机相
采用嵌入式系统和GPRS通信技术相结合的方式,搭建了一个家庭管理平台。通过该平台,可以将安防系统有机的结合起来,实现对各个子系统的管理。通过短信和彩信方式,实现家居远程
目的:探究胸部X线透视检查在支气管异物诊断中的价值。方法:本研究采用回顾性分析方法,选取2017年3月—2020年3月在我院就诊的84例支气管异物患儿,所有患儿均经支气管镜检查
当前政府机构和大型企业组织对已有的孤立系统进行资源整合中,在信息集成上使用适合行业特点各种方法,本文通过分析现有的信息集成的方法,以及税务系统的信息集成的特点,结合
海洋石油工程建设项目表现出高技术、高风险以及高投入的突出特征,做好成本过程控制管理具有非常重要的意义。文章结合笔者实际工作研究,探讨了成本过程控制在海洋石油工程建