A method for modeling crosscutting concerns in the concurrent software system is presented based on the aspect-oriented（A-O） technique and the statechart of unified modeling language （UML）. Modeled with UML statechart diagrams, the primary system functions and corresponding traversal features are enveloped into various orthogonal regions of a composite state. The mutual relationships between orthogonal regions are implied by the orders of broadcast events. Using a modular transition system as a basic computational model, the formalization description of A-O statechart models is proposed. The precise semantics of model elements and modeling procedures is given. The example study indicates that the separation strategy of crosscutting concerns is implemented in the design phase of the concurrent software system with this method. Meanwhile, the software modeling method has advantages of loose coupling, adaptability and traceability.
智能化控制语言可控制仿真系统中的实体,使其表现出智能化行为。本文定义了一种智能化控制脚本语言ICSL(Intelligent Control Scripting Language),并实现了ICSL的解释器。ICSL支持基本的控制语句和核心对象,针对领域特征,对仿真领域的语义进行编码,并提供语义扩展机制,为控制策略的制定者提供一种灵活表达策略的手段。ICSL语言的解释器将智能化策略映射为仿真系统中实体的行为序列,实现了对仿真实体的智能化控制。最后,本文通过把ICSL语言用于战场仿真系统对其实用性进行了系统的实验研究,结果表明,基于ICSL语言定义的控制策略可以有效地映射到仿真系统中,从而完成对仿真实体的智能化控制。
