基于HCPN的复杂BPMN协作模型数据流建模与验证

为了保证复杂BPMN协作模型的正确性,不仅要涵盖多实例和子进程等复杂元素,还要在检测控制流错误的同时检测数据流错误。但业务流程建模标注(BPMN 2.0)缺乏形式化语义的描述,这对模型正确性的验证造成了阻碍。因此,给出了一种具有弧权重的层次化着色Petri网(HCPN)的定义,它既可以对数据流进行形式化表示,又可以对多实例和子进程结构进行建模。进一步提出了从BPMN协作模型到HCPN模型的形式化映射方法。然后基于HCPN模型的弧权重给出了缺失、丢失和冗余3种数据流错误的定义,并提出了对应的检测算法。最后,设计了一个自动化建模与验证的框架,通过一个案例研究说明了该方法的有效性。

Letters of the Hebrew Alphabet:As Sound Notation

While Bronze Age Proto-Sinaic and Proto-Canaanite syllabic inscriptions were found engraved on fragments of pottery and stone,evidence of early alphabetic script was also inscribed in ink onto a massive parchment scroll,known as the Torah.Albeit the contours of those original characters transformed over time,it took the clairvoyant genius of Moses,and later the scribes of Ancient Israel,to configure and adapt ancient semitic prototypes into phonetic letters,producing the greatest literary document in the history of the world,the Bible.This article summarizes the acoustic properties of that alphabet,with further historical considerations.

基于i-BPMN业务架构的CPN可执行建模方法

BPMN (Business Process Model and Notation)已成为企业业务架构的主流框架标准。但由于其本身存在的局限性,对业务架构描述存在不足,且无法对业务架构的动态特性进行分析,因此,对于现有的基于TOGAF中ACF元模型提出一种完整覆盖业务架构的i-BPMN建模方法进行研究,建立i-BPMN中的四种模型场景过程模型、活动模型、规则模型以及数据实体模型与CPN (Colored Petri nets)的建模语言间映射关系,实现了架构模型组到可执行模型的转化,提出一种基于i-BPMN业务架构的CPN可执行模型五阶段建模方法,方法过程中采用CPN Tools工具对业务架构进行动态仿真分析。最后,以智慧课堂中“课堂小测”的i-BPMN业务架构为例,验证该方法的可行性和有效性。由于映射过程是一一映射的,为模型组到可执行模型的自动转换提供了技术支持｡.

古琴谱式的沿革与琴乐传承方式的衍变

古琴谱作为记录古琴演奏过程的重要载体,自唐人手抄卷子谱《碣石调·幽兰》开始,至20世纪上半叶出现的五线记谱法,历经千余年的稳态传承,形成“文字—减字—合参—线型”的发展脉络。不同历史时期的古琴谱式既有内在的关联,又有谱面上的差异。在挖掘谱式沿革与发展过程中的文化成因和内涵、辨析各类谱式变革得失的同时,亦可洞见蕴含在谱式沿革中的琴乐传承方式衍变。

谱式与观念:粤剧音乐文化变迁透视

谱式作为音乐表征,与音乐观念、传承制度、社会文化等因素相关联。粤剧历史上先后经历了从无谱的提纲戏到工尺谱、叮板谱、简谱改造工尺谱、简谱、五线谱的谱式变迁。记谱方式从骨干谱逐渐“进化”至“科学”的记谱法,而这个过程中粤剧也经历了演剧形态从提纲戏到剧本戏,创作主体从演员到导演,培养制度从科班到学院制的变迁历程。粤剧音乐朝着定型化发展,乐谱从作为备忘的“客体”上升为主导演员舞台表演的“主体”。粤剧功能也在与社会文化的互动中一变再变。但如今,虽然“科学”的简谱被粤剧粤曲年轻一代所推崇,“老叔父们”却仍然因习得的音乐观念而体会到工尺谱的优越性。

乐谱数字化技术之简谱制作技术研究

乐谱的数字化为音乐的传播、保护和传承开辟了新的路径,但简谱的数字化还面临一系列待解决的问题。文章就目前的简谱制作软件的制作技术进行了分析,并提出这些技术防范存在的问题,展望了未来制作技术的发展趋势。

