Journal Articles

Macedo N, Jorge T, Cunha A.  2016.  A feature-based classification of model repair approaches. IEEE Transactions on Software Engineering. repair16.pdf
Moreira JM, Cunha A, Macedo N.  2015.  An ORCID based synchronization framework for a national CRIS ecosystem. 4(181) Abstract10.12688_f1000research.6499.1_20150929.pdf

PTCRIS (Portuguese Current Research Information System) is a program aiming at the creation and sustained development of a national integrated information ecosystem, to support research management according to the best international standards and practices.This paper reports on the experience of designing and prototyping a synchronization framework for PTCRIS based on ORCID (Open Researcher and Contributor ID). This framework embraces the "input once, re-use often" principle, and will enable a substantial reduction of the research output management burden by allowing automatic information exchange between the various national systems.
The design of the framework followed best practices in rigorous software engineering, namely well-established principles in the research field of consistency management, and relied on formal analysis techniques and tools for its validation and verification.
The notion of consistency between the services was formally specified and discussed with the stakeholders before the technical aspects on how to preserve said consistency were explored. Formal specification languages and automated verification tools were used to analyze the specifications and generate usage scenarios, useful for validation with the stakeholder and essential to certificate compliant services.
Cunha A, Macedo N.  2014.  Least- Change Bidirectional Model Transformation With QVT- R and ATL. Software and Systems Modeling. 28:1-29. Abstractsosym14.pdf

QVT Relations (QVT-R) is the standard language proposed by the OMG to specify bidirectional model transformations. Unfortunately, in part due to ambiguities and omissions in the original semantics, acceptance and development of effective tool support has been slow. Recently, the checking semantics of QVTR has been clarified and formalized. In this article we propose a QVT-R tool that complies to such semantics. Unlike any other existing tool, it also supports metamodels enriched with OCL constraints (thus avoiding returning ill-formed models), and proposes an alternative enforcement semantics that works according to the simple and predictable “principle of least change”. The implementation is based on an embedding of both QVT-R transformations and UML class diagrams (annotated with OCL) in Alloy, a lightweight formal specification language with support for automatic model finding via SAT solving. We also show how this technique can be applied to bidirectionalize ATL, a popular (but unidirectional) model transformation language.
Macedo N, Cunha A, Pacheco H.  2014.  Towards a Framework for Multidirectional Model Transformations. CEUR Workshop Proceedings. 1133 AbstractWebsite

Proceeding of the 3rd International Workshop on Bidirectional Transformations (BX 2014)

n/a
Macedo N, Pacheco H, Cunha A, Oliveira JN.  2013.  Composing least-change lenses. Electronic Communications of the EASST. 57 AbstractWebsite

Proceeding of the 2nd International Workshop on Bidirectional Transformations (BX 2013)

n/a