A mathematical denotation is proposed for the notion of complex software systems whose behavior is specified by rigorous formalisms. Complex systems are described in a recursive way as an interconnection of subsystems by means of architectural connectors. In order to consider the largest family of specification formalisms and architectural connectors, this denotation is essentially formalism, specification and connector independent. For this, we build our denotation on Goguen's institution theory. We then denote in this abstract framework, complexity by the notion of property emergence.
No takes yet. Share an insight, caveat, or question.
Aiguier et al. (2008) studied this question.
Synapse has enriched one closely related paper. Consider it for comparative context: