An approach for detecting inconsistencies between behavioral models of the software architecture and the code

Name: An approach for detecting inconsistencies between behavioral models of the software architecture and the code
Author: Çıracı, S., Sözer, Hasan, Tekinerdogan, B.

İsim	An approach for detecting inconsistencies between behavioral models of the software architecture and the code
Yazar	Çıracı, S., Sözer, Hasan, Tekinerdogan, B.
Basım Tarihi:	2012
Basım Yeri	- IEEE
Konu	Software architectures, Runtime verification, Inconsistency detection
Tür	Belge
Dil	İngilizce
Dijital	Evet
Yazma	Hayır
Kütüphane:	Özyeğin Üniversitesi
Demirbaş Numarası	0730-3157
Kayıt Numarası	4ffdd38b-32b0-4ebc-8949-4b4c8a1b38b1
Lokasyon	Computer Science
Tarih	2012
Notlar	Due to copyright restrictions, the access to the full text of this article is only available via subscription.
Örnek Metin	In practice, inconsistencies between architectural documentation and the code might arise due to improper implementation of the architecture or the separate, uncontrolled evolution of the code. Several approaches have been proposed to detect inconsistencies between the architecture and the code but these tend to be limited for capturing inconsistencies that might occur at runtime. We present a runtime verification approach for detecting inconsistencies between the dynamic behavior of the documented architecture and the actual runtime behavior of the system. The approach is supported by a set of tools that implement the architecture and the code patterns in Prolog, and automatically generate runtime monitors for detecting inconsistencies. We illustrate the approach and the toolset for a Crisis Management System case study.
DOI	10.1109/COMPSAC.2012.36

Kaynağa git Özyeğin Üniversitesi

Aramaya Dön

Özyeğin Üniversitesi

Kaynağa git

An approach for detecting inconsistencies between behavioral models of the software architecture and the code

Yazar Çıracı, S., Sözer, Hasan, Tekinerdogan, B.

Basım Tarihi 2012

Basım Yeri - IEEE

Konu Software architectures, Runtime verification, Inconsistency detection

Tür Belge

Dil İngilizce

Dijital Evet

Yazma Hayır

Kütüphane Özyeğin Üniversitesi

Demirbaş Numarası 0730-3157

Kayıt Numarası 4ffdd38b-32b0-4ebc-8949-4b4c8a1b38b1

Lokasyon Computer Science

Tarih 2012

Notlar Due to copyright restrictions, the access to the full text of this article is only available via subscription.

Örnek Metin In practice, inconsistencies between architectural documentation and the code might arise due to improper implementation of the architecture or the separate, uncontrolled evolution of the code. Several approaches have been proposed to detect inconsistencies between the architecture and the code but these tend to be limited for capturing inconsistencies that might occur at runtime. We present a runtime verification approach for detecting inconsistencies between the dynamic behavior of the documented architecture and the actual runtime behavior of the system. The approach is supported by a set of tools that implement the architecture and the code patterns in Prolog, and automatically generate runtime monitors for detecting inconsistencies. We illustrate the approach and the toolset for a Crisis Management System case study.

DOI 10.1109/COMPSAC.2012.36