Realistic Validation of Specification for Information and Control System Description Language using Alloy

Abstract

Authors propose a validation of meta-models using formal specification language Alloy. The scope of model is divided by meta-hierarchy levels. Therefore, the execution of the validation is efficient. The purpose of this paper is the validation of the specification for information and control system description language efficiently.