[en] FORMAL ANALYSIS OF SOFTWARE MODELS ORIENTED BY ARCHITECTURAL ABSTRACTIONS
[pt] Atualmente, podemos observar uma clara tendência na direção de sistemas cada vez maiores e mais complexos quanto às suas partes e formas de interconexão. Num cenário como este, torna-se imperativa a preocupação com a modelagem da estrutura, organização geral e formas de interação presentes...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | pt |
| Published: |
MAXWELL
2004
|
| Subjects: | |
| Online Access: | https://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=5542@1 https://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=5542@2 http://doi.org/10.17771/PUCRio.acad.5542 |
| Summary: | [pt] Atualmente, podemos observar uma clara tendência na direção
de sistemas
cada vez maiores e mais complexos quanto às suas partes e
formas de interconexão.
Num cenário como este, torna-se imperativa a preocupação
com a modelagem
da estrutura, organização geral e formas de interação
presentes nesses sistemas,
assim como com as garantias de que certos requisitos
críticos sejam atendidos.
O contexto de nosso trabalho engloba disciplinas de
Engenharia de Software,
como Arquitetura de Software e Técnicas de Modelagem, e
disciplinas
mais formais como Verificação de Modelos, Lógicas Modais e
Álgebras de Processos.
Nosso trabalho tem inspirações nestas disciplinas mas
apresenta, de fato,
um cunho metodológico, localizando-se nas fronteiras da ES
com Métodos Formais,
onde buscamos investigar e estabelecer uma forma
sistemática para utilização
efetiva de métodos formais logo nas etapas iniciais do
desenvo lvimento.
Mais especificamente, mostramos como é possível, a partir
de modelos baseados
em abstrações arquiteturais, obter-se sistematicamente um
modelo formal sobre
o qual possamos realizar certos tipos de análise
comportamental. Nossa proposta
inclui um sistema notacional básico para expressar modelos
arquiteturais, junto
com sua semântica formal, e um protótipo construído para
dar suporte a tarefas
de especificação e análise formal orientadas por abstrações
arquiteturais. Com
isto, pretendemos abordar alguns dos aspectos essenciais de
uma metodologia de
desenvolvimento que integre ferramentas e técnicas formais
na etapa de modelagem
arquitetural. === [en] 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. |
|---|