A funcionalidade de pesquisa está em construção.
A funcionalidade de pesquisa está em construção.

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice

Model Checking of Real-Time Properties of Resource-Bound Process Algebra Verificação de modelo de propriedades em tempo real de álgebra de processos vinculados a recursos

Junkil PARK, Jungjae LEE, Jin-Young CHOI, Insup LEE

  • Exibições de texto completo

    0

  • Cite isto

Resumo:

A álgebra de comunicação de recursos compartilhados (ACSR) é uma álgebra de processo temporizado que estende as álgebras de processo clássicas com a noção de recurso. Ao analisar modelos ACSR, as técnicas existentes, como verificação de bisimulação e verificação de modelo Hennessy-Milner Logic (HML), são muito importantes na teoria do ACSR, mas são difíceis de usar na prática para modelos de sistemas grandes e complexos. Neste artigo, sugerimos uma estrutura para verificar modelos ACSR em relação aos seus requisitos descritos em uma lógica temporal temporizada expressiva. Demonstramos a utilidade da nossa abordagem com um estudo de caso do mundo real.

Publicação
IEICE TRANSACTIONS on Fundamentals Vol.E92-A No.11 pp.2781-2789
Data de publicação
2009/11/01
Publicitada
ISSN online
1745-1337
DOI
10.1587/transfun.E92.A.2781
Tipo de Manuscrito
Special Section PAPER (Special Section on Theory of Concurrent Systems and its Applications)
Categoria

autores

Palavra-chave