Welcome...

prof.dr.ir. M. Aksit (Mehmet)

Professor

About Me

PERSONAL DATA:

  • Currently a full professor at the TOBB Economics and technology University in Ankara Turkey and the director of Smart Cities and digital Ecosystems Lab.;
  • Coordinator of the Alliance on Digital Management of Pandemic Disasters
    (www.admpd.org);
  • Guest staff member at the Un. of Twente, emeritus full professor;
  • Worked as a full Professor from November 2000 to October 2019;
  • He was the Software Engineering Chair Holder;
  • m.aksit (at) utwente.nl ; http://fmt.cs.utwente.nl/ ;
  • Citations: 17267 (Google scholar September 14, 2020); H-index: 35 ; I10-index: 101;

SHORT BIO:

Mehmet Akșit has received an electrical engineering degree from the Ankara Engineering Academy (1976), electrical engineering B.Sc. and MSc. degrees (Ir.) from the Technical University of Eindhoven with honours (1980), and a Ph.D. degree from the University of Twente (1989). Dr. Akșit and the members his group have contributed to various topics in software engineering, such as programming languages, software design, application frameworks, software quality attributes and university-industry cooperation. As for programming languages, the group has developed one of the first aspect-oriented languages called Composition-Filters. Also, a language that can explicitly represent emergent behavior has been developed. The group has introduced the synthesis based software design methods and fuzzy-probabilistic techniques for modeling uncertainty in software design processes. Various methods and techniques have been defined to enhance certain quality attributes of software such as  adaptability, evolvability, documentability, availability, traceability, relevancy, energy reducibility and  schedulability. Accordingly, multi-criteria trade-off techniques have been introduced to optimize software architectures. Since 2011, the group has been developing new company maturity models and processes so that companies can be conscious about the capabilities and competences they need. In 2017, Dr. Akșit has received the SDPS Priscilla and Raymond T. Yeh Award for Lifetime Achievements in Software Research, Technology Innovation or Engineering Education. Currently, Dr. Akșit is establishing a research center on "Software Intensive Systems: Smart Cities" under the auspices of the TOBB University of Economics and Technology in Ankara, Turkey.

RESEARCH ACTIVITIES (Software intensive Systems for Smart Cities)
(These research activities will be carried out at the TOBB University of Economics and Technology in coordination with the University of Twente)

  • Sensor networks and optimizing clusters of systemsWithin in the context of Model-Driven Engineering (MDE), this activity aims at defining models for sensor networks. Also, optimal management and configuration of the clusters of sensors are studied.
  • Business platforms:  Within in the context of MDE, this activity focuses on the models that are utilized in the business platforms. In particular models are defined for work-flow management, scheduling and optimization.
  • Critical Infrastructures: This activity aims at developing domain-specific architectural styles for certain dependability quality attributes. In addition, various techniques are investigated to optimize these architectures according to certain trade-of relations among the selected quality attributes. 
  • Run-time verification and self-adaptation of systems: Within in the context of MDE, various run-time verification and architecture optimization techniques are investigated.
  • Mechanisms for integration and enhancing interoperability, configurability, adaptability and evolvability: This research activity aims at enhancing these quality attributes of smart-city infrastructures so that they can be long-lived despite changing requirements and infrastructural techniques. 

See also: M. Aksit, SOFTWARE ENGINEERING CHALLENGES IN REALIZING SMART-CITY SYSTEMS, accepted for publication at the SDPS 2019 conference, July 2019, Taichung.

 

RESEARCH CONTRIBUTIONS:

Programming languages:

  • In 1988, (probably the first) aspect-oriented language called Sina was developed. This work was later evolved into the concept of Composition Filters (1992). Various languages adopted this concept (ComposeJ, Compose*, etc.). Compose* was the most advanced language among these. It was implemented on various platforms. It had some unique features such as language independence, “interface-programming”, domain specific aspects and incorporated a set of verification tools. 
  • We organized the first Aspect-Oriented Software Development conference (AOSD2002) and I was the co-editor of the first aspect-oriented journal. 
  • Between 2010 – today, new language abstractions (Event Composition Modules, the Gummy programming language) were developed to abstract event-based programs. A particular interest was to modularly represent so-called “emergent behavior”. We are currently working on a new paradigm called: Optimal Programming.

Software design:

  • In the 90’s, the synthesis based architecture/software design method was developed; This method adopts controlled problem solving techniques in mapping requirements to software architectural solutions.
  • In the 90’s, a fuzzy-logic based technique for modeling uncertainty in software design processes was developed. Later, this technique was extended with fuzzy-probabilistic methods and applied to software process- and product-optimization problems. 
  • We are currently working on so-called Optimal Modeling Language and Framework.

Product-line and/or software architectures/application frameworks:

  • Since 1990’s, various industrial projects have been carried out with companies to design and implement application specific libraries, product-line architectures, application frameworks, domain-specific languages, etc. Examples are:
  • Since 2015, product-line architectures, model-driven engineering tools and application generators have been defined and implemented to support software systems which incorporate schedulers (designed specifically for the company Aselsan).
  • As 2018, we were told that every lithography machine produced by the company ASML (owns about 70% of the world market) has a subsystem that was originally designed and implement by my research team.
  • Other examples are design of various architectures for insurance-management systems, car-dealer management systems, medical-systems, communication-media charging systems, etc.

