Paper Info
Title
Fundamental concepts for the structuring of functionality into modular parts
Abstract
Today, many software systems offer a multitude of different, user-observable functions, which in their entirety form the very complex overall system’s functionality. However, practical experience shows that many question are directly related to the user-observable sub-functions. Regarding the development process, this requires to relate the entire system’s functionality to its sub-functions in a formal way. In this context, decomposing and modeling the functionality in a structured way is essential. In this paper, we identify and define fundamental concepts for the structuring of a system’s functionality into modular parts. We formalize these concepts using Focus, a stream-based theory for the specification of reactive systems. In particular, we define the notion of self-contained, autonomous sub-functions and introduce a canonical decomposition of functionality, inherent to the structure and nature of the functionality. Subsequently, we discuss topics of methodology that guide a modular functional decomposition. All in all, this gives a modular structuring concept for the behavior of multi-functional systems.
Year
DOI
Venue
2009
10.1007/978-3-642-11623-0_30
FSEN
Keywords
Field
DocType
software system,multi-functional system,modular structuring concept,modular functional decomposition,modular part,reactive system,complex overall system,autonomous sub-functions,user-observable sub-functions,entire system,fundamental concept,software systems,development process,modular function
Multitude,Software engineering,Computer science,Functional decomposition,Algorithm,Software system,Modular design,Reactive system,Structuring,Canonical decomposition,Distributed computing
Conference
Volume
ISSN
ISBN
5961
0302-9743
3-642-11622-1
Citations 
PageRank 
References 
0
0.34
4
Authors
2
Name
Order
Citations
PageRank
Alexander Gruler11588.30
Michael Meisinger2120.89