2004.bib

@inproceedings{bauer04a,
  author = {Markus Bauer and Mircea Trifu},
  booktitle = {Proceedings of the 8-th European Conference on Software Maintenance and Reengineering},
  pages = {3--14},
  publisher = {IEEE},
  title = {Architecture-Aware Adaptive Clustering of {OO} Systems},
  year = {2004}
}

@article{bauer04b,
  author = {Markus Bauer and Mircea Trifu},
  journal = {{GI} Softwaretechnik-Trends},
  month = {May},
  number = {2},
  organization = {GI},
  title = {Combining Clustering with Pattern Matching for Architecture Recovery of OO Systems},
  volume = {24},
  year = {2004}
}

@techreport{becker2004d,
  author = {Becker, Steffen},
  institution = {University of Oldenburg},
  title = {{T}he {P}alladio {C}omponent {M}odel},
  year = {2004}
}

@inproceedings{becker2004c,
  abstract = {Abstract: The evaluation of software architectures is crucial to ensure that the design of software systems meets the requirements. We present a generic methodical framework that enables the evaluation of component-based software architectures. It allows to determine system characteristics on the basis of the characteristics of its constituent components. Basic prerequisites are discussed and an overview of different architectural views is given, which can be utilised for the evaluation process. On this basis, we outline the general process of evaluating software architectures and provide a taxonomy of existing evaluation methods. To illustrate the evaluation of software architectures in practice, we present some of the methods in detail.},
  author = {Becker, Steffen and Firus, Viktoria and Giesecke, Simon and Hasselbring, Wilhelm and Overhage, Sven and Reussner, Ralf H.},
  booktitle = {Architekturen, Komponenten, Anwendungen - Proceedings zur 1. Verbundtagung Architekturen, Komponenten, Anwendungen (AKA 2004), Universit{\"a}t Augsburg},
  editor = {Turowski, Klaus},
  isbn = {3-88579-386-5},
  pages = {163--180},
  series = {GI-Edition Lecture Notes in Informatics},
  title = {{T}owards a {G}eneric {F}ramework for {E}valuating {C}omponent-{B}ased {S}oftware {A}rchitectures},
  url = {http://sdqweb.ipd.uka.de/publications/pdfs/becker2004c.pdf},
  volume = {57},
  year = {2004}
}

@inproceedings{becker2004a,
  abstract = {This paper discusses various classifications of component interoperability errors. These classifications aim at supporting the automation of component adaptation. The use of software components will only demonstrate beneficial, if the costs for component deployment (i.e., acquisition and composition) are considerably lower than those for custom component development. One of the main reasons for the moderate progress in component-based software engineering are the high costs for component deployment. These costs are mainly caused by adapting components to bridge interoperability errors between unfitting components. One way to lower the costs of component deployment is to support component adaptation by tools, i.e., for interoperability checks of (semi-)automated adaptor generation. This automation of component adaptation requires a deep understanding of component interoperability errors. In particular, one has to differentiate between different classes of interoperability errors, as different errors require different adaptors for resolving. Therefore, the presented classification of component interoperability errors supports the automation of component adaptation by aiding automated interoperability problem detection and semi-automated adaptor generation. The experience gained from already implemented solutions for a specific class of interoperability errors provides hints for the solution of similar problems of the same class.},
  author = {Becker, Steffen and Overhage, Sven and Reussner, Ralf H.},
  booktitle = {Proceedings of the 7th International Symposium on Component-Based Software Engineering (CBSE 2004), Edinburgh, UK},
  editor = {Crnkovic, Ivica and Stafford, Judith A. and Schmidt, Heinz W. and Wallnau, Kurt C.},
  month = {May},
  pages = {68--83},
  publisher = {Springer-Verlag Berlin Heidelberg},
  series = {Lecture Notes in Computer Science},
  title = {{C}lassifying {S}oftware {C}omponent {I}nteroperability {E}rrors to {S}upport {C}omponent {A}daption},
  url = {http://springerlink.metapress.com/content/yk87fnn309wf2fgh/},
  volume = {3054},
  year = {2004}
}

@inproceedings{becker2004b,
  abstract = {Component adaptors often are used to bridge gaps between the functional requirements of a component and the functional specification of another one supposed to provide the needed services. As bridging functional mismatches is necessary, the use of adaptors is often unavoidable. This emphasises the relevance of a drawback of adaptor usage: The alteration of Quality of Service properties of the adapted component. That is especially nasty, if the original QoS properties of the component have been a major criteria for the choice of the respective component. Therefore, we give an overview of examples of the problem and highlight some approaches how to cope with it.},
  author = {Becker, Steffen and Reussner, Ralf H.},
  booktitle = {Proceedings of the First International Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT 04)},
  editor = {Canal, Carlos and Murillo, Juan Manuel and Poizat, Pascal},
  title = {{T}he {I}mpact of {S}oftware {C}omponent {A}daptors on {Q}uality of {S}ervice {P}roperties},
  url = {http://sdqweb.ipd.uka.de/publications/pdfs/becker2004b.pdf},
  year = {2004}
}

@inproceedings{firus2004a,
  author = {Firus, Viktoria and Becker, Steffen},
  booktitle = {Proceedings of Formal Foundation of Embedded Software and Component-Based Software Architectures (FESCA)},
  pages = {118--121},
  series = {Electronic Notes in Theoretical Computer Science},
  title = {{T}owards {P}erformance {E}valuation of {C}omponent {B}ased {S}oftware {A}rchitectures},
  url = {http://www.infosys.com/IT-services/architecture-services/white-papers/performance-review-COTS.pdf},
  volume = {108},
  year = {2004}
}

@techreport{godary04validation,
  abstract = {In the automotive domain, the X-by-wire systems are dedicated to critical and real-time applications. These systems have specific needs that must be ful- filled, in particular in the reliability domain. Fault-tolerant architectures have been designed to fit with these requirements : TTA, FlexRay or TTCAN. This paper presents a methodology of temporal validation, and illustrates it for the validation of TTA and TTCAN services. This validation provides some temporal bounds, that can be used for the comparison of these architectures.},
  author = {Karen Godary and Pierre Parrend and Isabelle Auge-Blum},
  file = {godary04timetriggered.pdf:http\://www.rzo.free.fr/publis/godary04timetriggered.pdf:PDF},
  institution = {CITI Lab, INSA de Lyon},
  timestamp = {2005.11.07},
  title = {Comparison and temporal validation of automotive real-time architectures},
  url = {http://www.rzo.free.fr/godary04timetriggered.php},
  year = {2004}
}

@mastersthesis{happe2004a,
  abstract = {From the user's point of view, the reliability of a software component depends on its environment as well as its usage profile. The environment of a component includes the external services invoked by the component and the hardware and software it is deployed on. The usage profile determines which services of the component are needed and describes all possible call sequences in form of a Markov model. The in�uence of the usage profile and the reliability of external services on the reliability of a component- based software architecture has been analysed in [38]. There, parametric contracts are used to determine the reliability of a component in its environment. Parametric contracts use so-called service e�ect specifications which describe the usage of external services by a service provided by the component to create a mapping between the provides- and requires interfaces of the same component. We extend the approach described there and consider the reliability of resources like devices (hardware) and execution environments (software). Therefore, we develop a mathematical model to determine the usage period of the resources depending on the usage profile. We compute the reliabilities of the resources on the basis of their usage period. This extends user orientation of software reliability towards system reliability. The consideration of the usage period of a resource requires a mathematical model to determine the execution time of a service. Based on parametric contracts, we develop two approaches to compute the execution time of a service. The first approach makes use of the properties of Markov chains and yields the expected (or average) execution time of a service. The second approach is an extension of parametric performance contracts [37] which describe the execution time of a service in form of a probability density function. We overcome the limits of the approach described there and give a mathematical model to determine the execution time of a loop based on the discrete Fourier transform. Furthermore, we describe how parametric performance contracts can be applied using regular expressions. Furthermore, both computational models are modified to deal with the usage periods of the system resources. The computation of the resource reliability based on the usage period is discussed as well. We use a component-based webserver recently developed in the context of the Palladio project [34] to evaluate some of the predictions made by our model.},
  author = {Happe, Jens},
  school = {University of Oldenburg},
  title = {{R}eliability {P}rediction of {C}omponent-{B}ased {S}oftware {A}rchitectures},
  url = {http://sdqweb.ipd.uka.de/publications/pdfs/happe2004a.pdf},
  year = {2004}
}

@inproceedings{hasselbring2004a,
  abstract = {While the importance of multi-tier architectures for enterpriseinformation systems is widely accepted and theirbenefits are well published, the systematic migration frommonolithic legacy systems toward multi-tier architectures isknown to a much lesser extent. In this paper we present apattern on how to re-use elements of legacy systems withinmulti-tier architectures, which also allows for a smooth migrationpath. We report on experience we made with migratingexisting municipal information systems towards a multitierarchitecture. The experience is generalized by describingthe underlying pattern such that it can be re-used forsimilar architectural migration tasks. The emerged Dublopattern is based on the partial duplication of businesslogic among legacy system and newly deployed applicationserver. While this somehow contradicts the separation-of-concernsprinciple, it offers a high degree of flexibility inthe migration process and allows for a smooth transition.Experience with the combination of outdated databasetechnology with modern server-side component and webservices technologies is discussed. In this context, we alsoreport on technology and architecture selection processes.},
  address = {Washington, DC, USA},
  author = {Hasselbring, W. and Reussner, Ralf H. and Jaekel, H. and Schlegelmilch, J. and Teschke, T. and Krieghoff, S.},
  booktitle = {ICSE '04: Proceedings of the 26th International Conference on Software Engineering},
  isbn = {0-7695-2163-0},
  pages = {117--126},
  publisher = {IEEE Computer Society},
  title = {{T}he {D}ublo {A}rchitecture {P}attern for {S}mooth {M}igration of {B}usiness {I}nformation {S}ystems: {A}n {E}xperience {R}eport},
  url = {http://delivery.acm.org/10.1145/1000000/999418/21630117.pdf?key1=999418&key2=2588073121&coll=&dl=&CFID=32752511&CFTOKEN=62318030},
  year = {2004}
}

@inproceedings{jakab2004a,
  address = {Kosice},
  author = {Jakab, Frantisek and Michlik, Jan and Kapova, Lucia and Galba, Juraj},
  booktitle = {3nd International Conference on Emerging Telecommunications Technologies and Applications},
  isbn = {ISBN 80-89066-85-2},
  publisher = {ELFA},
  title = {{V}irtual{L}ab},
  year = {2004}
}

@mastersthesis{koziolek2004a,
  author = {Koziolek, Heiko},
  school = {Universit{\"a}t Oldenburg},
  title = {{E}mpirische {B}ewertung von {P}erformance-{A}nalyseverfahren f{\"u}r {S}oftware-{A}rchitekturen},
  year = {2004}
}

@misc{koziolek2004b,
  author = {Koziolek, Heiko},
  howpublished = {http://sdqweb.ipd.kit.edu/publications/pdfs/koziolek2004b.pdf},
  note = {Partial English translation of the original Master's thesis ``{E}mpirische {B}ewertung von {P}erformance-{A}nalyseverfahren f{\"u}r{S}oftware-{A}rchitekturen'', Universit{\"a}t Oldenburg},
  title = {{E}mpirical {E}valuation of {P}erformance-{A}nalysis Methods for {S}oftware {A}rchitectures},
  year = {2004}
}

@article{kratz2004a,
  abstract = {The notions of design and process cut across many disciplines. Applications of abstract notions of design and process to engineering problem solving would certainly redefine and expand the notion of engineering itself in the 21st century. This Journal of SDPS strives to be the repository of human knowledge covering interdisciplinary notions of design and process in a rigorous fashion. We expect and encourage papers crossing the boundaries back and forth in mathematical landscape as well as among mathematics, physics, economics, management science, and engineering. Journal of Integrated Design and Process Science is an archival, peer-reviewed technical journal publishing the following types of papers: a) Research papers, b) Reports on case studies, c) Reports on major design and process projects, d) Design and process standards and proposals, and e) Insightful tutorials on design and process. It has been observed that most of the work related to design and process is interdisciplinary and until recently has been scattered in journals of many diverse disciplines. The objective on this journal is to publish state-of-the-art papers in this expanding field, providing an international and interdisciplinary forum for best work in design and process related areas. The audience of this journal will have a single source to stay current on new and quality work as academic research papers and synthesis on best-practices. Consistent with SDPS philosophy, the Journal strives to maintain an international and interdisciplinary balance by relying on experts from various corners of the world. Authors whose work are in the domain of interdisciplinary no-man's land with a flavor of design and process are encouraged to submit their papers to this Journal. The readership of this journal includes participants from academia and industry.},
  address = {Amsterdam, The Netherlands, The Netherlands},
  author = {Kratz, Benedikt and Reussner, Ralf and van den Heuvel, Willem-Jan},
  issn = {1092-0617},
  journal = {J. Integr. Des. Process Sci.},
  number = {4},
  pages = {1--17},
  publisher = {IOS Press},
  title = {{E}mpirical {R}esearch on {S}imilarity {M}etrics for {S}oftware {C}omponent {I}nterfaces},
  volume = {8},
  year = {2004}
}

@mastersthesis{krogmann2004a,
  abstract = {Die vorliegende Ausarbeitung zum Individuellen Projekt bietet einen Einblick in die Erzeugung von Adaptoren auf Signaturniveau. Dabei wird eine differenzierte Abgrenzung zu anderen Gebieten der Adaptererzeugung vorgenommen, die sich unter anderem im einleitenden Abschnitt der Arbeit wiederfindet. Im Mittelpunkt der Betrachtung, die aus der Sicht der Komponentenbasierten Softwareentwicklung vorgenommen wird, steht vor allem der Erzeugungsvorgang von Adaptoren f\"{u}r Komponenten. Die Erzeugung von Adaptoren h\"{a}ngt unter anderem ma{\ss}geblich davon ab, wie viele Informationen \"{u}ber die zu adaptierenden Komponenten vorliegen. Betrachtet werden verschiedene Niveaus des Informationsreichtums, die aus unterschiedlicher wissenschaftlicher Sicht zu verschiedenen Ergebnissen f\"{u}hren k\"{o}nnen. F\"{u}r den Kontext des erstellten Adapter-Generators wird vor allem das Konzept der Konverter n\"{a}her beleuchtet. Durch diesen vielseitigen Mechanismus l\"{a}{\ss}t sich die M\"{a}chtigkeit der erzeugbaren Adapter drastisch erh\"{o}hen. Aufgezeigt wird neben der konkreten Implementierung auch ein Vergleich mit anderen Adaptionsans\"{a}tzen.},
  address = {Germany},
  author = {Klaus Krogmann},
  school = {University of Oldenburg},
  title = {{Generierung von Adaptoren}},
  type = {Individual Project},
  url = {http://sdqweb.ipd.uka.de/publications/pdfs/krogmann2004a.pdf},
  year = {2004}
}

@inproceedings{meister2004a,
  author = {Meister, J{\"u}rgen and Reussner, Ralf H. and Rhode, Martin},
  booktitle = {Proceedings of the Fourth Working IEEE/IFIP Conference on Software Architecture (WICSA 4)},
  publisher = {IEEE/IFIP},
  title = {{A}pplying {P}atterns to {D}evelop a {P}roduct {L}ine {A}rchitecture for {S}tatistical {A}nalysis {S}oftware},
  year = {2004}
}

@inproceedings{meister2004b,
  author = {Meister, J{\"u}rgen and Reussner, Ralf H. and Rhode, Martin},
  booktitle = {Proceedings of the 5th Annual International Conference on Object-Oriented and Internet-based Technologies, Concepts, and Applications for a Networked World (Net.Objectdays 2004)},
  publisher = {Springer-Verlag Berlin Heidelberg},
  series = {Lecture Notes in Computer Science},
  title = {{M}anaging {P}roduct {L}ine {V}ariability by {P}atterns},
  year = {2004}
}

@inproceedings{michlik2004a,
  address = {Stara Lesna},
  author = {Michlik, Jan and Jakab, Frantisek and Kapova, Lucia},
  booktitle = {Annual Cisco Systems Networking Conference 2004},
  isbn = {ISBN 80-89066-79-8},
  title = {{P}roject {V}irtual {L}ab},
  year = {2004}
}

@techreport{parrend04validation,
  abstract = {Cette �tude se situe dans un contexte de fort d�veloppement des applications automobiles bas�es sur l �lectronique, en vue de remplacer certaines pi�ces m�caniques, tels les syst�mes de freinage, de direction. Le protocole le plus utilis� actuellement est CAN, mais il ne suffit pas aux applications n�cessitant un haut degr� de s�curit�. D autres protocoles ont donc �t� d�velopp�s, selon le paradigme Time- Triggered (selon un ordonnancement pr�-d�fini), comme TTA, Flexray. En effet, ce type de protocoles est plus facile � valider. De la rencontre de CAN et des protocoles Time-Triggered est issu TTCAN. C est ce protocole auquel nous allons nous int�resser. Il est indispensable pour un protocole destin� � des applications � haut niveau de s�curit� de disposer d un validation formelle. Nous allons �tudier son comportement temporel � l aide de l outil UPPAAL, qui permet l analyse, � l aide d une m�thode d�velopp�e au CITI. Nous pr�sentons la mod�lisation r�alis�e � fin d analyse, ainsi que les r�sultats obtenus. Ces donn�es nous permettent une comparaison syst�matique avec le protocole TTA, ce qui offre une mise en perspective critique des deux protocoles.},
  author = {Pierre Parrend and Isabelle Auge-Blum},
  file = {parrend04TTCAN.pdf:http\://www.rzo.free.fr/publis/parrend04TTCAN.pdf:PDF},
  institution = {CITI Lab, INSA de Lyon},
  month = {July},
  number = {RR200},
  title = {Validation temporelle d'architectures embarquees pour l'automobile},
  url = {http://www.rzo.free.fr/parrend04ttcan.php},
  year = {2004}
}

@misc{reussner2004c,
  author = {Reussner, Ralf H.},
  howpublished = {Newsletter of the European Association of Software Science and Technology (EASST)},
  title = {{T}he {W}orking {G}roup {S}oftware {A}rchitecture of the {G}erman {C}omputer {S}cience {S}ociety ({GI}-{AK} {S}oft{A}rch){R}eport on the {W}orkshop on {F}ormal {F}oundations of {E}mbedded {S}oftware and {C}omponent-based {S}oftware {A}rchitectures ({FESCA})},
  year = {2004}
}

@misc{reussner2004d,
  author = {Reussner, Ralf H.},
  howpublished = {{http://se.informatik.uni-oldenburg.de/research/current/Palladio }, 20.12.2004},
  title = {{H}ome {P}age of the {P}alladio {R}esearch {G}roup},
  year = {2004}
}

@misc{reussner2004e,
  author = {Reussner, Ralf H.},
  howpublished = {Newsletter of the European Association of Software Science and Technology (EASST)},
  title = {{The Role of the Software Architect}: {The Software Architecture Memorandum of the Sylter Runde}},
  year = {2004}
}

@inproceedings{reussner2004f,
  abstract = {We discuss compositionality in terms of (a) component interoperability and contractual use of components, (b) component adaptation and (c) prediction of properties of composite components. In particular, we present parametric component contracts as a framework treating the above mentioned facets of compositionality in a unified way. Parametric contracts compute component interfaces in dependency of context properties, such as available external services or the profile how the component will be used by its clients. Under well-specified conditions, parametric contracts yield interfaces offering interoperability to the component context (as they are component-specifically generated). Therefore, parametric contracts can be considered as adaptation mechanism, adapting a components provides- or requires-interface depending on connected components. If non-functional properties are specified in a component provides interface, parametric contracts compute these nonfunctional properties in dependency of the environment.},
  author = {Reussner, Ralf H. and Becker, Steffen and Firus, Viktoria},
  booktitle = {Tagungsband der Net.ObjectDays 2004},
  month = {September},
  pages = {155--169},
  title = {{C}omponent {C}omposition with {P}arametric {C}ontracts},
  url = {http://sdqweb.ipd.uka.de/publications/pdfs/reussner2004f.pdf},
  year = {2004}
}

@inproceedings{reussner2004a,
  abstract = {The performance of a software component heavily depends on the environment of the component. As a software component only justifies its investment when deployed in several environments, one can not specify the performance of a component as a constant (e.g., as a single value or distribution of values in its interface). Hence, classical component contracts allowing to state the component�s performance as a post-condition, if the environment realises a specific performance stated in the precondition, do not help. This fixed pair of pre- and postcondition do not model that a component can have very different performance figures depending on its context. Instead of that, parametric contracts are needed for specifying the environmental dependency of the component�s provided performance. In this paper we discuss the specification of such dependencies for the performance metric response time. We model the statistical distribution of response time in dependency of the distribution of response times of environmental services.},
  author = {Reussner, Ralf H. and Firus, Viktoria and Becker, Steffen},
  booktitle = {Proceedings of the 9th International Workshop on Component-Oriented Programming (WCOP 04)},
  editor = {Weck, Wolfgang and Bosch, Jan and Szyperski, Clemens},
  title = {{P}arametric {P}erformance {C}ontracts for {S}oftware {C}omponents and their {C}ompositionality},
  url = {http://sdqweb.ipd.uka.de/publications/pdfs/reussner2004a.pdf},
  year = {2004}
}

@techreport{reussner2004b,
  author = {Reussner, Ralf H. and K{\"u}ster-Filipe, Juliana and Poernomo, Iman H. and Shukla, Sandeep},
  howpublished = {Newsletter of the European Association of Software Science and Technology (EASST)},
  title = {{R}eport on the {W}orkshop on {F}ormal {F}oundations of {E}mbedded {S}oftware and {C}omponent-based {S}oftware {A}rchitectures ({FESCA})},
  year = {2004}
}

@inproceedings{simovici2004a,
  abstract = {We present an algorithm for clustering nominal data that is based on a metric on the set of partitions of a finite set of objects; this metric is defined starting from a lower valuation of the lattice of partitions. The proposed algorithm seeks to determine a clustering partition such that the total distance between this partition and the partitions determined by the attributes of the objects has a local minimum. The resulting clustering is quite stable relative to the ordering of the objects.},
  address = {Brighton, UK},
  author = {Dan A. Simovici and Namita Singla and Michael Kuperberg},
  booktitle = {The Fourth IEEE International Conference on Data Mining},
  pages = {523--526},
  title = {{M}etric {I}ncremental {C}lustering of {N}ominal {D}ata},
  url = {http://sdqweb.ipd.uka.de/publications/pdfs/simovici2004a.pdf},
  year = {2004}
}

@book{vaupel2004a,
  address = {M{\"u}nchen},
  author = {Teuffel, Michael and Vaupel, Robert},
  isbn = {ISBN 3-486-27528-3},
  publisher = {Oldenbourg},
  title = {{Das Betriebssystem z/OS und die zSeries. Darstellung eines modernen Gro{\ss}rechnersystems}},
  year = {2004}
}

@article{vaupel2004b,
  author = {Vaupel, Robert},
  journal = {IBM Systems Magazine},
  month = {January},
  title = {{Managing Workloads in z/OS}},
  year = {2004}
}