Current Proceedings on Technology

Current Proceedings on Technology

A formal approach to verify software architectures specified trough �?-ADL

Yazarlar: Somayeh Jafari, Vahid Rafe

Cilt 1 , Sayı - , 2012 , Sayfalar -

Konular:-

Anahtar Kelimeler:Architecture Description Languages,Π-ADL,Model Checking,Bogor.

Özet: Model checking is a general technique for reasoning about the behavioral characteristics of a wide range of software artifacts including: requirements models, architectural descriptions, design, implementation and process models. Architecture description languages (ADLs) have been proposed as modeling notations to support architecture-based development. π-ADL, a recent addition to this class of languages, is formally based on the π-Calculus, a process oriented formal method. This paper presents an approach for model checking π-Architecture Description Language specifications. The approach transforms π-ADL specifications into BIR, the input language of a model checker called Bogor. The approach is introduced through a case study.

ATIFLAR
Atıf Yapan Eserler
Henüz Atıf Yapılmamıştır
KAYNAK GÖSTER
BibTex
KOPYALA
@article{2012, title={A formal approach to verify software architectures specified trough �?-ADL}, volume={1}, number={0}, publisher={Current Proceedings on Technology }, author={Somayeh Jafari, Vahid Rafe}, year={2012} }
APA
KOPYALA
Somayeh Jafari, Vahid Rafe. (2012). A formal approach to verify software architectures specified trough �?-ADL (Vol. 1). Vol. 1. Current Proceedings on Technology .
MLA
KOPYALA
Somayeh Jafari, Vahid Rafe. A Formal Approach to Verify Software Architectures Specified Trough �?-ADL. no. 0, Current Proceedings on Technology , 2012.
Atıf Görüntüle
PDF Görüntüle
Kaynak Görüntüle
Paylaş
Dergi Bilgileri