An approach for detecting inconsistencies between behavioral models of the software architecture and the code
Author
Çıracı, Selim
Sözer, Hasan
Tekinerdoğan, Bedir
Date
2012-07Source Title
2012 IEEE 36th Annual Computer Software and Applications Conference
Pages
257 - 266
Language
English
Type
Conference PaperItem Usage Stats
133
views
views
98
downloads
downloads
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 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. © 2012 IEEE.
Keywords
Inconsistency detectionRuntime verification
Software architectures
Behavioral model
Code-patterns
Crisis management systems
Dynamic behaviors
Inconsistency detection
Run-time verification
Runtime behaviors
Runtime monitors
Runtimes
Toolsets
Computer software
Software engineering
Software architecture
Permalink
http://hdl.handle.net/11693/28072Published Version (Please cite this version)
http://dx.doi.org/10.1109/COMPSAC.2012.36Collections
Related items
Showing items related by title, author, creator and subject.
-
Runtime verification of component-based embedded software
Sözer, Hasan; Hofmann, C.; Tekinerdoğan, Bedir; Akşit, M. (Springer, 2011-09)To deal with increasing size and complexity, component-based software development has been employed in embedded systems. Due to several faults, components can make wrong assumptions about the working mode of the system and ... -
A run-time verification framework for smart grid applications implemented on simulation frameworks
Çıracı, Selim; Sözer, Hasan; Tekinerdoğan, Bedir (IEEE, 2013-05)Smart grid applications are implemented and tested with simulation frameworks as the developers usually do not have access to large sensor networks to be used as a test bed. The developers are forced to map the implementation ... -
Interaction-based feature-driven model-transformations for generating E-forms
Tekinerdoǧan, Bedir; Aktekin, N. (ACM, 2009-10)One of the basic pillars in Model-Driven Software Development (MDSD) is defined by model transformations and likewise several useful approaches have been proposed in this context. In parallel, domain modeling plays an ...