可视化过程建模语言VPML与PETRI网的等价性证明

VPML（Visual Process Modeling Language)是企事业过程建模系统EPMS（Enterprise Process Modeling System)所采用的可视化过程建模语言,适用于过程模型建造和过程模型模拟。VPML语言功能的强弱直接影响过程建模的能力,它是过程建模、过程优化和运作的基础。因此,VPML语义的正确性与完备性是得到可靠的过程模型的基本保证。以枚举法为基础,利用PETRI网描述VPML的所有语义,从而证明VPML语义的正确性与完备性,综合VPML语言易于掌握,PETRI网描述并发执行简单易行的优点,建立了二者之间的映射关系,加快系统建模过程,提高开发产品的可靠性。     

虚拟原型建模语言VPML

现有的模型描述语言难以满足基于虚拟原型的概念设计中产品模型描述的需求,基于扩充连接图思想,以基于虚拟原型的概念设计产品描述模型V－desModel为核心,提出了一种虚拟原型建模语言VPML,VPML是一种独立于领域与过程的面向机电产品概念设计的虚拟原型模型描述语言,具有较强的几何和行为建模能力,为多领域系统在概念设计阶段的协同设计、并行设计及联合仿真过程提供了一致的模型描述,VPML模型内嵌的虚拟特征生成算法,使得在概念设计阶段建立真实感很强的产品虚拟原型时设计信息不完备问题得到有效解决。     

基于OMS可视化系统建模语言VSML的研究与开发

ＶＳＭＬ是集成化系统工程环境中用来进行应用系统建模的可视化系统建模语言,它采用图并茂的方式能从系统的功能、行为,数据和机构等方位来准确描述应用系统。介绍其底层数据对象管理系统ＯＭＳ和ＶＳＭＬ设想思想,根据其设计思想介绍其于ＭＯＳ的ＶＳＭＬ语言的开发与实现方法。     

VPML—OOPN集成建模方法及其在企业中的应用

为了支持对企业业务流程进行建模和分析,辅助过程改进,该文提出了VPML—OOPN集成建模方法。该方法提供了模型描述和设计、模型分析和仿真,直至模型实现的一体化框架。最后,设计了旨在实现VPML—OOPN集成建模方法的系统平台。     

面向对象的统一建模语言UML

统一建模语言UML是一种基于面向对象方法学的规范可视化建模语言，本文就UML组成、特征和建模过程作了一个总体概述。     

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

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

统一建模语言UML

1前言统一建模语言UML(Unified Model:ng Lan-guage)是由RatLonal公司的知名专家Gray BOoeh、Ivar JaCobson和J:m Rumbaugh三人联合开发的第三代面向对象的建模语言。它采纳和扩展了Booch标记法、OMT标记法和OOSE标记法,并包容了其它学者和软件厂商的建议,现己提交给OMG,将成为标准化的面向对象建模语言。UML是一种宽谱语言.适用于所有的应用领域,如:实时系统、     

面向对象的标准建模语言UML

面向对象的标准建模语言ＵＭＬ,是当今软件工程领域中最具有意义的成果之一,它定义的一统一定义和符号表示可以规范面向对象技术市场,使项目源于一个成熟的标准模语言,从而拓宽了所研制与开发的软件系统的适用范围,并提高其灵活程度。本文就ＵＭＬ中的一些特征与技术作了一个总体概述。     

一个支持软件并行工程的过程建模语言

实施软件并行工程是缩短软件开发周期、加快软件开发速度的有效途径。文中讨论了软件并行工程对过程建模语言的要求,给出了一个支持软件并行工程的形式化过程建模语言ＳＤＤＭＬ和基于ＳＤＤＭＬ的过程建模方法。ＳＤＤＭＬ基于Ｐｅｔｒｉ网,具有面向对象的特征,可表示不同抽象级的过程模型,支持逐步求精的过程建模方法,为软件并行工程软件过程的控制、分析、评估和优化奠定了基础。     

建模语言及其研究进展初谈

