Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Generating statechart designs from scenarios
Proceedings of the 22nd international conference on Software engineering
MAS — an interactive synthesizer to support behavioral modelling in UML
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
The Java Language Specification
The Java Language Specification
Synthesis of Behavioral Models from Scenarios
IEEE Transactions on Software Engineering
Validating UML models against architectural profiles
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
A UML-Based Pattern Specification Technique
IEEE Transactions on Software Engineering
Revisiting Statechart Synthesis with an Algebraic Approach
Proceedings of the 26th International Conference on Software Engineering
DiscoTect: A System for Discovering Architectures from Running Systems
Proceedings of the 26th International Conference on Software Engineering
UML-Based Reverse Engineering and Model Analysis Approaches for Software Architecture Maintenance
ICSM '04 Proceedings of the 20th IEEE International Conference on Software Maintenance
Aspect-oriented software development
Aspect-oriented software development
A pattern-based approach to generate code from API usage scenarios
Nordic Journal of Computing - Selected papers of the fourth nordic workshop on UML and software modelling (NWUML'06), June 12-14, 2006
Architecture compliance checking at run-time
Information and Software Technology
Monitoring architectural properties in dynamic component-based systems
CBSE'07 Proceedings of the 10th international conference on Component-based software engineering
Architectural verification of black-box component-based systems
RISE'06 Proceedings of the 3rd international conference on Rapid integration of software engineering techniques
Behavioral profiles—a way to model and validate program behavior
Software—Practice & Experience
Checking the correspondence between UML models and implementation
RV'10 Proceedings of the First international conference on Runtime verification
Architecture-based run-time fault diagnosis
ECSA'11 Proceedings of the 5th European conference on Software architecture
Using AOP for detailed runtime monitoring instrumentation
WODA '09 Proceedings of the Seventh International Workshop on Dynamic Analysis
Hi-index | 0.00 |
Although static structures are often advocated as the main ingredient of a software architecture, dynamic program behavior forms an essential part of it. Verifying the behavior is a crucial yet often troublesome part of testing. Hence, it is of great concern to find means to facilitate the testing of dynamic behaviors. This paper studies one approach to such behavioral monitoring. The details of the approach are the following. We have used the concept of behavioral profiles to specify the desired program behavior using UML. Provided with a behavioral profile created with a CASE tool, we are able to automatically generate AspectJ aspects that are woven into Java program code, thus adding a monitoring concern to the system. This results in the opportunity to monitor architecturally significant behaviors defined with architectural profiles at code level. Towards the end of the paper, we study the applicability of the approach in industrial use.