Modeling a real case metasystem architecture using finite state process formalism

This paper uses the concept of metasystem and system of system (SOS) to assist in the governance of several networked systems. The approach used here is to consider a metasystem as a controller that can enable and order a set of systems interfaces according to the expected behavior. We use Langefors theory and Finite State Processes to formalize a metasystem architecture and finally we show how the concept can be used for a specific case using an authentication and authorization protocol to manage dispersed systems.