从日本唐传乐谱看节奏节拍符号的演变

日本唐传乐谱虽经历“平安朝乐制改革”的整合、改编和再创造,但其节奏、节拍符号仍具有承前启后的历时性特点。其中:节奏符号承自唐代谱式,后趋于简化,最终与演奏法融为一体;节拍符号上承《敦煌乐谱》并被赋予鼓谱的含义,在当今活态音乐中演变为“板眼”。日本唐乐古谱上承唐代谱式,下衔西安鼓乐、福建南音等活态乐谱,其蕴含的内在逻辑与中国传统乐谱体系脉脉相通,对其符号的解读破译,能补充中国乐谱体系从燕乐半字谱到工尺谱演变进程中所缺失的环节。

基于BPMN2.0标准的电力系统业务流程管理平台

设计并实现了面向服务架构的流程管理平台。通过分析电力系统各业务应用之间流程的集成、集约化管理和流程闭环管理的需求,提出了针对电力集团企业的分布式流程管理平台的总体架构,介绍了该平台的关键组件,包括流程设计器、流程客户端、流程引擎、流程管理控制台以及流程统计与分析等,以两级审批流程为例说明了基于该平台的流程交互过程。该平台支持BPMN2.0标准,提供面向各业务的流程集成及流程的集约化管理,支持流程的全生命周期管理。

基于BPMN的Web服务并发交互机制

如何抽象描述复杂业务流程的交互是服务计算研究的重要问题。大量的国内外研究虽然关注业务流程建模,但却忽略了建模过程中组件之间的并发交互描述和实现。针对Web服务并发交互,提出一种基于BPMN的Web服务并发交互的形式化模型。首先,采用BPMN描述业务流程中的并发交互模式;其次,将BPMN并发交互模式映射到Orc语言;最后,Web服务实例表明,所提方法可有效支持Web服务并发交互抽象建模。

基于BPMN的数控机床能耗多源动态特性建模及应用

针对数控机床能量源多、能量消耗动态变化复杂的特点,提出了一种基于业务流程模型和符号(Business process model and notation,BPMN)的数控机床多源动态能耗建模方法。依据数控机床不同子系统的功率特性,将其划分为时变能耗单元和非时变能耗单元,分析了其工作状态及耦合关系对数控机床能耗的影响;基于BPMN2.0规范,构建了能耗单元工作状态BPMN流程模型和BPMN耦合模型,提出了能耗单元工作状态能耗数据及耦合关系时序数据与BPMN模型的数据集成方法,构建了数控机床能耗多源动态特性模型。以某数控铣床加工过程为例验证了所述模型及方法的有效性。

基于BPMN的业务流程一体化建模方法

为了给业务分析员提供一种简单易懂、直接支持计算机仿真和执行的可视化业务流程建模方法,提出了业务流程一体化建模概念及方法。该方法以业务分析员为本,用业务流程建模符号可视化描述业务流程,用非结构化方式存储业务流程;基于元素语义细分设计理念,完善了业务流程建模符号规范图形元素的显示语义,引入非图形元素Node,以明确业务流程执行语义,设计了描述业务流程模型的元模型结构及计算机仿真与执行机制。通过实际研发业务流程管理系统,验证了该方法的可行性。

YAWL与BPMN的双向映射研究

对高级建模语言YAWL及BPMN进行了研究。提出BPMN与YAWL语言之间的双向映射算法。转换可使得建模时对不同高级语言各取所长,减少重复开发的费用。算法的最终实现已以插件嵌入到进程挖掘开发平台ProM6.0中。

YAWL到BPMN的映射研究

针对YAWL语言目前存在较多OR逻辑二义性的情况,提出将YAWL转换成BPMN语言.转换不仅可以解决YAWL在多实例、同步和取消等模式表达上存在的不足,转换后更为简洁的BPMN模型也有利于进一步性质分析.算法的最终实现已嵌入到最新的ProM5.2平台中.

基于扩展Petri网模型的BPMN形式化

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的执行结果。

基于BPMN的作战视图辅助设计方法

体系结构设计在C4ISR系统开发中越来越受到重视。由于目前体系结构设计主要是依据DOD体系结构框架,体系结构产品是框架最基本的表现形式,因此,体系结构产品设计是体系结构设计中的一个关键问题。在深入研究BPM N的基础上,提出了基于BPM N的作战视图辅助设计方法,建立了企业过程图与作战视图产品OV 5、OV 6的转换关系。

基于BPMN的变电站辅助监控应急预案模型研究

该文阐述了变电站智能化发展要求及辅助综合监控系统发展现状,指出变电站应急预案存在的问题,针对存在问题,设计了一种基于BPMN2.0建模语言标准的应急预案模型设计方法,通过对事件、业务活动、网关等抽象组件建模,构建了一套完整、标准统一的应急预案管理流程。以流程图生成的标准格式XML建模文件为数据基础,设计了预案制定、预案知识库构建、预案启动、逻辑推理及专家决策等各个模块的逻辑处理流程,并采用"信息组团"形式界面展示火灾告警事故操控预案及组态执行案例。该系统目前运行稳定,为变电站安全运行提供了安全保障措施。

BPMN 2.0编排的形式语义和分析

BPMN 2.0编排已成为描述业务流程间交互事实上的标准.BPMN 2.0编排面向流的特征,使之会产生控制流方面的语义错误.因此,检查编排语义正确性是BPMN 2.0编排建模工具所期望具有的功能.但是,BPMN 2.0标准规约中的编排缺少形式语义及相应的分析技术,这阻碍了对BPMN 2.0编排的语义分析.提出了一种映射,用于将BPMN 2.0编排转换为工作流网,使用Petri网来形式化定义BPMN 2.0编排的语义.借助Petri网的分析技术,这种定义的语义可用来分析BPMN 2.0编排的结构和控制流方面的错误.该映射和语义分析已被实现为一种工具.实验结果表明,这种形式化可以识别BPM AI过程模型库中编排的语义错误.

基于ROAD的租车订购系统业务流程建模

基于业务架构为中心的企业架构开发思路,采用开放组架构框架(TOGAF)业务架构ACF元模型的划分,提出了一种ROAD架构迭代建模方法。针对目前ROAD元架构中业务活动模型采用IDEF0的活动模型导致的面向场景业务能力的不足,文中通过使用BPMN模型来覆盖IDEF0的活动建模,避免在描述复杂的业务过程时可能存在的局限性,并且更好地捕捉和表示所有的细节和关系,不会使得模型过于抽象。从而实现面向场景的系统建模和管理,提高业务架构设计的效率和精度。最后,文章中以旅游出行租车订购系统为例的方法,采用ROAD元架构方法建立场景化业务架构模型组,并对其进行讨论和改进,为现有架构体系提供一种面向场景的扩展思路。

基于BPMN的高速公路建设项目管理系统设计与实现

为有效解决现代公路建设项目管理过程中出现的问题,设计基于BPMN的高速公路建设项目管理系统,采用信息化的手段实现公路建设项目的监控和管理。首先对高速公路建设项目管理系统的需求进行分析,之后实现高速公路管理流程的优化,使用BPMN创建流程模型,根据功能需求及流程模型设计高速公路建设项目管理系统的架构、数据库及服务建模,最后实现高速公路建设项目管理系统的开发,展现系统中的主要功能。该系统能够规范高速公路建设项目的管理与监督,有效提高项目管理质量及效率,降低项目建设成本,可为我国高速公路建设项目管理系统的创建提供有益参考。

基于BPMN和本体推理的跑道入侵危险识别

跑道入侵的危险识别是控制跑道入侵发生率的重要研究基础。通过应用业务流程建模与标注,对跑道入侵发生场景进行业务流程建模;在此基础上应用HAZOP方法对跑道入侵发生场景进行危险分析。建立HAZOP节点分析本体,构建概念间的TBOX描述逻辑关系并推理;此方法的案例应用表明,综合BPMN、HAZOP和本体的危险识别方法能够更好分析系统内复杂交互行为所带来的危险,并实现HAZOP分析的标准化,是一种比传统HAZOP分析更为有效的方法。