Home // International Journal On Advances in Software, volume 2, number 1, 2009 // View article

Complex software systems : Formalization and Applications

Authors:
Marc Aiguier
Pascale Le Gall
Mbarka Mabrouki

Keywords: abstract specification language; abstract architectural connector; emergent property; institution; category theory; transition systems; modal first-order logic.

Abstract:
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. In this abstract framework, we characterize complexity by the notion of property emergence. This work is a revised and extended version of Aiguier, Le Gall and Mabrouki (3rd International Conference on Software Engineering Advanced (ICSEA), IEEE Computer Society Press, 2008).

Pages: 47 to 62

Copyright: Copyright (c) to authors, 2009. Used with permission.

Publication date: June 7, 2009

Published in: journal

ISSN: 1942-2628