Abstract
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.