  Autonomous systems require the management of several model views to assure
properties such as safety and security among others. A crucial issue in
autonomous systems design assurance is the notion of emergent behavior; we
cannot use their parts in isolation to examine their overall behavior or
performance. Compositional verification attempts to combat emergence by
implementing model transformation as structure-preserving maps between model
views. AlgebraicDynamics relies on categorical semantics to draw relationships
between algebras and model views. We propose AlgebraicSystems, a conglomeration
of algebraic methods to assign semantics and categorical primitives to give
computational meaning to relationships between models so that the formalisms
and resulting tools are interoperable through vertical and horizontal
composition.
