Coloured Petri Nets: a high level language for system design and analysis
APN 90 Proceedings on Advances in Petri nets 1990
Formalizing architectural connection
ICSE '94 Proceedings of the 16th international conference on Software engineering
Rapide: a language and toolset for simulation of distributed systems by partial orderings of events
POMIV '96 Proceedings of the DIMACS workshop on Partial order methods in verification
Visualizing dynamic software system information through high-level models
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Dynamically Discovering Likely Program Invariants to Support Program Evolution
IEEE Transactions on Software Engineering - Special issue on 1999 international conference on software engineering
ArchJava: connecting software architecture to implementation
Proceedings of the 24th International Conference on Software Engineering
Playing Detective: Reconstructing Software Architecture from Available Evidence
Automated Software Engineering
Testing Ada 95 Programs for Conformance to Rapide Architectures
Ada-Europe '96 Proceedings of the 1996 Ada-Europe International Conference on Reliable Software Technologies
JIVE: visualizing Java in action demonstration description
Proceedings of the 25th International Conference on Software Engineering
Efficient mapping of software system traces to architectural views
CASCON '00 Proceedings of the 2000 conference of the Centre for Advanced Studies on Collaborative research
Software Architecture Analysis Based on Statechart Semantics
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
DiscoTect: A System for Discovering Architectures from Running Systems
Proceedings of the 26th International Conference on Software Engineering
AcmeStudio: Supporting Style-Centered Architecture Development
Proceedings of the 26th International Conference on Software Engineering
The role of event description in architecting dependable systems
Architecting dependable systems
Bug localization in test-driven development
Advances in Software Engineering
PANDArch: a pluggable automated non-intrusive dynamic architecture conformance checker
ECSA'13 Proceedings of the 7th European conference on Software Architecture
Hi-index | 0.00 |
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.