Modeling in Software Engineering Workshop – Day 1

Ayer y hoy estoy asistiendo al worksohp MiSE (Modeling in Software Engineering) 2009, parte de la conferencia ICSE’09. La verdad es que el workshop está siendo bastante interesante por lo que que he pensado que podria ser útil dar mi resumen/opinión sobre los artículos que se presentan para todos aquellos que NO estáIS aquí.

Durante el primer día se han presentado cuatro trabajos (todos disponibles en la IEEE Digital library pero si NO tenéIS acceso siempre podéIS pedir el artículo directamente a los autores). El resumen/opinión (en inglés) de cada artículo es el siguiente:

Toward Engineered Architecture Evolution by Chaki, Diaz-Pace, Garlan, Gurfinkel, Ozkaya proposes an approach TO engineer the process OF architecture evolution. Given the final architecture we want TO target, they split the evolution process IN a sequence OF steps WHERE each step applies a transformation operator TO evolve the CURRENT architecture. During the paper discussion, the main question was whether we could really assume that we know the target architecture WHEN we start evolving the CURRENT one. IN fact, TO me, the problem OF selecting the RIGHT architecture FOR a given system IS the biggest challenge. I’d like to see an expert system that, given a prioritized list of non-functional requirements (cost, flexibility, security,…) could recommend me: 1 – an architectural style and 2 – a set of technologies/products to implement that style (many of the performance characteristics largely depend more on the specific software components used in the architecture that on the properties of the style itself).

In Relationship-Based Change Propagation: A Case Study by Cabot, Chechik, Diskin, Easterbrook, Lai, Nejati
we discuss how to relate models at different abstraction levels by explicitly defining relationships among them. The possible kinds of relationships are pre-defined at the meta-model level for each pair of model types. Relationships can then be used to facilitate change propagation (i.e. given a change on a higher-level abstraction model, what are the changes we have to perform on the lower-level ones?). Our preliminary algorithm for change propagation informs the designer about the parts of the down-stream model that need not to be changed and points to the parts that have to be manually completed to correctly evolve it (kind of “fill in the gaps” process). This is still a preliminary work (as many attendees kindly pointed out) but we are working on generalizing the results.

Raising the Level of Abstraction in the Development of GMF-based Graphical Model Editors by Kolovos, Rose, Paige, Pollack provides an alternative way of defining a graphical modeling framework for our domain-specific languages, specially useful for non-GMF experts. Given a textual description of the meta-model plus some simple annotations, EuGENia generates all required GMF-models. The paper discussion was focus on the typical usability vs expressivity trade-off. More expressive annotations allow to support more complex frameworks but as a trade-off we lose the simplicity of the approach. It was suggested that EuGENia can be used as a first step. Then designers requiring more advanced features could extend the generated GMF models (exactly as they would do in the “normal” process).

Tailoring a Model-Driven Quality-of-Service DSL for Various Stakeholders by Oberortner, Zdun, Dustdar . This papers deals with the problem of how to involve different kinds of users/stakeholders (specially non-technical ones) in the definition, validation and use of domain specific languages. The solution? Divide the DSL into multiple (related) sub-languages at different abstraction levels and tailor each sub-language to a specific kind of stakeholder.

El día acabó con la presentación de dos posters acerca de como tratar las inconsistencias entre modelos y sobre como buscar y hacer un revisión sistemática de lo publicado en temas de verificación y validación en UML.

Varios de mis compañeros de la universidad de Toronto están también “bloggeando” sobre la conferencia. Podéis acceder al RSS desde aquí

Leave a Reply

Your email address will not be published. Required fields are marked *

*

You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>

Modeling in Software Engineering Workshop – Day 1

I’m attending the MiSE (Modeling IN Software Engineering) Workshop 2009, part OF the ICSE’09 conference.
So far, it’s been a very interesting event so I thought I should blog about it FOR ALL OF you that cannot attend.

IN this FIRST DAY we had four FULL paper presentations (ALL papers ARE available IN the IEEE Digital library but if you don’t have access and want to read a paper I’m sure the authors will gladly send you a copy):

Toward Engineered Architecture Evolution by Chaki, Diaz-Pace, Garlan, Gurfinkel, Ozkaya proposes an approach TO engineer the process OF architecture evolution. Given the final architecture we want TO target, they split the evolution process IN a sequence OF steps WHERE each step applies a transformation operator TO evolve the CURRENT architecture. During the paper discussion, the main question was whether we could really assume that we know the target architecture WHEN we start evolving the CURRENT one. IN fact, TO me, the problem OF selecting the RIGHT architecture FOR a given system IS the biggest challenge. I’d like to see an expert system that, given a prioritized list of non-functional requirements (cost, flexibility, security,…) could recommend me: 1 – an architectural style and 2 – a set of technologies/products to implement that style (many of the performance characteristics largely depend more on the specific software components used in the architecture that on the properties of the style itself).

In Relationship-Based Change Propagation: A Case Study by Cabot, Chechik, Diskin, Easterbrook, Lai, Nejati
we discuss how to relate models at different abstraction levels by explicitly defining relationships among them. The possible kinds of relationships are pre-defined at the meta-model level for each pair of model types. Relationships can then be used to facilitate change propagation (i.e. given a change on a higher-level abstraction model, what are the changes we have to perform on the lower-level ones?). Our preliminary algorithm for change propagation informs the designer about the parts of the down-stream model that need not to be changed and points to the parts that have to be manually completed to correctly evolve it (kind of “fill in the gaps” process). This is still a preliminary work (as many attendees kindly pointed out) but we are working on generalizing the results.

Raising the Level of Abstraction in the Development of GMF-based Graphical Model Editors by Kolovos, Rose, Paige, Pollack provides an alternative way of defining a graphical modeling framework for our domain-specific languages, specially useful for non-GMF experts. Given a textual description of the meta-model plus some simple annotations, EuGENia generates all required GMF-models. The paper discussion was focus on the typical usability vs expressivity trade-off. More expressive annotations allow to support more complex frameworks but as a trade-off we lose the simplicity of the approach. It was suggested that EuGENia can be used as a first step. Then designers requiring more advanced features could extend the generated GMF models (exactly as they would do in the “normal” process).

Tailoring a Model-Driven Quality-of-Service DSL for Various Stakeholders by Oberortner, Zdun, Dustdar . This papers deals with the problem of how to involve different kinds of users/stakeholders (specially non-technical ones) in the definition, validation and use of domain specific languages. The solution? Divide the DSL into multiple (related) sub-languages at different abstraction levels and tailor each sub-language to a specific kind of stakeholder.

The day ended with the presentation of two posters on inconsistency resolution and on V&V approaches for UML.

Btw, some other colleagues from the U of Toronto are also live blogging from the conference. The aggregated feed can be found here

Leave a Reply

Your email address will not be published. Required fields are marked *

*

You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>

Powered by WordPress
More in event, modeling
Microsoft Visio UML to XMI export
OCL Workshop 2009 – The Pragmatics of OCL and other textual specification languages (UPDATED)
To model or not to model – that is the WRONG Question
Close