BDL模型到UML状态图的可视化方法研究

来源 :2014全国理论计算机科学学术年会 | 被引量 : 0次 | 上传用户：tekken1981

【摘要】

：

针对复杂软件系统需求模型难以理解的问题,提出了一种UML状态图描述需求模型的可视化方法.该方法基于行为描述语言(Behavior Description Language,BDL)构建的需求模型,通过定义映射规则,将BDL模型中的行为、行为间关系与UML状态图中的迁移关联;将行为执行后产生的状态与UML状态图中状态关联.然后根据转换算法自动提取各结点信息,输出完整的状态图,实现BDL需求模型的可视

【作者】

：

马丽毋国庆黄勃程铭

【机构】

：

平顶山学院软件学院河南平顶山 467000;武汉大学计算机学院湖北武汉 430072 武汉大学

【出处】

：

2014全国理论计算机科学学术年会

【发表日期】

：

2014年9期

【关键词】

：

计算机软件行为描述语言统一建模语言状态图映射规则需求模型

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

L(2,1)-labeling of flower snark and related graphs

An L(2,1)-labeling of a graph G is an assignment of nonnegative integers to the vertices of G such that adjacent vertices get numbers at least two apart,and vertices at distance two get distinct numbe

会议

L(21)-labelingL(21)-labeling numberFlower snark

Unbalanced Graph Partitioning

We investigate the unbalanced cut problems.A cut (A;B) is called unbalanced if the size of its smaller side is at most k (called k-size) or exactly k (called Ek-size),where k is an input parameter.An

会议

Secure Store of User Authentication Tokens in Multi-Cloud Storage System

To solve the security problems in single-cloud storage,multi-cloud storage system has been put forward in some literatures.However,when using multi-cloud,a user needs to be authenticated by different

会议

Cloud storage securityUser authenticationKerberos protocolToken management

Research on the coding strategies for synonym substitution-based steganography

It is crucial for synonym substitution-based steganographic algorithms to choose a suitable coding strategy for high embedding capacity.In this paper,three existing coding strategies are discussed in

会议

Coding strategySynonym substitutionSteganographyEmbedding capacity

From image registration to shape correspondence:new solution for preprocessing CT and MRI of human k

Three-dimensional image registration of CT and MRI of human knees facilitates the construction of high-quality models providing the features of both modalities.This multi-modal image registration prob

会议

Image registrationShape correspondencePreprocessing

Multi-Objective Optimization of K in K-anonymity Model

K-anonymity privacy model is a typical model to protect privacy when disseminating data involving individual subjects.The drawback of k-anonymity is that generalization will result in considerable los

会议

k-anonymitymulti-objectivedata qualityprivacy requirementoptimization

Feature Selection Method Based on Category Correlation and Discernible Sets

Feature selection method is very important for text categorization.In this paper,several classic feature selection methods are analyzed and their defficiencies are summarized firstly,and then a new fe

会议

Feature SelectionCategory CorrelationRough setDiscernible SetAttribute Reduc

Rigid body sampling for rigid-fluid coupling in SPH

In the rigid-fluid coupling scenarios,rigid body sampling plays an important role on the authenticity of the simulation.The sampling method usually used is not uniform,and the effect is not ideal.This

会议

Smoothed Particles HydrodynamicsSPHrigid body samplingrigid-fluid coupling

Vicinity Enhanced Social Group-based Routing for Opportunistic Networks

Mobile devices in Opportunistic Networks are used and carried by people,whose social behaviors and characteristics can greatly improve the routing performance.However,most routing protocols resort mer

会议

routingrelay selectionvicinitysocial group-basedopportunistic networks

A New Bound for the Path Cover Problem

We consider the path cover problem which is to find a set of vertex-disjoint paths for a simple undirectedgraph with maximum number of edges to cover all vertices of this graph.The path cover problem

会议

approximation algorithmupper boundpath cover

BDL模型到UML状态图的可视化方法研究

其他学术论文