AbstractsLaw & Legal Studies
Modeling and analysis of the CoCoME case study with Creol
| Institution: | University of Oslo |
|---|---|
| Department: | |
| Year: | 1000 |
| Keywords: | VDP::420 |
| Record ID: | 1276341 |
| Full text PDF: | http://urn.nb.no/URN:NBN:no-28100 https://www.duo.uio.no/handle/10852/8817 https://www.duo.uio.no/bitstream/handle/10852/8817/1/Vargas.pdf |
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.
