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...
A model-driven method for describing and predicting the reliability of composite services
Service-oriented computing is the prominent paradigm for viewing business processes as composed of functions provided by modular and standardized...
A formal approach to model refactoring and model refinement
Model-driven engineering is an emerging software engineering approach that relies on model transformation. Typical kinds of model transformations are...
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...
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...
SQL-PL4OCL: an automatic code generator from OCL to SQL procedural language
In this paper, we introduce a SQL-PL code generator for OCL expressions that, in contrast to other proposals, is...
Formal verification and validation of embedded systems: the UML-based MADES approach
Formal verification and validation activities from the early development phases can foster system consistency, correctness, and integrity, but they...
