2002.bib

@incollection{clauss2002a,
  abstract = {In a model based software system, a set of business rules is scanned, and patterns are identified. The patterns are then compared, and similarities identified which indicate that software can be reused in the system. In one embodiment, identifiers of the rules are scanned. In another embodiment, usage patterns are used for designing a middle layer and generating code. In another embodiment of the invention, a data model is generated by capturing data from a user interface for a business document. Read more: http://www.faqs.org/patents/app/20090024980#ixzz0Wdx5gzQS},
  author = {Clauss, Matthias and Pulverm{\"u}ller, Elke and Reussner, Ralf H. and Speck, Andreas and van der Straeten, Ragnhild},
  booktitle = {{ECOOP} '02 {R}eader},
  publisher = {Springer-Verlag Berlin Heidelberg},
  series = {Lecture Notes in Computer Science},
  title = {{M}odel-based {S}oftware {R}euse},
  year = {2002}
}

@misc{vaupelpatent1,
  author = {Dillenberger, D. and Heisig, S. and Salm, I. and Vaupel, Robert},
  howpublished = {Patent No. 6470406, United States},
  month = {October},
  title = {{Managing Isochronous Processes in a Heterogenous Work Environement}},
  year = {2002}
}

@inproceedings{jayaputera2002a,
  author = {Jayaputera, Jane Christy and Poernomo, Iman H. and Reussner, Ralf H. and Schmidt, Heinz W.},
  booktitle = {Proceedings of the Third australian workshop on computational logic (AWCL 2002), Canberra, Australia, December 2002 Australian National University},
  editor = {Sondergaad, Harald},
  title = {{T}imed {P}robabilistic {R}easoning on {C}omponent {B}ased {A}rchitectures},
  year = {2002}
}

@inproceedings{kamsties2002a,
  abstract = {In this paper, we report on a controlled experiment, in which we compared two different requirements specification styles. Following the traditional black-box style, a system is described by its externally visible behavior, any design detail is omitted from the requirements. Following the white-box style, which was popularized by object-oriented analysis, a system is described by the behavior of its constituent entities, e.g., objects. In the experiment, we compared the understandability of two requirements specifications of the same system each written in a different style. The appropriate choice of a specification style depends on several factors including the project characteristics, the nature of the requirements at hand, and the intended readers. In this paper, we focus on the last factor, and investigate understandability from the viewpoint of a customer. The results of the experiment indicate that it is easier to understand black-box requirements specifications from a customer point of view. Questions about particular functions and particular behavior of the specified system were answered by the participants faster and more correct. This result suggests using the black-box specification style when communication with customers is important.},
  author = {Kamsties, Erik and von Knethen, Antje and Reussner, Ralf H.},
  booktitle = {Proceedings of the Eighth International Workshop on Requirements Engineering: Foundation for Software Quality},
  title = {{A} {C}ontrolled {E}xperiment on the {U}nderstandability of {D}ifferent {R}equirements {S}pecifications {S}tyles},
  url = {http://sdqweb.ipd.uka.de/publications/pdfs/kamsties2002a.pdf},
  year = {2002}
}

@inproceedings{kramer2002b,
  author = {Kr{\"a}mer, Bernd J. and Reussner, Ralf H. and Schmidt, Heinz W.},
  booktitle = {Monterey Workshop 2002 -- Radical Innovations of Software and Systems Engineering, Venice, Italy, October 7--11},
  editor = {Wirsing, Martin},
  publisher = {Springer-Verlag Berlin Heidelberg},
  series = {Lecture Notes in Computer Science},
  title = {{P}redicting {P}roperties of {C}omponent {B}ased {S}oftware {A}rchitectures through {P}arameterised {C}ontracts},
  year = {2002}
}

@inproceedings{kraemer2002a,
  author = {Kr{\"a}mer, Bernd J. and Schmidt, Heinz W. and Poernomo, Iman H. and Reussner, Ralf H.},
  booktitle = {Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers},
  editor = {Wirsing, Martin and Knapp, Alexander and Balsamo, Simonetta},
  isbn = {3-540-21179-9},
  pages = {310--324},
  publisher = {Springer-Verlag Berlin Heidelberg},
  title = {{P}redictable {CO}mponent {A}rchitectures {U}sing {D}ependent {F}inite {S}tate {M}achines},
  year = {2002}
}

@inproceedings{poernomo2002a,
  author = {Poernomo, Iman H. and Reussner, Ralf H. and Schmidt, Heinz W.},
  booktitle = {Proceedings of the First IFIP/ACM Working Conference on Component Deployment (CD 2002)},
  month = {June},
  pages = {233--243},
  publisher = {Springer-Verlag Berlin Heidelberg},
  series = {Lecture Notes in Computer Science},
  title = {{A}rchitectures of {E}nterprise {S}ystems: {M}odelling {T}ransactional {C}ontexts},
  volume = {2370},
  year = {2002}
}

@inproceedings{reussner2002a,
  author = {Reussner, Ralf H.},
  booktitle = {Proceedings of the 29th Annual Conference in Current Trends in Theory and Practice of Informatics (SOFSEM 2002), Milovy, Tschechische Republik},
  editor = {Grosky, Bill and Plasil, Frantisek and Krenek, Ales},
  month = {November},
  pages = {20--40},
  publisher = {Springer-Verlag Berlin Heidelberg},
  series = {Lecture Notes in Computer Science},
  title = {{C}ounter-{C}onstraint {F}inite {S}tate {M}achines: {A} new {M}odel for {R}esource-bounded {C}omponent {P}rotocols},
  volume = {2540},
  year = {2002}
}

@techreport{reussner2002e,
  abstract = {This paper deals with the specification of software component protocols (i. e., the set of service call sequences). The contribution of this paper is twofold: (a) We discuss specific requirements of realworld protocols, especially in the presence of components which make use of limited resources. (b) We define counter-constrained finite state machines, a novel extension of finite state machines, specifically created to model protocols containing dependencies between services due to their access to shared resources. Opposed to other approaches like classical finite state machines, this newmo del combines two valuable properties: (a) it is powerful enough to model realistic component protocols with resource allocation, -usage, and -deallocation dependencies between methods (as occurring in common abstract data-types such as stacks or queues) and (b) allows effcient checking of interoperability and substitutability.},
  author = {Reussner, Ralf H.},
  institution = {School for Computer Science and Software Engineering, Monash University},
  location = {VIC 3145 Australia},
  number = {2002/121},
  title = {{C}ounter-{C}onstraint {F}inite {S}tate {M}achines: {M}odelling {C}omponent {P}rotocols with {R}esource-{D}ependencies},
  year = {2002}
}

@techreport{reussner2002b,
  author = {Reussner, Ralf H. and Poernomo, Iman H. and Grundy, John C.},
  title = {{P}roceedings of the {F}ourth {A}ustralasian {W}orkshop on {S}oftware and {S}ystems {A}rchitectures},
  year = {2002}
}

@inproceedings{reussner2002d,
  abstract = {The deployment of component oriented software approaches gains increasing importance in the computational sciences. Not only the promised increase of reuse makes components attractive, but also the possibilities of integrating different stand-alone programs into a distributed application. Middleware platforms facilitate the development of distributed applications by providing services and infrastructure. Component developers can thus benefit from a common standard to shape components towards and application designers from using pre-fabricated software components and shared platform services. Although such platforms claim to achieve fast and flexible development of distributed systems, they fall short in key requirements to reliability and interoperability in loosely coupled distributed systems. For example, many interoperability errors remain undetected during development and the adaptation and integration of of third-party components still requires major effort and cost. Partly this problem can be alleviated by the use of formal approaches to automatic interoperability checks and component adaptation. Our Reliable Architecture Description Language (RADL) is aimed at precisely this problem. In this paper we present key aspects of RADL used to specify component-based, compositional views of distributed applications. RADL involves a rich component model, enabling protocol information to be contained in interfaces. We focus on protocol-based notions of interoperability and adaptation, important for the construction of distributed systems with loosely coupled components.},
  author = {Reussner, Ralf H. and Poernomo, Iman H. and Schmidt, Heinz W.},
  booktitle = {Computational Science--ICCS 2002, Proc. of ICCS 2002, International Conference on Computational Science, Amsterdam, The Netherlands, 2002},
  editor = {Sloot, P. and Dongarra, J. J. and Tan, C. J. K.},
  pages = {854--862},
  series = {Lecture Notes in Computer Science},
  title = {{U}sing the {T}rust{ME} {T}ool {S}uite for {A}utomatic {C}omponent {P}rotocol {A}daptation},
  volume = {2330},
  year = {2002}
}

@inproceedings{reussner2002c,
  absract = {This position paper presents an approach for predicting functional and extra-functional properties of layered software component architectures. Our approach is based on parameterised contracts a generalisation of design-bycontract. The main contributions of the paper are twofold. Firstly, it attempts to clarify the meaning of �contractual use of components� a term sometimes used loosely � or even inconsistently � in current literature. Secondly, we demonstrate how to deploy parameterised contracts to predict properties of component architectures with non-cyclic dependencies.},
  author = {Reussner, Ralf H. and Schmidt, Heinz W.},
  booktitle = {Workshop On Component-Based Software Engineering (in association with 9th IEEE Conference and Workshops on Engineering of Computer-Based Systems), Lund, Sweden, 2002},
  editor = {Crnkovic, Ivica and Larsson, Stig and Stafford, Judith},
  title = {{U}sing {P}arameterised {C}ontracts to {P}redict {P}roperties of {C}omponent {B}ased {S}oftware {A}rchitectures},
  url = {http://sdqweb.ipd.uka.de/publications/pdfs/reussner2002c.pdf},
  year = {2002}
}

@inproceedings{schmidt2002a,
  abstract = {In general few components are reused as they are. Often, available components are incompatible with what is required. This necessitates component adaptations or the use of adapters between components. In this paper we develop algorithms for the synthesis of adapters, coercing incompatible components into meeting requirements. We concentrate on adapters for concurrent systems, where adapters are able to resolve synchronisation problems of concurrent components. A new interface model for components, which includes protocol information, allows us to generate these adapters semi-automatically.},
  author = {Schmidt, Heinz W. and Reussner, Ralf H.},
  booktitle = {Proceedings of the Fifth IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems},
  title = {{G}enerating {A}dapters for {C}oncurrent {C}omponent {P}rotocol {S}ynchronisation},
  url = {http://sdqweb.ipd.uka.de/publications/pdfs/schmidt2002a.pdf},
  year = {2002}
}

@inproceedings{schmidt2002b,
  author = {Schmidt, Heinz W. and Reussner, Ralf H.},
  booktitle = {Proceedings of the ICSE Workshop of Component Oriented Software Engineering (CBSE5)},
  publisher = {IEEE},
  title = {{P}arameterised {C}ontracts and {A}daptor {S}ynthesis},
  year = {2002}
}

@incollection{worsch2002a,
  address = {London, UK},
  author = {Thomas Worsch and Ralf Reussner and Werner Augustin},
  booktitle = {Proceedings of the 9th European PVM/MPI Users' Group Meeting on Recent Advances in Parallel Virtual Machine and Message Passing Interface},
  isbn = {3-540-44296-0},
  pages = {271--279},
  publisher = {Springer-Verlag Berlin Heidelberg},
  title = {{O}n {B}enchmarking {C}ollective {MPI} {O}perations},
  year = {2002}
}