Modelagem e anÃlise de objetos como processos em CSP: padrÃo de projeto e estudo de caso

AUTOR(ES)

Renata Elaine Mesel Kaufman

DATA DE PUBLICAÇÃO

2003

RESUMO

A fim de viabilizar maior interaÃÃo entre profissionais da Ãrea de saÃde, foram propostos protocolos de comunicaÃÃo,dentre os quais destacamos: HL7, DICOM, CORBAMed e GEHR. Decidimos especificar formalmente um subconjunto de um sistema de prontuÃrio eletrÃnico, baseado no modelo GEHR, pois existe um interesse real nesta formalizaÃÃo, pela comunidade do projeto GEHR. As vantagens da formalizaÃÃo sÃo Ãbvias: descobrir e corrigir erros nas fases iniciais da construÃÃo de software, especificar sistemas consistentes e livres de ambigÃidades, obter implementaÃÃes que comprovadamente correspondem Ãs especificaÃÃes, enfim, aumentar a confiabilidade e a robustez do software e reduzir custos de desenvolvimento e evoluÃÃo. Definimos um processo adequado à especificaÃÃo e anÃlise de tais sistemas. Adotamos o uso integrado de UML-RT (extensÃo de UML para tempo real) e a linguagem formal CSP-OZ. Estas linguagens permitem uma expressÃo natural do modelo orientado a objetos do GEHR e o uso combinado destas notaÃÃes oferece as vantagens do formalismo (CSP-OZ) com o apelo prÃtico da notaÃÃo grÃfica (UML-RT). AlÃm disso, jà existe uma tÃcnica de verificaÃÃo de modelos em CSP-OZ, utilizando a ferramenta FDR, que permite a verificaÃÃo automÃtica de algumas propriedades do sistema como, por exemplo, ausÃncia de deadlock e livelock. Constatamos que a tÃcnica de verificaÃÃo de modelos em CSP-OZ nÃo trata os aspectos de orientaÃÃo a objetos como heranÃa, a qual à essencial para especificaÃÃo do GEHR. Para sanar este problema, definimos um padrÃo de projeto, em CSP, que incorpora as principais caracterÃsticas de orientaÃÃo a objetos, tais como classes, subclasses, criaÃÃo e remoÃÃo dinÃmica de objetos. Este padrÃo, juntamente com a tÃcnica de verificaÃÃo de modelos desenvolvida para CSP-OZ, permite a anÃlise de especificaÃÃo considerando heranÃa. No padrÃo proposto, objetos sÃo representados como processos. A criaÃÃo de objetos à realizada atravÃs de uma funÃÃo que recebe uma tupla representando o estado do objeto e retorna o processo correspondente. A remoÃÃo de um objeto à implementada por eventos que, via sincronizaÃÃo, coordenam a terminaÃÃo do processo que representa o objeto. A principal contribuiÃÃo do trabalho à o padrÃo de projeto e a sua utilizaÃÃo na especificaÃÃo formal de um subconjunto do sistema de prontuÃrio eletrÃnico baseado em GEHR. AlÃm do padrÃo de projeto, sugerimos duas outras abordagens em CSP, que mostram alternativas para modelar heranÃa. A contribuiÃÃo da especificaÃÃo formal do GEHR dirige-se à produÃÃo de software complexo e real com alta qualidade. Os profissionais de saÃde podem ter acesso a um subconjunto do sistema de prontuÃrio sem ambigÃidades e livre de erros. Um dos objetivos futuros à a formalizaÃÃo completa deste sistema

ASSUNTO(S)

padrÃo de projeto em csp estudo de caso processos em csp - modelagem e anÃlise de objetos ciencia da computacao

Documentos Relacionados

• AnÃlise do padrÃo de viagens de instituiÃÃes de ensino superior privadas: um estudo de caso em Recife
• InfecÃÃes por pseudonomas aeruginosa em pacientes crÃticos: anÃlise dos fatores associados ao Ãbito com Ãnfase no padrÃo de resistÃncia e tratamento antimicrobiano
• PadrÃo de dispersÃo e anÃlise da Ãrea de uso de uma populaÃÃo urbana de sagÃis-do-nordeste Callithrix jacchus, (callitrichidae, Primates)
• AnÃlise do desempenho de receptores adaptativos de mÃxima verossimilhanÃa aplicados ao sistema de comunicaÃÃo mÃvel padrÃo TIA/EIA/IS-54.
• CSP: bem comum da Saúde Coletiva