Redesign of a Systems Engineering Language - Formalisation of Chi

This paper describes the redesign of a systems engineering language called Chi. This is an engineering language designed to specify and analyse industrial systems. The main objective of this redesign was to enable mathematical reasoning about Chi specifications. We discuss the original Chi language, the requirements and design decisions, and the resulting syntax and semantics of the new version of Chi, called Chi. In particular, we elaborate on semantical aspects of Chi's time model