共查询到10条相似文献,搜索用时 15 毫秒
1.
何雪锋 《电脑编程技巧与维护》2018,(8):106-107,135
软件建模是把现实世界的需求抽象成概念模型,软件编码是把概念模型转变成能够运行的代码,在建模阶段,针对传统的UML即统一建模语言对信息系统业务流程的建模,无法严谨地定义和模拟信息系统的业务流程,不能保证流程本身的正确性和一致性等问题.以物流订单流程为例,研究BPMN表达业务流程及与形式化语言之间的转换,用形式化描述语言Pi演算描述和验证BPMN已描述的信息系统业务流程,通过JPDL直接定义出已通过Pi演算验证的订单流程,并应用于工作流引擎JBPM中,从而保证应用系统业务流程的正确性. 相似文献
2.
如何抽象描述复杂业务流程的交互是服务计算研究的重要问题。大量的国内外研究虽然关注业务流程建模,但却忽略了建模过程中组件之间的并发交互描述和实现。针对Web服务并发交互,提出一种基于BPMN的Web服务并发交互的形式化模型。首先,采用BPMN描述业务流程中的并发交互模式;其次,将BPMN并发交互模式映射到Orc语言;最后,Web服务实例表明,所提方法可有效支持Web服务并发交互抽象建模。 相似文献
3.
4.
由于BPEL语言的XML表示十分冗长以及没有形式化的分析技术,其抽象级别不适合用于业务流程分析和设计.而业务流程分析师和设计者更容易接受高级别的抽象模式,例如BPMN(Business Process Modeling Notation).很多建模工具支持BPMN,但是到目前为止没有系统可直接执行BPMN模型.因此,需... 相似文献
5.
BPMN(Business Process Modeling Notation)作为一个在系统开发早期阶段获取业务过程模型的标准,指导系统的设计和开发,其模型的正确性是影响软件开发质量的关键。鉴于BPMN模型的形式化可以验证模型的正确性,提出了一种利用扩展Petri网模型,应用模型驱动技术实现BPMN模型形式化自动执行的方法。该方法通过细化Petri网模型中的Transition和Place元素以及增加Organization Identifier和Group Identifier容器,使其不但能够描述BPMN模型中的动态行为,而且还能描述BPMN模型中的动态行为协作和静态组织结构。从元模型结构、语法和图标记方面详细分析了扩展的Petri网模型元素,利用模型驱动开发技术设计BPMN模型元素至扩展的Petri网模型元素的转换规则,并在Eclipse平台上使用ATL模型转换语言执行映射,实现形式化的自动执行。最后在此基础上应用Travel Agency系统演示了模型形式化插件BPMN2ExtendPetrinets的执行结果。 相似文献
6.
从BPMN到可执行业务流程建模 总被引:1,自引:0,他引:1
传统的可视化业务流程模型通常都无法直接转换成可执行的流程,而利用业务流程建模符号(BPMN)建立的业务流程模型可以直接映射到业务流程执行语言(BPEL4WS),在业务流程执行引擎中直接运行,提高了从业务流程建模到执行的效率。介绍了BPMN的基本符号及其与BPEL4WS的映射关系,给出了利用BPMN建模一个第三方物流运作流程并实现的案例。 相似文献
7.
8.
9.
BPMN是软件开发领域中较为常用的描述业务流程的建模标准.在包含业务流程可变性的软件产品线中,基于BPMN的业务流程模板可支持针对领域需求的业务流程描述,并且能够高效地生成面向特定应用需求的业务流程实例.然而,领域需求与业务流程模板之间往往存在不一致情况.针对该问题,提出一种面向领域需求与业务流程一致性的模型检测方法,该方法使用变数线性时态逻辑(FLT[L)描述领域需求,同时使用状态进程公式(FSP)描述BPMN实例,在持续的迭代过程中使用自动化模型检测工具发现领域需求与业务流程之间的不一致,并将其反馈给相关人员实施修正. 相似文献
10.
介绍了用BPMN设计整合Web Service,并产生Web Service描述语言(WSDL)形式的可执行规范语言,以及利用WSDL可以转换成业务流程管理标识(BPMN)的方法,动态地将已存在的Web Service通过BPMN图形化建模方法进行整合.鉴于BPMN的图形化设计,可以选择喜欢的可执行语言来实现该整合方案,主要采用与BPMN密切关联的Web Service语言--面向服务的业务流程可执行语言(BPEL4WS). 相似文献