FATBIT

Foundations, Applications and Tools for Bidirectional Transformation

News

Dez 23

New papers accepted for publication at PEPM'14 and FASE'14.

Aug 26

Tool demo accepted for publication at ASE'13: Nuno Macedo, Tiago Guimarães, and Alcino Cunha, Model Repair and Transformation with Echo.

Mar 18

Our FASE'13 paper on Implementing QVT-R Bidirectional Model Transformations using Alloy is one of the nominated for best paper at ETAPS.

Feb 1

Paper accepted for publication at BX'13: N. Macedo, H. Pacheco, A. Cunha, and J. N. Oliveira: Composing Least-change Lenses.

Dec 21

Two new students have joined the project team as BI grant holders. Nuno Sousa will be working on bidirectionalizing spreadsheet formulas, and Tiago Guimarães will help in the implementation of a QVT-R bidirectional transformation tool.

Dec 18

Paper accepted for publication at FASE'13: N. Macedo and A. Cunha: Implementing QVT-R Bidirectional Model Transformations using Alloy.

Oct 10

Two 6 month grants available to work on bidirectional transformations!

Jun 16

Paper accepted for publication at RAMICS'12: N. Macedo, H. Pacheco and A. Cunha: Relations as executable specifications: taming partiality and non-determinism using invariants.

Jun 1

Paper accepted for publication at the post-proceedings of BX'12: H. Pacheco, A. Cunha and Z. Hu. Delta Lenses over Inductive Types.

Old News

FATBIT Workshop, Braga, July 17, 2013

Participants

Program

9h30 Alcino Cunha: Overview of the FATBIT project (Sala Reuniões)
9h45 Nuno Macedo, Tiago Guimarães: Model repair and transformation with Echo
Models are paramount in model-driven engineering. In a software project many models may coexist, capturing different views of the system or different levels of abstraction. A key and arduous task in this development method is to keep all such models consistent, both with their meta-models (and the respective constraints) and among themselves. This presentation will present and demo Echo, a tool that aims at simplifying this task by automating inconsistency detection and repair using a solver based engine. Consistency between different models can be specified by bidirectional model transformations, and is guaranteed to be recovered by minimal updates on the inconsistent models. The tool is freely available as an Eclipse plugin, developed on top of the popular EMF framework, and supports constraints and transformations specified in the OMG standard languages OCL and QVT-R, respectively.
10h30 Coffee break
10h45 Alcino Cunha: Target oriented model finding (Sala Reuniões)
Model finders are undoubtedly useful. Many already support expressive logics that simplify the specification of typical software engineering requirements. Some allow the encoding of partial knowledge about instances. This is useful, for example, for specifying typical examples in order to validate the specification, or for bounding model verification within a particular class of instances. An example of such model finder is Kodkod, that supports constraints written in relational logic, and that allows the specification of lower and upper bounds for instances. Besides being the model finder that supports the verification of specifications written in (the increasingly popular) Alloy language, due to aforementioned features, Kodkod is also the model finder of choice in the backend of many software engineering applications and tools. In this presentation I will first present an interesting class of software engineering applications that can be implemented using a model finding procedure that tries to yield a SAT instance "as close as possible" to a given target UNSAT instance. I will then show how Kodkod can be extended to support such functionality using two different approaches: via encoding to boolean SAT solvers that support cardinality constraints, and via encoding to PMAX-SAT solvers. Finally, some small case-studies and preliminary evaluation results will be presented to access the viability of this extension.
11h15 Nuno Macedo, Nuno Souza: Bidirectional Spreadsheet Formulas (Sala Reuniões)
Bidirectional transformations have application in a wide number of computer science domains. Spreadsheets, on the other hand, are widely used for developing business applications, but their formulas are unidirectional, in the sense that their result can not be edited and propagated back to their input cells. In this presentation we will discuss the bidirectionalization of such formulas, by recasting them as lenses over types enriched with invariants. The presentation includes a small demo of the Excel plugin we are currently developing to implement such bidirectionalization.
12h00 Lunch
14h00 Perdita Stevens: Models in software engineering (Anfiteatro DI A1)
A model is (for purposes of this talk) an abstract, usually graphical, representation of some aspect of a software-intensive system. Software engineering has, since its invention, involved the use of models. In recent decades, a perceived need for greater automation of processes in software engineering, the wish to develop software faster and more cheaply, and the drive for higher quality have motivated ever more reliance on models. Languages for modelling and techniques for working with models have struggled to keep pace, hindered in some cases by conflicting requirements arising from the different motivations. We are currently in a dangerous state in which models sometimes endanger rather than support the developers' aims. I will explain some of the problems, and discuss the progress that I think we will/may/should/must/cannot expect to see in the coming years.
15h00 Coffee break
15h30 Small meeting: Bidirectional model transformation case studies (Sala Reuniões)
Perdita Stevens, Alcino Cunha, Nuno Macedo, Tiago Jorge
16h00 Small meeting: A model approach for pattern based software development (Sala Reuniões)
Perdita Stevens, José Creissac Campos, António Nestor Ribeiro
16h30 Small meeting: Transformation of Business Process Models (Sala Reuniões)
Perdita Stevens, João Miguel Fernandes

r4 - 30 Sep 2013 - 08:51:15 - AlcinoCunha
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM