An approach for detecting inconsistencies between behavioral models of the software architecture and the code
dc.citation.epage | 266 | en_US |
dc.citation.spage | 257 | en_US |
dc.contributor.author | Çıracı, Selim | en_US |
dc.contributor.author | Sözer, Hasan | en_US |
dc.contributor.author | Tekinerdoğan, Bedir | en_US |
dc.coverage.spatial | Izmir, Turkey | |
dc.date.accessioned | 2016-02-08T12:10:18Z | |
dc.date.available | 2016-02-08T12:10:18Z | |
dc.date.issued | 2012-07 | en_US |
dc.department | Department of Computer Engineering | en_US |
dc.description | Conference name: 2012 IEEE 36th Annual Computer Software and Applications Conference | |
dc.description | Date of Conference: 16-20 July 2012 | |
dc.description.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. | en_US |
dc.description.provenance | Made available in DSpace on 2016-02-08T12:10:18Z (GMT). No. of bitstreams: 1 bilkent-research-paper.pdf: 70227 bytes, checksum: 26e812c6f5156f83f0e77b261a471b5a (MD5) Previous issue date: 2012 | en |
dc.identifier.doi | 10.1109/COMPSAC.2012.36 | en_US |
dc.identifier.uri | http://hdl.handle.net/11693/28072 | |
dc.language.iso | English | en_US |
dc.relation.isversionof | http://dx.doi.org/10.1109/COMPSAC.2012.36 | en_US |
dc.source.title | 2012 IEEE 36th Annual Computer Software and Applications Conference | en_US |
dc.subject | Inconsistency detection | en_US |
dc.subject | Runtime verification | en_US |
dc.subject | Software architectures | en_US |
dc.subject | Behavioral model | en_US |
dc.subject | Code-patterns | en_US |
dc.subject | Crisis management systems | en_US |
dc.subject | Dynamic behaviors | en_US |
dc.subject | Inconsistency detection | en_US |
dc.subject | Run-time verification | en_US |
dc.subject | Runtime behaviors | en_US |
dc.subject | Runtime monitors | en_US |
dc.subject | Runtimes | en_US |
dc.subject | Toolsets | en_US |
dc.subject | Computer software | en_US |
dc.subject | Software engineering | en_US |
dc.subject | Software architecture | en_US |
dc.title | An approach for detecting inconsistencies between behavioral models of the software architecture and the code | en_US |
dc.type | Conference Paper | en_US |
Files
Original bundle
1 - 1 of 1
Loading...
- Name:
- An approach for detecting inconsistencies between behavioral models of the software architecture and the code.pdf
- Size:
- 635.12 KB
- Format:
- Adobe Portable Document Format
- Description:
- Full Printable Version