Publication

A metamodel for the Unified Modeling Language: critical analysis and solution

Related publications (58)

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

An OCL Semantics Specified with QVT

Slavisa Markovic

Metamodeling became in the last decade a widely accepted tool to describe the (abstract) syntax of modeling languages in a concise, but yet precise way. For the description of the language's semantics, the situation is less satisfactory and formal semantic ...

2006

A Graphical Approach to Prove the Semantic Preservation of UML/OCL Refactoring Rules

Slavisa Markovic

Refactoring is a powerful technique to improve the quality of software models including implementation code. The software developer applies successively so-called refactoring rules on the current software model and transforms it into a new model. Ideally, ...

2006

A Graphical Approach to Prove the Semantic Preservation of UML/OCL Refactoring Rules

Slavisa Markovic

2006

Language-centric methodologies, triggered by the success of Domain Specific Languages, rely on precise specifications of modeling languages. While the definition of the abstract syntax is standardized by the 4-layer metamodel architecture of the OMG, most ...

2005

OCL and Model Driven Engineering

Precise modeling is essential to the success of the OMG's Model Driven Architecture initiative. At the modeling level (M1) OCL allows for the precision needed to write executable models. Can OCL be extended to become a full high-level executable language w ...

Springer2005

Proceedings of the MoDELS'05 Workshop on Tool Support for OCL and Related Formalisms -- Needs and Trends

This Technical Report comprises the final versions of the technical papers presented at the workshop 'Tool Support for OCL and Related Formalisms -- Needs and Trends' held in Montego Bay (Jamaica), October 4, 2005. The workshop was co-located with the ACM/ ...

2005

On Executable Meta-Languages applied to Model Transformations

Frédéric Fondement

Domain specific languages for model transformation have recently generated significant interest in the model-driven engineering community. The adopted QVT specification has normalized some scheme of model transformation language; however several different ...

2005

Refactorings represent a powerful approach for improving the quality of software systems. A refactoring can be seen as a special kind of behavior preserving model transformation. The Object Constraint Language (OCL) together with the metamodel of Unified M ...

2004

Foundations of systems and properties

Otto Preiss

Engineering of software-intensive systems is concerned with the creation and evolution of systems that shall exhibit desired properties in their execution as well as development environment. In this context, the motivation of this thesis, derived from curr ...

EPFL2004

Defining Model Driven Engineering Processes

Frédéric Fondement

Software engineering techniques made it possible for developers to build larger, and more accurate, reliable, and maintainable software-intensive systems. This was essentially possible by introducing techniques for raising the level of abstraction for desc ...

2004