Show simple item record

dc.contributor.authorÇıracı, S.
dc.contributor.authorSözer, Hasan
dc.contributor.authorTekinerdogan, B.
dc.date.accessioned2016-02-15T07:33:19Z
dc.date.available2016-02-15T07:33:19Z
dc.date.issued2012
dc.identifier.issn0730-3157
dc.identifier.urihttp://hdl.handle.net/10679/2185
dc.identifier.urihttp://ieeexplore.ieee.org/xpl/articleDetails.jsp?reload=true&arnumber=6340154
dc.descriptionDue to copyright restrictions, the access to the full text of this article is only available via subscription.
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.
dc.language.isoengen_US
dc.publisherIEEE
dc.relation.ispartof2012 IEEE 36th Annual Computer Software and Applications Conference
dc.rightsrestrictedAccess
dc.titleAn approach for detecting inconsistencies between behavioral models of the software architecture and the codeen_US
dc.typeConference paperen_US
dc.peerreviewedyes
dc.publicationstatuspublisheden_US
dc.contributor.departmentÖzyeğin University
dc.contributor.authorID23178
dc.contributor.ozuauthorSözer, Hasan
dc.identifier.startpage257
dc.identifier.endpage266
dc.identifier.wosWOS:000312376000038
dc.identifier.doi10.1109/COMPSAC.2012.36
dc.subject.keywordsSoftware architectures
dc.subject.keywordsRuntime verification
dc.subject.keywordsInconsistency detection
dc.identifier.scopusSCOPUS:2-s2.0-84870849026
dc.contributor.authorMale1


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record


Share this page