• About
  • Policies
  • What is openaccess
  • Library
  • Contact
Advanced search
      View Item 
      •   BUIR Home
      • Scholarly Publications
      • Faculty of Engineering
      • Department of Computer Engineering
      • View Item
      •   BUIR Home
      • Scholarly Publications
      • Faculty of Engineering
      • Department of Computer Engineering
      • View Item
      JavaScript is disabled for your browser. Some features of this site may not work without it.

      An approach for detecting inconsistencies between behavioral models of the software architecture and the code

      Thumbnail
      View / Download
      635.1 Kb
      Author
      Çıracı, Selim
      Sözer, Hasan
      Tekinerdoğan, Bedir
      Date
      2012-07
      Source Title
      2012 IEEE 36th Annual Computer Software and Applications Conference
      Pages
      257 - 266
      Language
      English
      Type
      Conference Paper
      Item Usage Stats
      133
      views
      98
      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 detection
      Runtime 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/28072
      Published Version (Please cite this version)
      http://dx.doi.org/10.1109/COMPSAC.2012.36
      Collections
      • Department of Computer Engineering 1413
      Show full item record

      Related items

      Showing items related by title, author, creator and subject.

      • Thumbnail

        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 ...
      • Thumbnail

        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 ...
      • Thumbnail

        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 ...

      Browse

      All of BUIRCommunities & CollectionsTitlesAuthorsAdvisorsBy Issue DateKeywordsTypeDepartmentsThis CollectionTitlesAuthorsAdvisorsBy Issue DateKeywordsTypeDepartments

      My Account

      Login

      Statistics

      View Usage StatisticsView Google Analytics Statistics

      Bilkent University

      If you have trouble accessing this page and need to request an alternate format, contact the site administrator. Phone: (312) 290 1771
      © Bilkent University - Library IT

      Contact Us | Send Feedback | Off-Campus Access | Admin | Privacy