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...
VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML...
As UML 2.0 is evolving into a family of languages with individually specified semantics, there is an increasing need...
Pattern reification as the basis for description-driven systems
One of the main factors driving object-oriented software development for information systems is the requirement for systems to be...
Graph and model transformation tools for model migration: Empirical results from the transformation tool...
We describe the results of the Transformation Tool Contest 2010 workshop, in which nine graph and model transformation tools...
Example-driven modeling: on effects of using examples on structural model comprehension, what makes them...
We present a controlled experiment for the empirical evaluation of example-driven modeling (EDM), an approach that systematically uses examples...
UML 3.0 and the future of modeling
None
Read the full paper here: http://www.sosym.org/
