Category Archives: article

Formal semantics for the OCL (Object Constraint Language) – new attempt

dresden ocl logo

OCL (Object Constraint Language) is used everywhere: to define well-formedness rules, query expressions, model transformations,… but (as happens with most languages) a precise definition of the OCL semantics was lacking. Indeed, the OCL standard document from the OMG does include an Appendix A with a partial formal semantics but this was useful more as a

Model-driven learning design

Learning Design MDE process

In a collaboration with Juan Manuel Dodero and his colleagues from the University of Cadiz, we have explored the application of MDE to a new (for me) scenario: the generation of learning environments from a learning design model conforming to a learning design DSL. It’s an easy joke but let me say that I learnt

Towards a General Composition Semantics for Rule-Based Model Transformation

As model transformations have become an integral part of the automated software engineering lifecycle, reuse, modularisation, and composition of model transformations becomes important. One way to compose model transformations is to compose modules of transformation rules, and execute the composition as one transformation (internal composition). This kind of composition can provide fine-grained semantics, as it

EMF Profiles – An annotation mechanism for EMF Models

There ARE many situations IN which you would LIKE TO extend OR annotate a model WITH additional information but most times the LAST thing you’d LIKE TO do IS TO change its metamodel TO be able TO include this new information. Changing the metamodel IS a very costly process (e.g. you’ll need TO recreate the modeling environment AND, possibly, TO migrate other existing models). Even WHEN you have TO do it, e.g. TO adapt your DOMAIN-specific (modeling) LANGUAGE (DSML) TO the new needs OF the DOMAIN it was created FOR, you’d prefer a less traumatic evolution alternative.

Generating operation specifications from UML class diagrams: A model transformation approach

My paper “Generating operation specifications from UML class diagrams: A model transformation approach” (together WITH Manoli Albert, Cristina Gómez AND Vicente Pelechano) has just been accepted FOR publication IN the
Data & Knowledge Engineering Journal.

Top 10 posts on business process modeling in the ARIS community (including mine)

SOME TIME ago I wrote a blog post FOR the Aris community (digital home OF ALL ARIS AND BPM geeks around the world) discussing the importance OF modeling the social aspects OF sofware processes .

Who owns the copyright when implementing an algorithm described in a journal?

Curious question IN the business OF software forum : “If I implement an algorithm published in a computer science journal using the formulas, pseudocode and description in the publication, do I retain the copyright of my source code?”

On the semantics of (real-time) Domain Specific Modeling Languages

Last week I attended the PhD Thesis defense of José E. Rivera (thesis supervised by Antonio Vallecillo and Francisco Durán ) proposing a method for the formal definition of Domain specific modeling languages (DSMLs).

IMHO, the thesis covers an important gap in Model-driven engineering. Right now, many people tend to believe that by defining the concrete and abstract syntax (i.e.

Modeling social aspects of (software) processes

CHECK the blog post I´ve written FOR the ARIS Community blog (digital home OF ALL ARIS AND BPM geeks around the world) discussing the importance OF modeling the social aspects OF sofware processes.

Cite our modeling papers not only our modeling tools (thanks)

In AtlanMod , we are very proud of the large user base of our tools and of the benefits (and challenges!) that this brings to the team.

Powered by WordPress