Enhancing software quality attributes:

New design formalisms were developed to evaluate various software quality attributes. For this purpose around the year 2000, the concept of Design Algebra was introduced. Later, new software metrics for were defined and appropriate tools were built. Examples are:

  • Metrics for adaptability and evolvability were first specified and verified using Design Algebra. Later, graph algebras, temporal-logic and predicate-based specification languages were introduced. 
  • The quality attribute documentability was specified, verified and enforced by a new concept called context-sensitive wildcards as adopted by the language VisuaL. 
  • The quality attribute fault-tolerance was provided by dedicated local recovery techniques. The quality attribute availability was specified and verified by the help of special tools based on information obtained from source code analysis. 
  • The quality attribute integrate-ability was specified and verified with the help of graph-based and resource-model based techniques. 
  • The quality attribute traceability was investigated by using dedicated meta models that could represent and reason about the design context. 
  • The quality attribute relevancy was specified and verified with the help of fuzzy-probabilistic models.
  • The quality attribute energy-reduction was modeled and enhanced through the use of dedicated architecture and domain-specific languages. 
  • Various quality trade-off techniques were investigated by using single and multi-criteria optimization techniques.

University – Industry cooperation methods

  • Since 2011, as a team, we have been developing new “university – industry cooperation” methods. Along this line, company maturity models and processes have been defined.
  • This method aims at enhancing the capabilities of high-technology companies so that they can accomplish their strategic objectives in a timely manner. 
  • Since 2011, as a team we have been working extensively with 5 very large high-technology companies to  enhance their technological capabilities.

Expertise

Engineering & Materials Science
Chemical Analysis
Software Architecture
Specifications
Mathematics
Control Software
Domain-Specific Languages
Embedded Software
Metamodel
Model-Driven Engineering

Publications

Recent
Akşit, M. (2018). The Role of Computer Science and Software Technology in Organizing Universities for Industry 4.0 and beyond. In M. Ganzha, L. Maciaszek, & M. Paprzycki (Eds.), Proceedings of the 2018 Federated Conference on Computer Science and Information Systems, FedCSIS 2018 (pp. 5-11). [8511200] IEEE. https://doi.org/10.15439/2018F002
Babur, Ö., Cleophas, L., van den Brand, M., Tekinerdogan, B. , & Aksit, M. (2018). Models, More Models, and Then a Lot More. In S. Zschaler, & M. Seidl (Eds.), Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Revised Selected Papers (pp. 129-135). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10748 LNCS). Springer. https://doi.org/10.1007/978-3-319-74730-9_10
Orhan, G. , Aksit, M. , & Rensink, A. (2018). Designing Reusable and Run-Time Evolvable Scheduling Software. In E. K. Burke, L. Di Gaspero, B. McCollum, N. Musliu, & E. Özcan (Eds.), PATAT 2018: Proceedings of the 12th International Conference of the Practice and Theory of Automated Timetabling (pp. 339-373). TU Wien. https://www.persistent-identifier.nl/urn:nbn:nl:ui:28-57a7f02c-0016-44d2-afe1-9be0cc807e66
Yildiz, B. M. , Rensink, A. , Bockisch, C. , & Aksit, M. (2017). A Model-Derivation Framework for Software Analysis. In H. Hermanns, & P. Höffner (Eds.), Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems (MARS): Uppsala, Sweden, 29th April 2017 (pp. 217-229). (EPTCS - Electronic Publications in Theoretical Computer Science; Vol. 244). arXiv.org. https://doi.org/10.4204/EPTCS.244.9
Yildiz, B. M. , Bockisch, C. , Rensink, A. , & Aksit, M. (2017). A Java Bytecode Metamodel for Composable Program Analyses. In M. Seidl, & S. Zschaler (Eds.), Software Technologies: Applications and Foundations: STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers (pp. 30-40). (Lecture Notes in Computer Science; Vol. 10748). Springer. https://doi.org/10.1007/978-3-319-74730-9_4
Yildiz, B. M. , Bockisch, C. , Aksit, M. , & Rensink, A. (2017). An MDE Approach for Modular Program Analyses. In Programming ’17: Companion to the first International Conference on the Art, Science and Engineering of Programming [15] Association for Computing Machinery (ACM). https://doi.org/10.1145/3079368.3079392
Orhan, G. , Aksit, M. , & Rensink, A. (2017). A Formal Product-Line Engineering Approach for Schedulers. In L. Jololian, D. E. Robbins, & S. L. Fernandes (Eds.), SDPS 22nd International Conference on Emerging Trends and Technologies in Convergence Solutions (pp. 15-30). (Integrated design and process technology; Vol. 22). https://www.sdpsnet.org/sdps/documents/sdps-2017/proceedings-sdps-2017-v2.pdf

UT Research Information System

Contact Details

Visiting Address

University of Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling (building no. 11)
Hallenweg 19
7522NH  Enschede
The Netherlands

Navigate to location

Mailing Address

University of Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling
P.O. Box 217
7500 AE Enschede
The Netherlands