Consistent specification of interface suites in UML
The paper motivates and describes a model oriented approach for consistent specification of interface suites in UML. An interface...
Language-specific model checking of UML-RT models
Model-driven development (MDD) deals with complexities of modern software development by using models. Their verification is one of the...
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/
Translating between Alloy specifications and UML class diagrams annotated with OCL
Model-driven engineering (MDE) is a software engineering approach based on model transformations at different abstraction levels. It prescribes the...
Redesign of UML class diagrams: a formal approach
Contracts provide a precise way of specifying object-oriented systems. When a class structure is modified, the corresponding contracts must...
A model-driven approach for vulnerability evaluation of modern physical protection systems
Modern physical protection systems integrate a number of security systems (including procedures, equipments, and personnel) into a single interface...
Empirically evaluating OCL and Java for specifying constraints on UML models
The Object Constraint Language (OCL) has been applied, along with UML models, for various purposes such as supporting model-based...
Formal semantics of static and temporal state-oriented OCL constraints
The textual Object Constraint Language (OCL) is primarily intended to specify restrictions over UML class diagrams, in particular class...
An interactive tool for UML class model evolution in database applications
In the context of model-driven development of database applications with UML, the (usually relational) database schema is obtained automatically...
