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...
Dynamic Meta Modeling with time: Specifying the semantics of multimedia sequence diagrams
The Unified Modeling Langugage (UML) offers different diagram types to model the behavior of software systems. In some domains...
Emerging OCL tools
The Object Constraint Language (OCL) is a notational language for analysis and design of software systems, which is used...
Incorporating message weights in UML-based analysis of behavioral dependencies in distributed systems
Behavioral dependency analysis (BDA) and the visualization of dependency information have been identified as a high priority in industrial...
Modeling robustness behavior using aspect-oriented modeling to support robustness testing of industrial systems
Model-based robustness testing requires precise and complete behavioral, robustness modeling. For example, state machines can be used to model...
The KeY tool: Integrating object oriented design and formal verification
KeY is a tool that provides facilities for formal specification and verification of programs within a commercial platform for...
