Nicholas Matragkas's research while affiliated with Université Paris-Saclay and other places

Publications (40)

Article
Full-text available
Multi-robot systems are increasingly deployed to provide services and accomplish missions whose complexity or cost is too high for a single robot to achieve on its own. Although multi-robot systems offer increased reliability via redundancy and enable the execution of more challenging missions, engineering these systems is very complex. This comple...
Preprint
Full-text available
The wide use of robotic systems contributed to developing robotic software highly coupled to the hardware platform running the robotic system. Due to increased maintenance cost or changing business priorities, the robotic hardware is infrequently upgraded, thus increasing the risk for technology stagnation. Reducing this risk entails migrating the...
Conference Paper
Large-scale software repository mining typically requires substantial storage and computational resources, and often involves a large number of calls to (rate-limited) APIs such as those of GitHub and StackOverflow. This creates a growing need for distributed execution of repository mining programs to which remote collaborators can contribute compu...
Article
Full-text available
Flexible or bottom-up model-driven engineering (MDE) is an emerging approach to domain and systems modelling. Domain experts, who have detailed domain knowledge, typically lack the technical expertise to transfer this knowledge using traditional MDE tools. Flexible MDE approaches tackle this challenge by promoting the use of simple drawing tools to...
Conference Paper
Full-text available
Drug safety is an important aspect in healthcare, resulting in a number of inadvertent events, which may harm the patients. IT based Clinical Decision Support (CDS), integrated in electronic-prescription or Electronic Health Records (EHR) systems, can provide a means for checking prescriptions for errors. This requires expressing prescription guide...
Article
Full-text available
Drug safety is an important aspect in healthcare, resulting in a number of inadvertent events, which may harm the patients. IT based Clinical Decision Support (CDS), integrated in electronic-prescription or Electronic Health Records (EHR) systems, can provide a means for checking prescriptions for errors. This requires expressing prescription guide...
Conference Paper
Full-text available
We propose the concept of a model-connected safety case that could simplify certification of complex systems. System design models support the synthesis of both the structure of the safety case and the evidence that supports this structure. The resultant safety case argues that all hazards are adequately addressed through meeting the system safety...
Article
Full-text available
Domain experts typically have detailed knowledge of the concepts that are used in their domain; however they often lack the technical skills needed to translate that knowledge into Model-Driven Engineering (MDE) idioms and technologies. Flexible or bottom-up modelling has been introduced to assist with the involvement of domain experts by promoting...
Article
Full-text available
Existing parsers for textual model representation formats such as XMI and HUTN are unforgiving and fail upon even the smallest inconsistency between the structure and naming of metamodel elements and the contents of serialised models. In this paper, we demonstrate how a flexible parsing approach can transparently and automatically resolve a number...
Article
Full-text available
The paper presents a concise method for transforming textual representations of healthcare services, to a structured, semantically unambiguous modelling language. The method is designed based on literature, as well as trial and error by the authors, using text descriptions of healthcare services. Employing the method can convert textual description...
Article
The artefacts used in Model-Driven Engineering (MDE) evolve as a matter of course: models are modified and updated as part of the engineering process; metamodels change as a result of domain analysis and standardisation efforts; and the operations applied to models change as engineering requirements change. MDE artefacts are inter-related, and simu...
Conference Paper
Full-text available
We assess the use of several Eclipse-based Model-Driven Engineering technologies (e.g. EMF, GMF, Xtext, Sirius, ATL, QVTO, Epsilon) in open-source software development projects hosted on GitHub. We discuss our data collection and analysis methodology, and present a number of findings related to the extent to which such technologies appear to be use...
Conference Paper
Full-text available
Deciding whether an open source software (OSS) project meets the required standards for adoption in terms of quality, maturity, activity of development and user support is not a straightforward process as it involves exploring various sources of information. Such sources include OSS source code repositories, communication channels such as newsgroup...
Conference Paper
In Model-Driven Engineering (MDE), models conform to metamodels. In flexible modelling, engineers construct example models with free-form drawing tools; these examples may later need to conform to a metamodel. Flexible modelling can lead to errors: drawn elements that should represent the same domain concept could instantiate different types; other...
Conference Paper
We demonstrate the application of Model Driven Engineering techniques to support the development of research grant proposals. In particular, we report on using model-to-text transformation and model validation to enhance productivity and consistency in research proposal writing, and present unanticipated opportunities that were revealed after estab...
Conference Paper
Full-text available
The MDE research community has grown significantly in size and maturity in the last decade. During these years, a plethora of languages and tools has been proposed to address different challenges of the MDE approach to software development. As the community continues to broaden its expertise, it is worthwhile to assess its practices in order to ide...
Article
Full-text available
The process of selecting open-source software (OSS) for adoption is not straightforward as it involves exploring various sources of information to determine the quality, maturity, activity, and user support of each project. In the context of the OSSMETER project, we have developed a forge-agnostic metamodel that captures the meta-information common...
Article
In nature the diversity of species and genes in ecological communities affects the functioning of these communities. Biologists have found out that more diverse communities appear to be more productive than less diverse communities. Moreover such communities appear to be more stable in the face of perturbations. In this paper, we draw the analogy b...
Article
There are numerous excellent textbooks that provide guidance on what and how to teach modelling, founded on sound principles (e.g., mathematics, domain analysis, object-orientation) and engineering practice. There is less guidance available on what and how not to teach modelling - i.e., what principles to avoid conveying either directly or indirect...
Conference Paper
Traceability is an important concern in projects that span different engineering domains. In such projects, traceability can be used across the engineering lifecycle and therefore is multi-domain, involving heterogeneous models. We introduce the concept and challenges of multi- domain traceability and explain how it can be used to support traceabil...
Conference Paper
As Model-Driven Engineering (MDE) is increasingly applied to larger and more complex systems, the current generation of modelling and model management technologies are being pushed to their limits in terms of capacity and efficiency. Additional research and development is imperative in order to enable MDE to remain relevant with industrial practice...
Conference Paper
As Model Driven Engineering (MDE) is increasingly applied to larger and more complex systems, the current generation of modelling and model management technologies are being pushed to their limits in terms of capacity and efficiency. As such, additional research and development is imperative in order to enable MDE to remain relevant with industrial...
Article
Full-text available
Formal verification and validation activities from the early development phases can foster system consistency, correctness, and integrity, but they are often hard to carry out as most designers do not have the necessary background. To address this difficulty, a possible approach is to allow engineers to continue using familiar notations and tools,...
Conference Paper
Model-Driven Engineering promotes the use of tailor-made modelling languages for software and systems engineering problems, with metamodels that encapsulate domain knowledge. Despite the importance of metamodelling in MDE, there is little empirical analysis of metamod- els. What are the common characteristics of metamodels? Do modellers follow best...
Conference Paper
Effective and efficient support for engineering model transformations is of paramount importance for automating Model-Driven Engineering (MDE) in practice. Such support should include techniques and tools for testing the correctness of model transformations. In this paper, we present a novel approach for identifying incorrect parts of model transfo...
Conference Paper
We advocate the use of multimodel-driven software engineering for the principled evolution of enterprise systems whose stakeholder concerns are captured using multiple interdependent models. Enterprise systems that evolve are increasingly common in healthcare, transportation, e-government and defense. These important systems must be regularly exten...
Conference Paper
In this paper we demonstrate how diagrams constructed using general-purpose drawing tools in the context of agile language development processes can be annotated and consumed by model management programs (such as simulators, model-to-model and model-to-text transformations). The aim of this work is to enable engineers to engage in programmatic mode...
Conference Paper
The majority of contemporary model management languages that support MDE tasks (such as model transformation, validation and code generation) require models to be captured using metamodelling architectures such as Ecore and MOF. In practice, a limited subset of modelling tools – with the exception of some UML tools – build atop such architectures....
Conference Paper
The benefits of Model Driven Development may be achieved through exploitation of its potential for automation. Automated model verification is one of the most important examples of this. The usage of automated model verification in everyday software engineering practice is far from widespread. One of the reasons for this is that model designers do...
Conference Paper
The paper presents the EU funded MADES FP7 project, that aims to develop an effective model driven methodology to evolve current practices for the development of real time embedded systems for avionics and surveillance industries. In MADES, we propose an effective SysML/MARTE language subset and have developed new tools and technologies that suppor...
Conference Paper
Model-to-text (M2T) transformation is an important model management operation, as it is used to implement code and documentation generation; model serialisation (enabling model interchange); and model visualisation and exploration. Despite the creation of the MOF Model-To-Text Transformation Language (MOFM2T) in 2008, many very different M2T langua...

