Uma proposta de arquitetura de sistemas de controle utilizando padrões de projeto e CSP-OZ.

Detalhes bibliográficos
Ano de defesa: 2006
Autor(a) principal: Date, Yoshiaki
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Biblioteca Digitais de Teses e Dissertações da USP
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Arquitetura de software
Control Systems (Architecture)
Sistemas de controle (Arquitetura)
Software Architecture
Link de acesso: https://www.teses.usp.br/teses/disponiveis/3/3152/tde-20092023-093420/
Resumo: O desenvolvimento de software de sistemas de controle pode ser caracterizado como um trabalho de alta complexidade. A sua alta complexidade se deve principalmente às características de não determinismo, assincronismo e concorrência entre os seus processos. Este trabalho propõe uma nova arquitetura de sistemas de controle baseada em padrões de projeto e na utilização da combinação de linguagens de especificações formais CSP e Object-Z (CSP-OZ). A linguagem Object-Z é utilizada para se especificar características estáticas e métodos de classes através da utilização de predicados, enquanto que CSP é uma álgebra de processos utilizada para especificar a dinâmica de processos concorrentes. A proposta desta arquitetura visa a construção de uma arquitetura robusta, correta, de fácil modificação, reutilizável e que possa servir de base para implementação de projetos futuros. A arquitetura do software é dividida em duas partes. Na primeira parte, alguns padrões de projeto comumente utilizados em sistemas de controle são especificados utilizando-se a linguagem de especificação formal CSP-OZ. As especificações formais são convertidas em programas JAVA através da utilização da biblioteca JCSP (uma biblioteca construída para traduzir facilmente especificações CSP). Na segunda parte, as aplicações utilizando CSP-OZ e JCSP são construídas baseadas em uma biblioteca de padrões de projeto que foram previamente analisadas. Um estudo de caso é utilizado para se testar e validar a arquitetura proposta
id USP_3d4edcff5b333c659167c75d3792b4fc
oai_identifier_str oai:teses.usp.br:tde-20092023-093420
network_acronym_str USP
network_name_str Biblioteca Digital de Teses e Dissertações da USP
repository_id_str
spelling Uma proposta de arquitetura de sistemas de controle utilizando padrões de projeto e CSP-OZ.Untitled in englishArquitetura de softwareControl Systems (Architecture)Sistemas de controle (Arquitetura)Software ArchitectureO desenvolvimento de software de sistemas de controle pode ser caracterizado como um trabalho de alta complexidade. A sua alta complexidade se deve principalmente às características de não determinismo, assincronismo e concorrência entre os seus processos. Este trabalho propõe uma nova arquitetura de sistemas de controle baseada em padrões de projeto e na utilização da combinação de linguagens de especificações formais CSP e Object-Z (CSP-OZ). A linguagem Object-Z é utilizada para se especificar características estáticas e métodos de classes através da utilização de predicados, enquanto que CSP é uma álgebra de processos utilizada para especificar a dinâmica de processos concorrentes. A proposta desta arquitetura visa a construção de uma arquitetura robusta, correta, de fácil modificação, reutilizável e que possa servir de base para implementação de projetos futuros. A arquitetura do software é dividida em duas partes. Na primeira parte, alguns padrões de projeto comumente utilizados em sistemas de controle são especificados utilizando-se a linguagem de especificação formal CSP-OZ. As especificações formais são convertidas em programas JAVA através da utilização da biblioteca JCSP (uma biblioteca construída para traduzir facilmente especificações CSP). Na segunda parte, as aplicações utilizando CSP-OZ e JCSP são construídas baseadas em uma biblioteca de padrões de projeto que foram previamente analisadas. Um estudo de caso é utilizado para se testar e validar a arquitetura propostaThe development of control system software might be characterized as a highly complex task. This is mainly due to the characteristics of nondeterminism, asynchronicity and concurrency between processes. In this work, a new control system architecture based on design patterns and the use of a combination of formal specification languages CSP and Object-Z (CSP-OZ) is proposed. Object-Z can specify the state space and methods of a class using predicates while the CSP is a process algebra that can specify the dynamics of concurrent processes. The proposal aims at designing a robust, provable, maintainable and reusable architecture that can serve as a base of future project implementations. The software architecture is designed in two parts. In the first part, some design patterns which are commonly used for control systems are specified using CSP-OZ formal specification language. These formal specifications are converted into JAVA programs using the JCSP library, a software library designed to easily translate CSP specifications. In the second part, applications using CSP-OZ and JCSP might be designed based on the library of design patterns that are previously provable correct. A case study is used to test and validate the proposed architecture.Biblioteca Digitais de Teses e Dissertações da USPMaruyama, NewtonDate, Yoshiaki2006-04-20info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttps://www.teses.usp.br/teses/disponiveis/3/3152/tde-20092023-093420/reponame:Biblioteca Digital de Teses e Dissertações da USPinstname:Universidade de São Paulo (USP)instacron:USPLiberar o conteúdo para acesso público.info:eu-repo/semantics/openAccesspor2023-09-20T12:40:04Zoai:teses.usp.br:tde-20092023-093420Biblioteca Digital de Teses e Dissertaçõeshttp://www.teses.usp.br/PUBhttp://www.teses.usp.br/cgi-bin/mtd2br.plvirginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.bropendoar:27212023-09-20T12:40:04Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false
dc.title.none.fl_str_mv Uma proposta de arquitetura de sistemas de controle utilizando padrões de projeto e CSP-OZ.
Untitled in english
title Uma proposta de arquitetura de sistemas de controle utilizando padrões de projeto e CSP-OZ.
spellingShingle Uma proposta de arquitetura de sistemas de controle utilizando padrões de projeto e CSP-OZ.
Date, Yoshiaki
Arquitetura de software
Control Systems (Architecture)
Sistemas de controle (Arquitetura)
Software Architecture
title_short Uma proposta de arquitetura de sistemas de controle utilizando padrões de projeto e CSP-OZ.
title_full Uma proposta de arquitetura de sistemas de controle utilizando padrões de projeto e CSP-OZ.
title_fullStr Uma proposta de arquitetura de sistemas de controle utilizando padrões de projeto e CSP-OZ.
title_full_unstemmed Uma proposta de arquitetura de sistemas de controle utilizando padrões de projeto e CSP-OZ.
title_sort Uma proposta de arquitetura de sistemas de controle utilizando padrões de projeto e CSP-OZ.
author Date, Yoshiaki
author_facet Date, Yoshiaki
author_role author
dc.contributor.none.fl_str_mv Maruyama, Newton
dc.contributor.author.fl_str_mv Date, Yoshiaki
dc.subject.por.fl_str_mv Arquitetura de software
Control Systems (Architecture)
Sistemas de controle (Arquitetura)
Software Architecture
topic Arquitetura de software
Control Systems (Architecture)
Sistemas de controle (Arquitetura)
Software Architecture
description O desenvolvimento de software de sistemas de controle pode ser caracterizado como um trabalho de alta complexidade. A sua alta complexidade se deve principalmente às características de não determinismo, assincronismo e concorrência entre os seus processos. Este trabalho propõe uma nova arquitetura de sistemas de controle baseada em padrões de projeto e na utilização da combinação de linguagens de especificações formais CSP e Object-Z (CSP-OZ). A linguagem Object-Z é utilizada para se especificar características estáticas e métodos de classes através da utilização de predicados, enquanto que CSP é uma álgebra de processos utilizada para especificar a dinâmica de processos concorrentes. A proposta desta arquitetura visa a construção de uma arquitetura robusta, correta, de fácil modificação, reutilizável e que possa servir de base para implementação de projetos futuros. A arquitetura do software é dividida em duas partes. Na primeira parte, alguns padrões de projeto comumente utilizados em sistemas de controle são especificados utilizando-se a linguagem de especificação formal CSP-OZ. As especificações formais são convertidas em programas JAVA através da utilização da biblioteca JCSP (uma biblioteca construída para traduzir facilmente especificações CSP). Na segunda parte, as aplicações utilizando CSP-OZ e JCSP são construídas baseadas em uma biblioteca de padrões de projeto que foram previamente analisadas. Um estudo de caso é utilizado para se testar e validar a arquitetura proposta
publishDate 2006
dc.date.none.fl_str_mv 2006-04-20
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://www.teses.usp.br/teses/disponiveis/3/3152/tde-20092023-093420/
url https://www.teses.usp.br/teses/disponiveis/3/3152/tde-20092023-093420/
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv
dc.rights.driver.fl_str_mv Liberar o conteúdo para acesso público.
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Liberar o conteúdo para acesso público.
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.coverage.none.fl_str_mv
dc.publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
dc.source.none.fl_str_mv
reponame:Biblioteca Digital de Teses e Dissertações da USP
instname:Universidade de São Paulo (USP)
instacron:USP
instname_str Universidade de São Paulo (USP)
instacron_str USP
institution USP
reponame_str Biblioteca Digital de Teses e Dissertações da USP
collection Biblioteca Digital de Teses e Dissertações da USP
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)
repository.mail.fl_str_mv virginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.br
_version_ 1865492513874247680

Registros relacionados