【摘 要】
：
由图形化流程建模语言生成可执行的业务流程语言（business process execution language,简称BPEL）时,对于源模型中顺序与并发结构交织的情况（称为交叠模式）,传统的复制相关活动方
【机 构】
：
西安电子科技大学计算理论与技术研究所,西安电子科技大学ISN国家重点实验室
论文部分内容阅读
由图形化流程建模语言生成可执行的业务流程语言（business process execution language,简称BPEL）时,对于源模型中顺序与并发结构交织的情况（称为交叠模式）,传统的复制相关活动方法缺少系统分析及形式化描述.针对这一现状,提出基于工作流网的UML活动图生成BPEL方法,以自由选择工作流网作为活动图的理论基础,利用活的、有界的自由选择网系统的合成规则,定义合理的自由选择工作流网中的两种交叠模式,针对其中一种给出复制相关活动的形式化转换方法,并借助Petri网的并发正则表达式证明
其他文献
2015年—2017年,笔者在临床上遇到2例犬骨母细胞型骨肉瘤。2例骨肉瘤分别发生在桡骨和肱骨,并在后期出现肺转移,发生恶变。临床特征包括患部肿胀、变硬,随病程延长患部扩大;X
每个人都有一个色彩斑斓的童年。有的童年像身披绿衣的大山，它的一草一木都有着美好的回忆；有的童年像个一望无际的天空，每颗星星都是一件开心的往事；我的童年却像一片蓝色的汪洋
主要结合C程序设计题的评分规则,提出了自动评分方案。自动评分方案包括静态评分方案和动态评分方案,主要解决的问题是C程序设计题自动评分方案的结果的客观性,并通过数据验
着火了 满厂里的人没有人喊叫，没有人 拔打１１９电话。只见一名男青年伸手 扯下挂在厂门边的一根红白两截的 短根，迅速绕厂一周，见红色棍头朝 上的工人们纷纷抄起身边的灭火 器。水桶
由除法与分数的定义,商的存在性与唯一性,及除法与分数的关系,除数或分母为零,给出了除数或分母可以为零,但为了中小学生的认知,在中小学规定除数或分母暂时不为零,并指出教
基于物体可视化的需求,提出了在重建过程中模型的定位、投影、堆栈操作以及人机交互等问题的实现,主要用到了OpenGL中的相关函数,分析了各种函数的使用方法和实际意义,实验结果证明借助OpenGL函数可以完成物体的重建,效果较好。
首先对两个正态总体的贝叶斯判别中样品判别优劣的评价进行了研究,然后又将其推广到多个正态总体的情况。提出了待判域的概念,用以鉴别误判损失没有统计学意义的样品;提出了
抽象矩阵行列式的计算问题,没有统一的方法,所用的工具也比较闲散,结合实例介绍了应用行列式的性质,利用行列式的计算工具,利用相似对角化以及利用矩阵的特征值来计算抽象矩
将模糊控制方法与滑模控制方法相结合，针对燃气流量调节伺服系统设计一种基于模糊切换增益调节的滑模控制器，固冲发动机流量调节伺服控制系统的不确定部分通过滑模控制器来补偿