Show simple item record

dc.contributor.authorÇıracı, Selimen_US
dc.contributor.authorSözer, Hasanen_US
dc.contributor.authorTekinerdoğan, Bediren_US
dc.coverage.spatialIzmir, Turkey
dc.date.accessioned2016-02-08T12:10:18Z
dc.date.available2016-02-08T12:10:18Z
dc.date.issued2012-07en_US
dc.identifier.urihttp://hdl.handle.net/11693/28072
dc.descriptionConference name: 2012 IEEE 36th Annual Computer Software and Applications Conference
dc.descriptionDate of Conference: 16-20 July 2012
dc.description.abstractIn 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.language.isoEnglishen_US
dc.source.title2012 IEEE 36th Annual Computer Software and Applications Conferenceen_US
dc.relation.isversionofhttp://dx.doi.org/10.1109/COMPSAC.2012.36en_US
dc.subjectInconsistency detectionen_US
dc.subjectRuntime verificationen_US
dc.subjectSoftware architecturesen_US
dc.subjectBehavioral modelen_US
dc.subjectCode-patternsen_US
dc.subjectCrisis management systemsen_US
dc.subjectDynamic behaviorsen_US
dc.subjectInconsistency detectionen_US
dc.subjectRun-time verificationen_US
dc.subjectRuntime behaviorsen_US
dc.subjectRuntime monitorsen_US
dc.subjectRuntimesen_US
dc.subjectToolsetsen_US
dc.subjectComputer softwareen_US
dc.subjectSoftware engineeringen_US
dc.subjectSoftware architectureen_US
dc.titleAn approach for detecting inconsistencies between behavioral models of the software architecture and the codeen_US
dc.typeConference Paperen_US
dc.departmentDepartment of Computer Engineeringen_US
dc.citation.spage257en_US
dc.citation.epage266en_US
dc.identifier.doi10.1109/COMPSAC.2012.36en_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record