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...
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...
A visual language for modeling and executing traceability queries
Current software and systems engineering tools provide only basic trace features, and as a result users are often compelled...
Thirteen years of SysML: a systematic mapping study
The OMG standard Systems Modeling Language (SysML) has been on the market for about thirteen years. This standard is...
