Browsing by Author "Tekinerdogan, B."

Filter results by typing the first few letters
Now showing 1 - 5 of 5
  • Placeholder
    Book PartPublicationMetadata only
    An architecture viewpoint for modeling dynamically configurable software systems
    (Elsevier, 2017-01-01) Tekinerdogan, B.; Sözer, Hasan; Computer Science; SÖZER, Hasan
    Current software systems are rarely static and need to be able to change their topology and behavior to the changing context. To support the communication among stakeholders, guide the design decisions, and analyze the architecture it is important to model the adaptability concerns explicitly. In practice, architectural concerns are represented using architecture views that are derived from the corresponding architecture viewpoints. Different software architecture viewpoints have been introduced but runtime adaptability has not been broadly considered and remains implicit in the architecture views. In this paper we introduce the adaptability viewpoint that can be used for modeling dynamically configurable software architectures. We illustrate the viewpoint for a demand-driven supply chain management system.
  • Placeholder
    Conference ObjectPublicationMetadata only
    An approach for detecting inconsistencies between behavioral models of the software architecture and the code
    (IEEE, 2012) Çıracı, S.; Sözer, Hasan; Tekinerdogan, B.; Computer Science; SÖZER, Hasan
    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.
  • Placeholder
    Conference ObjectPublicationMetadata only
    Defining architectural viewpoints for quality concerns
    (Springer Science+Business Media, 2011) Tekinerdogan, B.; Sözer, Hasan; Computer Science; SÖZER, Hasan
    A common practice in software architecture design is to apply architectural views to model the design decisions for the various stakeholder concerns. When dealing with quality concerns, however, it is more difficult to address these explicitly in the architectural views. This is because quality concerns do not easily match the architectural elements that seem to be primarily functional in nature. As a result, the communication and analysis of these quality concerns becomes more problematic in practice. We introduce a general and practical approach for supporting architects to model quality concerns by extending the architectural viewpoints of the so-called V&B approach. We illustrate the approach for defining recoverability and adaptability viewpoints for an open source software architecture.
  • Placeholder
    Conference ObjectPublicationMetadata only
    A run-time verification framework for smart grid applications implemented on simulation frameworks
    (IEEE, 2013) Ciraci, S.; Sözer, Hasan; Tekinerdogan, B.; Computer Science; SÖZER, Hasan
    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 onto these frameworks which results in a deviation between the architecture and the code. On its turn this deviation makes it hard to verify behavioral constraints that are described at the architectural level. We have developed the ConArch toolset to support the automated verification of architecture-level behavioral constraints. A key feature of ConArch is programmable mapping for architecture to the implementation. Here, developers implement queries to identify the points in the target program that correspond to architectural interactions. ConArch generates runtime observers that monitor the flow of execution between these points and verifies whether this flow conforms to the behavioral constraints. We illustrate how the programmable mappings can be exploited for verifying behavioral constraints of a smart grid application that is implemented with two simulation frameworks.
  • Placeholder
    Conference ObjectPublicationMetadata only
    Variability viewpoint for introducing variability in software architecture viewpoints
    (ACM, 2012) Tekinerdogan, B.; Sözer, Hasan; Computer Science; SÖZER, Hasan
    Variability is the ability of a software system to be changed for a specific context, in a preplanned manner. As such, to facilitate the instantiation of a software architecture the variability concern needs to be explicitly addressed. Usually, architectural concerns are represented using architecture views that are derived from the corresponding architecture viewpoints. Different software architecture viewpoints have been introduced to support the modeling, understanding, communication and analysis of the software architecture for different stakeholders. Regarding variability we can observe that this has been mainly addressed in separate variability modeling approaches. In this paper we first provide a short overview of the approaches for dealing with variability at the architecture design level and then introduce the variability viewpoint. The variability viewpoint addresses the concerns for variability and can be used to introduce variability in software architecture viewpoints.