Reference:
Holger Giese and Alexander Vilbig, "Separation of Non-Orthogonal Concerns in Software Architecture and Design", Software and Systems Modeling, vol. 5, no. 2, pp. 136 - 169, June 2006.
Abstract:
Separation of concerns represents an important principle for managing complexity in the design and architecture of large component-based software systems. The fundamental approach is to develop local solutions for individual concerns first, and combine them later into an overall solution for the complete system. However, comprehensive support for the integration of interdependent, possibly conflicting concerns related to behavior is still missing. In our work, we propose a sound solution for this complex type of composition, employing well-known UML description techniques as well as a rigorous formal model of component behavior. Based on this foundation, we describe a constructive synthesis algorithm which reliably detects conflicting concerns or generates a maximal behavior for software components with multiple interactions. An optimized implementation of the algorithm has been integrated into a CASE tool to illustrate feasibility and scalability of the presented technique at the example of a moderately large case study.
Links:
@Article{Giese&Vilbig2006,
AUTHOR = {Giese, Holger and Vilbig, Alexander},
TITLE = {{Separation of Non-Orthogonal Concerns in Software Architecture
and Design}},
YEAR = {2006},
MONTH = {June},
JOURNAL = {Software and Systems Modeling},
VOLUME = {5},
NUMBER = {2},
PAGES = {136 - 169},
PUBLISHER = {Springer Verlag},
ABSTRACT = {Separation of concerns represents an important principle
for managing complexity in the design and architecture of large
component-based software systems. The fundamental approach is to
develop local solutions for individual concerns first, and combine
them later into an overall solution for the complete system. However,
comprehensive support for the integration of interdependent, possibly
conflicting concerns related to behavior is still missing. In our work,
we propose a sound solution for this complex type of composition,
employing well-known UML description techniques as well as a rigorous
formal model of component behavior. Based on this foundation, we
describe a constructive synthesis algorithm which reliably detects
conflicting concerns or generates a maximal behavior for software
components with multiple interactions. An optimized implementation
of the algorithm has been integrated into a CASE tool to illustrate
feasibility and scalability of the presented technique at the example
of a moderately large case study.}
}
Copyright notice: This material is presented to ensure timely dissemination of
scholarly and technical work. Copyright and all rights therein are retained by
authors or by other copyright holders. All persons copying this information are
expected to adhere to the terms and constraints invoked by each author's copyright.
In most cases, these works may not be reposted without the explicit permission of
the copyright holder.
Powered by
bibtexbrowser