信息活动视角模型一致性检查方法

体系结构建模在大型信息系统架构设计中起到至关重要的作用,而模型一致性检查是保证建模质量的关键。针对网络信息体系架构(Net-Info centric System,NICSs)中的信息活动视角,文中提出一种面向对应关系规则与对应关系的模型一致性检查方法。首先,对系统与软件工程-架构说明(ISO/IEC/IEEE 42010)进行扩展,构建了用于表达一致性规则的概念模型。然后,对信息活动视角(Information Activity Viewpoint,IAV)进行分析,给出一致性规则的形式化描述。最后,通过实验验证了该模型一致性检查方法对于信息活动视角的有效性。该方法针对其他视角模型具有较强的普适性,为模型一致性检查提供了新的思路。

Model consistency method for information activity viewpoint

Architecture modeling plays an important role in the design of large-scale information system architecture,and model consistency check is the key to ensure modeling quality.Based on the information activity viewpoint in Net-Info Centric System(NICSs),this article proposes a method of checking the consistency between corresponding relational rules and corresponding relational model..Firstly,the Systems and Software Engineering-Architecture Specification(ISO/IEC/IEEE 42010)is extended to build a conceptual model for expressing consistency rules.Secondly,Information Activity Viewpoint(IAV)is analyzed and the formal expression of consistency rule is given.Finally,the validity of the model consistency checking method for information activity viewpoint is verified by experiments.This method is universal for other viewpoint models and provides a new idea for model consistency checking.