Hierarchy of Formal Descriptions for Architectural Analysis and Design of Complex CS

Abstract

Traditionally, in the CS design process, it is considered more important to formalize the functionality of the system, while the system's environment plays a secondary role. From our point of view, a formalized representation of the system functionality and the system environment should be considered concurrently. In this paper, we propose four hierarchical levels of formalization for both the functionality and the environment of the system to be used at the concept development stage. To establish a design framework of the identified class of CS we formalized a decision-making process to choose a rational architecture of the real system. Formalization of the decision-making process involves: efficiency criteria, design strategy, and a set of goal functions. To find a solution to the set of goal functions we propose a framework of a simulation-based design methodology. The solution will provide a designer with a rational architecture of a real CS.