XINFORMAÇÕES SOBRE DIREITOS AUTORAIS
As obras disponibilizadas nesta Biblioteca Digital foram publicadas sob expressa autorização dos respectivos autores, em conformidade com a Lei 9610/98.
A consulta aos textos, permitida por seus respectivos autores, é livre, bem como a impressão de trechos ou de um exemplar completo exclusivamente para uso próprio. Não são permitidas a impressão e a reprodução de obras completas com qualquer outra finalidade que não o uso próprio de quem imprime.
A reprodução de pequenos trechos, na forma de citações em trabalhos de terceiros que não o próprio autor do texto consultado,é permitida, na medida justificada para a compreeensão da citação e mediante a informação, junto à citação, do nome do autor do texto original, bem como da fonte da pesquisa.
A violação de direitos autorais é passível de sanções civis e penais.
As obras disponibilizadas nesta Biblioteca Digital foram publicadas sob expressa autorização dos respectivos autores, em conformidade com a Lei 9610/98.
A consulta aos textos, permitida por seus respectivos autores, é livre, bem como a impressão de trechos ou de um exemplar completo exclusivamente para uso próprio. Não são permitidas a impressão e a reprodução de obras completas com qualquer outra finalidade que não o uso próprio de quem imprime.
A reprodução de pequenos trechos, na forma de citações em trabalhos de terceiros que não o próprio autor do texto consultado,é permitida, na medida justificada para a compreeensão da citação e mediante a informação, junto à citação, do nome do autor do texto original, bem como da fonte da pesquisa.
A violação de direitos autorais é passível de sanções civis e penais.
Coleção Digital
Título: FORMAL ANALYSIS OF SOFTWARE MODELS ORIENTED BY ARCHITECTURAL ABSTRACTIONS Autor: MARCELO FAGUNDES FELIX
Instituição: PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO - PUC-RIO
Colaborador(es):
EDWARD HERMANN HAEUSLER - ADVISOR
Nº do Conteudo: 5542
Catalogação: 04/10/2004 Idioma(s): PORTUGUESE - BRAZIL
Tipo: TEXT Subtipo: THESIS
Natureza: SCHOLARLY PUBLICATION
Nota: Todos os dados constantes dos documentos são de inteira responsabilidade de seus autores. Os dados utilizados nas descrições dos documentos estão em conformidade com os sistemas da administração da PUC-Rio.
Referência [pt]: https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=5542@1
Referência [en]: https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=5542@2
Referência DOI: https://doi.org/10.17771/PUCRio.acad.5542
Resumo:
Título: FORMAL ANALYSIS OF SOFTWARE MODELS ORIENTED BY ARCHITECTURAL ABSTRACTIONS Autor: MARCELO FAGUNDES FELIX
Nº do Conteudo: 5542
Catalogação: 04/10/2004 Idioma(s): PORTUGUESE - BRAZIL
Tipo: TEXT Subtipo: THESIS
Natureza: SCHOLARLY PUBLICATION
Nota: Todos os dados constantes dos documentos são de inteira responsabilidade de seus autores. Os dados utilizados nas descrições dos documentos estão em conformidade com os sistemas da administração da PUC-Rio.
Referência [pt]: https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=5542@1
Referência [en]: https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=5542@2
Referência DOI: https://doi.org/10.17771/PUCRio.acad.5542
Resumo:
There is a trend nowadays towards bigger and more complex
systems concerning
their parts and interconnectivity. In such scenario,
modeling structure,
overall organization and interaction have become a main
concern, as well as fulfillment
of mission critical requirements. The scope of our work
encompasses
Software Engineering related subjects such as Software
Architecture, Modeling
Techniques and more formal disciplines like Model Checking,
Modal Logics
and Process Algebra. Although inspired by such techniques,
there is, indeed a
methodological orientation in our work, traversing the
boundaries of Software
Engineering with Formal Methods, through which we seek to
investigate and
establish a systematic way for the effective utilization of
formal methods in the
first steps of software development. Still, more
specifically, we show how it is
possible, starting from models based on architectural
abstractions, to systematically
produce a formal model upon which we can execute certain
forms of behavior
analysis. Our proposal includes a basic notational system
to express architectural
models along with their formal semantics and a prototype
built to
support specification and formal analysis tasks oriented by
architectural abstractions.
With this, we intend to stress some essential aspects of a
development
methodology which aims to integrate tools and formal
techniques to software
modeling.