An approach to clone detection in sequence diagrams and its application to security analysis
Duplication in software systems is an important issue in software quality assurance. While many methods for software clone detection...
A profile and tool for modelling safety information with design information in SysML
Communication both between development teams and between individual developers is a common source of safety-related faults in safety-critical system...
Does aspect-oriented modeling help improve the readability of UML state machines?
Aspect-oriented modeling (AOM) is a relatively recent and very active field of research, whose application has, however, been limited...
Promoting traits into model-driven development
Traits, as sets of behaviors, can provide a good mechanism for reusability. However, they are limited in important ways...
Temporal property patterns for model-based testing from UML/OCL
This article describes a new property- and model-based testing approach using UML/OCL models, driven by temporal property patterns and...
Non-functional properties in the model-driven development of service-oriented systems
Systems based on the service-oriented architecture (SOA) principles have become an important cornerstone of the development of enterprise-scale software...
Bridging the gap between IEEE 1471, an architecture description language, and UML
A lot of attention has been paid to software architecture issues in academia, industrial research and standardization organizations working...
Automatic generation of built-in contract test drivers
Automatic generation of platform-independent and -dependent built-in contract test drivers that check pairwise interactions between client and server components...
Efficient analysis of pattern-based constraint specifications
Precision and consistency are important prerequisites for class models to conform to their intended domain semantics. Precision can be...
Modeling and enforcing invariants of dynamic software architectures
In this paper, we propose an "end-to-end" approach that supports dynamic reconfiguration of software architectures taking advantage of graphical...
