%
% GENERATED FROM http://acme.able.cs.cmu.edu
%    by   : anonymous
%    IP   : 216.73.216.237
%    at   : Sun, 15 Jun 2025 10:09:31 -0400 GMT
%    
% Selection : Author: Hong_Yan
%




@Article{DiscoTectTSE,
      AUTHOR = {Schmerl, Bradley and Aldrich, Jonathan and Garlan, David and Kazman, Rick and Yan, Hong},
      TITLE = {Discovering Architectures from Running Systems},
      YEAR = {2006},
      MONTH = {July},
      JOURNAL = {IEEE Transactions on Software Engineering},
      VOLUME = {32},
      NUMBER = {7},
      PDF = {http://acme.able.cs.cmu.edu/pubs/uploads/pdf/discotect-tse.pdf},
      ABSTRACT = {One of the challenging problems for software developers is guaranteeing that a system as built is consistent with its architectural design. In this paper, we describe a technique that uses runtime observations about an executing system to construct an architectural view of the system. In this technique, we develop mappings that exploit regularities in system implementation and architectural style. These mappings describe how low-level system events can be interpreted as more abstract architectural operations and are formally defined using Colored Petri Nets. In this paper, we describe a system, called DiscoTect, that uses these mappings and we introduce the DiscoSTEP mapping language and its formal definition. Two case studies showing the application of DiscoTect suggest that the tool is practical to apply to legacy systems and can dynamically verify conformance to a preexisting architectural specification.},
      NOTE = {Also available from <a href='http://ieeexplore.ieee.org/xpl/tocresult.jsp?isYear=2006&isnumber=35280&Submit32=Go+To+Issue'>IEEE</a>. <a href=http://acme.able.cs.cmu.edu/pubs/upload/pdf/TSE-32-7/Appendix-A.pdf>Appendix A</a>, <a href=http://acme..able.cs.cmu.edu/pubs/upload/pdf/TSE-32-7/Appendix-B.pdf>Appendix B</a>},
      KEYWORDS = {DiscoTect, Rainbow, Self-Repair, Software Architecture}
}

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

@TechReport{Yan2004,
      AUTHOR = {Yan, Hong and Aldrich, Jonathan and Garlan, David and Kazman, Rick and Schmerl, Bradley},
      TITLE = {Discovering Architectures from Running Systems: Lessons Learned},
      YEAR = {2004},
      NUMBER = {CMU-SEI-2004-TR-016},
      INSTITUTION = {Software Engineering Institute}
}

@InProceedings{Yan2004a,
      AUTHOR = {Yan, Hong and Garlan, David and Schmerl, Bradley and Aldrich, Jonathan and Kazman, Rick},
      TITLE = {DiscoTect: A System for Discovering Architectures from Running Systems},
      YEAR = {2004},
      MONTH = {23-28 May},
      BOOKTITLE = {Proceedings of the 26th International Conference on Software Engineering},
      ADDRESS = {Edinburgh, Scotland},
      PDF = {http://www.cs.cmu.edu/afs/cs/project/able/ftp/icse04-discotect/discotect.pdf},
      ABSTRACT = {One of the challenging problems for software developers is guaranteeing that a system as built is consistent with its architectural design. In this paper we describe a technique that uses run time observations about an executing system to construct an architectural view of the system. With this technique we develop mappings that exploit regularities in system implementation and architectural style. These mappings describe how low-level system events can be interpreted as more abstract architectural operations. We describe the current implementation of a tool that uses these mappings, and show that it can highlight inconsistencies between implementation and architecture.},
      KEYWORDS = {DiscoTect, Software Architecture}
}