article Archive

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

OCL (Object Constraint Language) is used everywhere: to define well-formedness rules, query expressions, model transformations,… but

Model-driven learning design

In a collaboration with Juan Manuel Dodero and his colleagues from the University of Cadiz, we

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,

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.