Modeling languages are defined with a meta-model, which are specified using the meta-modeling tools that produce the editors for specifying models in accordance with the meta-models. While many different meta-modeling tools have been available today, it is not yet clear what the expectations of practitioners are from the meta-modeling tools and what sort of challenges that practitioners face with. So, we designed and conducted a survey, which was responded by 103 practitioners from 24 different countries. The survey participants represent the different profiles of the population who differ in terms of the work industries, the problem domains, job positions, and years of experiences. Our survey investigates three important research questions, which essentially focus on the usage frequencies of the existing meta-modeling tools, practitioners’ expectations from the meta-modeling tools, and any challenges that practitioners face with. The survey questionnaire considers the notation, semantics, editor services, model-transformation, validation, testing, and composability requirements for meta-modeling tools.
The survey results lead to many interesting findings regarding the practical use of meta-modeling tools from different viewpoints. The survey also reveals many important challenges in each type of requirements. We strongly believe that the survey results are expected to be useful for anyone who consider developing their own DSMLs (domain-specific modeling languages) in understanding the top-used meta-modeling tools for different domains. Also, the tool vendors could use the survey results in learning the expectations of practitioners from the meta-modeling tools and any challenges encountered.
Assoc.Prof.Dr. Mert Ozkaya, Yeditepe University
MedPath Designer: A Process-based Modeling Language for Designing Care PathwaysObeo
MedPath is a domain-specific language created by Intmed, a Brazilian health tech company, to model and design care pathways using Model-Based Systems Engineering (MBSE) and the Sirius modeling tool. MedPath allows experts to collaboratively design pathways that are then interpreted and executed through MedPath's dashboard and system. The pathways can be rapidly updated and shared to guide doctors and improve patient care. Intmed has used MedPath to model over 200 care protocols for various medical specialties and conditions, including COVID-19. Evaluations found Sirius to be a good fit for quickly constructing and evolving their DSL and integrating pathways with legacy systems through interpretation.
SiriusCon17 - A Graphical Approach to Modularization and Layering of MetamodelsObeo
Modularity is a key aspect in software engineering since it comes with several benefits like reusability, extensibility and maintainability. Although it is a well established concept, it has not received much attention when it comes to model-driven software development. Over time, metamodels tend to evolve and grow in complexity to encompass new aspects and features. If modularization steps are not taken and metamodels are extended intrusively, they can become difficult to maintain and to extend. With the increased complexity, the modularization can become even more challenging.
In this talk, we present a novel approach to assist the modeler in the task of modularization. Our approach addresses the problem from a graphical perspective. The proposed tool support displays a layered structure, where each layer has certain level of abstraction, and allows the modeler to organize metamodels inside the layers. In this layered structure, the metamodels should only depend on metamodels with the same or a higher abstraction level and should not take part in cyclical dependencies. The tool provides the modeler with full control over the modularization process and full knowledge about the relations between the metamodels, thus facilitating the modularization task greatly.
Studying Software Engineering Patterns for Designing Machine Learning SystemsHironori Washizaki
Hironori Washizaki, Hiromu Uchida, Foutse Khomh and Yann-Gaël Guéhéneuc, “Studying Software Engineering Patterns for Designing Machine Learning Systems,” The 10th International Workshop on Empirical Software Engineering in Practice (IWESEP 2019), Tokyo, Japan, on December 13-14, 2019.
Software Engineering Patterns for Machine Learning ApplicationsHironori Washizaki
Hironori Washizaki, Software Engineering Patterns for Machine Learning Applications, 2021 IEEE International Conference on Electronic Technology, Communication and Information (ICETCI 2021), Keynote, August 28, Online, 2021.
Hironori Washizaki, Atsuo Hazeyama, Takao Okubo, Hideyuki Kanuka, Shinpei Ogata, Nobukazu Yoshioka, “Analysis of IoT Pattern Descriptions,” 2021 IEEE/ACM 3rd International Workshop on Software Engineering Research and Practices for the IoT (SERP4IoT 2021) , co-located with the 43rd ACM/IEEE International Conference on Software Engineering (ICSE 2021), June 3, 2021, online.
Experimenting multiple approaches for teaching meta-modelingSaïd Assar
Experimenting multiple approaches for teaching meta-modeling
>>Teaching with software tools <<
Presented at https://www.jamk.fi/en/Event-Calendar/the-global-faculty-colloquium/global-faculty-research-colloquium/
Rubric-based Assessment of Programming Thinking Skills and Comparative Evalua...Hironori Washizaki
Hironori Washizaki, "Rubric-based Assessment of Programming Thinking Skills and Comparative Evaluation of Introductory Programming Environments," 4th International Annual Meeting on STEM Education (IAMSTEM 2021), Keynote, August 12-14, 2021, Keelung, Taiwan and Online
Very preliminar intro to MDE for software developer communities and other kind of software practitioners. Contains material from several recognized sources.
MedPath Designer: A Process-based Modeling Language for Designing Care PathwaysObeo
MedPath is a domain-specific language created by Intmed, a Brazilian health tech company, to model and design care pathways using Model-Based Systems Engineering (MBSE) and the Sirius modeling tool. MedPath allows experts to collaboratively design pathways that are then interpreted and executed through MedPath's dashboard and system. The pathways can be rapidly updated and shared to guide doctors and improve patient care. Intmed has used MedPath to model over 200 care protocols for various medical specialties and conditions, including COVID-19. Evaluations found Sirius to be a good fit for quickly constructing and evolving their DSL and integrating pathways with legacy systems through interpretation.
SiriusCon17 - A Graphical Approach to Modularization and Layering of MetamodelsObeo
Modularity is a key aspect in software engineering since it comes with several benefits like reusability, extensibility and maintainability. Although it is a well established concept, it has not received much attention when it comes to model-driven software development. Over time, metamodels tend to evolve and grow in complexity to encompass new aspects and features. If modularization steps are not taken and metamodels are extended intrusively, they can become difficult to maintain and to extend. With the increased complexity, the modularization can become even more challenging.
In this talk, we present a novel approach to assist the modeler in the task of modularization. Our approach addresses the problem from a graphical perspective. The proposed tool support displays a layered structure, where each layer has certain level of abstraction, and allows the modeler to organize metamodels inside the layers. In this layered structure, the metamodels should only depend on metamodels with the same or a higher abstraction level and should not take part in cyclical dependencies. The tool provides the modeler with full control over the modularization process and full knowledge about the relations between the metamodels, thus facilitating the modularization task greatly.
Studying Software Engineering Patterns for Designing Machine Learning SystemsHironori Washizaki
Hironori Washizaki, Hiromu Uchida, Foutse Khomh and Yann-Gaël Guéhéneuc, “Studying Software Engineering Patterns for Designing Machine Learning Systems,” The 10th International Workshop on Empirical Software Engineering in Practice (IWESEP 2019), Tokyo, Japan, on December 13-14, 2019.
Software Engineering Patterns for Machine Learning ApplicationsHironori Washizaki
Hironori Washizaki, Software Engineering Patterns for Machine Learning Applications, 2021 IEEE International Conference on Electronic Technology, Communication and Information (ICETCI 2021), Keynote, August 28, Online, 2021.
Hironori Washizaki, Atsuo Hazeyama, Takao Okubo, Hideyuki Kanuka, Shinpei Ogata, Nobukazu Yoshioka, “Analysis of IoT Pattern Descriptions,” 2021 IEEE/ACM 3rd International Workshop on Software Engineering Research and Practices for the IoT (SERP4IoT 2021) , co-located with the 43rd ACM/IEEE International Conference on Software Engineering (ICSE 2021), June 3, 2021, online.
Experimenting multiple approaches for teaching meta-modelingSaïd Assar
Experimenting multiple approaches for teaching meta-modeling
>>Teaching with software tools <<
Presented at https://www.jamk.fi/en/Event-Calendar/the-global-faculty-colloquium/global-faculty-research-colloquium/
Rubric-based Assessment of Programming Thinking Skills and Comparative Evalua...Hironori Washizaki
Hironori Washizaki, "Rubric-based Assessment of Programming Thinking Skills and Comparative Evaluation of Introductory Programming Environments," 4th International Annual Meeting on STEM Education (IAMSTEM 2021), Keynote, August 12-14, 2021, Keelung, Taiwan and Online
Very preliminar intro to MDE for software developer communities and other kind of software practitioners. Contains material from several recognized sources.
PhD Proposal - A Framework for evaluating the quality of languages in MDE env...Fáber D. Giraldo
This document summarizes a doctoral research proposal on evaluating the quality of modeling languages used together in model-driven engineering (MDE) environments. The research aims to address problems with selecting languages for MDE projects and evaluating their suitability as a set. The researcher has conducted an initial review of quality frameworks and developed a first version of a conceptual framework. The proposed outcome is an "ontological quality evaluation framework" to assess language sets for their ability to be incorporated and adopted in MDE based on core concepts from information systems development and MDE.
A Preliminary Study on Architecting Cyber-Physical SystemsHenry Muccini
This presentation helps to understand our paper, presented at the 1st Workshop on Software Architectures for Cyber Physical Systems, presented at the SANCS2015 workshop (http://www.mrtc.mdh.se/SANCS15/).
ABSTRACT:
Cyber-physical systems (CPSs) are deemed as the key enablers of next generation applications. Needless to say, the design, verification and validation of cyber-physical systems reaches unprecedented levels of complexity, specially due to their sensibility to safety issues. Under this perspective, leveraging architectural descriptions to reason on a CPS seems to be the obvious way to manage its inherent complexity.
A body of knowledge on architecting CPSs has been proposed in the past years. Still, the trends of research on architecting CPS is unclear. In order to shade some light on the state-of-the art in architecting CPS, this paper presents a preliminary study on the challenges, goals, and solutions reported so far in architecting CPSs.
This document discusses the landscape of patterns for Internet of Things (IoT) and machine learning (ML). It analyzes 33 papers on IoT patterns to classify them by abstraction level, domain specificity, and quality characteristics addressed. It also identifies common issues in ML system development by analyzing 9 papers and categorizes ML practices. Finally, it summarizes the publication trends of ML architecture and design patterns based on 10 papers and 28 gray documents.
On the Use of Component-Based Principles and Practices for Architecting Cyber...University of l'aquila
This document summarizes a systematic literature review on using component-based principles and practices for architecting cyber-physical systems. The review analyzed existing research according to a classification framework and identified gaps. It found that over half the primary studies were published between 2014-2015, indicating growing interest. However, component models for cyber-physical systems have not fully explored properties like adaptation and dynamics. The review aims to enlarge the scope of architecting cyber-physical systems and cover gaps between needs in the field and current realizations.
Cognification is the application of knowledge to boost the performance and impact of a process. We believe cognification could be a revolution in the way software is built.
New Post-Master Specialized Program :
Model Driven Engineering Diploma offered by the School of Engineering École des Mines de Nantes, France.
A presentation of the Program and the environment of study.
This document provides an overview of the ontology development process including the following key steps: requirements definition, term extraction, ontology conceptualization, initial and detailed model drafting, ontology implementation, non-ontological resource transformation, and ontology evaluation. It discusses considerations for each step such as tools, focus, and best practices.
The OMG UML Testing Profile in Use--An Industrial Case Study for the Future I...Alessandra Bagnato
The EU funded FITTEST FP7 project aims to address the Future Internet (FI) testing challenges. FITTEST will be integrated in three pilot applications provided by three industrial partners, IBM, Sulake and Soft am. This paper presents the Modelio SaaS product and case study context selected by Soft am as FITTEST Project industrial application and the usage of the Object Management Group (OMG) UML Testing Profile module. In the paper, researchers present the advanced software engineering methods proposed by FITTEST and the usage of the OMG UML Testing Profile (UTP) in a real industrial environment within Softeam and Modelio SaaS.
Modelio - Overcoming the Limitations of model repositories. by Philippe DesfrayAndrey Sadovykh
Have you ever seen an Enterprise Wide model
repository?
• A model that is shared beyond a few persons group (project)
• A model that is shared between several business units
• A model that can be accessed by every stakeholder
– From the Managers to the Business Analysts, the Architects, the
Developers, testers, …
• A model separated into logical parts that you can refer to from
any place
– Requirements, Goals, Business models, Architectures, Software models,
Tests, …
• A model that can be shared with external partners (co/sub
contractors, partners, …)
• A model that is considered and used as a major knowledge asset
of a company
Contributions to the multidisciplinarity of computer science and ISSaïd Assar
Les diapos de ma présentation HDR en informatique (CNU section 27) à l'université Paris 1 Panthéon Sorbonne le vendredi 20 janvier 2017. L'enregistrement vidéo de la soutenance est visible sur https://www.youtube.com/watch?v=1ro_iaI-roA
--
Slides of my presentation for Habilitation (HDR) defense in computer science (Informatique section 27 CNU) at University Paris 1 Panthéon Sorbonne on Friday January 2017.
Video recording is visible on https://www.youtube.com/watch?v=1ro_iaI-roA
Jiali Han is pursuing a Master of Science in Electrical Engineering at the University of Pennsylvania. She received a BEng in Communication Engineering from Northwest University in China, where she participated in several design projects involving wireless sensor networks, image processing, and classroom management. Her experience includes publishing a paper on an efficient RFID anti-collision algorithm and internships at China Unicom and Huawei focusing on network monitoring and optimization.
The document summarizes a talk on live modeling given by Benoit Combemale at a LangDev meetup at Amazon. Live modeling brings immediate feedback and direct manipulation capabilities to modeling environments. It allows users to see how changes to a model impact its runtime state or execution trace. Live modeling has various uses across different domains and can enhance modeling tools. The talk explored live modeling challenges and approaches from a language engineering perspective, with the goal of integrating these capabilities into domain-specific languages.
Expansion of IFC Data Model to Kinematic Sensor at IJUP2012 by Bruno FerreiraJoao Rio
The instrumentation and structural health monitoring has gained a growing importance in the construction industry. However, the resulting data has not been properly handled. In order to correct this factor, is intended to integrate the data collected in information management systems such as BIM. The BIM is based on the idea of integrating all information related to a building or project in a single digital model. This information can be associated prior or during construction of the building or even during its lifetime. These tools have developed rapidly, increasing their chances of information management.
The purpose of this study is the information management from the instrumentation and structural health monitoring. As to achieve this goal, it was studied a standard construction model, with the use of a common language. This model is referred as IFC. In this work is performed an assessment of the applicability of the IFC model, as a format for information exchange between sensors and BIM. It was proposed the extension of the model based on kinematic sensors, since it only includes environmental sensors.
Based on the model above, and using BIM programs, there was a real case study concerning the building of the ―Nave do INEGI‖, using data from actual measurements. It was conducted a three-dimensional model of the building, studied the interoperability between various BIM tools and compatible properties were created within the IFC model capable of delivering the information recorded by the sensors.
Thus, it was studied the issue of the instrumentation and structural health monitoring framed on the BIM software on a scale closer to the real, where the adversities and the problems substantially differ from those presented theoretically. The results suggest that the management of information from the BIM with the data obtained by the sensors becomes achievable.
Software engineering ontology and software testingKhushbu Patel
The term “Ontology” derives from its usage in philosophy where it is defined as the study of “being” or “existence”- all kinds of entities, abstracts and concretes that make up the world.
The document discusses software architecture activities including:
1. Identifying requirements and architecturally significant requirements
2. Designing subsystems and identifying main components and connectors
3. Modeling the software architecture and performing analysis, verification, and validation activities to ensure the implementation conforms to the architecture.
The document summarizes Tamara Lopez's PhD research proposal on reasoning about flaws in software design. The research aims to analyze software failures by taking a situational approach between the broad scope of systemic analyses and narrow focus of means analyses. It will apply qualitative methods to examine how failures manifest and are addressed in software development. The goal is to better understand why some software fails and other succeeds.
The document summarizes research into requirement specification techniques and related problems. It discusses various techniques used in industry such as natural language, use cases, and quality attribute workshops. It also analyzes common issues with requirement specification like ambiguities and inconsistencies. The researcher conducted a survey of software organizations to gather data on techniques used and problems faced. The findings identify the most popular techniques and issues such as document size and understandability.
PhD Proposal - A Framework for evaluating the quality of languages in MDE env...Fáber D. Giraldo
This document summarizes a doctoral research proposal on evaluating the quality of modeling languages used together in model-driven engineering (MDE) environments. The research aims to address problems with selecting languages for MDE projects and evaluating their suitability as a set. The researcher has conducted an initial review of quality frameworks and developed a first version of a conceptual framework. The proposed outcome is an "ontological quality evaluation framework" to assess language sets for their ability to be incorporated and adopted in MDE based on core concepts from information systems development and MDE.
A Preliminary Study on Architecting Cyber-Physical SystemsHenry Muccini
This presentation helps to understand our paper, presented at the 1st Workshop on Software Architectures for Cyber Physical Systems, presented at the SANCS2015 workshop (http://www.mrtc.mdh.se/SANCS15/).
ABSTRACT:
Cyber-physical systems (CPSs) are deemed as the key enablers of next generation applications. Needless to say, the design, verification and validation of cyber-physical systems reaches unprecedented levels of complexity, specially due to their sensibility to safety issues. Under this perspective, leveraging architectural descriptions to reason on a CPS seems to be the obvious way to manage its inherent complexity.
A body of knowledge on architecting CPSs has been proposed in the past years. Still, the trends of research on architecting CPS is unclear. In order to shade some light on the state-of-the art in architecting CPS, this paper presents a preliminary study on the challenges, goals, and solutions reported so far in architecting CPSs.
This document discusses the landscape of patterns for Internet of Things (IoT) and machine learning (ML). It analyzes 33 papers on IoT patterns to classify them by abstraction level, domain specificity, and quality characteristics addressed. It also identifies common issues in ML system development by analyzing 9 papers and categorizes ML practices. Finally, it summarizes the publication trends of ML architecture and design patterns based on 10 papers and 28 gray documents.
On the Use of Component-Based Principles and Practices for Architecting Cyber...University of l'aquila
This document summarizes a systematic literature review on using component-based principles and practices for architecting cyber-physical systems. The review analyzed existing research according to a classification framework and identified gaps. It found that over half the primary studies were published between 2014-2015, indicating growing interest. However, component models for cyber-physical systems have not fully explored properties like adaptation and dynamics. The review aims to enlarge the scope of architecting cyber-physical systems and cover gaps between needs in the field and current realizations.
Cognification is the application of knowledge to boost the performance and impact of a process. We believe cognification could be a revolution in the way software is built.
New Post-Master Specialized Program :
Model Driven Engineering Diploma offered by the School of Engineering École des Mines de Nantes, France.
A presentation of the Program and the environment of study.
This document provides an overview of the ontology development process including the following key steps: requirements definition, term extraction, ontology conceptualization, initial and detailed model drafting, ontology implementation, non-ontological resource transformation, and ontology evaluation. It discusses considerations for each step such as tools, focus, and best practices.
The OMG UML Testing Profile in Use--An Industrial Case Study for the Future I...Alessandra Bagnato
The EU funded FITTEST FP7 project aims to address the Future Internet (FI) testing challenges. FITTEST will be integrated in three pilot applications provided by three industrial partners, IBM, Sulake and Soft am. This paper presents the Modelio SaaS product and case study context selected by Soft am as FITTEST Project industrial application and the usage of the Object Management Group (OMG) UML Testing Profile module. In the paper, researchers present the advanced software engineering methods proposed by FITTEST and the usage of the OMG UML Testing Profile (UTP) in a real industrial environment within Softeam and Modelio SaaS.
Modelio - Overcoming the Limitations of model repositories. by Philippe DesfrayAndrey Sadovykh
Have you ever seen an Enterprise Wide model
repository?
• A model that is shared beyond a few persons group (project)
• A model that is shared between several business units
• A model that can be accessed by every stakeholder
– From the Managers to the Business Analysts, the Architects, the
Developers, testers, …
• A model separated into logical parts that you can refer to from
any place
– Requirements, Goals, Business models, Architectures, Software models,
Tests, …
• A model that can be shared with external partners (co/sub
contractors, partners, …)
• A model that is considered and used as a major knowledge asset
of a company
Contributions to the multidisciplinarity of computer science and ISSaïd Assar
Les diapos de ma présentation HDR en informatique (CNU section 27) à l'université Paris 1 Panthéon Sorbonne le vendredi 20 janvier 2017. L'enregistrement vidéo de la soutenance est visible sur https://www.youtube.com/watch?v=1ro_iaI-roA
--
Slides of my presentation for Habilitation (HDR) defense in computer science (Informatique section 27 CNU) at University Paris 1 Panthéon Sorbonne on Friday January 2017.
Video recording is visible on https://www.youtube.com/watch?v=1ro_iaI-roA
Jiali Han is pursuing a Master of Science in Electrical Engineering at the University of Pennsylvania. She received a BEng in Communication Engineering from Northwest University in China, where she participated in several design projects involving wireless sensor networks, image processing, and classroom management. Her experience includes publishing a paper on an efficient RFID anti-collision algorithm and internships at China Unicom and Huawei focusing on network monitoring and optimization.
The document summarizes a talk on live modeling given by Benoit Combemale at a LangDev meetup at Amazon. Live modeling brings immediate feedback and direct manipulation capabilities to modeling environments. It allows users to see how changes to a model impact its runtime state or execution trace. Live modeling has various uses across different domains and can enhance modeling tools. The talk explored live modeling challenges and approaches from a language engineering perspective, with the goal of integrating these capabilities into domain-specific languages.
Expansion of IFC Data Model to Kinematic Sensor at IJUP2012 by Bruno FerreiraJoao Rio
The instrumentation and structural health monitoring has gained a growing importance in the construction industry. However, the resulting data has not been properly handled. In order to correct this factor, is intended to integrate the data collected in information management systems such as BIM. The BIM is based on the idea of integrating all information related to a building or project in a single digital model. This information can be associated prior or during construction of the building or even during its lifetime. These tools have developed rapidly, increasing their chances of information management.
The purpose of this study is the information management from the instrumentation and structural health monitoring. As to achieve this goal, it was studied a standard construction model, with the use of a common language. This model is referred as IFC. In this work is performed an assessment of the applicability of the IFC model, as a format for information exchange between sensors and BIM. It was proposed the extension of the model based on kinematic sensors, since it only includes environmental sensors.
Based on the model above, and using BIM programs, there was a real case study concerning the building of the ―Nave do INEGI‖, using data from actual measurements. It was conducted a three-dimensional model of the building, studied the interoperability between various BIM tools and compatible properties were created within the IFC model capable of delivering the information recorded by the sensors.
Thus, it was studied the issue of the instrumentation and structural health monitoring framed on the BIM software on a scale closer to the real, where the adversities and the problems substantially differ from those presented theoretically. The results suggest that the management of information from the BIM with the data obtained by the sensors becomes achievable.
Software engineering ontology and software testingKhushbu Patel
The term “Ontology” derives from its usage in philosophy where it is defined as the study of “being” or “existence”- all kinds of entities, abstracts and concretes that make up the world.
The document discusses software architecture activities including:
1. Identifying requirements and architecturally significant requirements
2. Designing subsystems and identifying main components and connectors
3. Modeling the software architecture and performing analysis, verification, and validation activities to ensure the implementation conforms to the architecture.
The document summarizes Tamara Lopez's PhD research proposal on reasoning about flaws in software design. The research aims to analyze software failures by taking a situational approach between the broad scope of systemic analyses and narrow focus of means analyses. It will apply qualitative methods to examine how failures manifest and are addressed in software development. The goal is to better understand why some software fails and other succeeds.
The document summarizes research into requirement specification techniques and related problems. It discusses various techniques used in industry such as natural language, use cases, and quality attribute workshops. It also analyzes common issues with requirement specification like ambiguities and inconsistencies. The researcher conducted a survey of software organizations to gather data on techniques used and problems faced. The findings identify the most popular techniques and issues such as document size and understandability.
New research articles 2018 november issue- international journal of softwar...ijseajournal
The International Journal of Software Engineering & Applications (IJSEA) is a bi-monthly open access peer-reviewed journal that publishes articles which contribute new results in all areas of the Software Engineering & Applications. The goal of this journal is to bring together researchers and practitioners from academia and industry to focus on understanding Modern software engineering concepts & establishing new collaborations in these areas.
Authors are solicited to contribute to the journal by submitting articles that illustrate research results, projects, surveying works and industrial experiences that describe significant advances in the areas of software engineering & applications.
SyncMeta: Near Real-time Collaborative Conceptual Modeling on the WebNicolaescu Petru
Framework for near real-time (meta) modeling on the Web. Permits the collaborative editing of meta models and the generation of near real-time collaborative modeling editors. It uses a visual modeling approach.
http://dbis.rwth-aachen.de/cms/research/ACIS/SyncMeta
This research proposal aims to study the problems that can occur when proper software engineering techniques are not consistently applied throughout the development process. The researcher will analyze how using proper modeling, planning, requirements gathering, design, programming, testing, and other techniques can help deliver high-quality, less expensive, and easier to maintain software in a timely manner. In contrast, not using these techniques risks developing low-quality software that goes over budget and is difficult to maintain. The study will review literature on software engineering best practices and the researcher's experience to determine the importance of applying a disciplined, systematic approach using appropriate tools at each stage of development.
Natural User Interfaces allow users to interact with systems similarly as they interact with people. Human communications occur, mostly, in an oral way, since personal dialogs to phone calls and more recently in complain or information systems; the tendency is to automate some of these activities so the user might complete tasks in a more efficient way. The necessity for having a methodology that supports the development of vocal interfaces is therefore taking interest on it. The objective for this sample paper is to establish a methodology and to describe a set of rules that might be used for developing a software tool to generate code for multiplatform vocal User Interfaces from models.
The document summarizes the staff, doctoral students, resources, and laboratories of the HCI Group at Tallinn University. It lists the researchers, professors, and analysts that make up the staff. It also lists the doctoral students that have been or are currently affiliated with the group. Finally, it describes two laboratories managed by the group - the Interaction Design Laboratory and the User Experience Laboratory, including their purposes and example projects.
This document outlines research on the automatic detection and correction of software architectural defects (SADs) in object-oriented designs. It discusses terminology related to SADs like antipatterns and classifications. It also describes existing techniques for detecting SADs like metrics and code smells, as well as techniques for correcting SADs like behavior-preserving and non-behavior-preserving refactoring. The challenges of classifying, formalizing, and developing techniques and tools for automatically detecting and correcting SADs are presented.
A study of variability models and languages in the systems software domaingagnertechnologies
This document summarizes a study of variability modeling languages used in systems software. The study analyzed 128 variability models from 12 open-source projects using K config and CDL, two languages developed outside of academia. The study aims to 1) support academic research with real-world data on variability modeling concepts, 2) provide requirements for concepts not considered in research, and 3) challenge assumptions about model size and complexity made in papers. The results are of interest to researchers developing modeling techniques and tool designers.
An Abridged Version of My Statement of Research Interestsadil raja
The document summarizes the research interests of Muhammad Adil Raja in machine learning theory and applications. Specifically, his interests involve (1) developing a thorough understanding of machine learning methods, algorithms, and subdomains and (2) effectively applying machine learning to solve real-world problems. As part of his PhD research, he developed methods for real-time, non-intrusive speech quality estimation for VoIP calls using genetic programming. His research resulted in several publications and honors and he continues researching applications of machine learning.
A Survey on Using Artificial Intelligence Techniques in the Software Developm...IJERA Editor
Software engineering and artificial intelligence are the two important fields of the computer science. Artificial Intelligence is about making machines intelligent, while Software engineering is knowledge –intensive activity, requiring extensive knowledge of the application domain and of the target software itself. This study intends to review the techniques developed in artificial intelligence from the standpoint of their application in software engineering. The goal of this research paper is to give some guidelines to use the artificial intelligence techniques that can be applied in solving problems associated with software engineering processes. The aim of this paper is to find out the exact AI technique is likely to be fruitful for particular software development process
Industry-Academia Communication In Empirical Software EngineeringPer Runeson
This document discusses industry-academia communication in empirical software engineering. It provides context on a conference in 1968 that aimed to improve communication between industry and academia. It notes key differences in time horizons and languages between the two. Industry focuses on short-term market changes and profits, while academia focuses on long-term learning and publications. The document advocates for both sides to learn each other's languages and cultures to improve collaboration and help tear down walls between the two. It provides examples of successful collaboration projects over time that have helped improve practice.
This document provides a summary of Anatoliy Biliciler's experience and qualifications. He has over 4 years of experience as a software architect and web designer in Turkey, where he managed various projects. He has a Bachelor of Science in Computer Science from SUNY Fredonia and a Bachelor of Science in Software Engineering from Izmir University of Economics. His experience includes project management, programming in multiple languages, database design, and independent research. He is currently pursuing a post-graduation work authorization in the United States.
CS251 Intro. to SE [Lec. 0 - Course Introduction & Plan] Spring 2022.pdfTitoMido1
This document provides an overview of an introductory software engineering course, including course details, instructor information, topics to be covered, learning objectives, logistics, and a tentative weekly plan. The instructor's name is Dr. Amr S. Ghoneim and he received his PhD from the University of New South Wales in Australia. Main topics include software processes, requirements engineering, design, implementation, testing, and additional selected topics. Assessment consists of a group project, midterm exam, and final exam. Students are expected to attend lectures, study independently, complete assignments, and follow academic integrity and classroom conduct policies.
This document provides an overview of Debopriyo Roy's research portfolio from 2011. It outlines his areas of focus which include document design practices, procedural visual design, usability testing processes, statistical analysis of web interactions, cognitive and behavioral frameworks, online collaboration/interface design, the technical writing market in India, and the tools/interfaces used for research. It also lists selected publications, research projects/funding, accomplishments, and research initiatives.
This document provides an overview and requirements for the Stat project, an open source machine learning framework for text analysis. It describes the background, motivation, scope, and stakeholders of the project. Key requirements for the framework include being simplified, reusable, and providing built-in capabilities to naturally support text representation and processing tasks.
Advancing Foundation and Practice of Software AnalyticsTao Xie
Vision Statement Presentation on "Advancing Foundation & Practice of Software Analytics" at the 2nd International NSF sponsored Workshop on Realizing Artificial Intelligence Synergies in Software Engineering (RAISE 2013) http://promisedata.org/raise/2013/
How to sustain a tool building community-driven effortJordi Cabot
This document discusses key dimensions for sustaining a tool building community-driven effort based on experiences developing modeling tools. It covers onboarding users and contributors, governance models, community health analysis using graph techniques, and optimization strategies. The document advocates an entrepreneurial path for tool development by releasing prototypes as open source software and improving them for real use cases to build a community and offer commercial services.
Sentiment analysis in SemEval: a review of sentiment identification approachesIJECEIAES
Social media platforms are becoming the foundations of social interactions including messaging and opinion expression. In this regard, sentiment analysis techniques focus on providing solutions to ensure the retrieval and analysis of generated data including sentiments, emotions, and discussed topics. International competitions such as the International Workshop on Semantic Evaluation (SemEval) have attracted many researchers and practitioners with a special research interest in building sentiment analysis systems. In our work, we study top-ranking systems for each SemEval edition during the 2013-2021 period, a total of 658 teams participated in these editions with increasing interest over years. We analyze the proposed systems marking the evolution of research trends with a focus on the main components of sentiment analysis systems including data acquisition, preprocessing, and classification. Our study shows an active use of preprocessing techniques, an evolution of features engineering and word representation from lexicon-based approaches to word embeddings, and the dominance of neural networks and transformers over the classification phase fostering the use of ready-to-use models. Moreover, we provide researchers with insights based on experimented systems which will allow rapid prototyping of new systems and help practitioners build for future SemEval editions.
The document summarizes a workshop on Service-Oriented Programming (SOP). SOP is a new programming methodology that allows developing software applications by connecting and composing existing services, facilitating software reuse. The workshop is divided into two parts: the first part describes SOP concepts and motivation, and the second introduces teaching materials through a demonstration of SOP techniques. The qualifications of the three presenters are also provided, including their research interests and experience in computer science education.
Similar to What do Practitioners Expect from the Meta-modeling Tools? A Survey (20)
This document introduces ATICA4Capella, a model-based safety analysis framework and toolset for the aerospace industry. It uses the Capella modeling environment for systems engineering. The toolset allows defining functional requirements, performing a functional hazard analysis, and generating safety documentation. It also supports semi-automated fault tree analysis and is aligned with aerospace safety standards like ARP4761. A case study of applying the tools to an eVTOL vehicle design is presented. The document outlines ongoing work to further integrate requirements management and automated analysis capabilities.
INCOSE IS 2023 | You deserve more than the best in class MBSE toolObeo
As Model-Based Systems Engineering (MBSE) becomes more widely adopted in industry, projects involving collaborating teams require efficient collaboration and coordination. This talk will explore the challenges of industrializing MBSE projects and present solutions using the Capella modeling tool. We will discuss how the Cloud for Capella, Publication for Capella and Team for Capella extensions can support effective collaboration and communication among stakeholders working on MBSE projects. These extensions enable all project participants to remain aligned and up-to-date with project progress, ensuring that the project runs smoothly and efficiently. By the end of the talk, attendees will have a better understanding of how to industrialize MBSE projects and the role Capella can play in supporting these efforts.
Biography: Stephane Lacrampe
Stephane Lacrampe co-founded Obeo in 2005 in France and acted as the company's CEO until 2018. Obeo is an independent software vendor with a global reach, leading in open-source modeling software for system and software engineers, enterprise architects, and domain modeling experts. He is now the director of Obeo Canada. He is a very active member of the Capella community and is in charge of developing the Capella ecosystem in North and South America. He is a regular MBSE speaker who speaks at conferences in America and beyond. Stephane LACRAMPE is co-chair of the INCOSE Systems Engineering Tools Database Working Group and the INCOSE Canada chapter webmaster.
Architecture frameworks provide an approach to describing systems and the presentation of these elements and relationships to deliver the stakeholder needs. Essentially, frameworks provide templates for our engineering artefacts.
The design of a framework must accommodate a level of freedom in its usage; specific enough to answer the majority of stakeholder concerns whilst generic enough to allow for differences between projects. This balancing act often results in framework design being more generic to allow for a wider audience. Having an untailored framework, which is more ‘open’, can lead to creating inconsistent viewpoints.
Arcadia is one such framework as implemented through the Capella tool. The framework provides 4 perspectives/levels for product definition:
- The Operational Analysis, where the user needs are considered. Note: no concept of the System at this level.
- The System Analysis, where we define the contribution and scope of the System as a ‘black box’, identifying external interfaces, and top-level system functions.
- The Logical Architecture, where we break the System down into logical ‘blocks’ and decompose the functionality.
- The Physical Architecture, in which we define a (candidate) physical architecture, further decompose the functions, and deploy this functionality to the physical sub-systems, hardware, software and/or firmware.
In this talk, we acknowledge the strengths of the Arcadia framework, and the benefits it brings, whilst considering the need to tailor the generic viewpoints. We will provide examples of how we have adopted the generic Arcadia framework and further specified some of the viewpoints to meet the needs of our stakeholders. We will discuss future work looking at how we can translate these specialisations across other areas of the model. Finally, we will provide some suggestions and advice on tailoring views to meet your own needs and ensuring stakeholder engagement with the model.
CapellaDays2022 | Saratech | Interface Control Document Generation and Linkag...Obeo
Generation of Interface Control Documents (ICDs) using a model-based method has a number of advantages over text-based approaches. This paper describes the Python-based software that was written to automatically generate different versions of an ICD from a structure model in Capella. One use case for this approach is checking parts changes captured in the Engineering Bill of Materials (EBOM) using a PLM tool. We demonstrate an automated workflow that links changes in the EBOM to a request to vet the change against the ICD. This presentation will discuss our rationale, approach, results, and lessons learned.
CapellaDays2022 | Politecnico di Milano | Interplanetary Space Mission as a r...Obeo
Systems engineering is an iterative approach traditionally applied one-way, from the definition of the user needs to the implementation of a solution that satisfies certain requirements and is constrained by cost and schedule. This presentation instead aims at exploring the educational benefits of applying the opposite practice, thus retrieving system and subsystem level requirements based on a solution already implemented and taking advantage of the MBSE possibilities to realize a model of the system according to the ARCADIA method and systems engineering approach, using the Capella MBSE Tool. This reverse-engineering process has been applied to a renowned Space mission, the ESA Mars Express satellite, whose goal is to investigate all aspects of the martian environment, including the subsurface, surface and atmosphere of the planet, in order to search for evidence of extinct or extant life. The uppermost goal of this project is to demonstrate the benefits for university students at a Master's level keen on systems engineering in implementing the Capella tool to retrieve the system architecture and the operational processes in a "reversed" strategy. In this work, students have been compelled to apply systems engineering processes to justify the design choices and exploit the already well-known missions and capabilities to build the architecture and functional chains as a starting point for the reverse engineering of the identified subsystems. The results prove it is possible, and also recommendable time-wise, to teach Space engineering and Systems engineering students by using this inverse approach, rather than the canonic one in which students have to design a whole mission from scratch.
CapellaDays2022 | NavalGroup | Closing the gap between traditional engineerin...Obeo
Closing the gap between traditional engineering and digital-native model-based driven engineering requires helping engineers to embrace new techniques. Naval Group decided to tackle the following issues: lack of interoperability with other systems, lack of bridge between functional definitions in PID schemas and MBSE physical layers, lack of documenting cross-layers relationships for a specific object's type.
CapellaDays2022 | Thales | Stairway to heaven: Climbing the very first stepsObeo
1) The document discusses strategies for starting to implement model-based systems engineering (MBSE) and using the Capella modeling tool at Thales Avionics. It recommends strengthening fundamentals like vocabulary, demystifying MBSE and Capella, and promoting quick wins.
2) Examples of quick wins include using Capella to generate documentation from models and creating Python scripts to automatically extract content from models into tables.
3) The document emphasizes that every small step counts towards improving engineering practices through pragmatic adoption of MBSE and continuous improvement.
CapellaDays2022 | COMAC - PGM | How We Use Capella for Collaborative Design i...Obeo
COMAC is one of the leading suppliers of civil aircraft in the world. We will introduce how we use Capella in COMAC for collaborative design, including how to collaborate between overall design group and ATA design groups, and how to collaborate between different ATA design groups. We have done a series of extension development based on the System to Subsystem Transition add-on, to support the business process. These extensions include the integration from subsystem models to system model, the refinement of functional exchanges, the synchronization of newly added functional exchanges, and so on.
This document discusses CILAS's use of the Arcadia methodology and Capella tool. It provides an overview of CILAS, its activities and products in optics and lasers. It then details how CILAS uses various Arcadia artifacts and Capella throughout its projects, covering operational analysis, functional needs, logical and physical architectures. Benefits of the approach include improved knowledge management and communication, while hurdles include resistance to change and resource demands of Capella. The document concludes that Arcadia implementation has been beneficial so far but continues tailoring and metrics are needed to support further adoption.
CapellaDays2022 | ThermoFisher - ESI TNO | A method for quantitative evaluati...Obeo
Development of high-tech systems is a complex task done by diverse specialists distributed across the globe. Reference architectures including a clear functional breakdowns can support them and support their decisions. This presentation proposes an approach to improve the development of advanced electron microscopes by using Capella as an authoritative source of information. To support design decisions, a Capella AddOn has been developed to obtain quantitative information, such as throughput numbers, for a particular workflow. First, we will illustrate how functional and system decompositions can be captured and serve as company-wide architecting assets to inform design decisions. Next, we will outline how simulating Capella models can bring valuable insights to modelers. During a demo, we’ll simulate Capella’s Functional chains using the open-source simulation tool POOSL (https://github.com/eclipse/poosl) , and visualize results using the freely available TRACE4CPS tool (https://www.eclipse.org/trace4cps/). Re-using functions from the reference architecture allows us reason about design aspects such as the relation between throughput and design choices about function allocation and parallelism.
***
The open-source code of the solution is available at https://github.com/TNO/capella-workflow-dse
CapellaDays2022 | Thales DMS | A global engineering process based on MBSE to ...Obeo
Project Challenges
functional and non-functional requirements
big team, multi-business units, and multi-geographical sites
MBSE skills development
...
Project engineering process based on MBSE
multi-level MBSE approach (SSS, SSDD, transition to sub-systems, ...)
incremental engineering and AGILE development
engineering artefacts used and how they're linked (ARCADIA, conventional and AGILE artefacts)
Feed Forward
Our successes and pains
What we expect from Capella for the coming years
CapellaDays2022 | SIEMENS | Expand MBSE into Model-based Production Engineeri...Obeo
Mind Game: You want to build a LEGO Mindstorms Factory for Toy Cars and you are Head of Factory Planning. You identify that your manufacturing planning team and your product design team don’t collaborate with each other, because they work in silos and speak different languages. Their progress is too slow and the results are not synchronized.
Imagine: You succeed in merging your experts into one interdisciplinary team where everyone is collaboratively working together – already in the early stages of the engineering cycle. And imagine they start to speak the same language. Doubtless, you would speed up your engineering process. Furthermore, you would also reach a synchronized global solution for your manufacturing system and to be produced toy cars, building bridges inside your organization.
But how? This has been introduced by Dr.-Ing. C. Sinnwell in February 2020 in her PhD-thesis. There, she published the latest version of a methodology referred to as “MBPE – Model-Based Production Engineering”. The MBPE-methodology is a new approach for the conceptual design of manufacturing systems based on early product information supported by MBSE using UML.
The presentation will spotlight the MBPE-methodology, explaining how to use MBSE in the context of interdisciplinary factory and manufacturing planning. Also, it will be shown, how the methodology could be adapted to be realized with Eclipse Capella instead of any UML-modeling tool, illustrated by an example on how to conceptualize and model a LEGO Mindstorms production line for Toy Cars.
Gestion applicative des données, un REX du Ministère de l'Éducation NationaleObeo
Gestion applicative des données, un REX du Ministère de l'Éducation Nationale
Slides du webinaire IS Designer du Jeudi 10 Novembre 2022.
Une approche de modélisation et de
génération automatique avec IS Designer.
Le pôle de Versailles du Ministère de l'Éducation Nationale a utilisé l'outil open-source Information System Designer sur plusieurs projets à portée nationale pour modéliser les bases de données et les couches applicatives d'accès aux données (DAO).
Ce retour d'expérience sera présenté en détail lors de ce webinaire :
✔ la démarche mise en place,
✔ comment l'outil a été utilisé,
✔ les bénéfices constatés.
"Pour la dizaine de développeurs impliqués sur ces projets, la production automatique des Tests Unitaires a aussi permis de s'approprier plus facilement le socle technique, grâce à une approche par l'exemple, mais également d’avoir une assurance de non régression sur les fonctionnalités produites."
A common need in system architecture design is to verify that if the architect is correct and can satisfy its requirements.
Execution of system architect model means to interact with state machines to test system’s control logic. It can verify if the logical sequences of functions and interfaces in different scenarios are desired.
However, only sequence itself is not enough to verify its consequence or output. So we need each function to do what it is supposed to do during model execution to verify its output, and that is what we called “simulation”.
This presentation introduced how to embed Python or MATLAB® codes inside functions to do “simulation” within Capella.
From Model-based to Model and Simulation-based Systems ArchitecturesObeo
Achieving quality engineering through descriptive and analytical models
Systems architecture design is a key activity that affect the
overall systems engineering cost. It is hence fundamental
to ensure that the system architecture reaches a proper quality.
In this paper, we leverage on MBSE approaches and complement them
with simulation techniques, as a prom-ising way to improve the quality of the system architecture definition, and to come up with inno-vative solutions while securing the systems engineering process.
Connecting Textual Requirements with Capella Models Obeo
This document provides information about a webinar hosted by The REUSE Company in 2022. It introduces the two presenters, José Fuentes and Jose Pereira, and provides details about their backgrounds and qualifications. It also outlines the contents of the webinar, which will include an introduction to The REUSE Company, a demonstration of using textual requirements with Capella, and a question and answer session.
Sirius Web Advanced : Customize and Extend the PlatformObeo
Beyond the no code approach, Sirius Web is an open and extensible platform that you can customize in order to support your needs. Discover how to develop specific features in Sirius Web and integrate your modeler with other web applications.
Stéphane Bégaudeau, Obeo
Stéphane Bégaudeau graduated from the Nantes University of Sciences and Technology and is currently working as an Eclipse Modeling consultant at Obeo in France.
Sirius Web 101 : Create a Modeler With No CodeObeo
Sirius Web 101 provides a no-code modeler that allows defining domains and views without writing code. The document demonstrates creating a company domain with teams, employees, sites using no code definitions. It then shows two diagrams - one for teams and one for sites - generated from the same data. The summary concludes that the no-code results can address simple cases and that new no-code features are in development.
What's new in Sirius Web ? Discover the current version and what will come in the next releases.
Mélanie Bats, Obeo
Mélanie Bats works as CTO at Obeo. In my daily work, I am mainly focused on managing the R&D team, creating products based on our own open source technologies. I am used to work in the development of modeling tools with Sirius like UML Designer. I am committer for the EEF and the Sirius projects. I am also involved in the Eclipse community as being the Eclipse Planning Council chair. I am also a free software activist who has organized and participated in free software events in the Toulouse area.
Visualizing, Analyzing and Optimizing Automotive Architecture Models using Si...Obeo
Visualizing, Analyzing and Optimizing Automotive Architecture Models using Sirius
Advancing digitalization affects almost all aspects of our modern world. A prominent example is that of modern automobiles. From primarily mechanical machines, cars have evolved into driving complex cyber-physical systems over the last decades. Optimizing such systems consisting of vast networks of sensors, actuators, control units, and communication systems is a huge challenge for today's automotive industry and requires standardized and integrated toolchains fit for purpose. Together with a prestigious automotive industry partner, the Technical University of Ilmenau developed an application together with an integrated toolchain for evaluating and optimizing automotive architecture models. This application is based on the Obeo Sirius project as well as the Eclipse Modeling Framework. Based on Sirius, we created a model editor which is used for visualizing, editing, but also analyzing and optimizing automotive models across the boundaries of different architectural layers.
Maximilian Hammer, Technical University of Ilmenau
Maximilian Hammer is a Research Assistant at Technical University of Ilmenau
E-commerce Development Services- Hornet DynamicsHornet Dynamics
For any business hoping to succeed in the digital age, having a strong online presence is crucial. We offer Ecommerce Development Services that are customized according to your business requirements and client preferences, enabling you to create a dynamic, safe, and user-friendly online store.
Project Management: The Role of Project Dashboards.pdfKarya Keeper
Project management is a crucial aspect of any organization, ensuring that projects are completed efficiently and effectively. One of the key tools used in project management is the project dashboard, which provides a comprehensive view of project progress and performance. In this article, we will explore the role of project dashboards in project management, highlighting their key features and benefits.
14 th Edition of International conference on computer visionShulagnaSarkar2
About the event
14th Edition of International conference on computer vision
Computer conferences organized by ScienceFather group. ScienceFather takes the privilege to invite speakers participants students delegates and exhibitors from across the globe to its International Conference on computer conferences to be held in the Various Beautiful cites of the world. computer conferences are a discussion of common Inventions-related issues and additionally trade information share proof thoughts and insight into advanced developments in the science inventions service system. New technology may create many materials and devices with a vast range of applications such as in Science medicine electronics biomaterials energy production and consumer products.
Nomination are Open!! Don't Miss it
Visit: computer.scifat.com
Award Nomination: https://x-i.me/ishnom
Conference Submission: https://x-i.me/anicon
For Enquiry: Computer@scifat.com
Flutter is a popular open source, cross-platform framework developed by Google. In this webinar we'll explore Flutter and its architecture, delve into the Flutter Embedder and Flutter’s Dart language, discover how to leverage Flutter for embedded device development, learn about Automotive Grade Linux (AGL) and its consortium and understand the rationale behind AGL's choice of Flutter for next-gen IVI systems. Don’t miss this opportunity to discover whether Flutter is right for your project.
Measures in SQL (SIGMOD 2024, Santiago, Chile)Julian Hyde
SQL has attained widespread adoption, but Business Intelligence tools still use their own higher level languages based upon a multidimensional paradigm. Composable calculations are what is missing from SQL, and we propose a new kind of column, called a measure, that attaches a calculation to a table. Like regular tables, tables with measures are composable and closed when used in queries.
SQL-with-measures has the power, conciseness and reusability of multidimensional languages but retains SQL semantics. Measure invocations can be expanded in place to simple, clear SQL.
To define the evaluation semantics for measures, we introduce context-sensitive expressions (a way to evaluate multidimensional expressions that is consistent with existing SQL semantics), a concept called evaluation context, and several operations for setting and modifying the evaluation context.
A talk at SIGMOD, June 9–15, 2024, Santiago, Chile
Authors: Julian Hyde (Google) and John Fremlin (Google)
https://doi.org/10.1145/3626246.3653374
Malibou Pitch Deck For Its €3M Seed Roundsjcobrien
French start-up Malibou raised a €3 million Seed Round to develop its payroll and human resources
management platform for VSEs and SMEs. The financing round was led by investors Breega, Y Combinator, and FCVC.
Using Query Store in Azure PostgreSQL to Understand Query PerformanceGrant Fritchey
Microsoft has added an excellent new extension in PostgreSQL on their Azure Platform. This session, presented at Posette 2024, covers what Query Store is and the types of information you can get out of it.
Unveiling the Advantages of Agile Software Development.pdfbrainerhub1
Learn about Agile Software Development's advantages. Simplify your workflow to spur quicker innovation. Jump right in! We have also discussed the advantages.
Most important New features of Oracle 23c for DBAs and Developers. You can get more idea from my youtube channel video from https://youtu.be/XvL5WtaC20A
Hand Rolled Applicative User ValidationCode KataPhilip Schwarz
Could you use a simple piece of Scala validation code (granted, a very simplistic one too!) that you can rewrite, now and again, to refresh your basic understanding of Applicative operators <*>, <*, *>?
The goal is not to write perfect code showcasing validation, but rather, to provide a small, rough-and ready exercise to reinforce your muscle-memory.
Despite its grandiose-sounding title, this deck consists of just three slides showing the Scala 3 code to be rewritten whenever the details of the operators begin to fade away.
The code is my rough and ready translation of a Haskell user-validation program found in a book called Finding Success (and Failure) in Haskell - Fall in love with applicative functors.
How Can Hiring A Mobile App Development Company Help Your Business Grow?ToXSL Technologies
ToXSL Technologies is an award-winning Mobile App Development Company in Dubai that helps businesses reshape their digital possibilities with custom app services. As a top app development company in Dubai, we offer highly engaging iOS & Android app solutions. https://rb.gy/necdnt
Microservice Teams - How the cloud changes the way we workSven Peters
A lot of technical challenges and complexity come with building a cloud-native and distributed architecture. The way we develop backend software has fundamentally changed in the last ten years. Managing a microservices architecture demands a lot of us to ensure observability and operational resiliency. But did you also change the way you run your development teams?
Sven will talk about Atlassian’s journey from a monolith to a multi-tenanted architecture and how it affected the way the engineering teams work. You will learn how we shifted to service ownership, moved to more autonomous teams (and its challenges), and established platform and enablement teams.
Top Benefits of Using Salesforce Healthcare CRM for Patient Management.pdfVALiNTRY360
Salesforce Healthcare CRM, implemented by VALiNTRY360, revolutionizes patient management by enhancing patient engagement, streamlining administrative processes, and improving care coordination. Its advanced analytics, robust security, and seamless integration with telehealth services ensure that healthcare providers can deliver personalized, efficient, and secure patient care. By automating routine tasks and providing actionable insights, Salesforce Healthcare CRM enables healthcare providers to focus on delivering high-quality care, leading to better patient outcomes and higher satisfaction. VALiNTRY360's expertise ensures a tailored solution that meets the unique needs of any healthcare practice, from small clinics to large hospital systems.
For more info visit us https://valintry360.com/solutions/health-life-sciences
Top Benefits of Using Salesforce Healthcare CRM for Patient Management.pdf
What do Practitioners Expect from the Meta-modeling Tools? A Survey
1. What Do Practitioners Expect fromthe Meta-modelling
Tools? A Survey
Mert Ozkaya
Assoc.Prof.of Computer Engineeringat YeditepeUniversity
ResearcherandConsultant onSoftwareEngineering
Web-site:http://cse.yeditepe.edu.tr/~mozkaya
E-mail:mozkaya@cse.yeditepe.edu.tr
Linkedin:www.linkedin.com/in/mert-ozkaya 1
2. Scope of Research
1. Practitioners use meta-modelling
tools to
1. design and develop modelling
languages
2. develop model transformation
tools
3. use existing modelling languages
2. Practitioners use modelling
languages to
1. specify models and
2. process models for, e.g., early
analysis and code generation
3. Practitioners use models for
1. abstraction and managing
complexity
2
Assoc.Prof.Dr.MertOzkaya WhatDoPractitionersExpectfromtheMeta-modellingTools?ASurvey
3. Scope of Research
• We are interested in understanding
practitioners’
• perspectives,
• expectations, and
• challenges
towards
meta-modelling tools,
meta-models & modelling languages,
and models
3
Assoc.Prof.Dr.MertOzkaya WhatDoPractitionersExpectfromtheMeta-modellingTools?ASurvey
4. Practitioners – who are they?
• A practitioner is someone who
• uses/edits models
• uses/edits meta-models
• does not use/edit models and meta-models but
do feel interested
• Practitioners may hold diverse job
positions
• Including software developer, architect,
consultant, manager, system engineer, analyst,
etc.
• Practitioners may vary depending on their
• education level
• work industries
• experiences
4
Assoc.Prof.Dr.MertOzkaya WhatDoPractitionersExpectfromtheMeta-modellingTools?ASurvey
5. Practitioners’
approach towards
modelling and
modelling languages
• Possible questions to be investigated
• Practitioners’ understanding towards modelling
• Practitioners’ expectations from modelling
• Practitioners’ challenges in modelling
• Practitioners’ perspectives towards different
modelling techniques
• E.g., software architectures, design patterns,
object-oriented modelling, etc.
• Practitioners’ perspectives towards different
types of modelling languages
• E.g., UML, formal languages, and ADLs
• Practitioners’ perspectives towards applying
models at particular domains
• E.g., embedded domain
• The good thing is: The literature already
includes several empirical researches
• Many survey papers with interesting results
5
Assoc.Prof.Dr.MertOzkaya WhatDoPractitionersExpectfromtheMeta-modellingTools?ASurvey
6. Modelling Surveys -1
1. G. Liebel, N. Marko, M. Tichy, A. Leitner, J. Hansson, Model-based engineering in the embedded systems domain: an industrial
survey on the state-of-practice, Software and Systems Modeling 17 (1) (2018)
2. L. T. W. Agner, I. W. Soares, P. C. Stadzisz, J. M. Sim~aO, A brazilian survey on uml and model-driven practices for embedded software
development, J. Syst. Softw. 86 (4) (2013)
3. M. Torchiano, F. Tomassetti, F. Ricca, A. Tiso, G. Reggio, Preliminary findings from a survey on the md state of the practice, in: Proceedings of the
2011 International Symposium on Empirical Software Engineering and Measurement, ESEM '11, IEEE Computer Society, USA, 2011
4. J. Whittle, J. E. Hutchinson, M. Rounceeld, The state of practice in model-driven engineering, IEEE Softw. 31 (3) (2014)
5. P. Mohagheghi, W. Gilani, A. Stefanescu, M. A. Fernandez, An empirical study of the state of the practice and acceptance of model-driven
engineering in four industrial cases, Empir. Softw. Eng. 18 (1) (2013)
6. F. Tomassetti, M. Torchiano, A. Tiso, F. Ricca, G. Reggio, Maturity of software modelling and model driven engineering: A survey in the italian
industry, in: M. T. Baldassarre, M. Genero, E. Mendes, M. Piattini (Eds.), 16th International Conference on Evaluation & Assessment in Software
Engineering, EASE 2012, Ciudad Real, Spain, May 14-15, 2012. Proceedings, IET - The Institute of Engineering and Technology/ IEEE Xplore, 2012
7. D. Akdur, V. Garousi, O. Demir•ors, A survey on modeling and modeldriven engineering practices in the embedded software industry, Journal of
Systems Architecture - Embedded Systems Design 91 (2018)
8. D. Bork, D. Karagiannis, B. Pittl, A survey of modeling language specification techniques, Inf. Syst. 87 (2020)
9. J. Cabot, E. Teniente, Constraint support in MDA tools: A survey, in: A. Rensink, J. Warmer (Eds.), Model Driven Architecture - Foundations and
Applications, 2nd European Conference, ECMDAFA 2006, Bilbao, Spain, July 10-13, 2006, Proceedings, Vol. 4066 of Lecture Notes in Computer
Science, Springer, 2006
10. R. F. Paige, D. Varro, Lessons learned from building model-driven development tools, Softw. Syst. Model. 11 (4) (2012)
11. J. L. Perez-Medina, S. Dupuy-Chessa, A. Front, A survey of model driven engineering tools for user interface design, in: M. Winckler, H. Johnson,
P. A. Palanque (Eds.), Task Models and Diagrams for User Interface Design, 6th International Workshop, TAMODIA 2007, Toulouse, France,
November 7-9, 2007, Proceedings, Vol. 4849 of Lecture Notes in Computer Science, Springer, 2007
6
Assoc.Prof.Dr.MertOzkaya WhatDoPractitionersExpectfromtheMeta-modellingTools?ASurvey
7. Modelling Surveys - 2
12. I. Malavolta, P. Lago, H. Muccini, P. Pelliccione, A. Tang, What industry needs from architectural languages: A survey, IEEE Trans. Software Eng. 39
(6) (2013)
13. M. Ozkaya, Do the informal & formal software modeling notations satisfy practitioners for software architecture modeling?, Information &
Software Technology 95 (2018)
14. P. C. Clements, A survey of architecture description languages, in: Proceedings of the 8th International Workshop on Software Specification and
Design, IWSSD '96, IEEE Computer Society, Washington, DC, USA, 1996
15. M. Ozkaya, What is software architecture to practitioners: A survey, in: S. Hammoudi, L. F. Pires, B. Selic, P. Desfray (Eds.), MODELSWARD 2016 -
Proceedings of the 4rd International Conference on Model-Driven Engineering and Software Development, Rome, Italy, 19-21 February, 2016., 35
SciTePress, 2016
16. A. Forward, T. C. Lethbridge, Perceptions of software modeling: A survey of software practitioners, Tech. Rep. TR-2008-07, School of Information
Technology and Engineering, University of Ottawa, Ottawa, Ontario, Canada K1N 6N5 (2008)
17. G. Liebel, N. Marko, M. Tichy, A. Leitner, J. Hansson, Model-based engineering in the embedded systems domain: an industrial survey on the
state-of-practice, Software & Systems Modeling 17 (1) (2018)
18. P. Mohagheghi, V. Dehlen, Where is the proof? - a review of experiences from applying mde in industry, in: I. Schieferdecker, A. Hartman (Eds.),
Model Driven Architecture Foundations and Applications, Springer Berlin Heidelberg, Berlin, Heidelberg, 2008
19. T. Berger, R. Rublack, D. Nair, J. M. Atlee, M. Becker, K. Czarnecki, A. Wasowski, A survey of variability modeling in industrial practice, in:
Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems, VaMoS '13, ACM, New York, NY, USA,
2013
20. C. F. J. Lange, M. R. V. Chaudron, J. Muskens, In practice: Uml software architecture and design description, IEEE Software 23 (2) (2006)
21. F. Tomassetti, M. Torchiano, A. Tiso, F. Ricca, G. Reggio, Maturity of software modelling and model driven engineering: A survey in the italian
industry, in: 16th International Conference on Evaluation Assessment in Software Engineering (EASE 2012), 2012
7
Assoc.Prof.Dr.MertOzkaya WhatDoPractitionersExpectfromtheMeta-modellingTools?ASurvey
8. Practitioners’
approach towards
meta-modelling
• Many research questions again..
• Practitioners’ understanding towards meta-
modelling
• Practitioners’ expectations from meta-modelling
• Practitioners’ challenges in meta-modelling
• Practitioners’ perspectives towards different
meta-modelling tools
• Practitioners’ perspectives towards applying
meta-models at particular domains such as
embedded domain
• However, the literature does not really
consider answering those research questions
• Lack of survey studies on practitioners and meta-
modelling
• The current works focus more on
• analysing the existing meta-modelling tools for some
requirements and
• proposing a taxonomy of requirements for meta-
modelling tools
8
Assoc.Prof.Dr.MertOzkaya WhatDoPractitionersExpectfromtheMeta-modellingTools?ASurvey
9. Our Goal
We aim at answering three important
research questions
1. What are the usage frequencies of the
existing meta-modelling tools in different
problem domains?
2. What do practitioners expect from the
meta-modelling tools?
3. What are the challenges that practitioners
face with on their meta-modelling
activities?
9
Assoc.Prof.Dr.MertOzkaya WhatDoPractitionersExpectfromtheMeta-modellingTools?ASurvey
A survey has been designed and
executed on a number of
practitioners
10. Survey on Meta-Modelling Tool Requirements
• Question:
• How can we determine the meta-modelling tool
requirements that we focus on our survey?
• Answer:
• Erdweg S. et al. (2013) The State of the Art in
Language Workbenches. In: Erwig M., Paige R.F.,
Van Wyk E. (eds) Software Language Engineering.
SLE 2013. Lecture Notes in Computer Science, vol
8225. Springer, Cham.
• A feature model proposed out of the language
workbench workshops conducted in between 2011
and 2013
• Consisting of the meta-modelling tool features
10
11. Category of Requirements for the
Meta-modelling Tools
• Language definition
• Notation
• Textual, graphical, tabular, matrix, map
• Semantics
• Translational (model-to-text, model-to-
model) and interpretative
• Modelling editors
• Editing mode
• Free-form and projectional
• Syntactic services
• Highlighting, outline, folding, syntactic
completion, diff, auto formatting, etc.
• Semantic services
• Semantic completion, refactoring, error
marking, quick fixes, live translation, etc.
11
Assoc.Prof.Dr.MertOzkaya WhatDoPractitionersExpectfromtheMeta-modellingTools?ASurvey
• Language validation
• Structural and semantic validations
• Language testing
• Testing the language definitions,
editors, validation rules, etc.
• Language composability
• Composing the language
definitions, editors, validation
rules, etc.
12. Survey Design
• We prepared 25 different questions
• 5 profile questions
• Countries, job positions, work industries,
domains, and experiences
• 1 question for understanding the tool usage
frequencies
• A set of questions for each category of
requirements
• Multiple-choice questions for
understanding participants’ thoughts on
the tool requirement
• A free-text question for understanding the
challenges
12
Assoc.Prof.Dr.MertOzkaya WhatDoPractitionersExpectfromtheMeta-modellingTools?ASurvey
A pilot study conducted with a small set of
academics and practitioners
Many issues avoided:
• inconsistency and completeness of the
research questions wrt the survey
questions,
• any missing, ambiguous, or redundant
questions and answers,
• the coherence of the survey sections,
• the correctness of the answer formats,
• the appropriateness of the time
needed to complete the survey
New requirements added
• Model transformation/code-generation
13. Survey Execution
• The survey made available
online via google-forms
• The survey accessible in
between June 2020 and
August 2020
13
Assoc.Prof.Dr.MertOzkaya WhatDoPractitionersExpectfromtheMeta-modellingTools?ASurvey
To spread the survey,
• Personal contacts
• Past R&D project members with many industrial
partners and past work experiences on software
and systems modelling
• Mailing lists
• Eclipse modelling platforms
• Netbeans mailing list
• IEEE architecture description mailing list
• AADL list
• Practitioners who contributed to the
conf./journal papers contacted by e-mail
• Determined by searching the well-cited papers on
google scholar
• Linkedin groups on modeling
• In total, 300 individuals
have been contacted
• We received 103 different
participants from diverse
countries and industries
15. Participant Profiles
• Participants from 24 different countries
• Countries include
• Austria, Belgium, Finland, France,
Germany, Hungary, Italy, Poland, Portugal,
Sweden, Turkey, the Netherlands, United
Kingdom., Argentina, Brasil, China,
Colombia, Japan, Iran, Israel, Taiwan, and
USA, Australia, South Africa
15
Assoc.Prof.Dr.MertOzkaya WhatDoPractitionersExpectfromtheMeta-modellingTools?ASurvey
16. Participants' meta-modelling tool usages
• Most practitioners use either of the five
different meta-modeling tools
• Sirius,
• GEMS,
• Metaedit+,
• Xtext, and
• Microsoft DSL tools
• Among the top-five meta-modeling tools,
• Sirius, Xtext, and GEMS are Eclipse-based tools
• based on the Eclipse Modeling Framework (EMF)
• Xtext is the only meta-modeling tool that offers a
textual visualisation
• Some tools are rarely used
• ANTLR, ConceptBase, Melange, GEMOC,
Graphiti, WebGME, Cameo, EVA, and JastEMF
16
Assoc.Prof.Dr.MertOzkaya WhatDoPractitionersExpectfromtheMeta-modellingTools?ASurvey
17. The correlations between the participants'
domains and meta-modelling tool choice
17
• Some meta-modelling tools used for a few
particular domains
• ANTLR, GEMOC, EVA, Cameo, JastEMF, and
Graphiti
• While GME, Melange, and MPS are not
among the frequently-used tools,
• those tools preferred for various domains
• In almost all the domains, the top-used
meta-modelling tool is Metaedit+
• Except the embedded domain where the top-
used meta-modelling tool is GEMS.
Assoc.Prof.Dr.MertOzkaya WhatDoPractitionersExpectfromtheMeta-modellingTools?ASurvey
18. The correlations between the participants' meta-
modelling tool choice and their countries
18
• The tools that are used in the greatest
number of countries are GEMS, Metaedit+,
Sirius, and Xtext
• Some meta-modelling tools are each used in
one or two countries
• ANTLR, GEMOC, WebGME, Melange, JastEMF,
Graphiti
• Some countries use particular meta-modelling
tools more than the other tools
• USA's top used tool is Microsoft DSL tools
• Finland's is Metaedit+
• Many European countries’ top-used tools are
Eclipse-based tools (e.g., GEMS, Sirius, Xtext)
• The Netherland and Turkey's is GEMS
• Many countries include some practitioners
who prefer to use in-house solutions
• Belgium, Germany, Finland, France, Taiwan, The
Netherlands, Turkey and USA
Assoc.Prof.Dr.MertOzkaya WhatDoPractitionersExpectfromtheMeta-modellingTools?ASurvey
20. Language Definition – Types of notation sets
20
• Diagrammatic visualisation
• enables the model elements to be specified using
graphical symbols
• Textual visualisation
• enables the model elements to be specified in terms of
texts (e.g., writing code with the programming languages)
• Tabular visualisation
• enables the model elements to be specified using a table
editor that can be displayed as a table
• Matrix style visualisation
• enables the model elements to be specified in two axes
• each matrix cell is the relationship of the elements in
two axes
• Map visualisation
• enables the model elements to be specified with the
location and distances
• Hybrid visualisation
• supports multiple visualisations (e.g., textual, graphical,
and tabular) that can be used for editing the same model
in a synchronised way
Assoc.Prof.Dr.MertOzkaya WhatDoPractitionersExpectfromtheMeta-modellingTools?ASurvey
21. Language Definition– Semantics definitions
21
• Interpretative language semantics
• promotes the model execution without performing
any translations into some intermediate formats
• Translational language semantics
• promotes the definition of the model translations
into an intermediate format that can be executed
• Translational semantics:
• Model-to-text translation
• defines the semantics in terms of rules for the translations
into some structured text notation such as source-code
• Model-to-model translation
• defines the semantics in terms of rules for the translation
into a model with a different notation set
• e.g., producing entity-relationship model from a UML
class diagram
Assoc.Prof.Dr.MertOzkaya WhatDoPractitionersExpectfromtheMeta-modellingTools?ASurvey
22. The challenges on defining the languages
• The top challenges are
• meta-modelling tools' steep learning curve for defining the language syntax and
semantics
• One participant herein is especially concerned about learning the projectional editing with
MPS
• the lack of support for training
• e.g., tutorials, guidance, and examples on how to dene the language syntax and semantics
• A few other participants are concerned about the lack of support for
• the integration with the version management tools (e.g., GIT and SVN) for versioning
meta-models,
• the collaborative meta-modelling, and
• keeping the language syntax and semantics complete and consistent as the new
modelling elements are added
22
24. Editor Services – Editing mode
• Free-form editing
• Users edit a textual or graphical model that is stored
persistently
• A persistent model transformed into an abstract
representation that is transformed into an executable
representation
• Projectional editing
• Users edit projections of the model's abstract representation
that is stored persistently and transformed into an
executable representation
• Each projection may be in different formats
• e.g., graphical, textual, tabular, and matrix
• Unlike the free-form editing, the projections edited by the
users are not stored persistently
24
Assoc.Prof.Dr.MertOzkaya WhatDoPractitionersExpectfromtheMeta-modellingTools?ASurvey
25. Editor Services – Syntactic editor services
• Model re-use
• The models created kept in a repository
• New models created by re-using the existing
models in the repository
• Model comparison (diff-like tool)
• enables to detect and review the differences
between models and even merge them
• Syntactic completion templates
• provide incomplete models to the users (e.g.,
design pattern models)
• Auto-formatting, restructuring, aligning
models’ presentation
25
Assoc.Prof.Dr.MertOzkaya WhatDoPractitionersExpectfromtheMeta-modellingTools?ASurvey
26. Editor Services – Semantic editor services
• Error marker
• highlighting model elements and any associated error
messages for detecting the semantical errors
• e.g., the violation of well-formedness rules
• Automatic update of the models when
meta-model changes
• enables the modelers to detect any errors due to the
semantical changes automatically
• Semantic completions
• for receiving automatic suggestions at modelling time
• Refactoring of models
• the refactoring of models without changing semantics
• e.g., renaming and language-specific restructuring
• UML support
• Reusing and extending the UML language syntax and
semantics
• Live translation
• Displaying model and code side-by-side
26
Assoc.Prof.Dr.MertOzkaya WhatDoPractitionersExpectfromtheMeta-modellingTools?ASurvey
27. Other Editor Services
• Document generation
• generating Word, PDF, or XML files from models
automatically
• Importing/exporting models
• for sharing models among collaborators
• Version control system integration
• Managing model versions
• Usability
• the minimum number of clicks for
modelling/meta-modelling
• Traceability
• checking the consistencies between structural
and behavioural models
• IDE integration
• the integration with development environments
such as Eclipse and Visual Studio
27
28. The challenges on developing/using editors
• The top concern is the usability of the editors
• Usability issues in using Eclipse Xtext/Xtend and MPS meta-modelling tools for developing editors
• Xtext’s support for scalability and traceability based on the OSLC* linking
• Also, some participants are concerned about editors' lack of support for
• model versioning
• training (i.e., any learning materials to learn how to produce modeling editors)
• integrating editors with other development technologies, such as .NET, to combine modelling and coding
• Lastly, one participant is concerned about the support for the web-based editors
• Another participant is concerned about the syntax colouring
28
Assoc.Prof.Dr.MertOzkaya WhatDoPractitionersExpectfromtheMeta-modellingTools?ASurvey
*OSLC: https://open-services.net/
30. Model transformation/code-generation
features
• Error detection
• Detecting errors during the code generator
development
• Syntax highlighting
• Colouring the code for transformation
• Facilitating the readability and the detection of
syntax errors
• Scalability
• Developing large transformation tools
• With hundreds of lines of code for
transforming large and complex models
30
Assoc.Prof.Dr.MertOzkaya WhatDoPractitionersExpectfromtheMeta-modellingTools?ASurvey
31. The challenges on using the
model transformation/code-generation technologies
• A few of the participants stated some challenges on their use of the model
transformation technologies
• These challenges are to do with
• adapting the code generators with the end-user requirements
• the training support for using the transformation technologies
• integrating code generators with external Java programs, and
• the transformation technologies being too Java-centric and neglecting the needs of embedded domains.
31
Assoc.Prof.Dr.MertOzkaya WhatDoPractitionersExpectfromtheMeta-modellingTools?ASurvey
33. Validation Types
• Structural validation rules
• The structural aspects of the language
definitions
• E.g., the multiplicities of the language
elements and containment relationships
between them
• Semantic validation rules
• The semantical aspects of language
definitions
• E.g., Name/type analysis
33
Assoc.Prof.Dr.MertOzkaya WhatDoPractitionersExpectfromtheMeta-modellingTools?ASurvey
Language validation is concerned with
meta-modelling tools' support for defining the language
validation rules that can be executed via the modelling editor
to validate models
34. The meta-modelling tool features for
language validations
• Some desired features are
• the integration with some external validation
tools
• formal verification tools
• theorem provers
• simulation tools
• testing tools
• automated model and meta-model
validations for
• user-defined rules
• pre-defined rules
34
Assoc.Prof.Dr.MertOzkaya WhatDoPractitionersExpectfromtheMeta-modellingTools?ASurvey
35. The challenges on defining the language
validation rules
• While most participants did not state any challenges, a few participants pointed out
meta-modelling tools' lack of support for
• checking any model for the validation rules at modelling time and
• defining complex validation rules
35
Assoc.Prof.Dr.MertOzkaya WhatDoPractitionersExpectfromtheMeta-modellingTools?ASurvey
37. Testing different aspects of language
development
37
• The syntax and semantics testing is for checking if
• the language meta-model consists of the expected
modeling elements and relationships and
• the syntax and semantics rules have been defined
correctly and completely
• The editor testing is for checking if the editor
• enables creating models in accordance with the
syntax and semantics and
• meets such quality requirements as usability and
performance
• The code generator testing is for checking if the
code-generator
• performs the model transformation correctly and
meets the quality expectations
• The validation rules testing is for checking if
• the validation rules can be defined in accordance with
the language requirements and used for validating
models correctly
Assoc.Prof.Dr.MertOzkaya WhatDoPractitionersExpectfromtheMeta-modellingTools?ASurvey
Language testing is concerned with testing the
• language definition (syntax and semantics)
• editor services
• code generator
• validation rules
38. The challenges on testing different
aspects of language development
• Only a few participants stated some challenges
• These challenges are to do with the lack of support for
• specifying and executing test cases on different aspects of languages,
• integrating any external testing tools that can aid in the language testing, and
• the model-based testing of different aspects.
38
Assoc.Prof.Dr.MertOzkaya WhatDoPractitionersExpectfromtheMeta-modellingTools?ASurvey
40. Different aspects of language composability
40
• The language syntax/semantics composed of
the syntax/semantics of any existing languages
• E.g., re-using the semantical definitions of the
existing languages such as UML
• A modelling editor developed by composing
multiple existing tools
• E.g., the model versioning tool, collaboration
tool, validation tool, and code-generation tool.
• The model transformation/code-generation tool
developed via reuse
• E.g., re-using transformation templates,
patterns, or the existing code
• The validation rules defined by re-using and
modifying the existing rules or composing
multiple rules
Assoc.Prof.Dr.MertOzkaya WhatDoPractitionersExpectfromtheMeta-modellingTools?ASurvey
The language composability is concerned with
the meta-modelling tools’ support for extending an
existing language with some new features or unifying the
parts of multiple languages for developing a new language
41. The challenges on composing different
languages
• Just 3 participants stated some challenges, which are to do with
• composing different languages without changing them and
• the difficulties in performing composition with textual languages.
41
Assoc.Prof.Dr.MertOzkaya WhatDoPractitionersExpectfromtheMeta-modellingTools?ASurvey
42. Lessons Learned
• While most practitioners prefer either diagrammatical or textual visualisations, hybrid
visualisation is neglected
• Practitioners are not familiar with hybrid visualisation
• This might be due to the fact that most meta-modelling tools ignore hybrid visualisation
• Practitioners define the language semantics by means of translations into text (e.g.,
source-code) or model (e.g., formal process algebra)
• Most practitioners ignore the interpretative semantics definition
• Collaborative meta-modelling is important for many practitioners
• Importing/exporting the language definitions and versioning the definitions in a repository for later re-use are
among practitioners’ top-interests
• Practitioners are not familiar with the projectional editing
• Indeed, hybrid modelling that could be possible with projectional editing is not preferred either
• Also, MPS meta-modeling tool that supports the projectional editing is rarely used
42
Assoc.Prof.Dr.MertOzkaya WhatDoPractitionersExpectfromtheMeta-modellingTools?ASurvey
43. Lessons Learned
• Re-using models/meta-models are the top-concern
• Defining the language syntax and semantics by re-using the definitions of the existing languages
• Re-using the existing models by extending or modifying them
• Versioning models/meta-models is also highly important
• Practitioners wish to integrate with version control systems (e.g., GIT) and compare and merge model/meta-model
versions
• Defining the validation rules is so important for most practitioners
• Most practitioners are interested in validating both the structural and semantical aspects of languages
• Practitioners also wish the meta-modelling tools to be integrated with external
verification tools
• Formal verification tools, simulation tools, theorem provers, etc.
• Testing the language semantics definitions is the most desired testing facility
• Likewise, the compositional definitions of semantics is the most desired composition
facility
43
Assoc.Prof.Dr.MertOzkaya WhatDoPractitionersExpectfromtheMeta-modellingTools?ASurvey