Paper Info
Title
A Formal Definition of Complex Software
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.
Year
DOI
Venue
2008
10.1109/ICSEA.2008.59
Sliema
Keywords
Field
DocType
formal definition,largest family,institution theory,complex system,complex software,complex software system,specification formalisms,rigorous formalisms,property emergence,mathematical denotation,architectural connector,abstract framework,institutional theory,specification language,computational modeling,software systems,formal specification,software architecture,emergent properties,category theory,emergent property
Complex system,Programming language,Denotation,Systems engineering,Computer science,Software system,Theoretical computer science,Formal specification,Formalism (philosophy),Software architecture,Rotation formalisms in three dimensions,Recursion
Conference
ISBN
Citations 
PageRank 
978-0-7695-3372-8
4
0.50
References 
Authors
6
3
Name
Order
Citations
PageRank
Marc Aiguier19814.95
Pascale Le Gall228732.95
Mbarka Mabrouki351.19