Current Proceedings on Technology

Current Proceedings on Technology

Survey of behavioral description languages

Yazarlar: Reza Alipour-Fard, Ayaz Isazadeh, Jaber Karimpour

Cilt 3 , Sayı - , 2013 , Sayfalar -

Konular:-

Anahtar Kelimeler:Formal Specification,Informal Specification,Behavior Modeling,Behavior Specification,Unified Modeling Language (UML),Behavior Protocol

Özet: In software systems a suitable specification language for specification and verification behavior of components is needed. The language should capture all important aspects of the future implementation with respect to desired properties. Between formal and informal languages for behavior modeling, we prefer the formal. We believe that each system specified by informal languages like UML is not reliable. Instead, the use of formal method for designing behavior of component can contribute to the reliability and robustness of the design. In this paper, we try to compare Behavior Protocol with other behavioral description formal languages according to some parameters such as supporting for components, connectors, updating dynamic component and relationship between implementation and specification.

ATIFLAR
Atıf Yapan Eserler
Henüz Atıf Yapılmamıştır
KAYNAK GÖSTER
BibTex
KOPYALA
@article{2013, title={Survey of behavioral description languages}, volume={3}, number={0}, publisher={Current Proceedings on Technology }, author={Reza Alipour-Fard, Ayaz Isazadeh, Jaber Karimpour}, year={2013} }
APA
KOPYALA
Reza Alipour-Fard, Ayaz Isazadeh, Jaber Karimpour. (2013). Survey of behavioral description languages (Vol. 3). Vol. 3. Current Proceedings on Technology .
MLA
KOPYALA
Reza Alipour-Fard, Ayaz Isazadeh, Jaber Karimpour. Survey of Behavioral Description Languages. no. 0, Current Proceedings on Technology , 2013.
Atıf Görüntüle
PDF Görüntüle
Kaynak Görüntüle
Paylaş
Dergi Bilgileri