Contract-based Component System Design (bibtex)
Reference:
, "Contract-based Component System Design", University Münster, January 1999, 23/99-I (published Jan/2000).
Abstract:
Component technology tries to solve many problems of todays software industry practice: the productivity and produced quality should be increased and a better infrastructure for maintenance of the products is promised. The integration of off-the-shelf components to build customized products allows to source out the development of general purpose components. A crucial prerequisite for the intended scenario of component usage is their strong separation. Especially in a distributed environment, synchronization aspects are of great importance to identify a suitable architecture and to decide whether a component matches some requirements. The presented approach allows to model the synchronization aspect of contracts in a flexible manner including a whole spectrum of different degrees of preciseness from declaration of abstraction barriers to complete synchronization specifications describing the explicit behavior. The used Petri net based OCoN behavior specification formalism is structurally embedded in the UML and supports analysis and design of component systems. It provides a sound behavioral model and design principles which make even a tool based analysis feasible.
Links:
[bibtex]
@TechReport{Giese1999c,
AUTHOR = {Giese, Holger},
TITLE = {{Contract-based Component System Design}},
YEAR = {1999},
MONTH = {January},
INSTITUTION = {University Münster},
PDF = {tr2399.pdf},
PS = {tr2399.ps.gz},
ABSTRACT = {Component technology tries to solve many problems of todays software industry practice: the productivity and produced quality should be increased and a better infrastructure for maintenance of the products is promised. The integration of off-the-shelf components to build customized products allows to source out the development of general purpose components. A crucial prerequisite for the intended scenario of component usage is their strong separation. Especially in a distributed environment, synchronization aspects are of great importance to identify a suitable architecture and to decide whether a component matches some requirements. The presented approach allows to model the synchronization aspect of contracts in a flexible manner including a whole spectrum of different degrees of preciseness from declaration of abstraction barriers to complete synchronization specifications describing the explicit behavior. The used Petri net based OCoN behavior specification formalism is structurally embedded in the UML and supports analysis and design of component systems. It provides a sound behavioral model and design principles which make even a tool based analysis feasible.},
NOTE = {23/99-I (published Jan/2000)}
}
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