Guides for CCS to UML-RT and UML-RT to CCS conversions.
Autor(a) principal: | |
---|---|
Data de Publicação: | 2009 |
Tipo de documento: | Dissertação |
Idioma: | eng |
Título da fonte: | Biblioteca Digital de Teses e Dissertações do ITA |
Texto Completo: | http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=940 |
Resumo: | CCS (Communicating and Concurrent Systems) is the process algebra to specify and verify concurrent and communicating systems. This work proposes a transformation guide of the CCS equations into to the UML-RT (Unified Modeling Language for Real-Time) model and a transformation guide of the UML-RT model into a set of CCS equations. The UML-RT model is a software design language, which supports code generation and the construction of executable systems. The UML-RT is an UML extension, and it does not have a formal semantics; therefore it is not possible to verify UMLRT models. The transformation guide of UML-RT models into CCS equations allows verifying the models. We argue that the transformation of CCS models into UML-RT models allows an alternative way of correctly building systems. This work details the transformation guides from CCS equations to UML-RT models and from UML-RT models to CSS equations and it discusses the limitations and benefits. |
id |
ITA_5a0e34f98728f0573da4d0de760e1b7c |
---|---|
oai_identifier_str |
oai:agregador.ibict.br.BDTD_ITA:oai:ita.br:940 |
network_acronym_str |
ITA |
network_name_str |
Biblioteca Digital de Teses e Dissertações do ITA |
spelling |
Guides for CCS to UML-RT and UML-RT to CCS conversions.Álgebra de processosCálculo dos sistemas de comunicaçãoUMLOperação em tempo realEspecificação formalSemântica de linguagens de programaçãoComputaçãoCCS (Communicating and Concurrent Systems) is the process algebra to specify and verify concurrent and communicating systems. This work proposes a transformation guide of the CCS equations into to the UML-RT (Unified Modeling Language for Real-Time) model and a transformation guide of the UML-RT model into a set of CCS equations. The UML-RT model is a software design language, which supports code generation and the construction of executable systems. The UML-RT is an UML extension, and it does not have a formal semantics; therefore it is not possible to verify UMLRT models. The transformation guide of UML-RT models into CCS equations allows verifying the models. We argue that the transformation of CCS models into UML-RT models allows an alternative way of correctly building systems. This work details the transformation guides from CCS equations to UML-RT models and from UML-RT models to CSS equations and it discusses the limitations and benefits.Instituto Tecnológico de AeronáuticaCelso Massaki HirataMauro Eidi Villela Assano2009-12-14info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesishttp://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=940reponame:Biblioteca Digital de Teses e Dissertações do ITAinstname:Instituto Tecnológico de Aeronáuticainstacron:ITAenginfo:eu-repo/semantics/openAccessapplication/pdf2019-02-02T14:02:00Zoai:agregador.ibict.br.BDTD_ITA:oai:ita.br:940http://oai.bdtd.ibict.br/requestopendoar:null2020-05-28 19:34:49.539Biblioteca Digital de Teses e Dissertações do ITA - Instituto Tecnológico de Aeronáuticatrue |
dc.title.none.fl_str_mv |
Guides for CCS to UML-RT and UML-RT to CCS conversions. |
title |
Guides for CCS to UML-RT and UML-RT to CCS conversions. |
spellingShingle |
Guides for CCS to UML-RT and UML-RT to CCS conversions. Mauro Eidi Villela Assano Álgebra de processos Cálculo dos sistemas de comunicação UML Operação em tempo real Especificação formal Semântica de linguagens de programação Computação |
title_short |
Guides for CCS to UML-RT and UML-RT to CCS conversions. |
title_full |
Guides for CCS to UML-RT and UML-RT to CCS conversions. |
title_fullStr |
Guides for CCS to UML-RT and UML-RT to CCS conversions. |
title_full_unstemmed |
Guides for CCS to UML-RT and UML-RT to CCS conversions. |
title_sort |
Guides for CCS to UML-RT and UML-RT to CCS conversions. |
author |
Mauro Eidi Villela Assano |
author_facet |
Mauro Eidi Villela Assano |
author_role |
author |
dc.contributor.none.fl_str_mv |
Celso Massaki Hirata |
dc.contributor.author.fl_str_mv |
Mauro Eidi Villela Assano |
dc.subject.por.fl_str_mv |
Álgebra de processos Cálculo dos sistemas de comunicação UML Operação em tempo real Especificação formal Semântica de linguagens de programação Computação |
topic |
Álgebra de processos Cálculo dos sistemas de comunicação UML Operação em tempo real Especificação formal Semântica de linguagens de programação Computação |
dc.description.none.fl_txt_mv |
CCS (Communicating and Concurrent Systems) is the process algebra to specify and verify concurrent and communicating systems. This work proposes a transformation guide of the CCS equations into to the UML-RT (Unified Modeling Language for Real-Time) model and a transformation guide of the UML-RT model into a set of CCS equations. The UML-RT model is a software design language, which supports code generation and the construction of executable systems. The UML-RT is an UML extension, and it does not have a formal semantics; therefore it is not possible to verify UMLRT models. The transformation guide of UML-RT models into CCS equations allows verifying the models. We argue that the transformation of CCS models into UML-RT models allows an alternative way of correctly building systems. This work details the transformation guides from CCS equations to UML-RT models and from UML-RT models to CSS equations and it discusses the limitations and benefits. |
description |
CCS (Communicating and Concurrent Systems) is the process algebra to specify and verify concurrent and communicating systems. This work proposes a transformation guide of the CCS equations into to the UML-RT (Unified Modeling Language for Real-Time) model and a transformation guide of the UML-RT model into a set of CCS equations. The UML-RT model is a software design language, which supports code generation and the construction of executable systems. The UML-RT is an UML extension, and it does not have a formal semantics; therefore it is not possible to verify UMLRT models. The transformation guide of UML-RT models into CCS equations allows verifying the models. We argue that the transformation of CCS models into UML-RT models allows an alternative way of correctly building systems. This work details the transformation guides from CCS equations to UML-RT models and from UML-RT models to CSS equations and it discusses the limitations and benefits. |
publishDate |
2009 |
dc.date.none.fl_str_mv |
2009-12-14 |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/publishedVersion info:eu-repo/semantics/masterThesis |
status_str |
publishedVersion |
format |
masterThesis |
dc.identifier.uri.fl_str_mv |
http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=940 |
url |
http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=940 |
dc.language.iso.fl_str_mv |
eng |
language |
eng |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf |
dc.publisher.none.fl_str_mv |
Instituto Tecnológico de Aeronáutica |
publisher.none.fl_str_mv |
Instituto Tecnológico de Aeronáutica |
dc.source.none.fl_str_mv |
reponame:Biblioteca Digital de Teses e Dissertações do ITA instname:Instituto Tecnológico de Aeronáutica instacron:ITA |
reponame_str |
Biblioteca Digital de Teses e Dissertações do ITA |
collection |
Biblioteca Digital de Teses e Dissertações do ITA |
instname_str |
Instituto Tecnológico de Aeronáutica |
instacron_str |
ITA |
institution |
ITA |
repository.name.fl_str_mv |
Biblioteca Digital de Teses e Dissertações do ITA - Instituto Tecnológico de Aeronáutica |
repository.mail.fl_str_mv |
|
subject_por_txtF_mv |
Álgebra de processos Cálculo dos sistemas de comunicação UML Operação em tempo real Especificação formal Semântica de linguagens de programação Computação |
_version_ |
1706809264747577344 |