Back to Search

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

Title	An approach for detecting inconsistencies between behavioral models of the software architecture and the code
Author	Çıracı, S., Sözer, Hasan, Tekinerdogan, B.
Publication Date:	2012
Publication Place	- IEEE
Subject	Software architectures, Runtime verification, Inconsistency detection
Type	Document
Language	English
Digital	Yes
Manuscript	No
Library:	Özyeğin University
Library Asset ID	0730-3157
Record ID	4ffdd38b-32b0-4ebc-8949-4b4c8a1b38b1
Library Location	Computer Science
Date	2012
Notes	Due to copyright restrictions, the access to the full text of this article is only available via subscription.
Sample Text	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

View in source Özyeğin University Özyeğin University - Historical works, archives, and periodicals search engine

Özyeğin University

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

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

Publication Date 2012

Publication Place - IEEE

Subject Software architectures, Runtime verification, Inconsistency detection

Type Document

Language English

Digital Yes

Manuscript No

Library Özyeğin University

Library Asset ID 0730-3157

Record ID 4ffdd38b-32b0-4ebc-8949-4b4c8a1b38b1

Library Location Computer Science

Date 2012

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

Sample Text 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