一种软件过程建模语言SPML的设计

本文提出了一个具有丰富语义、灵活的、可扩展的、形式化的软件过程建模语言SPML。它提供了两个不同抽象层次的描述语言以满足不同用户的需求。高抽象层次的语言SPML／H能够较全面地描述软件过程,具有良好的易用性;低抽象层次的语言SPML／L可以描述规则等,适合描述软件过程的细节。SPML／H还能够被逐步地变换成SPML／L,保证了软件过程模型可以在一个共同的形式化基础上被分析和运作。最后通过一个实例说明过程建模语言的有效性。     

过程模型中批处理活动执行语义的研究

所有复杂的开发过程都需要过程模型来进行抽象的描述,因此定义了一个可视化过程建模语言VPML,并根据实际应用的需求增加了批处理活动。介绍了VPML的设计思想和基本的原语,详细定义了批处理活动,最后描述了VPML语言和批处理活动的执行语义。     

软件过程建模语言研究

本文介绍了软件过程建模的基本概念，提出了对软件过程建模语言的基本要求并简要介绍了几个有代表性的过程建模语言，给出了一个基于时序逻辑的形式化过程建模语言ＸＹＺ／ＰＭＥ，该语言是时序逻辑语言ＸＹＺ／Ｅ的子语言，它支持以角色为中心的逐步求精的过程建模方法，可在统一的形式框架内表示不同抽象级的过程模型．软件过程，软件过程建模，过程建模语言，时序逻辑，程序设计语言．     

基于网络的计算机等级考试系统的UML建模

文中通过统一建模语言(UML)描述网络考试系统的建模过程,并对其进行需求分析、总体设计和详细设计。以题库制作模块为例建立了系统用户模型、静态模型和动态模型的各种视图和规范化文档,描述了系统的功能需求、功能流程、类的结构与关系、对象之间的交互。最终采用面向对象语言实现计算机等级考试系统。使用这种方法对系统进行建模,优化了开发过程,并有利于提高系统的稳定性、可维护性和可重用性。     

基于网络的计算机等级考试系统的UML建模

文中通过统一建模语言（UML）描述网络考试系统的建模过程，并对其进行需求分析、总体设计和详细设计。以题库制作模块为例建立了系统用户模型、静态模型和动态模型的各种视图和规范化文档，描述了系统的功能需求、功能流程、类的结构与关系、对象之间的交互。最终采用面向对象语言实现计算机等级考试系统。使用这种方法对系统进行建模，优化了开发过程，并有利于提高系统的稳定性、可维护性和可重用性。     

基于过程模型的工作流执行语义研究

针对现有工作流建模语言难以兼顾语言的可理解性、执行语义的形式化和描述维度的单一性等问题,提出利用可视化的过程模型作为工作流建模语言。过程模型能从过程、数据、资源、组织等多个角度描述企事业的业务工作流程。根据过程模型的语法和工作流系统的特点,定义形式化执行语义,为过程模型的分析、验证和执行提供理论依据。     

化工过程模拟类库的设计标准计与方法

将面向对象思想应用于化工过程模拟领域,提出了为重用而系统地建立了化工过程模拟类库的思想。文中给出了化工过程模拟类库应具有的基本特征（设计标准）,即正确性、一致性、扩展性和重用性。结合过程模拟的概念的应用,介绍了类库开发中采用的具体类、抽象类和层次类等典型类结构。另外,对类库设计中进行的域分析和类抽象作了详细说明。类抽象是类库重用的保证,域分析是类抽象的基础。     

一种基于模板的过程定义语言的探讨与研究

首先介绍了工作流和XML过程定义语言（XPDL）,并提出了XPDL在实际使用过程中的不足之处。对XPDL进行了一定的改进,提出一种基于模板的过程定义语言,包括对该语言的元模型的介绍、该语言如何在XPDL的基础上将流程数据和业务数据相分离,从而实现可重用性和可扩展性。最后,利用该语言实现了一个进行过程定义的工具。     

分布式仿真环境下虚拟试验对象建模技术研究及应用

根据分布式环境下虚拟试验的特点,提出一种面向试验对象的建模方法,采用虚拟试验对象建模语言(VTML)完成建模任务;作为试验资源应用中相互通信的"公共语言",VTML语言能够准确定义试验场景中的各种对象,实现了试验资源应用的语义互操作,将传统的面向对象的分布式系统和基于发布-订购的系统功能结合起来,兼有两种机制的长处,为用户提供了强大的编程抽象,同时消除发布订购系统中编程人员要明确存储接收数据的繁琐任务;经实际应用表明,VTML能够帮助模型开发人员完成虚拟试验场景中的建模任务,有效实现试验场景资源内部的可操作性、可重用性、可组合性。     

UML在医学影像考试系统建模中的应用

统一建模语言UML是一种标准的、功能强大的建模语言。在介绍UML的基础上,讨论在医学影像在线考试系统的建模过程中,使用Rational Rose工具作为UML的建模环境,并使用UML语言实现系统建模的方法和步骤,给出考试系统的用例模型、静态模型和动态模型。通过该方法的应用,增强系统的可靠性、可重用性和可维护性。     

一种形式化的组件化软件过程建模方法

为了解决当前软件过程重用方法中存在的问题,特别是由于缺乏对软件过程组件及其操作法则的精确定义所带来的重用中的低效率问题,介绍了一种形式化的组件化软件过程建模方法(componentized software process modeling,简称CSPM).CSPM提供了形式化定义可重用软件过程的机制,并且给出了将过程组件组合成过程模型的一系列操作法则.利用CSPM方法,能够以严格的方式对软件过程组件进行重用,并且有效地避免了传统非形式化建模方法中因歧义而有可能引起的潜在错误.CSPM还可以将对组装后的软件过程模型针对某些特定性质的验证问题转化成对其对应组件的一系列子验证问题,从而通过指数地减少需要搜索的状态空间规模,将原来在某些特定环境下不实用的验证问题简化成验证代价较小的一系列问题.     

