ENGINEERING QUALITY OF SOFTWARE SYSTEMS
October 31, 2019
University of Twente, Carré 2M, Enschede, The Netherlands
You are very welcome to participate to this workshop. For registration, please send an email to Ida den Hamer-Mulder email@example.com, not later than October 25, 2019.
The schedule of the workshop, the abstracts of the talks and the short BIO’s of the speakers are presented in the following.
13:00 Start of the workshop
13:00 – 13:30 Model-Driven Systems Engineering, Bedir Tekinerdogan, Wageningen University
13:30 – 14:00 Search-Based Generalization and Refinement of Code Templates, Coen De Roover,
Vrije Universiteit Brussel
14:00 – 14:30 Optimal Modeling Language and Framework for Schedulable Systems, Güner Orhan,
14:30 – 15:00 Coffee break
15:00 – 15:30 Variability Centric Development leveraging on Model Driven Techniques,
Ali H. Dogru, Middle East Technical University
15:30 – 16:00 Software Engineering Challenges in Realizing Smart-City Systems, Mehmet Aksit,
TOBB ET University and University of Twente
16:00 End of workshop
16:45 Defence at room Waaier, 4 - Prof.dr. G. Berkhoff-zaal
MODEL-DRIVEN SYSTEMS ENGINEERING
Bedir Tekinerdogan, Wageningen University
Models have been widely used in software engineering to support the communication among stakeholders, the analysis, and the guidance in the overall development process. Software models can be used as blueprints in the development process or function as executable models to drive the automated generation of software artefacts.
Modeling has now also become important for systems engineering, that aims to adopt a holistic and systematic approach for designing and managing complex systems. Systems engineering is an interdisciplinary approach and thus imposes different requirements on modeling system artefacts.
In this talk I will discuss the current state of modeling in systems engineering and elaborate on the requirements and need for model-based and model-driven systems engineering.
SEARCH-BASED GENERALIZATION AND REFINEMENT OF CODE TEMPLATES
Coen De Roover, Vrije Universiteit Brussel
Search-Based Generalization and Refinement of Code Templates Several tools support code templates as a means to specify searches within a program’s source code. Despite their ubiquity, code templates can often prove difficult to specify, and may produce too many or too few match results. In this presentation, we present a search-based approach to support developers in specifying templates. This approach uses a suite of mutation operators to recommend changes to a given template, such that it matches with a desired set of code snippets. We evaluate our approach on the problem of inferring a code template that matches all instances of a design pattern, given one instance as a starting template.
OPTIMAL MODELING LANGUAGE AND FRAMEWORK FOR SCHEDULABLE SYSTEMS
Güner Orhan, Aselsan
There has been a considerable effort in definition and implementation of models in a large category of application domains and as such many useful models are readily available for use. Using models in various domains creates its own problems. Firstly, due to the complexity of the domain of interest, the complexity and size of the models can be very large. Secondly, models may be configured in many different ways depending on the quality attributes and contextual parameters, which may be implicitly defined in models. Finally, due to possible configuration of models, it may be difficult for software engineers to determine which configurations serve the purpose more. To deal with such problems, we have developed a workbench called Optimal Modeling Language (OptML) framework to represent certain quality attributes and contextual parameters as a separate model and to guide software engineers to determine the optimal configurations with respect to these attributes and parameters. In this talk, he will show the details and explain the benefits of this framework using a state-of-art example.
VARIABILITY CENTRIC DEVELOPMENT LEVERAGING ON MODEL DRIVEN TECHNIQUES
Ali H. Dogru, Middle East Technical University
This talk introduces a compositional approach where variability resolution is the most important activity for software development. A matured software product line infrastructure is assumed to be present. Specific expectations from the infrastructure suggests a reference architecture that includes an executable process model for the top-level flow mechanism for the applications, and other software assets that are invoked by this process model. Variability causes configurations for the process model and the other software assets, that are usually software components. A configuration request for the process model can initiate further configuration requests in all the infrastructure, including the process model itself. The automatic propagation of further configuration is due to the constraints in the feature level or more technological levels. The effort is towards the establishment of variability centric system development. Resolution of variability initiates two kinds of activities for generating the executable system: 1- configuration of the assets due to their having been prepared for a prescribed set of options and 2- model driven generation corresponding to the option.
SOFTWARE ENGINEERING CHALLENGES IN REALIZING SMART-CITY SYSTEMS
TOBB ET University and University of Twente
More and more cities adopt the concept of smart cities to manage their processes and to satisfy increasingly sophisticated demands of their citizens. Unfortunately, due to the complexity and lack of effective support by current infrastructures, developing smart-city systems is a very tedious task. This talk identifies 6 categories of challenges as possible obstacles in the cost-effective realization of smart-city systems. Within a few months, as a joint work between the University of Twente and TOBB ET University, 5 PhD projects will be started to address the problems using the principles of model-driven engineering.
Bedir Tekinerdogan is full professor and chairholder of the Information Technology group at Wageningen University in The Netherlands. He has more than 25 years of experience in information technology and software engineering. He is the author of around 300 peer reviewed scientific papers. He has been active in dozens of research and consultancy projects with various large software companies whereby he has worked as a principal researcher and leading software/system architect. His main research interests include software intensive systems engineering, system of systems, system architecture, and data science.
More details can be found on his LinkedIn Profile: https://www.linkedin.com/in/bedir
Coen De Roover
Coen De Roover is a professor at the Software Languages Lab of the Vrije Universiteit Brussel. The central theme of his research is the design of static and dynamic program analyses, and their application to problems in software quality. He has published over 80 peer-reviewed articles and is a frequent reviewer for international conferences in the domain (ASE, MSR, ICSME, SANER, SCAM, …).
Güner Orhan is an expert engineer in real-time software development department in Aselsan since 2014. He received the B.Sc. degree in the Department of Computer Engineering, Middle East Technical University, in 2012, and the M.Sc. degree in from the KOVAN Research Laboratory, Department of Computer Engineering, METU, in 2014. The title of the thesis was “Building a Web of Concepts on a Humanoid Robot”. He is currently working for the PhD. degree in the Faculty of Electrical Engineering, Mathematics and Computer Science, Formal Methods and Tools group at the University of Twente, the Netherlands. His research interests include developmental robotics, cognitive robotics, massively parallel programming, computer vision, image processing, schedulers, software product line engineering, and Model-Driven Engineering. He published one book chapter, two articles in international journals, five proceedings in international conferences.
Ali H. Dogru
Dr. Dogru is a full professor at the Middle East Technical University, Computer Engineering Department. He founded the Software Engineering Laboratory, the Master of Science Program in Software Engineering, and the Center for Verification and Validation for the Modeling and simulation Center, all in the same institution. He obtained his Ph.D. degree from the Southern Methodist University in Computer Science and his previous degrees in Electrical Engineering from the University of Texas at Arlington and Istanbul Technical University. His long term research fields are related with Software Engineering, covering Component Orientation, Specifications, Methodologies, Real-time critical software and recently, transdisciplinary engineering. Dr. Dogru has supervised 11 PhD dissertations and 50 Master of Sicence theses studies. He published 3 books, 6 book chapters, 19 Journal publications, and more than 80 conference papers. He has been involved with the creation of industrial training and academic education programs in different countries. He had two one-year sabbatical assignments, in New Jersey Instittue of Technology and National University of Singapore.
Dr. Aksit 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 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 conscious about the capabilities and competences they need. In 2017, Dr. Aksit has received the SDPS Priscilla and Raymond T. Yeh Award for Lifetime Achievements in Software Research, Technology Innovation or Engineering Education. Currently, Dr. Aksit is establishing a research center on Smart Cities under the auspices of the TOBB-ET University in Ankara, Turkey.