Reference:
, "Synchronization Behavior Typing for Contracts in Component-based Systems", University Münster, Computer Science, Distributed Systems Group, February 2000.
Abstract:
The ever increasing demand for software solutions and the complexity of real-life software projects together with the current non industrial style of software production are a hindrance for the progress in the upcoming information age. Component technology as a concept to increase reuse is often proposed as the solution to achieve the needed drastic improvement concerning productivity. But still important prerequisites for applying this technology are areas of research and suitable practical solutions are missing. In practice, there is even no common understanding of component composition and interface specifications (contracts) and real component-based development has to face several obstacles. The specific problem of component contracts and synchronization is discussed by considering solutions proposed in the literature and identifying their shortcomings. A more suitable solution also taking into account real-life problems like fault separation, fairness and events that provides a notion for contract typing is then proposed. An efficient type checkable subset that fulfills several of the essential requirements is presented.
Links:
@TechReport{Giese2000b,
AUTHOR = {Giese, Holger},
TITLE = {{Synchronization Behavior Typing for Contracts in Component-based Systems}},
YEAR = {2000},
MONTH = {February},
INSTITUTION = {University Münster, Computer Science, Distributed Systems Group},
ABSTRACT = {The ever increasing demand for software solutions and the complexity of real-life software projects together with the current non industrial style of software production are a hindrance for the progress in the upcoming information age. Component technology as a concept to increase reuse is often proposed as the solution to achieve the needed drastic improvement concerning productivity. But still important prerequisites for applying this technology are areas of research and suitable practical solutions are missing. In practice, there is even no common understanding of component composition and interface specifications (contracts) and real component-based development has to face several obstacles. The specific problem of component contracts and synchronization is discussed by considering solutions proposed in the literature and identifying their shortcomings. A more suitable solution also taking into account real-life problems like fault separation, fairness and events that provides a notion for contract typing is then proposed. An efficient type checkable subset that fulfills several of the essential requirements is presented.}
}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