基于业务规则的信息系统建模方法研究

信息系统的开发需要对业务过程进行建模。论文提出一种从业务规则的角度对业务过程进行建模的方法。通过对业务规则的分析，讨论了将业务规则转化为建模构件的方法，研究了构件之间的关系——元模型，并给出了利用这些构件建立业务过程的规则模型的方法。最后给出了一个业务规则模型的实例。     

信号处理应用的可视化建模与模型转换实现

针对数据流驱动的信号处理应用的可视化建模与模型转换问题,采用通用建模工具GME建立信号处理应用的可视化建模环境,并设计模型解析器实现图形化模型到XML架构模型的转换。参照GME提供的信号处理应用元模型,引入了描述具体信号处理应用的属性特征,并扩展了建模元素,构建了面向信号处理应用的可视化建模环境。在GME的解析器开发框架下,采用元生成器方法完成模型解析器的创建,实现模型解析。应用实例测试结果表明,此方法可以完成对信号处理应用的可视化建模与模型转换,提高信号处理应用的开发效率。     

工作流元模型到SPEM的扩展与映射

为了提高软件开发效率、实现软件过程管理规范化,将工作流技术应用于软件开发过程,实现软件过程自动化管理。软件过程工程元模型(SPEM)是软件过程建模的基础,是一种通用的框架,适合不同类型的生命周期模型。根据软件过程的特点,扩展了工作流元模型,制定了SPEM和工作流元模型之间的映射规则,实现了这两种元模型之间的映射,以瀑布模型为例验证了具有软件过程特点的工作流元模型的有效性。通过工作流引擎解析映射后的工作流元模型,实现软件过程的自动化管理。     

面向嵌入式软件开发的UML到Simulink模型转换方法

模型驱动开发及其关键技术模型转换是近年来软件工程领域研究的热点。在嵌入式软件开发早期,不仅需要对设计模型进行静态分析,更需要对其进行动态仿真,验证系统设计的正确性。如何把设计模型和仿真模型无缝连接起来是工业部门亟待解决的问题。深入调研了UML和Simulink模型转换研究现状,详细分析了模型驱动开发中模型转换的相关技术,提出了一种UML到Simulink的模型转换方法,设计了UML元模型、Simulink元模型,撰写了UML元模型到Simulink元模型的映射规则。最后选取自动驾驶仪系统的飞行控制软件作为案例,验证了该方法的正确性。该方法能实现UML和Simulink两种异构模型同构化,提高嵌入式软件开发效率,丰富并且完善模型驱动开发,也为飞行控制系统、高速铁路控制、机载航电系统等嵌入式软件开发提供了技术支持。     

可视化工作流建模工具WorkFlowEditor设计与实现

针对企业业务过程建模的需求,分析目前典型的工作流过程建模方法,并结合工作流管理联盟提出的XPDL过程定义语言,设计一种可视化工作流建模工具Work Flow Editor。依据"问题分离"原则,对WFMC的工作流过程定义元模型进行了改进,使建立的模型具有易修改、元素可重用等特点。针对建模元素可扩展性的需求,通过定义建模元素类的通用接口和设计一种动态加载方案,在很好地方便企业用户定制建模元素的同时又不需要修改建模工具。针对多任务多分支环境下复杂的流程编辑问题,设计了一种有限状态机(FSM)模型,实现了复杂编辑动作的实时性处理和灵活控制,降低了时间复杂度,并且实现模块化编程,很好地实现了流程的建模。     

基于Matlab的模型驱动嵌入式应用开发方法

将嵌入式操作系统与系统建模仿真工具Matlab／Simulink／RTW相结合，实现了由Simulink模型自动生成DekaOS嵌入式代码的机制，由此实现了基于Matlab的模型驱动嵌入式应用开发方法，并通过实例验证此机制的实用性。最后指出这种方法的优点与可扩展性。     

支持CMMI的软件过程元模型的研究与实现

为解决软件组织在软件项目开发过程中难以实施CMMI(capability maturity model integration)过程改进的问题,基于模型驱动架构的思想和技术,提出了一种"裁剪+重型扩展+轻型扩展"的元模型建模策略.给出了该建模策略下的具体实施步骤和方法,实现了一种支持CMMI过程改进的软件过程元建模,同时给出了基于该元模型的建模实例.实验结果表明,该元模型有助于软件组织建立体现其组织特征并有效支持符合CMMI框架的软件过程用户模型.     

