skip to main content
OSTI.GOV title logo U.S. Department of Energy
Office of Scientific and Technical Information

Title: An Approach for Detecting Inconsistencies between Behavioral Models of the Software Architecture and the Code

Abstract

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 the 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 architecture and the actual code. The approach is supported by a set of tools that implement the architecture and the code patterns in Prolog, and support the automatic generation of runtime monitors for detecting inconsistencies. We illustrate the approach and the toolset for a Crisis Management System case study.

Authors:
; ;
Publication Date:
Research Org.:
Pacific Northwest National Lab. (PNNL), Richland, WA (United States)
Sponsoring Org.:
USDOE
OSTI Identifier:
1092027
Report Number(s):
PNNL-SA-85848
DOE Contract Number:  
AC05-76RL01830
Resource Type:
Conference
Resource Relation:
Conference: IEEE 36th Annual Computer Software and Applications Conference (COMPSAC 2012), July 16-20, 2012, Izmir, Turkey, 257-266
Country of Publication:
United States
Language:
English
Subject:
Serialization; Code generation

Citation Formats

Ciraci, Selim, Sozer, Hasan, and Tekinerdogan, Bedir. An Approach for Detecting Inconsistencies between Behavioral Models of the Software Architecture and the Code. United States: N. p., 2012. Web. doi:10.1109/COMPSAC.2012.36.
Ciraci, Selim, Sozer, Hasan, & Tekinerdogan, Bedir. An Approach for Detecting Inconsistencies between Behavioral Models of the Software Architecture and the Code. United States. https://doi.org/10.1109/COMPSAC.2012.36
Ciraci, Selim, Sozer, Hasan, and Tekinerdogan, Bedir. 2012. "An Approach for Detecting Inconsistencies between Behavioral Models of the Software Architecture and the Code". United States. https://doi.org/10.1109/COMPSAC.2012.36.
@article{osti_1092027,
title = {An Approach for Detecting Inconsistencies between Behavioral Models of the Software Architecture and the Code},
author = {Ciraci, Selim and Sozer, Hasan and Tekinerdogan, Bedir},
abstractNote = {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 the 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 architecture and the actual code. The approach is supported by a set of tools that implement the architecture and the code patterns in Prolog, and support the automatic generation of 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},
url = {https://www.osti.gov/biblio/1092027}, journal = {},
number = ,
volume = ,
place = {United States},
year = {Mon Jul 16 00:00:00 EDT 2012},
month = {Mon Jul 16 00:00:00 EDT 2012}
}

Conference:
Other availability
Please see Document Availability for additional information on obtaining the full-text document. Library patrons may search WorldCat to identify libraries that hold this conference proceeding.

Save / Share: