论文部分内容阅读
在基于标准模型驱动业务流程的开发环境中，需要把模型转换为代码。该文提出一种新的基于结构化定理的解决方法，把业务过程建模符号的非结构化程序转化为结构化程序，并通过一个实际案例说明其可行性。实验结果表明，该方法是有效的。
基于结构化定理的BPMN结构化方法
【摘 要】
：
在基于标准模型驱动业务流程的开发环境中，需要把模型转换为代码。该文提出一种新的基于结构化定理的解决方法，把业务过程建模符号的非结构化程序转化为结构化程序，并通过一个实
【机 构】
：
武汉大学软件工程国家重点实验室
【出 处】
：
计算机工程
【发表日期】
：
2009年7期
其他文献
<正> 名优绿茶以其香郁、味醇、色绿、形美四大优点而深受消费者的喜欢,也引起厂商的日益重视。名优绿茶在加工上与普通绿茶不同之处在于前者一般均采用摊放工序,如西湖龙井
渗透测试是常用的网络安全保障方法。该文细化现有渗透测试过程，针对传统渗透测试模型存在的不足提出一种基于有色Petri网的攻击测试网模型，用于模拟网络攻击并组织测试过程。
目的探讨硬膜外麻醉复合气管插管静吸全麻(全麻)对胸腔镜肺大疱切除术患者术后苏醒期躁动、疼痛和短期认知功能的影响。方法随机将72例择期行胸腔镜下肺大疱切除术的患者分为
近年来,在“以政府为主导的超常规发展机构投资者”思想的主导下,中国证券市场中的机构投资者发展迅速,在机构投资者队伍不断壮大的同时其组成结构也日趋多元化。虽然目前无
构建包括创新资源、创新环境、创新产出和创新成效四个方面的城市科技创新能力评价指标体系,采用层次分析法确定指标权重,运用城市创新能力综合评价模型测算京沪创新轴各城市
基于海绵城市理念,结合某工程实例,论述了城市排水工程的详细设计构思,给出了调蓄容积、年径流量控制率、径流污染削减率等指标的控制原则,通过设置调蓄水池、透水铺装、下沉
《西榴城》是冷梦2011年推出的一部长篇力作,尽管作者饱含深情地礼赞真善美,鞭挞假恶丑,但故事的发展却一步一步揭示出作者情感的复杂性,她希望生活在西榴城祖先曾经创建的那