基于RTW技术的水电站励磁系统建模及仿真实现

Simulink作为MATLAB软件的交互式建模仿真环境,可以快捷地对复杂的动态系统进行建模、分析和仿真,除此之外,它实现了不必写代码即可完成整个系统的搭建工作,具备很强的灵活性.尽管如此,要使Simulink搭建的模型与其他应用程序集成方面却很不方便.而VC＋＋开发环境的特点注定了它与Simulink是优势互补的.以五强溪水电站的励磁控制系统为例,在Simulink环境中完成建模,然后运用Real_Time Workshop（RTW）代码自动转换技术,实现了Simulink模型到VC＋＋平台的移植,并从mat数据和录波曲线两方面验证了结果一致性.     

基于MDA的实时软件资源建模与模型转换的方法

模型驱动体系结构(MDA)是一种以模型为中心的软件开发框架,其本质是元建模与模型转换。提出了一种基于MDA的实时软件资源建模与模型转换的方法。首先通过元建模抽象出包含资源信息的MARTS元模型以及价格时间自动机的元模型;然后利用模型转换语言ATL对MARTS元模型和价格时间自动机元模型构造转换规则,通过将对应的实例模型进行相互转换,实现在MDA下MAR"I'E模型到价格时间自动机模型的转换;最后通过形式化工具UPPAAL对模型转换结果进行形式化验证。实例分析表明了该方法的可行性与有效性,它能够提高实时软件资源建模的可信性。     

UML可视化建模工具中模型一致性检查机制的研究与实现

采用统一建模语言UML进行系统建模的过程中,模型一致性的建立和维护是正确建模的必要前提。但单靠人工检查的方式来保证模型的正确性,不仅给开发人员造成很大负担,而且容易出现差错或遗漏。因此,在UML可视化建模工具中提供模型一致性自动检测和维护机制至关重要。本文对UML主要模型图之间的关系进行了分析,识别出这些图之间的一些基本的一致性规则;在此基础上,提出了UML可视化建模工具中模型一致性检查机制的实施框架,并对实现该框架的主要思路进行了详细介绍。     

基于SPEM的CMM软件过程元模型

软件企业在实施CMM(capability maturity modelfor software)的过程中面临最主要的障碍是如何将CMM 软件过程模型转换成可实施的、体现组织过程特征的CMM实施过程模型.可以利用模型驱动架构MDA来支持CMM模型转换,其首要问题是建立CMM软件过程元模型.通过分析CMM软件过程,给出了面向CMM的软件过程工程元模型SPEM的扩展策略,提出了一个基于SPEM的CMM软件过程元模型一-SPM-CMM.该元模型既支持CMM软件过程的抽象语法和规则语义,也支持利用UML CASE工具操作CMM软件过程模型.     

A collection operator for graph transformation

Algebraic graph transformation has a wellestablished theory and associated tools that can be used to perform model transformations. However, the lack of a construct to match and transform collections of similar subgraphs makes graph transformation complex or even impractical to use in a number of transformation cases. This is addressed in this paper, by defining a collection operator which is powerful, yet simple to model and understand. A rule can contain multiple collection operators, each with lower and upper bound cardinalities, and the collection operators can be nested. An associated matching process dynamically builds a collection free rule that enables us to reuse the existing graph transformation apparatus. We present model transformation examples from different modeling domains to illustrate the benefit of the approach.     

自顶向下的计算机辅助工业设计几何建模研究

基于通用设计理论,研究了自顶向下的计算机辅助工业设计几何建模过程,采用面向设计演进过程的元模型和面向工业设计方面各侧面的子模型作为组织几何建模过程的抽象层次,提出了基于有向图的层次化几何信息模型,实现了对设计历史及意图的记录、不同层次几何信息间的关联以及按照元模型和子模型组织的自顶向下的计算机辅助工业设计几何建模过程。     

Generic and reflective graph transformations for checking and enforcement of modeling guidelines

In the automotive industry, the model driven development of software, today considered as the standard paradigm, is generally based on the use of the tool MATLAB Simulink/Stateflow. To increase the quality, the reliability, and the efficiency of the models and the generated code, checking and elimination of detected guideline violations defined in huge catalogs has become an essential task in the development process. It represents such a tremendous amount of boring work that it must necessarily be automated. In the past we have shown that graph transformation tools like Fujaba/MOFLON allow for the specification of single modeling guidelines on a very high level of abstraction and that guideline checking tools can be generated from these specifications easily. Unfortunately, graph transformation languages do not offer appropriate concepts for reuse of specification fragments—a MUST, when we deal with hundreds of guidelines. As a consequence we present an extension of MOFLON that supports the definition of generic rewrite rules and combines them with the reflective programming mechanisms of Java and the model repository interface standard Java Metadata Interface (JMI).     

基于UML活动图的软件过程建模合理性问题的研究

x阐述了使用UML活动图进行软件过程建模需要解决的合理性检测问题。分析了使用活动图进行软件过程建模的原理,给出了软件过程模型的4种基本结构和一个过程模型实例。讨论了建模过程中需要考虑的合理性问题的3个方面,在此基础上提出了检验模型正确性和完整性的静态、动态和整体规则。     

发动机控制回路故障模型研究

以CFM56-5B涡扇发动机为研究对象,通过需求分析对发动机控制系统进行功能模块划分和控制回路外部接口关系的确定,提出了发动机控制回路仿真的基本建模原则,采用条件有向图理论和部件级建模的综合建模方法对发动机控制回路进行了建模分析.并采用MATLAB/Simulink对发动机控制回路的部件模型进行仿真,通过模拟器的调试验证,结果表明所建立的发动机控制回路故障模型符合模拟器仿真发动机控制系统的要求.     

Detecting logical relationships in mechanical,electrical, and plumbing (MEP) systems with BIM using graph matching

The increasingly complex design has gained difficulty in conducting the rule compliance checking for the Mechanical, Electrical and Plumbing (MEP) system in the design phase. Useful rule-checking systems could contribute to a quicker project delivery time. Currently, an efficient method for checking the logical relationship is still lacking. This study aims to propose an MEP rule checking framework using the subgraph matching technology. First, the MEP components in the BIM model are extracted by utilizing the application programming interface (API), and a graph database is established with point-based and curve-based instances being nodes and relationships, respectively. Second, the graph database is simplified to increase the speed of graph matching. Third, the rules, which regulate how the MEP components should be connected, are represented by a knowledge graph. Finally, rule checking is achieved by comparing the graph database against the knowledge graph, and the critical path in a sub-system is detected by calculating the betweenness centrality. A case study with a rail station is used to evaluate the approach where the overall model checking and rule checking are conducted on the original and simplified graph databases sequentially. The results show that the proposed approach could achieve the rule compliance checking at a high speed, and 6 unconnected instances along with 155 problematic pipe fittings have been found. Besides, the critical path for the selected ACS system is from the water-cooled chiller to the condenser water pump. The proposed framework could help in the overall model checking and rule checking process, improving the efficiency of BIM engineers. This research demonstrates that converting a BIM model into a graph database can benefit conventional BIM analysis methods by incorporating advanced technologies (e.g., artificial intelligence) to enable a more flexible and accurate MEP design process.     

SLDG: a metamodel for Simulink/Stateflow models and its applications

Simulink and Stateflow (SL/SF) models are being widely used to design and develop embedded systems. Often the SL/SF models of embedded controllers turn out to be large and consist of many subsystems and hierarchies. When such a system is maintained, it becomes difficult to manually analyse the model to identify the impacted elements due to the existence of several explicit and implicit dependencies among the model elements. To automate the analysis of an SL/SF model, we propose a metamodel to capture various types of dependencies existing across the basic blocks. We have named this metamodel Simulink dependency graph (SLDG). We investigate the use of SLDG in change impact visualization and regression test selection. We have developed a prototype tool by implementing our approach for the aforementioned applications.     

Incremental semantic analysis for OCL compilers

In software engineering, modeling with unified modeling language and object constraint language became industry standards and are supported by many computer-aided software engineering tools. The increasing number of the modeled functionalities results in complex models that need more and more textual constraints to express the hidden restrictions applied to the systems. During the metamodel development, rebuilding all the constraints is unnecessary when only a few changes have been applied due to the iterative, incremental manner of modifications. In this paper, we present a family of algorithms that handles the changes in constraints incrementally on the expression level; thus, the required rebuilds are kept to a minimum. Incremental variable reference resolving and type checking are performed as a part of the incremental semantic analysis. Balancing between the incremental and standard compilation is also considered, heuristics are given to select the faster method of compilation at each iteration. With the achieved results the duration of metamodel development can be decreased; thus, the efficiency of the environment is improved.