DiscoTect: A System for Discovering the Architectures of Running Programs using Colored Petri Nets
作者： Bradley Schmerl , Jonathan Aldrich , David Garlan , Rick Kazman , Hong Yan
DOI: 10.21236/ADA456147
关键词:
摘要: Abstract : One of the challenging problems for software developers is guaranteeing that a system as built consistent with its architectural design. In this paper we describe technique uses run time observations about an executing to construct view system. develop mappings exploit regularities in implementation and style. These how low-level events can be interpreted more abstract operations, are formally defined using Colored Petri Nets. system, called DiscoTect, these mappings, introduce DiscoSTEP mapping language formal definition. Two case studies showing application DiscoTect suggest tool practical apply legacy systems dynamically verify conformance pre-existing specification.
sci-hub.st 参考文章(38)
Rick Kazman, Paul Clements, Mark M. Klein, Evaluating Software Architectures: Methods and Case Studies ,(2001)
Neel Madhav, Testing Ada 95 Programs for Conformance to Rapide Architectures international conference on reliable software technologies. pp. 123- 134 ,(1996) , 10.1007/BFB0013483
Benjamin C. Pierce, Types and Programming Languages ,(2002)
Robert T. Monroe, David Garlan, David Wile, Acme: architectural description of component-based systems Foundations of component-based systems. pp. 47- 67 ,(2000)
Gail C. Murphy, Robert J. Walker, Martin P. Robillard, Jeffrey Steinbok, Efficient mapping of software system traces to architectural views conference of the centre for advanced studies on collaborative research. pp. 12- ,(2000)
Rick Kazman, S. Jeromy Carrière, Playing Detective: Reconstructing Software Architecture from Available Evidence automated software engineering. ,vol. 6, pp. 107- 138 ,(1999) , 10.1023/A:1008781513258
Rick Kazman, Len Bass, Paul Clements, Software Architecture in Practice ,(1997)
Wolfgang Schröder-Preikschat, Olaf Spinczyk, Andreas Gal, AspectC++: an aspect-oriented extension to the C++ programming language CRPIT '02 Proceedings of the Fortieth International Conference on Tools Pacific: Objects for internet, mobile and embedded applications. pp. 53- 60 ,(2002)
David Garlan, Shang-Wen Cheng, Andrew J. Kompanek, Reconciling the needs of architectural description with object-modeling notations Science of Computer Programming. ,vol. 44, pp. 23- 49 ,(2002) , 10.1016/S0167-6423(02)00031-X
Masoud Mansouri-Samani, Morris Sloman, GEM: a generalized event monitoring language for distributed systems Distributed Systems Engineering. ,vol. 4, pp. 96- 108 ,(1997) , 10.1088/0967-1846/4/2/004