Complex software systems : Formalization and Applications

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 andMabrouki (3rd International Conference on Software Engineering Advanced (ICSEA), IEEE Computer Society Press, 2008).
Type de document :
Article dans une revue
International Journal On Advances in Software, IARIA, 2009, 2 (1), pp.47-62
Liste complète des métadonnées

Littérature citée [28 références]  Voir  Masquer  Télécharger

https://hal-ecp.archives-ouvertes.fr/hal-00782879
Contributeur : Marc Aiguier <>
Soumis le : jeudi 11 avril 2013 - 16:38:31
Dernière modification le : vendredi 29 juin 2018 - 12:12:27
Document(s) archivé(s) le : vendredi 12 juillet 2013 - 03:00:09

Fichier

aiguier_al-complex-software.pd...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00782879, version 1

Collections

Citation

Marc Aiguier, Pascale Le Gall, Mbarka Mabrouki. Complex software systems : Formalization and Applications. International Journal On Advances in Software, IARIA, 2009, 2 (1), pp.47-62. 〈hal-00782879〉

Partager

Métriques

Consultations de la notice

286

Téléchargements de fichiers

170