With direct expression of individual application domain patterns and ideas,domain-specific modeling language（DSML） is more and more frequently used to build models instead of using a combination of one or more gener...With direct expression of individual application domain patterns and ideas,domain-specific modeling language（DSML） is more and more frequently used to build models instead of using a combination of one or more general constructs.Based on the profile mechanism of unified modeling language（UML） 2.2,a kind of DSML is presented to model simulation testing systems of avionic software（STSAS）.To define the syntax,semantics and notions of the DSML,the domain model of the STSAS from which we generalize the domain concepts and relationships among these concepts is given,and then,the domain model is mapped into a UML meta-model,named UML-STSAS profile.Assuming a flight control system（FCS） as system under test（SUT）,we design the relevant STSAS.The results indicate that extending UML to the simulation testing domain can effectively and precisely model STSAS.展开更多
Aspect oriented software development is an emerging paradigm of software development. The notion of this technique is separation of concerns which means to implement each concern in a single object in object oriented ...Aspect oriented software development is an emerging paradigm of software development. The notion of this technique is separation of concerns which means to implement each concern in a single object in object oriented programming but still there are concerns which are distributed on different objects and are called crosscutting concerns while another form is Core concerns are the core functionality provided by the system but crosscutting concerns are the concerns like logging, performance etc. Modeling of aspect oriented software is different from the normal modeling of object-oriented or procedural language software, because aspects don’t have the independent identity or existence and they are tightly coupled to their woven context so it is difficult to model them. The one aim of our research paper is to explore the domain of Modeling of the aspect-oriented software. The goal of this research paper is to give a UML Behavioral modeling techniques in the domain of aspect oriented software development. This technique of generating UML Behavioral Model for aspects will give better understating of separations concerns.展开更多
随着AOP技术的日渐成熟,面向方面建模(AOM)已成为当前研究的热点。AOM利用建模语言为系统进行基于AO的分析和表示,允许开发人员在系统开发与设计的初始阶段就将问题分解为核心组件与横切组件,并将横切关注点模块化独立的aspect,这可使...随着AOP技术的日渐成熟,面向方面建模(AOM)已成为当前研究的热点。AOM利用建模语言为系统进行基于AO的分析和表示,允许开发人员在系统开发与设计的初始阶段就将问题分解为核心组件与横切组件,并将横切关注点模块化独立的aspect,这可使系统结构更加清晰,为下一个阶段的代码生成、系统维护带来便利和保障。本文利用UML的可扩展性,提出了一种基于AspectJ语法概念,通过扩展UML元模型元素来支持AO建模的方法。谊方法利用UML自身的扩展机制(版类、标签值和约束),对class、association等元模型元素进行扩充,分别表达AspectJ系统模型中的aspect、pointcut等概念。最后利用Rational Rose CASE工具包对该方法进行了验证,并通过编制的脚本为模型中的aspect生成了AspectJ语法格式的代码框架。展开更多
为了统一描述军事电子信息系统(command control communication computers intelligence surveil-lance and reconnaissance,C4ISR)系统功能和效能两方面的需求,提出了一种基于统一建模语言/对象约束语言(unified modeling language/obj...为了统一描述军事电子信息系统(command control communication computers intelligence surveil-lance and reconnaissance,C4ISR)系统功能和效能两方面的需求,提出了一种基于统一建模语言/对象约束语言(unified modeling language/object constraint language,UML/OCL)的C4ISR效能概念建模和形式化验证方法。首先,利用效能相关概念扩展了DoDAF 2.0能力元模型,构建一个能够同时引导C4ISR能力的功能分析和效能分析的元模型;将该元模型描述为UML Profile,形成一种基于UML的C4ISR效能概念建模语言,并支持C4ISR效能概念模型检验;最后借助一个假想案例分析说明了该建模语言对C4ISR能力的功能和效能概念建模及模型验证的能力。该方法可弥补UML建模技术在特定领域效能分析方面的不足。展开更多
基金Aeronautical Science Foundation of China (20095551025)
文摘With direct expression of individual application domain patterns and ideas,domain-specific modeling language（DSML） is more and more frequently used to build models instead of using a combination of one or more general constructs.Based on the profile mechanism of unified modeling language（UML） 2.2,a kind of DSML is presented to model simulation testing systems of avionic software（STSAS）.To define the syntax,semantics and notions of the DSML,the domain model of the STSAS from which we generalize the domain concepts and relationships among these concepts is given,and then,the domain model is mapped into a UML meta-model,named UML-STSAS profile.Assuming a flight control system（FCS） as system under test（SUT）,we design the relevant STSAS.The results indicate that extending UML to the simulation testing domain can effectively and precisely model STSAS.
文摘Aspect oriented software development is an emerging paradigm of software development. The notion of this technique is separation of concerns which means to implement each concern in a single object in object oriented programming but still there are concerns which are distributed on different objects and are called crosscutting concerns while another form is Core concerns are the core functionality provided by the system but crosscutting concerns are the concerns like logging, performance etc. Modeling of aspect oriented software is different from the normal modeling of object-oriented or procedural language software, because aspects don’t have the independent identity or existence and they are tightly coupled to their woven context so it is difficult to model them. The one aim of our research paper is to explore the domain of Modeling of the aspect-oriented software. The goal of this research paper is to give a UML Behavioral modeling techniques in the domain of aspect oriented software development. This technique of generating UML Behavioral Model for aspects will give better understating of separations concerns.
文摘随着AOP技术的日渐成熟,面向方面建模(AOM)已成为当前研究的热点。AOM利用建模语言为系统进行基于AO的分析和表示,允许开发人员在系统开发与设计的初始阶段就将问题分解为核心组件与横切组件,并将横切关注点模块化独立的aspect,这可使系统结构更加清晰,为下一个阶段的代码生成、系统维护带来便利和保障。本文利用UML的可扩展性,提出了一种基于AspectJ语法概念,通过扩展UML元模型元素来支持AO建模的方法。谊方法利用UML自身的扩展机制(版类、标签值和约束),对class、association等元模型元素进行扩充,分别表达AspectJ系统模型中的aspect、pointcut等概念。最后利用Rational Rose CASE工具包对该方法进行了验证,并通过编制的脚本为模型中的aspect生成了AspectJ语法格式的代码框架。
文摘为了统一描述军事电子信息系统(command control communication computers intelligence surveil-lance and reconnaissance,C4ISR)系统功能和效能两方面的需求,提出了一种基于统一建模语言/对象约束语言(unified modeling language/object constraint language,UML/OCL)的C4ISR效能概念建模和形式化验证方法。首先,利用效能相关概念扩展了DoDAF 2.0能力元模型,构建一个能够同时引导C4ISR能力的功能分析和效能分析的元模型;将该元模型描述为UML Profile,形成一种基于UML的C4ISR效能概念建模语言,并支持C4ISR效能概念模型检验;最后借助一个假想案例分析说明了该建模语言对C4ISR能力的功能和效能概念建模及模型验证的能力。该方法可弥补UML建模技术在特定领域效能分析方面的不足。
