The development of Information System has been experienced four phases: Computing Central ,Data Cen-tral,Object Central phase,and Model Central phase under developing. Information Model in UML will be the core ofdevel...The development of Information System has been experienced four phases: Computing Central ,Data Cen-tral,Object Central phase,and Model Central phase under developing. Information Model in UML will be the core ofdevelopment of Information System. In order to manage Information Model,Artifacts of system development (such asmodels, documents ,source codes and components),the development process and the running of information system,an information system of information systems,Meta Information System ,must be built. Meta Information Systemwill become a Computer Integrated Manufacture System (CIMS)of Software Enterprise.展开更多
为了统一描述军事电子信息系统(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建模技术在特定领域效能分析方面的不足。展开更多
文摘The development of Information System has been experienced four phases: Computing Central ,Data Cen-tral,Object Central phase,and Model Central phase under developing. Information Model in UML will be the core ofdevelopment of Information System. In order to manage Information Model,Artifacts of system development (such asmodels, documents ,source codes and components),the development process and the running of information system,an information system of information systems,Meta Information System ,must be built. Meta Information Systemwill become a Computer Integrated Manufacture System (CIMS)of Software Enterprise.
文摘为了统一描述军事电子信息系统(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建模技术在特定领域效能分析方面的不足。