1) formal framework
形式化建模框架
1.
Based on the research of grid architecture and main agent-oriented software modeling methods, this thesis proposes a new modeling method for agent-oriented analysis and design based on OGSA architecture, FFAOG (formal framework for Agent-Oriented design based on Grid), aiming to establish a new distributed system based on Grid.
首先,由于OGSA以服务为中心,所有的网格服务都基于一组统一的核心接口实现,有利于灵活、一致、动态的共享机制实现,所以文章提出以OGSA为应用背景,面向Agent抽象机制的分布式软件系统结构;其次,在传统Agent定义的基础上,结合网格软件形态的一些特征和OGSA结构的以服务为核心的基本思想,本文对Agent概念重新定义,并引入网格Agent(GridAgent)和Agent服务等新的抽象概念,为网格环境下软件的分析和设计建模提供概念抽象机制;然后,基于网格环境,扩展i*木框架,UML和Object-Z,提出了面向Agent的形式化建模框架,为建模方法中各种概念和元模型提供了精确无二义性的定义。
2) Graphical Modeling Framework
图形建模框架
3) integrated modelling framework
一体化建模框架
4) modeling framework
建模框架
1.
Integrated enterprise modeling framework for the informatization total solution;
面向信息化整体解决方案的集成化企业建模框架
2.
A General Modeling Framework of Operational Optimization for Process Industries;
过程企业操作优化通用建模框架研究
3.
Based on the modeling framework introduced,an analysis is made of the IEC 61970 and IEC 61850 standard series, which focuses on their abilities of modeling.
依据所提出的变电站保护系统的建模框架,分析了IEC 61850和IEC 61970这2个标准的建模能力。
5) Frame scheme
框架形式
6) framework mode
框架模式
补充资料：公理化方法(见公理化和形式化)
公理化方法(见公理化和形式化)
axiomatical method
gongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条