AbstractsLaw & Legal Studies

Modeling and analysis of the CoCoME case study with Creol

by Abigail Parisaca Vargas

Institution: University of Oslo
Year: 1000
Keywords: VDP::420
Record ID: 1287210
Full text PDF: https://www.duo.uio.no/handle/10852/8817



This thesis is about the modeling and analysis of the Common Component Modeling Example (CoCoME) case study with the Creol language. We have modeled the whole case study and our focus was the behavioral view of the CoCoME. The main focus on the analysis part was the detection of deadlocks in Creol. We have divided the CoCoME in three modeling parts, we have created and implemented some protocols to make possible the simulation of the system. Finally, we have developed an approach for the analysis of deadlock in Creol.