Latest news from the project are shown below.

The paper "Mandatory and Potential Choice: Comparing Event-B and STAIRS" by Atle Refsdal, Ragnhild Kobro Runde and Ketil Stølen will appear in the book "From Action Systems to Distributed Systems - The Refinement Approach". Edited by Luigia Petre and Emil Sekerinski, the book is due out in May 2016.

The UML language lies at the foundation of the CONCERTO approach. The paper investigates questions concerning semantics and refinement of UML sequence diagrams, in particular issues related to the representation of choice.

You need to be a member of CONCERTO Project to add comments!

Email me when people reply –

Project Partners

CONCERTO is partially funded by the ARTEMIS Joint Undertaking under the 7th Framework Programme for Information and Communications Technologies.
Any opinions expressed on these pages are those of the author / organisation and do not necessarily reflect the views of the ARTEMIS JU or the European Commission.