面向工艺设计过程的知识管理的研究

工艺知识有很多种类和表达方法,而本体可以为知识共享和重用提供手段。提出了工艺知识本体的三个层次,明确了与工艺知识有关的概念和术语的层次关系,从而形成工艺知识的整体视野。举例说明了工艺知识中领域概念的提取及其在知识库中的使用,论述了工艺知识查询时本体发挥的作用,从本体建模元语的角度分析,利用知识本体的概念相似度进行语义检索,并结合机床的例子说明其在工艺知识管理中的应用。为了提高知识利用效率,明确了面向工艺设计过程的各种工艺知识需求。最后介绍了基于本体的工艺知识管理系统的框架以及原型系统的开发方法,并进行了初步应用验证。     

一种基于模型精化的业务流程开发方法

如何高效组织建模过程和提高业务流程的重用效率是现代业务流程建模和再造过程中亟待解决的问题。传统的业务流程建模方法面向角色组织建模人员、面向单一实例组织流程制品,无法有效组织多人协作、降低流程重用成本。讨论了基于模型精化的流程建模方法,该方法基于流程模型的抽象级别组织建模人员和流程制品。研究还设计实现了使用该方法进行流程开发的分布式业务流程开发平台DMRB-BPMA,用于帮助企业规范和优化建模过程,通过内置的任务分发和流程合并机制有效地组织建模人员进行协作,指导其高效完成业务流程制品的重用。     

敏捷软件过程的研究

敏捷软件过程可能成为最适应软件开发全球化，个性化，快速化，高质量新格局的先进开发模式，它能够帮助软件企业快速响应市场赢得竞争，针对这一趋势，系统分析软件开发的敏捷性需求，总结出敏捷软件过程的5种典型特征，如并行，轻载，基于时间，正好策略，基于组件等，然后设计了FLEX语言，从3个不同抽象导 上形式化定义了敏捷软件过程的功能模型，合作模型，资源模型和产品模型，基于过程模型，同时提出了9种静态分析和动态模拟技术，支持软件过程面向敏捷性的优化。     

VPML过程模型到面向对象Petri网模型的映射

为了支持对企业业务流程进行建模和分析,辅助过程改进,文章提出了用VPML语言建立过程模型.然后将该过程模型映射为面向对象Petri网模型,通过对Petri网模型的定性分析和模拟仿真,其结果可用于修正和改进模型设计.     

Modeling languages for business processes and business rules: A representational analysis

Process modeling and rule modeling languages are both used to document organizational policies and procedures. To date, their synergies and overlap are under-researched. Understanding the relationship between the two modeling types would allow organizations to maximize synergies, avoid content duplication, and thus reduce their overall modeling effort. In this paper, we use the Bunge–Wand–Weber (BWW) representation theory to compare the representation capabilities of process and rule modeling languages. We perform a representational analysis of four rule modeling specifications: The Simple Rule Markup Language (SRML), the Semantic Web Rules Language (SWRL), the Production Rule Representation (PRR), and the Semantics of Business Vocabulary and Business Rules (SBVR) specification. We compare their BWW representation capabilities with those of four popular conceptual process modeling languages. In our analysis, we focus on the aspects of maximum ontological completeness and minimum ontological overlap. The outcome of this study shows that no single language is internally complete with respect to the BWW representation model. We also show that a combination of two languages, in particular SRML and BPMN, appears to be better suited for combined process and rule modeling than any of these modeling languages used independently.     

TML: a description language for Markov chain usage models

Finite-state Markov chains have proven useful as a model to characterize a population of uses of a software system. This paper presents a language (TML) for describing these models in a manner that supports development, reuse, and automated testing. TML provides a simple representation of usage models, while formalizing modeling techniques already in use informally.     

BPMNt: A BPMN extension for specifying software process tailoring

ContextAlthough SPEM 2.0 has great potential for software process modeling, it does not provide concepts or formalisms for precise modeling of process behavior. Indeed, SPEM fails to address process simulation, execution, monitoring and analysis, which are important activities in process management. On the other hand, BPMN 2.0 is a widely used notation to model business processes that has associated tools and techniques to facilitate the aforementioned process management activities. Using BPMN to model software development processes can leverage BPMN’s infrastructure to improve the quality of these processes. However, BPMN lacks an important feature to model software processes: a mechanism to represent process tailoring.ObjectiveThis paper proposes BPMNt, a conservative extension to BPMN that aims at creating a tailoring representation mechanism similar to the one found in SPEM 2.0.MethodWe have used the BPMN 2.0 extensibility mechanism to include the representation of specific tailoring relationships namely suppression, local contribution, and local replacement, which establish links between process elements (such as in the case of SPEM). Moreover, this paper also presents some rules to ensure the consistency of BPMN models when using tailoring relationships.ResultsIn order to evaluate our proposal we have implemented a tool to support the BPMNt approach and have applied it for representing real process adaptations in the context of an academic management system development project. Results of this study showed that the approach and its support tool can successfully be used to adapt BPMN-based software processes in real scenarios.ConclusionWe have proposed an approach to enable reuse and adaptation of BPMN-based software process models as well as derivation traceability between models through tailoring relationships. We believe that bringing such capabilities into BPMN will open new perspectives to software process management.