论文部分内容阅读
BPEL是一种广泛应用于支撑跨组织协同服务的组合标准。为分析BPEL语言构造业务过程的性能，基于广义随机Petri网，提出了一种BPEL模型，详细地刻画了BPEL的语法语义、活动的不同状态和执行机制，案例分析说明该模型可以有效支持服务组合定量分析。最后对未来工作进行了展望。
一种基于广义随机Petri网的BPEL建模
【摘 要】
：
BPEL是一种广泛应用于支撑跨组织协同服务的组合标准。为分析BPEL语言构造业务过程的性能，基于广义随机Petri网，提出了一种BPEL模型，详细地刻画了BPEL的语法语义、活动的不同状
【机 构】
：
南京航空航天大学计算机科学与技术学院,上海第二工业大学计算机与信息学院
【出 处】
：
南京师大学报：自然科学版
【发表日期】
：
2014年1期
【基金项目】
：
国家自然科学基金（61272036）、上海第二工业大学软件工程重点学科（XXKZD1301）.
其他文献
基于高频数据估计积分波动率时,一般假设测量时间和价格过程无关,但这个假设并不符合实际情况,本文在考虑噪音污染的影响下,为一般的受内生测量时间影响的实波动率建立了中心
畜禽腹泻是兽医临床上常见的一种多种原因造成的疾病，一直为国内外学者探讨的焦点，用于防治该病的兽药产品也数不胜数，但仍然不甚理想。本文以鸡、猪为试验对象，用资源丰富、成本
患者男，19岁，心脏听诊有杂音，超声心动图示：非标准左室长轴切面示二尖瓣呈左右对称的“八”字形开口（图1），舒张期红色血流束分别通过两个开口自左房流入左室（图2），并可于收缩期在一个开
羊梭菌性疾病是由梭状芽胞杆菌属中的微生物所致的一类疾病。包括羊快疫、羊肠毒血症、羊猝狙、黑疫、羔羊痢疾等。该病发病突然，病程短促，多为急性死亡，对养羊业为害极大。
患者女，27岁，停经77d，因阴道流血，伴右下腹隐痛1d入院。右下腹呈持续性钝痛，无反射痛，尿HCG（＋）。发病以来无发热、头痛，无腹泻，胃纳可，大小便正常。平素月经规律。经腹及经阴道超声检查：子
本文重点探讨MSCI与中国A股的相关问题,提出取消QFII和RQFII制度,改革创新市场基础制度,争取中国A股早日加入MSCI明晟新兴市场指数,推进我国资本市场国际化的若干政策建议。
胎儿唇腭裂是口腔颌部常见先天性畸形，居围产儿出生缺陷的第4位，发生率约0．18％。四维超声能清晰直观地显示胎儿面部结构，为胎儿面部畸形提供客观可靠的诊断依据。本组回顾性探讨应
乙型肝炎（简称乙肝）是严重危害人类健康的传染性疾病之一, 是我国的高发病和常见病, 母婴垂直传播是乙肝病毒感染的重要途径,是人群中大量乙肝病毒携带的重要原因.因而乙肝孕妇
卵巢过度刺激综合征（OHSS）为体内受孕辅助生育的主要并发症之一，多见于尿促性腺激素治疗期问，其临床表现为恶心、呕吐、腹部不适、体重增加、卵巢增大、胸腹腔积液、少尿、水电解