% % GENERATED FROM http://acme.able.cs.cmu.edu % by : anonymous % IP : ec2-54-224-52-210.compute-1.amazonaws.com % at : Sat, 30 Mar 2024 01:07:23 -0400 GMT % % Selection : Year = 2005 % @TechReport{Antoun2006, AUTHOR = {Abi-Antoun, Marwan and Aldrich, Jonathan and Nahas, Nagi and Schmerl, Bradley and Garlan, David}, TITLE = {Differencing and Merging of Architectural Views}, YEAR = {2005}, NUMBER = {CMU-ISRI-05-128}, INSTITUTION = {Carnegie Mellon University Institute for Software Research International}, URL = {http://reports-archive.adm.cs.cmu.edu/anon/isri2005/abstracts/05-128.html}, ABSTRACT = {As architecture-based techniques become more widely adopted, software architects face the problem of reconciling different versions of architectural models. However, existing approaches to differencing and merging architectural views are based on restrictive assumptions, such as requiring view elements to have unique identifiers or explicitly log changes between versions. To overcome some of the above limitations, we propose differencing and merging architectural views based on structural information. To that effect, we generalize a published polynomial-time tree-to-tree correction algorithm (that detects inserts, renames and deletes) into a novel algorithm to additionally detect restricted moves and support forcing and preventing matches between view elements. We implement a set of tools to compare and merge component-and-connector (C&C) architectural views, incorporating the algorithm. Finally, we provide an empirical evaluation of the algorithm and the tools on case studies with real software, illustrating the practicality of the approach to find and reconcile interesting divergences between architectural views.}, KEYWORDS = {Software Architecture} } @InProceedings{Sousa2005, AUTHOR = {Sousa, Jo\~{a}o and Poladian, Vahe and Garlan, David and Schmerl, Bradley}, TITLE = {Capitalizing on Awareness of User Tasks for Guiding Adaptation.}, YEAR = {2005}, BOOKTITLE = {Proceedings of the First International Workshop on Adaptive and Self-managing Enterprise Applications, at CAISE'05}, ADDRESS = {Portugal}, PDF = {http://acme.able.cs.cmu.edu/pubs/uploads/pdf/asmea05.pdf}, ABSTRACT = {Computers support more and more tasks in the personal and professional activities of users. Such user tasks increasingly span large periods of time and many locations across the enterprise space and beyond. Recently there has been a growing interest in developing applications that can cope with the specific environmental conditions at each location, and adapt to dynamic changes in system resources. However, in a given situation there may be many possible configuration solutions, and an awareness of the user's intent for each task is a critical element in knowing which one to pick. In this paper, we discuss the limitations of building such awareness into applications, and propose to factor the awareness of user tasks into a common software layer. That however, brings up the problem of coordinating the system-wide adaptation performed by such a layer with fine-grain adaptation performed by resource-aware applications. We summarize the main features of an architectural framework that incorporates such a layer, and distill some of the lessons learned in implementing the framework.}, KEYWORDS = {Aura, Autonomic Systems, Ubiquitous Computing} } @PhdThesis{Sousa2005a, AUTHOR = {Sousa, Jo\~{a}o}, TITLE = {Scaling Task Management in Space and Time: Reducing User Overhead in Ubiquitous-Computing Environments}, YEAR = {2005}, SCHOOL = {Carnegie Mellon University School of Computer Science Technical Report CMU-CS-05-123}, KEYWORDS = {Aura, Ubiquitous Computing} } @InProceedings{Schmerl2005, AUTHOR = {Schmerl, Bradley and Yan, Hong and Garlan, David}, TITLE = {DiscoTect: A System for Discovering Architectures from Running Systems (Demonstration)}, YEAR = {2005}, MONTH = {September}, BOOKTITLE = {Proceedings of the Joint European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering}, ADDRESS = {Lisbon, Portugal}, PDF = {http://acme.able.cs.cmu.edu/pubs/uploads/pdf/discotect.pdf}, ABSTRACT = {One of the challenges for software architects is ensuring that an implemented system faithfully represents its architecture. We describe and demonstrate a tool, called DiscoTect, that addresses this challenge by dynamically monitoring a running system and deriving the software architecture as that system runs. The derivation process is based on mappings that relate low level system-level events to higher-level architectural events. The resulting architecture is then fed into existing architectural design tools so that comparisons can be conducted with the design time architecture and architectural analyses can be re-run to ensure that they are still valid. In addition to the demonstration, we briefly describe the mapping language and formal definition of the language in terms of Colored Petri Nets.}, KEYWORDS = {DiscoTect} } @InProceedings{Antoun2005, AUTHOR = {Abi-Antoun, Marwan and Aldrich, Jonathan and Garlan, David and Schmerl, Bradley and Nahas, Nagi and Tseng, Tony}, TITLE = {Software Architecture with Acme and ArchJava (Research Demonstration)}, YEAR = {2005}, MONTH = {May}, BOOKTITLE = {Proceedings of the 27th International Conference on Software Engineering}, ADDRESS = {St. Louis, MS}, PDF = {http://acme.able.cs.cmu.edu/pubs/uploads/pdf/archjava-demo-icse05.pdf}, ABSTRACT = {We demonstrate a tool to incrementally synchronize an Acme architectural model described in the Acme Architectural Description Language (ADL) with an implementation in ArchJava, an extension of the Java programming language that includes explicit architectural modeling constructs.}, KEYWORDS = {Acme, ArchJava, Software Architecture} } @InProceedings{Antoun2005a, AUTHOR = {Abi-Antoun, Marwan and Aldrich, Jonathan and Garlan, David and Schmerl, Bradley and Nahas, Nagi and Tseng, Tony}, TITLE = {Improving System Dependability by Enforcing Architectural Intent}, YEAR = {2005}, MONTH = {May}, BOOKTITLE = {Proceedings of the 2005 Workshop on Architecting Dependable Systems (WADS 2005)}, ADDRESS = {St. Louis, MS}, PDF = {http://acme.able.cs.cmu.edu/pubs/uploads/pdf/WADS05-2.pdf}, ABSTRACT = {Developing dependable software systems requires enforcing conformance between architecture and implementation during software development and evolution. We address this problem with a multi-pronged approach: (a) automated refinement of a component-and-connector (C&C) architectural view into an initial implementation, (b) enforcement of architectural structure at the programming language level, (c) automated abstraction of a C&C view from an implementation, and (d) semi-automated incremental synchronization between the architectural and the implementation C&C views. We use an Architecture Description Language (ADL), Acme, to describe the architecture, and ArchJava, an implementation language which embeds a C&C architecture specification within Java implementation code. Although both Acme and ArchJava specify C&C views, a number of structural differences may arise. Our approach can detect structural differences which correspond directly to implementation-level violations of the well thoughtout architectural intent. Furthermore, supplementing the C&C view extracted from the implementation with architectural types and styles can uncover additional violations. }, KEYWORDS = {Acme, ArchJava, Software Architecture} } @InProceedings{Poladian2005, AUTHOR = {Poladian, Vahe and Sousa, Jo\~{a}o and Padberg, Frank and Shaw, Mary}, TITLE = {Anticipatory Configuration of Resource-aware Applications}, YEAR = {2005}, MONTH = {May}, BOOKTITLE = {Proceedings of the 7th International Workshop on Economics Driven Software Engineering Research, affiliated with the 27th International Conference on Software Engineering}, ADDRESS = {St. Louis, MS}, PDF = {http://acme.able.cs.cmu.edu/pubs/uploads/pdf/edser7.pdf}, ABSTRACT = {We propose an improved approach to dynamic configuration of resource-aware applications. The new anticipatory model of configuration maximizes utility based on three inputs: user preferences, application capability profiles, and resource availability. In this respect, the proposed model is similar to a model of configuration described in [2]. However, the latter addresses the dynamic nature of the problem by reacting to changes (such as decrease in resource availability), and maximizes the utility in a point-wise manner. The newly proposed anticipatory approach explicitly models the duration of the task and leverages possible information about the future (such as stochastic resource availability over the expected duration of the task). We expect that the anticipatory model will improve user's utility, conserve scarce resources, and reduce the amount of disruption to the user resulting from changes when compared to the reactive model. However, the optimization problem underlying the anticipatory model is computationally more difficult than the problem underlying the reactive model. We would like to investigate if the anticipatory approach is feasible and efficient in practice while delivering the above-mentioned improvements. In this paper, we carefully state the model of anticipatory configuration, highlight the sources of complexity in the problem, propose an algorithm to the anticipatory configuration problem, and provide a roadmap for research.}, KEYWORDS = {Dynamic Configuration, Aura} } @InProceedings{Garlan2005, AUTHOR = {Garlan, David and Reinholtz, William K. and Schmerl, Bradley and Sherman, Nicholas and Tseng, Tony}, TITLE = {Bridging the Gap between Systems Design and Space Systems Software}, YEAR = {2005}, MONTH = {6-7 April}, BOOKTITLE = {Proceedings of the 29th Annual IEEE/NASA Software Engineering Workshop (SEW-29)}, ADDRESS = {Greenbelt, MD}, PDF = {http://acme.able.cs.cmu.edu/pubs/uploads/pdf/sew-final.pdf}, ABSTRACT = {A challenging problem for software engineering practitioners is moving from high-level system architectures produced by system engineers to deployable software produced by software engineers. In this paper we describe our experience working with NASA engineers to develop an approach and toolset for automating the generation of space systems software from architectural specifications. Our experience shows that it is possible to leverage the space systems domain, formal architectural specifications, and component technology to provide retargetable code generators for this class of software.}, KEYWORDS = {Acme, Software Architecture} } @InProceedings{Cheng2005, AUTHOR = {Cheng, Shang-Wen and Garlan, David and Schmerl, Bradley}, TITLE = {Making Self-Adaptation an Engineering Reality}, YEAR = {2005}, BOOKTITLE = {Proceedings of the Conference on Self-Star Properties in Complex Information Systems}, VOLUME = {3460}, EDITOR = {Babaoghu, Ozlap and Jelasity, Mark and Montroser, Alberto and Fetzer, Christof and Leonardi, Stefano and Van Moorsel, Aad}, SERIES = {LNCS}, PUBLISHER = {Springer-Verlag}, PDF = {http://acme.able.cs.cmu.edu/pubs/uploads/pdf/self-star-2005.pdf}, ABSTRACT = {In this paper, we envision a world where a software engineer could take an existing software system, specify, for a set of properties of interest, an objective, conditions for change, and strategies for their adaptation and, within a few man weeks, make that system self-adaptive where it was not before. We describe how our approach generalizes to different classes of systems and holds promise for cost-effective, dynamic system self-adaptation to become an engineering reality.}, NOTE = {Also available from Springer-Verlag here}, KEYWORDS = {Autonomic Systems, Rainbow, Self-Repair} } @InCollection{Coutaz2005, AUTHOR = {Coutaz, Joelle and Crowley, Jame L. and Dobson, Simon and Garlan, David}, TITLE = {Context is Key}, YEAR = {2005}, MONTH = {March}, BOOKTITLE = {Communications of the ACM, Special Issue on The Disappearing Computer}, VOLUME = {58}, NUMBER = {4}, PAGES = {49-53}, KEYWORDS = {Ubiquitous Computing} } @Misc{Cheng2005a, AUTHOR = {Cheng, Shang-Wen and Nord, Robert and Stafford, Judith}, TITLE = {WICSA Wiki WAN Party: capturing experience in software architecture best practices}, YEAR = {2005}, MONTH = {January}, HOWPUBLISHED = {ACM SIGSOFT Software Engineering Notes, Volume 30, Number 1}, PDF = {http://acme.able.cs.cmu.edu/pubs/uploads/pdf/wwwp.pdf}, ABSTRACT = {Researchers, practitioners, educators, and students of software architecture would benefit from having online access to quality information about the state of research and practice of software architecture. In recent years, Wiki technology has enabled distributed and collaborative editing of content using only a Web browser. To explore whether Wiki technology would be effective in facilitating the ongoing discussion and evolution of ideas on software architecture, we hosted the WICSA Wiki WAN Party (WWWP) during the 4th Working IEEE/IFIP Conference on Software Architecture (WICSA 2004). We used a history tool developed at IBM Research to monitor site activity and provide daily feedback to conference participants. This report recounts experience hosting this Wiki site and summarizes the site activity.}, KEYWORDS = {Software Architecture} } @PhdThesis{Spitznagel2004, AUTHOR = {Spitznagel, Bridget}, TITLE = {Compositional Transformation of Software Connectors}, YEAR = {2005}, SCHOOL = {Carnegie Mellon Univeristy School of Computer Science Technical Report CMU-CS-04-128}, KEYWORDS = {Software Architecture} } @TechReport{Sousa2005b, AUTHOR = {Sousa, Jo\~{a}o and Balan, Rajesh and Poladian, Vahe and Garlan, David and Satyanarayanan, Mahadev}, TITLE = {Giving Users the Steering Wheel for Guiding Resource-Adaptive Systems}, YEAR = {2005}, MONTH = {December}, NUMBER = {CMU-CS-05-198}, INSTITUTION = {Carnegie Mellon University School of Computer Science}, KEYWORDS = {Aura, Mult-fidelity Applications, Resource Allocation, Service Composition, Ubiquitous Computing} }