@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.}
}