Exploring inconsistencies between modal transition systems

In this document I present the work done under the supervision of Sebastian Uchitel between March and July 2008, in the research team of the Laboratorio de Fundamentos y Herramientas para la Ingenieri´a de Software (LaFHIS) at the Universidad de Buenos Aires (UBA). In this work we define a formalism to represent inconsistencies between two Modal Transition Systems that cannot be merged in an augmented model we call a pseudo-merge. We present a way to build such a model that encodes all shortest explanations of inconsistencies. These explanations are in the form of a distinguishing µ-calculus property. We also show how to represent graphically these formal explanations and how we intend the user to guide the generation of feedback. 

• Type: Journal
• Year: 2011
• Where: SOSYM
• Authors: Mathieu Sassolas, Marsha Chechik, Sebastián Uchitel
• Keywords: Applied Computing, Herramientas Para La, Modal Transition Systems, Shortest Explanations, SOSYM 2011