A Formal Definition of Complex Software

Author

Aiguier, Marc ; Gall, Pascale Le ; Mabrouki, Mbarka

Author_Institution

Lab. de Math. Appliques aux Syst., Ecole Centrale Paris, Chatenay-Malabry

fYear

2008

fDate

26-31 Oct. 2008

Firstpage

415

Lastpage

420

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. We then denote in this abstract framework, complexity by the notion of property emergence.

Keywords

formal specification; software architecture; Goguen institution theory; architectural connectors; complex software systems; formal definition; mathematical denotation; rigorous formalisms; specification formalisms; Biological system modeling; Connectors; LAN interconnection; Logic; Physics; Sociology; Software engineering; Software systems; Specification languages; Systems biology; abstract architectural connector; abstract specification language; category theory; emergent property; institution;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Engineering Advances, 2008. ICSEA '08. The Third International Conference on

Conference_Location

Sliema

Print_ISBN

978-1-4244-3218-9

Electronic_ISBN

978-0-7695-3372-8

Type

conf

DOI

10.1109/ICSEA.2008.59

Filename

4668140