Yeditepe University, Department of Computer Engineering

Dr Mert Ozkaya
 Assistant Professor at Yeditepe University
  • Office: A410
  • E-mail:
  • Tel:  (216) 578 04 20 Ext: 1424 
  • Fax: (216) 578 04 00
  • Address: Yeditepe Üniversitesi, Bilgisayar Mühendisliği Bölümü, 26 Ağustos Yerleşimi, Kayışdağı Cad., 34755 Ataşehir, İstanbul 

      Mert on the web:
    1. We are organising the Software Modeling Track in the 13th National Conference on Software Engineering that will take place in IYTE on 23-25 September 2019.
      1. Check the website:
    2. I am going to present a paper in ENASE 2019, which takes place in Crete, Greece on 4-5 May 2019. 
    3. I have published an activity chart that describes all the activities and sub-activities that need to be completed for developing a domain-specific language (DSL)
      1. Click here to reach the activity chart for developing DSLs
    4. We are organising the 7th National Software Architecture Conference at Yeditepe University this year on 29-30 November 2018.
      1. Check the web-site: 
    5. I will present a paper in SOMET 2018 that takes place in Granada, Spain on 26-28 September 2018
    6. I act as the session chair for the Software Modeling Special Session in the 12th National Conference on Software Engineering that takes place in Sabancı University on 10-12 September 2018
      1. Check the web-site:

    “It had long since come to my attention that people of accomplishment rarely sat back 
    let things happen to them. They went out and happened to things.” - Leonardo da Vinci


    Mert's main research area is Software Engineering, focussing specifically on Software Architectures, Domain Specific Languages, Formal Verification, and Empirical Software Engineering. 

    The research and development projects that Mert currently works on (or has already completed) are given as follows. 

     A Simple, General-Purpose Approach for Modeling, Analysing, and Implementing Software Systems
    Project Summary
    :  Modeling software architectures from multiple viewpoints (e.g., logical, behaviour, and deployment) in a modular way is so helpful for considering different concerns of software architectures separately and creating highly understandable models that can easily be analysed. However, the existing architecture modeling languages provide a weak support for the multiple-viewpoints modeling and also ignore some important modeling aspects such as traceability, formal analysis and implementation code generation. So, in this paper, a new visual software modeling language called SRAD is proposed, which supports the software architecture modeling in terms of the requirements, logical, behaviour, and deployment viewpoints. While the requirements viewpoint offers a simplified form of the UML use case diagram notation, the other viewpoints extend the simple boxes and lines notation. SRAD is supported with a toolset that offers a modeling editor for specifying software architectures modularly in terms of these viewpoints and perform many different operations automatically. These are (i) checking the traceability between the software requirements and other viewpoint models, (ii) checking the viewpoint models for the wellformedness rules, (iii) translating the behaviour models in the ProMeLa formal verification language for the formal verification of the models against pre-defined (e.g., deadlock, race-condition, etc.) and user-defined properties, and (iv) translating the viewpoint models into a Java Modeling Language model.

     Click for details 
    • Toolset download
    • Case-studies

    A journal paper is currently under evaluation
     The Analysis of the UML-based languages and the UML CASE tools for the needs of practitioners
    Project Goal:  In this project, the goal is to analyse the existing languages that extend UML and the UML CASE tools for a set of requirements that are believed to be important for practitioners who work in different industries.
    The requirements for the UML-based languages have essentially been determined after the empirical studies conducted on the practitioners' expectations from the software modeling languages (see here). So, the existing 31 different UML based languages have been analysed for the 
    formal semantics, multiple viewpoints modelling, model analysis, code-generation, and modelling toolset requirements.
    Moreover, the project also includes the analysis of more than 40 different UML CASE tools for the modeling, analysis, transformation & export, collaboration, tool integration, scripting, project management, and knowledge management requirements. Note that those tool requirements have been determined after the careful analysis of the needs of practitioners via surveys, personal contacts, and some of the existing, recent empirical studies.
    1- UML-based Languages Analysis
    Click for the journal paper published in the The Journal of Aeronautics and Space Technologies

    2- UML Tools Analysis
    Click for the paper published in UYMS'18 conference
    Note: A journal paper is currently under evaluation
     A survey on the Practitioners' UML Usage for Different Architectural Viewpoints (2018-)
    Project Goal: The survey aims at understanding to what extent practitioners use the UML language for modeling their software architectures from different viewpoints. To this end, the architectural viewpoints proposed by Rozanski et al. have been focused: functional, information, concurrency, development, deployment, and operational viewpoints. For each viewpoint, different types of software architecture models that can be created as Rozanski et al. suggested have been considered for the survey.  The survey also intends to determine the frequency of UML diagram usages for each viewpoint models and the UML tools preferred by practitioners.

    Project Details: The survey has been completed with 109 practitioners from 34 different countries.

    N. Rozanski, E. Woods, Software Systems Architecture: Working With Stakeholders Using Viewpoints and Perspectives, 2nd Edition, Addison- Wesley Professional, 2011

     A journal paper is currently under evaluation
    The Analysis of Software Architectural Languages for Connectors (2018)
    Project Goal: The goal of this project is to analyse the existing 124 different architectural languages for a set of connectors that are procedure call, event, data access, linkage, stream, arbitrator, adaptor, and distributor.
     Click for the analysis results

    Click for the paper published in SOMET'18 conference
     A Survey on the Practitioners Perspective towards the Architectural Viewpoints (2017 - 2018)
        Project Goal: The survey aims at understanding practitioners' perspective towards different architectural viewpoints in which several different design decisions can be specified and reasoned about. To this end, we focus on five different viewpoints that have been proposed by Taylor et al. and believed to be commonly used by the practitioners, i.e., logical, physical, deployment, behaviour, and concurrency viewpoints.

    Project Details: The survey has been completed with 56 practitioners from 20 different countries.

    Taylor, R.N., Medvidovic, N., Dashofy, E.M.: Software Architecture - Foundations, Theory, and Practice. Wiley (2010)

     Click for the survey results

    Click for the paper published in the UYMK'18 conference
    VXCD (Visual XCD) Software Architecture Description Language    (2016-2017)
        Project Goal: In this project, the goal is to offer a visual notation set for the existing textual XCD architecture description language so as to enable the visual specifications of contractual software architectures in terms of first-class components and connectors that can later on be formally analysed using SPIN's model checker
        Project Details: VXCD has been performed under the 1002 scheme of The Scientific and Technological Research Council of Turkey (TUBITAK) during 2016-2017. 
        Project's Principle Investigator: Assistant Professor Mert Ozkaya
        Project Funding: 30000TL (including 2 students' monthly stipends)
     Click for details 
    • Toolset download
    • Case-studies

     SA-UML Software Architecture Modelling Language    (2016- 2018)
        Project Goal: In this project, the goal is to offer a UML-based software architecture modelling language for the visual specifications of software architectures and their formal analysis using SPIN
        Project Details: This project has been performed as part of the PhD project of Mehmet Alp Kose since 2016. 
        Project's Advisor: Assistant Professor Mert Ozkaya

     Click for details 
    • Toolset download
    • Case-studies
    A Survey on the Informal and Formal Software Modelling Notations     (2015-2017)
        Project Goal:  In this project, the goal is to survey among a number of practitioners from different countries so as to understand their knowledge and experience about informal and formal software modelling notations in specifying software architectures. 
        Project Details: The survey has already been completed with 115 different participants from 28 different countries.
     Click for the survey results

    Clicked for the journal paper published in Information and Software Technology journal
     The Analysis of the Existing Architectural Languages for Language Definition, Language Features, and Tool Support (2016-2017)
        Project Goal:  The goal of this project is to analyse the all known 124 different architectural languages identified by Malavolta etal. in terms of the language development framework proposed by Lago etal., which groups the language requirements into three groups - language definition, language features, and tool support.
     Click for the analysis results

    Click for the journal paper published in the Software Practice and Experience journal

    Mert's Biography:

    Mert is currently an Assistant Professor at Yeditepe University and has recently applied for the associate professorship to the Inter-university Board of Turkey. Mert has previously worked as an assistant professor at Altinbas University in between 2015-2018. Mert received his PhD from the City University London, UK in December 2014, MSc in Computer Science from the University of Essex, UK in 2010 (as top-ranked), and BS Computer Engineering from Bilkent University, Turkey in 2009. Mert’s research areas are centered around software engineering, more specifically software architectures, software modeling languages, tool development, formal verification, and empirical software engineering. Mert has published conference and journal papers that focus on (i) the development of some novel software modeling languages along with their toolset, (ii) formal analysis of software architectures,(iii) Design-by-Contract based software modeling and implementation, (iv)some analytical studies on the modeling languages, and (v) some surveys for understanding the needs of practitioners in industries. Mert also work on improving the software engineering education and offers new methodologies for teaching model-based software development effectively. Mert has been the researcher (RA), principle investigator, and consultant for different national and European research projects about software modeling, which are funded by TUBITAK or European Union.

    Mert was also the software modeling session chair of the 12th National Software Engineering Symposium that took place in Sabancı University in September 2018 and the organisation committee chair of the 7th Turkish Software Architecture Conference that took place in Yeditepe University in November 2018.

    EU and National Funded Projects

    Ongoing Projects 

    Boosting Design Efficiency for Heterogeneous³ Systems (PANORAMA)

    • Started on 2018-09-01, To be Delivered on: 2021-08-31 (36 months)
    • Budget: 19.1 M €
    • Funded by TUBITAK TEYDEB
    • Working as a consultant for Mantis Software
    • URL:           
    • Coordinated by Robert Bosch GmbH, Germany 
      • 10 partners from Finland (including Ericsson, Aalto University and University of Oulu)
      • 10 partners from Germany (including Bosch,  Siemens, Eclipse, Fraunhofer, Dortmund University)
      • 2 partners from Portugal
      • 9 partners from Sweden (including Saab, Scania, KTH, Malardalen University)
      • 4 partners from Turkey (AVL, Ford Otosan,  Mantis Software, and UNIT)

    Blended Modeling for Enhanced Software and Systems Engineering (BUMBLE)

    • To be Started on 2019-09-02, To be Delivered on: 2022-09-02 (36 months)
    • Budget: 11.4 M €
    • Working as a consultant for Mantis Software
    • URL:
    • Coordinated by Alten, Sweden
      • 4 partners Austria (AVL, EclipseSource, TU Wien, WU Vienna)
      • 7 partners from Germany (Eclipse Foundation Europe, Expleo, Fraunhofer, Hella, Itemis, Lemonize, Ulm University)
      • 4 partners from Netherlands (ING, Modeling Value Group, Oce Technologies,  VU University Amsterdam)
      • 7 partners from Sweden (Alten, Knowledge Centric Solutions, Malardalen University, Saab, Unibap AB, University of Gothenburg, Volvo Technology)
      • 4 partners from Turkey (Ford Otosan, Hermes Iletisim, Mantis Software, UNIT)

    Completed Projects 

    Visual Specification of Software Architectures and their Analysis 

    Internet of Things at Work 
    • Started on 1 June 2010 and Delivered on 30 June 2013
    • Funded by European Commission FP7-ICT 
    • Budget: € 5 890 830
    • Worked as a research assistant
    • URL:


    Mert has currently been teaching the Data Structures and Software Testing courses at Yeditepe University during Autumn 2018.

    Mert has taught a variety of computer science courses at Altinbas University between 2015 and 2018, which are given as follows:

    •  Software Engineering, 3rd year students (16-40 students) (CE370)
    •  Internet and Web based Programming, 3rd and 4th year students (16-45 students) (CE322)
    • Software Architecture, 4th year students (15-20 students) (CE420)
    • Object-oriented Programming with Java, 2nd year students (25-50 students) (CE201)
    •  Database Systems, 3rd year students (20-30 students) (CE361)
    • Computer Programming with C 1-2, 1st year students (40-80 students) (CE101, CE102)
    Mert has also been a tutor at City, University of London, and involved in the teaching of the Software Engineering and Team Project courses.