1 引言建模语言的发展是随着计算机发展而发展的。在计算机发展的初期,程序设计被认为是一种技巧,那时所开发软件产品的部件不具有可重用性,难以维护及改进。这很不利于复杂的大型软件系统的开发。到了1980年代,DeMarco提出了基于模型的软件开发方法,他认为软件系统的开发与大型复杂的工程系统的开发相类似,在系统开发之前首先建立系统的书面工作模型。利用这些模型,使得有关人员在系统成型之前对其有明确的认识。这样可以大大提高软件开发的效率,增强软件的正确性、可靠性以及可重用性。目前,建模语言已成为软件工程的研究热点之一,同时已引起了许多学者的兴趣和一些公司的广泛重视,并研制了诸如UML、ROOM等一批在理论、实用等方面有重要价值的建模语言。实际工作者将这些建模语言及其提供的支持工具集应用于实践中,取得了相当的成功。在数十种建模语     

软件过程建模语言研究

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

可视化域间路由建模语言

提出一种可视化域间路由建模语言。该建模语言能够对大规模复杂自治系统内部域间路由的扩展结构、自治系统之间的关系以及域间路由策略进行可视化建模。可在不同层次上,从不同的角度对域间路由建立多种抽象粒度不同的模型,进而可使设计人员以及网络管理人员更好地理解大规模自治系统的结构和域间路由的行为特征。为高效地设计、实施以及管理自治系统的域间路由结构和路由策略配置,提供强有力的支持,也为域间路由管理的智能化、自动化打下了坚实的基础。     

一种可视化的知识管理建模语言

如何在浩瀚信息海洋中获取自己所需的知识,进而进行有效的管理并最终利用知识创造价值,是知识管理的重要目标。而如何构建良好的知识模型来存储和表达所需的知识,是知识创造价值过程的关键因素。该文正是针对这种需求,提出了可记录隐性知识的可视化知识建模语言(KnowledgeModelingLanguage,KML)。通过使用KML,人们可以将内在的知识记录转化为图形化的文档,从而得以展现知识的全貌,而知识的使用也变得更加直观和有效。     

一个软件过程可视化工具的设计与实现

文中介绍了一个软件过程模型可视化工具－项目活动管理器的设计与实现。基于ＰＣＬＡｇｅｎｄａ的软件过程模型，ＰＡＭｅｒ将软件开发过程可视化，从而方便人机交互 。     

VPML OOPN集成建模方法的设计与实现*

为了支持对企业业务流程进行建模和分析,辅助过程改进,提出了VPML-OOPN集成建模方法.该建模方法是利用可视化过程建模语言VPML建立企业过程模型,然后将该过程模型映射为面向对象Petri网模型.通过Petri网模型的分析和仿真,其结果可用于修正和改进模型设计.     

统一建模语言UML及其建模实例

以统一建模语言（Unified Modeling Language,UML)的九种图为重点，简要介绍了UML的基本概念、历史、内容及其应用；并通过对一个超级市场销售管理系统的实际建模，简要演示了应用UML建模的思路。     

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

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

PETRI网描述的VPML语义

企事业过程建模系统EPMS（Enterprise Process Modeling System）以可视化过程建模语言VPML（Visual Process Modeling Language）为基础,用于过程模型建造和过程模型模拟。VPML语义的正确性与完备性是得到可靠的过程模型的基本保证。文章以枚举法为基础,利用PETRI网描述VPML的所有语义,证明其语义的正确性与完备性。利用二者之间建立的映射关系,将VPML建立的模型转换为PETRI网描述,借助于PETRI网工具可进行系统性能分析,提高产品开发的可靠性。     

面向对象的软件工程与统一建模语言UML

通过评述软件工程的两个发展阶段 ,重点介绍了面向对象的开发方法。统一建模语言 UML是一种基于面向对象方法学的规范可视化建模语言 ,论文对其组成、特征和建模过程进行了描述。     

一种适用于UML语言的软件开发过程MFDP

本文概要介绍了一种适用于最新的面向对象可视化建模语言ＵＭＬ的软件开发过程ＭＦＤＰ的组织结构，剖析了ＭＦＤＰ的主要特点，研究了ＵＭＬ在ＭＦＤＰ各个阶段的应用。本文旨在将国外软件工程领域最新的研究成果引进到国内并推动代表软件开发技术发展主流方向的可视化建模语言ＵＭＬ在我国的推广和使用。