Hide metadata

dc.date.accessioned2013-03-12T08:04:15Z
dc.date.issued2010en_US
dc.date.submitted2010-11-23en_US
dc.identifier.citationVargas, Abigail Parisaca. Modeling and analysis of the CoCoME case study with Creol. Masteroppgave, University of Oslo, 2010en_US
dc.identifier.urihttp://hdl.handle.net/10852/8817
dc.description.abstractThis 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.eng
dc.language.isoengen_US
dc.titleModeling and analysis of the CoCoME case study with Creolen_US
dc.typeMaster thesisen_US
dc.date.updated2011-10-20en_US
dc.creator.authorVargas, Abigail Parisacaen_US
dc.date.embargoenddate10000-01-01
dc.rights.termsDette dokumentet er ikke elektronisk tilgjengelig etter ønske fra forfatter. Tilgangskode/Access code Aen_US
dc.rights.termsforeveren_US
dc.subject.nsiVDP::420en_US
dc.identifier.bibliographiccitationinfo:ofi/fmt:kev:mtx:ctx&ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&rft.au=Vargas, Abigail Parisaca&rft.title=Modeling and analysis of the CoCoME case study with Creol&rft.inst=University of Oslo&rft.date=2010&rft.degree=Masteroppgaveen_US
dc.identifier.urnURN:NBN:no-28100en_US
dc.type.documentMasteroppgaveen_US
dc.identifier.duo108641en_US
dc.contributor.supervisorOlaf Owe and Einar Broch Johnsenen_US
dc.identifier.bibsys111858062en_US
dc.rights.accessrightsclosedaccessen_US
dc.identifier.fulltextFulltext https://www.duo.uio.no/bitstream/handle/10852/8817/1/Vargas.pdf


Files in this item

Appears in the following Collection

Hide metadata