|Institution:||University of Oslo|
|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.