论文部分内容阅读
在过去二十年软件工程发展中起关键作用的因素之一是越来越强大和自然的高层抽象机制的发展,使得复杂系统能够被建模、分析和开发。近年来,agent技术被广泛认为代表了使数据抽象和操作抽象进一步统一的发展方向。面向agent的软件开发方法学的研究开始为人们所关注。本文提出以caste概念为中心的多agent系统建模方法CAMLE,包括一个建模过程、一种图形化建模语言和一个支持环境。 此建模方法基于形式化规约语言SLABS中定义的概念模型。建模过程包含一系列有序的迭代的步骤,引导设计者使用图形化建模语言通过在宏观层次和微观层次上分别分析信息系统的全局属性和系统中各agent的行为特性,有序地构造面向agent的软件模型。建模语言提供了通过三种视图描述软件模型的语言机制,用一组子模型分别从结构、协作和行为方面在不同抽象级别上刻画多agent系统。CAMLE模型的各个子模型构成层次结构,反映建模过程中对多agent系统进行的层次分解。为保证一个系统模型中多个视图间以及多个抽象层次间的一致性,CAMLE语言形式地定义了模型各视点之间的一致性约束条件,并实现了建模环境对模型的一致性检查功能。为了将图形化模型的直观易用与形式化规约的可分析验证的优点相结合,本文提出了从CAMLE图形化模型到SLABS形式化规约的自动转换规则和算法,并实现了建模环境的自动生成形式化规约的功能。 本文介绍CAMLE建模环境的设计与实现,并通过案例分析说明建模方法、语言和支持环境的应用。该环境的主要功能包括:模型的创建和编辑,从模型的已有视点自动生成其他视点下的部分模型;模型一致性的自动检查:从用户创建的图形化模型自动生成SLABS形式化规约。