Yazar "Köse, Mehmet Alp" seçeneğine göre listele

Listeleniyor 1 - 5 / 5
  • [ X ]
    Öğe
    Designing and implementing software systems using user-defined design patterns
    (2021) Özkaya, Mert; Köse, Mehmet Alp
    Software design patterns are the design-level solutions for the commonly occurring problems in software development. Design patterns are applied in many industries where problems repeat with slight changes, and applying the same solution that is proven to be quality reduces the development time and maximises the software re-use. DesPat is a modeling toolset that offers a modeling notation set based on UML’s class diagram for the users to design their software systems using the well-known 6 design patterns proposed by Gamma et al. (abstract factory, singleton, composite, observer, visitor, and facade). DesPat also supports the combinations of different pattern models for any software system, analysis of the pattern-centric models, and their automated generation into Java skeleton code. In this paper, we extend DesPat with a new toolset that enables users to define their own patterns. A pattern is defined with the types of components, component interfaces, and relationships.
  • [ X ]
    Öğe
    DesPat: A modeling toolset for designing and implementing software systems using design patterns
    (2021) Özkaya, Mert; Köse, Mehmet Alp
    Software design patterns are considered as the general solutions to the problems that occur many times in the context of software design. However, applying design patterns at code level is not so easy, as adding/removing pattern elements, combining patterns, and checking software implementation against the pattern rules are not supported with the existing implementation frameworks/tools. Generating code from the high-level patterncentric models is not so easy either due to the lack of modeling language and tool support. In this paper, we propose a software design toolset called DesPat for applying design patterns abstractly at modeling level. We focus on a subset of design patterns proposed by Gamma et al., which are observed to be highly used in industry - i.e., the factory, composite, facade, observer, singleton, and visitor design patterns. DesPat offers a graphical notation set for each pattern supported that is based on the UML class diagram. DesPat is supported with a modeling editor to create pattern model(s) for software systems, combine different pattern models, and check them for correctness. DesPat further generates Java code from the pattern models. We illustrated DesPat with a set of real-world applications and evaluated DesPat via a set of final-year CS undergraduate students.
  • [ X ]
    Öğe
    SAwUML - UML-based, contractual software architectures and their formal analysis using SPIN
    (Pergamon-Elsevier Science Ltd, 2018) Özkaya, Mert; Köse, Mehmet Alp
    UML is without doubt the top preferred software modelling language by practitioners. However, UML remains inadequate for the software architecture level of design due to its weak support for some important requirements including multiple viewpoints, connectors, and formal analysis. In this paper, the SAwUML architecture description language is proposed to improve UML for the high-level, precise specifications of the structural and behavioural design decisions and their formal analysis. To this end, SAwUML combines UML's component and sequence diagrams together under the same notation set. Using the component diagram, practitioners can specify their system components that are connected via the required and provided ports and interact over the port method-calls. Whenever a component port is clicked, a UML sequence diagram can be drawn for specifying the port methods in terms of the request and response messages that are exchanged between the interacting components. SAwUML extends the formal Design-by-Contract approach for the behaviour specifications of the port methods drawn in the sequence diagram. SAwUML's contract extension considers both the request and response messages of method-calls, deciding on when method-calls can be requested/received, the method parameters/results to be assigned, and how the component post-state should be after method-calls. SAwUML is supported with a modelling tool for specifying the structural and behavioural design decisions together and any system-level properties in the linear temporal logic. The tool can automatically translate the software architectures in SAwUML into a formal ProMeLa model. Then the SPIN model checker can be used to verify the resulting ProMeLa models for the pre-defined properties - i.e., deadlock and incompleteness- and any user-defined properties. (C) 2018 Elsevier Ltd. All rights reserved.
  • [ X ]
    Öğe
    SAWUML-UML tabanlı yazılım mimarisi tanımlama dili ve araç kümesi
    (Altınbaş Üniversitesi / Lisansüstü Eğitim Enstitüsü, 2022) Köse, Mehmet Alp; Özkaya, Mert
    Mimari tanımlama dili (Architecture Description Language-ADL) olan SAwUML, UML modelleme dilinden esinlenmiştir. UML’in yapısal ve davranışsal modellemelerini bir araya getiren SAwUML, yapısal modelleme için UML’in bileşen diyagramından; davranışsal modelleme için sıralama veya aktivite diyagramından yararlanılmıştır. Sıralama ve aktivite diyagramlarında kontrata dayalı tasarım yaklaşımı kullanılmıştır. SAwUML modellemesi için MetaEdit+ modelleme editörü kullanılmıştır. SAwUML kullanılarak geliştirilen modelden, MetaEdit+ editöründe geliştirilen dönüştürücüler sayesinde modelin java iskelet kodu ve ProMeLa kodu elde edilir daha sonra SPIN model denetleyicisinde, modelin biçimsel denetlemesi yapılır. Ayrıca, elde edilen ProMeLa kodundan tersine mühendislikle SAwUML modeli elde etmek için java dilinde yazılmış bir program geliştirilmiştir; böylece tasarımcı, tersine mühendislik programı sayesinde kolaylıkla alternatif davranışsal model (sıralı diyagramdan aktivite diyagramı veya tam tersi) oluşturabilir.
  • Küçük Resim
    Öğe
    Towards extending UML's activity diagram for the architectural modeling, analysis, and implementation
    (Institute of Electrical and Electronics Engineers Inc., 2020) Köse, Mehmet Alp; Özkaya, Mert
    SAWUML is a general-purpose software modeling language that extends UML by unifying component and sequence diagrams for the specifications of software architectures. While component diagram is used for modeling the system structures, sequence diagram is extended with the Design-by-Contract approach for the modeling of system behaviors. In this paper, we aim at enhancing the language usability by providing alternative modeling choices for practitioners. To this end, we extended SAWUML's notation set with UML's activity diagram for the behavior modeling. So, practitioners may now use either sequence or activity diagrams, while the system structures are still modeled with component diagrams. We also extended SAWUML's modeling editor for creating software architecture models together with component and activity diagrams and the code generators for automatically obtaining (i) formal models in SPIN's ProMeLa for formal verification and (ii) Java-based implementation. We illustrate our language extension with the gas station case-study. © 2020 Polish Information Processing Society - as it is since 2011.