Citations

... This becomes increasingly challenging as shifting behavioral patterns can drastically change the accuracy of a model [6]. Detecting such dataset shifts, requires the deployment of dedicated monitoring mechanisms, while detection is not instantaneous [7], [8]. Secondly, modern IBN systems exert control across several technological and administrative domains in order to deliver high-level management intents. ...
... Although we do not attempt to trace the underlying cause of violations, visual inspection via the the user interface provided by the simulator provides a mechanism for error tracing and performance analysis. This paper extends significantly our previous work presented in [17] in the following ways: (1) the ATLAS framework is extended to fully support the ROS robotic platform and the Gazebo simulator, including considerable adaptation to the ATLAS DSL to facilitate the definition of MRS missions both for the MOOS-IvP and ROS/Gazebo robotic simulators; (2) new ATLAS components have been implemented enabling the automatic search and selection of robotic system configurations based on mission goals and model similarity leveraging robust model hashing [18]; (3) we adapt a ROS-based case study (developed by the project team as part of a related research project) that involves a team of mobile robots servicing patients within a healthcare facility and extended it with ATLAS -specific constructs and two complementary CI algorithms; (4) we evaluate the ATLAS framework on this new case study using three inter- (5) we perform a more thorough analysis of related work. The paper is structured as follows. ...
... Other studies consider the relation between tests and specific types of patches. For instance, Dziurzanski et al. (2020) reported that the quantity of tests can be reduced without any negative impact on the generation of 1-edit degree patches, since test suites usually include several positive tests unrelated to the points that have to be changed to fix the bug. ...
... Therefore, a larger-scale empirical study of the challenges developers face to adopt and use the LCSD platforms was warranted. Such insights can complement our previous empirical study (Alamin et al. 2021) as well as the existing LCSD literature -which so far has mainly used surveys or controlled studies to understand the needs of low-code practitioners (Fryling 2019; Kourouklidis et al. 2020;Alonso et al. 2020;Khorram et al. 2020). ...
... Despite recent advances in the specification and analysis of MRS [6,7], existing approaches either focus on providing specialised robotic functionality (e.g., perception, control) [8][9][10] or software for specific robotic platforms (e.g., ROS [11] or MOOS-IvP [12]). This limits their applicability to MRS missions characterised by simplistic CI behaviour resulting in reduced MRS resilience or bespoke algorithms that intertwine the CI logic with low-level platform-specific code resulting in significantly higher than expected maintenance cost [13]. These important limitations of existing approaches increase significantly the effort to explore the tradeoff between candidate MRS designs [14] and adaptation strategies of different CI algorithms [15]. ...
... Other tools offering an infrastructure framework include Crossflow 4 [7], SmartSHARK 5 [15], and World of Code [9,10]. CrossFlow is a domain specific language and framework that offers scalability for MSR tasks; SmartSHARK aggregates data from different sources in a harmonized schema. ...
... Early versions of Flexmi's fuzzy parsing algorithm and its mechanism for defining reusable templates were introduced in two (workshop) papers, [10,11] respectively. This paper consolidates and updates those works, including the following novel contributions: ...
... The best approach with great results was the machine learning-Inferred Classifier method that gave a precision score of 88%. Despotou et al. [7] uses NLP techniques to interpret UK NICE BNF drug recommendations that are provided as free text. The NLP component, MetaMap, identifies and interprets the semantic meaning of concepts in medical texts. ...
... The use of NLP to extract information from clinical text as FHIR resources is a growing field of study [27][28][29], driven in part by the increasing prominence of FHIR in the healthcare information landscape [30]. The NLP2FHIR project, based on several Unstructured Information Management Architecture (UIMA) [31] tools, extracts a broad range of FHIR resources from unstructured clinical notes [32]. ...
... From this comparison we can make evolution of metamodel, model (dynamic and static), up to a less partial digital twin. It is important to understand that we can infer refinement (Zolotas et al., 2019;Sottet and Biri, 2016) of the originally designed metamodel from collected information in the physical twin: notably new attributes identification. ...