Click on a search word OR use the drop-down choices to search for a paper.
2020
Paige, Richard F.; Vallecillo, Antonio
Preface to the JOT special issue containing the ECMFA 202 selected papers Journal Article
In: The JOT Journal, vol. 19, iss. 2, 2020.
@article{nokey,
title = {Preface to the JOT special issue containing the ECMFA 202 selected papers},
author = {Richard F. Paige and Antonio Vallecillo},
url = {https://www.jot.fm/issues/issue_2020_02/editorial1.pdf},
year = {2020},
date = {2020-12-07},
urldate = {2020-12-07},
journal = {The JOT Journal},
volume = {19},
issue = {2},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
Mackenzie, Bennett; Pantelic, Vera; Marks, Gordon; Wynn-Williams, Stephen; Selim, Gehan; Lawford, Mark; Wassyng, Alan; Diab, Moustapha; Weslati., Feisel
Change Impact Analysis in Simulink Designs of Embedded Systems Proceedings Article
In: 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2020) Athens, Greece , pp. 1274-1284, 2020.
@inproceedings{nokey,
title = {Change Impact Analysis in Simulink Designs of Embedded Systems},
author = {Bennett Mackenzie and Vera Pantelic and Gordon Marks and Stephen Wynn-Williams and Gehan Selim and Mark Lawford and Alan Wassyng and Moustapha Diab and Feisel Weslati.},
url = {https://dl.acm.org/doi/abs/10.1145/3368089.3417060},
year = {2020},
date = {2020-11-01},
urldate = {2020-11-01},
booktitle = {28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2020) Athens, Greece },
pages = {1274-1284},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
Systematic Evaluation of (Safety) Assurance Cases Conference
SAFECOMP Part of the Lecture Notes in Computer Science book series (LNPSE,volume 12234), vol. 12234, 2020.
@conference{nokey,
title = {Systematic Evaluation of (Safety) Assurance Cases},
url = {https://link.springer.com/chapter/10.1007/978-3-030-54549-9_2},
year = {2020},
date = {2020-07-31},
urldate = {2020-07-31},
booktitle = {SAFECOMP
Part of the Lecture Notes in Computer Science book series (LNPSE,volume 12234)},
volume = {12234},
pages = {18-33},
keywords = {},
pubstate = {published},
tppubtype = {conference}
}
Rutle, Adrian; Iovino, Ludovico; König, Harald; Diskin, Zinovy
A query-retyping approach to model transformation co-evolution Journal Article
In: Software and Systems Modeling, vol. 29, 2020.
Abstract | Links | BibTeX | Tags: Co-evolution, Graph transformations, MDE, Migration
@article{Rutle2020,
title = {A query-retyping approach to model transformation co-evolution},
author = {Adrian Rutle and Ludovico Iovino and Harald König and Zinovy Diskin },
doi = {https://doi.org/10.1007/s10270-020-00805-6},
year = {2020},
date = {2020-06-09},
journal = {Software and Systems Modeling},
volume = {29},
abstract = {In rule-based approaches, a model transformation definition tells how an instance of a source metamodel should be transformed to an instance of a target metamodel. As these metamodels undergo changes, model transformations defined over these metamodels may get out of sync. Restoring conformance between model transformations and the metamodels is a complex and error-prone task. In this paper, we propose a formal approach to automatically co-evolve model transformations according to the evolution of the metamodels. The approach is based on encoding the model transformation definition as a query-retyping combination and the evolution of the metamodels as applications of graph transformation rules. These rules are used to obtain an evolved query over the evolved metamodel together with a new retyping from the target metamodel. We will identify the criteria which need to be fulfilled in order to make this automatic co-evolution possible. We provide a tool support for this procedure, in which, from a traceability model that represents the original model transformation definition, we derive a co-evolved traceability model that represents the evolved transformation definition. Moreover, we use a case study to evaluate the approach with a set of commonly performed metamodel evolutions.},
keywords = {Co-evolution, Graph transformations, MDE, Migration},
pubstate = {published},
tppubtype = {article}
}
Diskin, Zinovy; Stunkel, Patrick
Sketches, queries, views, and their Kleisli composition: towards universal algebra of diagrammatic operations with pre- and post-conditions Technical Report
2020.
Links | BibTeX | Tags: diagrammatic operations, diagrammatic reasoning, Kleisli composition, presheaves, sketches, software modeling
@techreport{Diskin2020,
title = {Sketches, queries, views, and their Kleisli composition: towards universal algebra of diagrammatic operations with pre- and post-conditions},
author = {Diskin, Zinovy and Stunkel, Patrick},
url = {https://www.mcscert.ca/wp-content/uploads/2020/05/McSCert-Technical-Report-33.pdf},
year = {2020},
date = {2020-05-11},
keywords = {diagrammatic operations, diagrammatic reasoning, Kleisli composition, presheaves, sketches, software modeling},
pubstate = {published},
tppubtype = {techreport}
}
Polyglot and Distributed Software Repository Mining with Crossflow Conference
Mining Software Repositories, 2020.
BibTeX | Tags:
@conference{nokey,
title = {Polyglot and Distributed Software Repository Mining with Crossflow},
year = {2020},
date = {2020-05-01},
urldate = {2020-05-01},
booktitle = {Mining Software Repositories},
keywords = {},
pubstate = {published},
tppubtype = {conference}
}
Anjorin, Anthony; Buchmann, Thomas; Westfechtel, Bernhard; Diskin, Zinovy; Ko, Hsiang-Shang; Eramo, Romina; Hinkel, Georg; Samimi-Dehkordi, Leila; Zündorf, Albert
Benchmarking bidirectional transformations: theory, implementation, application, and assessment Journal Article
In: Software and Systems Modeling , vol. 19, no. 3, pp. 647-691, 2020.
Abstract | Links | BibTeX | Tags: Benchmark, Bidirectional transformation, Framework, Model synchronization
@article{Anjorin2020,
title = {Benchmarking bidirectional transformations: theory, implementation, application, and assessment},
author = {Anthony Anjorin and Thomas Buchmann and Bernhard Westfechtel and Zinovy Diskin and Hsiang-Shang Ko and Romina Eramo and Georg Hinkel and Leila Samimi-Dehkordi and Albert Zündorf},
url = {https://link.springer.com/article/10.1007/s10270-019-00752-x},
doi = {https://doi.org/10.1007/s10270-019-00752-x},
year = {2020},
date = {2020-04-28},
journal = {Software and Systems Modeling },
volume = {19},
number = {3},
pages = {647-691},
abstract = {Bidirectional transformations (bx) are relevant for a wide range of application domains. While bx problems may be solved with unidirectional languages and tools, maintaining separate implementations of forward and backward synchronizers with mutually consistent behavior can be difficult, laborious, and error-prone. To address the challenges involved in handling bx problems, dedicated languages and tools for bx have been developed. Due to their heterogeneity, however, the numerous and diverse approaches to bx are difficult to compare, with the consequence that fundamental differences and similarities are not yet well understood. This motivates the need for suitable benchmarks that facilitate the comparison of bx approaches. This paper provides a comprehensive treatment of benchmarking bx, covering theory, implementation, application, and assessment. At the level of theory, we introduce a conceptual framework that defines and classifies architectures of bx tools. At the level of implementation, we describe Benchmarx, an infrastructure for benchmarking bx tools which is based on the conceptual framework. At the level of application, we report on a wide variety of solutions to the well-known Families-to-Persons benchmark, which were developed and compared with the help of Benchmarx. At the level of assessment, we reflect on the usefulness of the Benchmarx approach to benchmarking bx, based on the experiences gained from the Families-to-Persons benchmark.},
keywords = {Benchmark, Bidirectional transformation, Framework, Model synchronization},
pubstate = {published},
tppubtype = {article}
}
Jaskolka, Monika; Pantelic, Vera; Wassyng, Alan; Lawford, Mark
A Comparison of Componentization Constructs for Supporting Modularity in Simulink Conference
2020.
Links | BibTeX | Tags: automotive, information hiding, model-based development, modularity, Simulink
@conference{Jaskolka2020,
title = {A Comparison of Componentization Constructs for Supporting Modularity in Simulink},
author = {Jaskolka, Monika and Pantelic, Vera and Wassyng, Alan and Lawford, Mark},
url = { https://www.sae.org/publications/technical-papers/content/2020-01-1290/},
doi = {https://doi.org/10.4271/2020-01-1290},
year = {2020},
date = {2020-04-14},
keywords = {automotive, information hiding, model-based development, modularity, Simulink},
pubstate = {published},
tppubtype = {conference}
}
Annable, Nicholas
A Model-Based Approach to Formal Assurance Cases Masters Thesis
McMaster University, 2020.
Abstract | Links | BibTeX | Tags: safety assurance, software engineering
@mastersthesis{Annable2020,
title = {A Model-Based Approach to Formal Assurance Cases},
author = {Annable, Nicholas},
url = {http://hdl.handle.net/11375/25343},
year = {2020},
date = {2020-03-20},
school = {McMaster University},
abstract = {The rapidly increasing complexity of safety-critical embedded systems has been the cause of difficulty in assuring the safety of safety-critical embedded systems and managing their documentation. More specifically, current approaches to safety assurance are struggling to keep up with the complex relationships be- tween the ever growing number of components and the sheer amount of code underlying safety-critical embedded systems such as road vehicles. We believe that an approach to safety assurance able to cope with this complexity must: i) have sound mathematical foundations on which safety assurance can be built; and ii) provide a formal framework with precisely defined semantics in which the assurance can be represented. In doing this, assurance can be made less ad-hoc, more precise and more repeatable. Sound mathematical foundations also facilitate the creation of tools that automate many aspects of assurance, which will be invaluable in coping with the complexity of modern-day and future embedded systems. The model-based framework that achieves this is + Workflow . This framework is rigorous, developed on proven notations from model-based methodologies, comprehensively integrates assurance within the development activities, and provides the basis for more formal assurance cases.},
keywords = {safety assurance, software engineering},
pubstate = {published},
tppubtype = {mastersthesis}
}
Smith, W. Spencer; Nejad, Mojdeh Sayari; Wassyng, Alan
Raising the Bar: Assurance Cases for Scientific Computing Software Journal Article
In: Computing in Science and Engineering, vol. 23, no. 1, pp. 47-57, 2020.
Abstract | Links | BibTeX | Tags:
@article{nokey,
title = {Raising the Bar: Assurance Cases for Scientific Computing Software},
author = {W. Spencer Smith and Mojdeh Sayari Nejad and Alan Wassyng},
url = {https://ieeexplore.ieee.org/document/9178774%7D},
year = {2020},
date = {2020-01-02},
urldate = {2020-01-02},
journal = {Computing in Science and Engineering},
volume = {23},
number = {1},
pages = {47-57},
abstract = {Assurance cases provide an organized and explicit argument for correctness. They can dramatically improve the quality of scientific software. Assurance cases are already effectively used for real-time safety critical systems. Their advantages for scientific software include engaging domain experts, producing only necessary documentation, and providing evidence that can be verified/replicated. This paper illustrates assurance cases through the correctness case for 3dfim+, software for analyzing activity in the brain. The example justifies the value of assurance cases for scientific software, since the existing documentation is shown to have ambiguities and omissions, such as an incompletely defined ranking function and missing details on the coordinate system. We identified a serious concern for 3dfim+: running the software does not produce any warning about the necessity of using data that matches the parametric statistical model employed for the correlation calculations. Raising the bar for scientific software is both feasible and necessary.https://ieeexplore.ieee.org/document/9178774},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
Meyer, Guy
Development of a Search Engine Tool for Visually Impaired Web Users Masters Thesis
2020.
Abstract | Links | BibTeX | Tags: blind, Graphical User Interfaces (GUIs), low vision users
@mastersthesis{Meyer2020,
title = {Development of a Search Engine Tool for Visually Impaired Web Users},
author = {Meyer, Guy
},
url = {https://www.mcscert.ca/meyer_guy_201912_masc/},
year = {2020},
date = {2020-01-02},
abstract = {The internet has become useful in just about anything we do. Unfortunately, as vision degrades so does our ability to perceive the web. The design of Graphical User Interfaces (GUIs) has become overwhelmingly common and is meant to be coupled with a screen and mouse. The interface introduced in this thesis was developed to avoid graphically driven design and create a novel Search Engine interface intended for blind and low vision users. This is achieved by minimizing the total concern of the user (the userspace) to a handful of options and a predetermined structure to the Search Engine Results Page (SERP). This thesis describes the entire development process starting from the literature review and including implementation, evaluation, and future work.},
keywords = {blind, Graphical User Interfaces (GUIs), low vision users},
pubstate = {published},
tppubtype = {mastersthesis}
}
Zolotas, Athanasios; Rodriguez, Horacio Hoyos; Hutchesson, Stuart; Pina, Beatriz Sanchez; Grigg, Alan; Li, Mole; Kolovos, Dimitrios S; Paige, Richard F
Bridging proprietary modelling and open-source model management tools: the case of PTC integrity modeller and epsilon Journal Article
In: Software and Systems Modeling, vol. 19, no. 1, pp. 17–38, 2020.
Abstract | Links | BibTeX | Tags: model management, Model-driven engineering, Open-source
@article{zolotas2020bridgingb,
title = {Bridging proprietary modelling and open-source model management tools: the case of PTC integrity modeller and epsilon},
author = {Athanasios Zolotas and Horacio Hoyos Rodriguez and Stuart Hutchesson and Beatriz Sanchez Pina and Alan Grigg and Mole Li and Dimitrios S Kolovos and Richard F Paige},
url = {https://rdcu.be/b47YV},
doi = {https://doi.org/10.1007/s10270-019-00732-1},
year = {2020},
date = {2020-01-01},
journal = {Software and Systems Modeling},
volume = {19},
number = {1},
pages = {17--38},
publisher = {Springer Berlin Heidelberg},
abstract = {While the majority of research on Model-Based Software Engineering revolves around open-source modelling frameworks such as the Eclipse Modelling Framework, the use of commercial and closed-source modelling tools such as RSA, Rhapsody, MagicDraw and Enterprise Architect appears to be the norm in industry at present. This technical gap can prohibit industrial users from reaping the benefits of state-of-the-art research-based tools in their practice. In this paper, we discuss an attempt to bridge a proprietary UML modelling tool (PTC Integrity Modeller), which is used for model-based development of safety-critical systems at Rolls-Royce, with an open-source family of languages for automated model management (Epsilon). We present the architecture of our solution, the challenges we encountered in developing it, and a performance comparison against the tool’s built-in scripting interface. In addition, we use the bridge in a real-world industrial case study that involves the coordination with other bridges between proprietary tools and Epsilon.},
keywords = {model management, Model-driven engineering, Open-source},
pubstate = {published},
tppubtype = {article}
}
Bucchiarone, Antonio; Cabot, Jordi; Paige, Richard F; Pierantonio, Alfonso
Grand challenges in model-driven engineering: an analysis of the state of the research Journal Article
In: Software and Systems Modeling, vol. 19, no. 1, pp. 5–13, 2020.
Abstract | Links | BibTeX | Tags:
@article{bucchiarone2020grandb,
title = {Grand challenges in model-driven engineering: an analysis of the state of the research},
author = {Antonio Bucchiarone and Jordi Cabot and Richard F Paige and Alfonso Pierantonio},
url = {https://rdcu.be/b47YM},
doi = {https://doi.org/10.1007/s10270-019-00773-6},
year = {2020},
date = {2020-01-01},
journal = {Software and Systems Modeling},
volume = {19},
number = {1},
pages = {5--13},
publisher = {Springer Berlin Heidelberg},
abstract = {In 2017 and 2018, two events were held—in Marburg, Germany, and San Vigilio di Marebbe, Italy, respectively—focusing on an analysis of the state of research, state of practice, and state of the art in model-driven engineering (MDE). The events brought together experts from industry, academia, and the open-source community to assess what has changed in research in MDE over the last 10 years, what challenges remain, and what new challenges have arisen. This article reports on the results of those meetings, and presents a set of grand challenges that emerged from discussions and synthesis. These challenges could lead to research initiatives for the community going forward.},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
Kienzle, Jörg; Mussbacher, Gunter; Combemale, Benoit; Bastin, Lucy; Bencomo, Nelly; Bruel, Jean-Michel; Becker, Christoph; Betz, Stefanie; Chitchyan, Ruzanna; Cheng, Betty HC; Klingert, Sonja; Paige, Richard F; Penzenstadler, Birgit; Seyff, Norbert; Syriani, Eugene; Venters, Colin C
Toward model-driven sustainability evaluation Journal Article
In: Communications of the ACM, vol. 63, no. 3, pp. 80–91, 2020.
@article{kienzle2020toward,
title = {Toward model-driven sustainability evaluation},
author = {Jörg Kienzle and Gunter Mussbacher and Benoit Combemale and Lucy Bastin and Nelly Bencomo and Jean-Michel Bruel and Christoph Becker and Stefanie Betz and Ruzanna Chitchyan and Betty HC Cheng and Sonja Klingert and Richard F Paige and Birgit Penzenstadler and Norbert Seyff and Eugene Syriani and Colin C Venters
},
url = {https://www.mcscert.ca/toward-model-driven-sustainability-paige-2020/},
year = {2020},
date = {2020-01-01},
journal = {Communications of the ACM},
volume = {63},
number = {3},
pages = {80--91},
publisher = {ACM New York, NY, USA},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
Wąsowski, Andrzej; Paige, Richard F; Haugen, Øystein
Guest editorial to the special section on MODELS 2018 Journal Article
In: Software and Systems Modeling, pp. 1–2, 2020.
@article{wkasowski2020guest,
title = {Guest editorial to the special section on MODELS 2018},
author = {Andrzej Wąsowski and Richard F Paige and Øystein Haugen},
url = {https://rdcu.be/b47Yr},
doi = {https://doi.org/10.1007/s10270-020-00800-x},
year = {2020},
date = {2020-01-01},
journal = {Software and Systems Modeling},
pages = {1--2},
publisher = {Springer},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
Diskin, Zinovy
General Supervised Learning as Change Propagation with Delta Lenses Proceedings Article
In: -, Jean Goubault; ö, Barbara K (Ed.): Foundations of Software Science and Computation Structures - 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, pp. 177–197, Springer, 2020.
@inproceedings{DBLP:conf/fossacs/Diskin20,
title = {General Supervised Learning as Change Propagation with Delta Lenses},
author = {Zinovy Diskin},
editor = {Jean Goubault - and Barbara K ö},
url = {https://doi.org/10.1007/978-3-030-45231-5_10},
doi = {10.1007/978-3-030-45231-5_10},
year = {2020},
date = {2020-01-01},
booktitle = {Foundations of Software Science and Computation Structures - 23rd
International Conference, FOSSACS 2020, Held as Part of the European
Joint Conferences on Theory and Practice of Software, ETAPS 2020,
Dublin, Ireland, April 25-30, 2020, Proceedings},
volume = {12077},
pages = {177--197},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
2019
Chowdhury, Thomas; Wassyng, Alan; Paige, Richard F; Lawford, Mark
Criteria to Systematically Evaluate (Safety) Assurance Cases Conference
IEEE 30th International Symposium on Software Reliability Engineering (ISSRE), 2019.
@conference{nokey,
title = {Criteria to Systematically Evaluate (Safety) Assurance Cases},
author = {Thomas Chowdhury and Alan Wassyng and Richard F Paige and Mark Lawford},
url = {https://ieeexplore.ieee.org/abstract/document/8987576},
year = {2019},
date = {2019-12-13},
urldate = {2019-12-13},
booktitle = {IEEE 30th International Symposium on Software Reliability Engineering (ISSRE)},
keywords = {},
pubstate = {published},
tppubtype = {conference}
}
Deevy, Spencer
Sentinel: A Software Architecture for Safe Artificial Intelligence in Autonomous Vehicles Masters Thesis
McMaster University, 2019.
Abstract | Links | BibTeX | Tags: artificial intelligence, autonomous vehicles, organic computing, SAE J3016
@mastersthesis{Deevy2019,
title = {Sentinel: A Software Architecture for Safe Artificial Intelligence in Autonomous Vehicles},
author = {Deevy, Spencer},
url = {https://www.mcscert.ca/deevy_spencer_r_201912_masc/},
year = {2019},
date = {2019-12-12},
school = {McMaster University},
abstract = {Trends in the automotive industry indicate rapid adoption of artificial intelligence techniques such as machine learning algorithms, enabling increasingly capable autonomous vehicles. However, the major focus has been to improve the performance and accuracy of these techniques, with a clear lack of development towards corresponding safety systems. Artificial intelligence techniques are characterized by high complexity, high variability, and low diagnosability. These issues all pose risks to the safety of autonomous vehicles and need to be taken into consideration as we move towards fully autonomous vehicles. Sentinel, a fault-tolerant software architecture is presented as the main contribution of this thesis. Sentinel has been designed to mitigate safety concerns surrounding artificial intelligence techniques employed by upcoming SAE J3016 level 5 autonomous vehicles. The architecture design process involved careful consideration of issues inherent to artificial intelligence techniques being utilized in autonomous vehicles and their corresponding mitigation strategies. Following this, a survey of software architectures was conducted, drawing inspiration from existing autonomous vehicle architectures as well as architectures in the related domains of artificial intelligence, organic computing, and robotics. These existing architectures were then iteratively combined, guided by an autonomous vehicle hazard analysis, resulting in the final architecture. Additionally, an assurance case was constructed to delineate the assumptions and evidence required to justify the continued safety of autonomous vehicles employing the Sentinel architecture. This work is presented to provide a safety-oriented framework towards fully autonomous vehicles.},
keywords = {artificial intelligence, autonomous vehicles, organic computing, SAE J3016},
pubstate = {published},
tppubtype = {mastersthesis}
}
Diskin, Zinovy
Supervised learning, change propagation and delta lenses Technical Report
2019.
Links | BibTeX | Tags: change propagation, delta lenses, Supervised learning
@techreport{Diskin2019e,
title = {Supervised learning, change propagation and delta lenses},
author = {Zinovy Diskin},
url = {https://www.mcscert.ca/wp-content/uploads/2019/11/McSCert-Technical-Report-31.pdf},
year = {2019},
date = {2019-11-12},
keywords = {change propagation, delta lenses, Supervised learning},
pubstate = {published},
tppubtype = {techreport}
}
Diskin, Zinovy; Annable, Nicholas; Wassyng, Alan; Lawford, Mark
Assurance via Workflow+ Modelling and Conformance (an extended version) Technical Report
2019.
Links | BibTeX | Tags: assurance, conformance, Workflow+
@techreport{Diskin2019d,
title = {Assurance via Workflow+ Modelling and Conformance (an extended version)},
author = {Zinovy Diskin and Nicholas Annable and Alan Wassyng and Mark Lawford},
url = {https://www.mcscert.ca/wp-content/uploads/2019/11/McSCert-Technical-Report-32.pdf},
year = {2019},
date = {2019-10-31},
keywords = {assurance, conformance, Workflow+},
pubstate = {published},
tppubtype = {techreport}
}
Diskin, Zinovy; Annable, Nicholas; Wassyng, Alan; Lawford, Mark
Assurance via Workflow+ Modelling and Conformance Technical Report
2019.
Links | BibTeX | Tags: assurance, conformance, Workflow+
@techreport{Diskin2019c,
title = {Assurance via Workflow+ Modelling and Conformance},
author = {Zinovy Diskin and Nicholas Annable and Alan Wassyng and Mark Lawford},
url = {https://www.mcscert.ca/wp-content/uploads/2019/10/McSCert-Technical-Report-29.pdf},
year = {2019},
date = {2019-10-31},
keywords = {assurance, conformance, Workflow+},
pubstate = {published},
tppubtype = {techreport}
}
Bayzat, Alison
GSN Models of Safety Assurance for the Automotive Industry Masters Thesis
McMaster University, 2019.
Abstract | Links | BibTeX | Tags: Goal Structuring Notation, GSN template, system safety process
@mastersthesis{Bayzat2019,
title = {GSN Models of Safety Assurance for the Automotive Industry},
author = {Bayzat, Alison},
url = {https://www.mcscert.ca/bayzat_alison_mt_2019august_masc/},
year = {2019},
date = {2019-10-03},
school = {McMaster University},
abstract = {The technological landscape of the automotive industry is constantly evolving, reinforcing the need for all systems to be safe and reliable for consumers. Assurance case templates can be used by automakers within their system safety process as a clear and consistent method to demonstrate the safety assurance of system level designs. To represent the assurance case templates, within this work we will be utilizing Goal Structuring Notation (GSN), an argumentation notation that enables the creation of conceptual assurance case models. This work will outline and adhere to a standardized process for modelling an explicit representation of the safety case of an assurance argument as a GSN template using the implicit assurance argument within safety process documentation. Future work will be explored regarding the application of the utilized methods to other work products within the system safety process, as well as emerging methods that can be used to represent assurance case templates.},
keywords = {Goal Structuring Notation, GSN template, system safety process},
pubstate = {published},
tppubtype = {mastersthesis}
}
Mackenzie, Bennett
Change Impact Analysis in Simulink Designs of Embedded Systems Masters Thesis
McMaster University, 2019.
Abstract | Links | BibTeX | Tags: automotive controller, boundary diagram tool, embedded systems, impact analysis, reach/coreach tool
@mastersthesis{Mackenzie2019,
title = {Change Impact Analysis in Simulink Designs of Embedded Systems},
author = {Bennett Mackenzie
},
url = {https://www.mcscert.ca/mackenzie_bennett_r_201909_masc/},
year = {2019},
date = {2019-09-30},
school = {McMaster University},
abstract = {This thesis presents the emph{Boundary Diagram Tool}, a tool for change impact analysis of large Simulink designs of embedded systems. The Boundary Diagram Tool extends the Reach/Coreach Tool, an existing tool for model slicing within a single Simulink model, to trace the impact of model changes through multiple Simulink models and to network interfaces of an automotive controller. While the change impact analysis results can be viewed directly within the Simulink models, the tool also uses various block diagrams to represent the impact analysis results with different levels of abstraction, motivated by industrial needs. In order to effectively present the complex impact analysis results, various techniques for visual representation of large graphs are employed. Furthermore, the Reach/Coreach Tool as an underlying model slicing engine was significantly improved. The Boundary Diagram Tool is currently being integrated into the software development process of a large automotive OEM (Original Equipment Manufacturer). It provides support during several phases of the change management process: change request analysis and evaluation, as well as the implementation, verification and integration of software changes. The tool also aids impact analyses required for compliance with functional safety standards such as ISO 26262.},
keywords = {automotive controller, boundary diagram tool, embedded systems, impact analysis, reach/coreach tool},
pubstate = {published},
tppubtype = {mastersthesis}
}
Diskin, Zinovy; Konig, Harald; Lawford, Mark
Non-concurrent Multiple Model Synchronization with Multiary Delta Lenses with Amendment and K-Putput Technical Report
2019.
Links | BibTeX | Tags: K-Putput, multiary delta lenses, multiple model synchronization
@techreport{Diskin2019,
title = {Non-concurrent Multiple Model Synchronization with Multiary Delta Lenses with Amendment and K-Putput},
author = {Diskin, Zinovy and Harald Konig and Lawford, Mark },
url = {https://www.mcscert.ca/wp-content/uploads/2019/05/McSCert-Technical-Report-30.pdf},
year = {2019},
date = {2019-05-30},
keywords = {K-Putput, multiary delta lenses, multiple model synchronization},
pubstate = {published},
tppubtype = {techreport}
}
Kokaly, Sahar
Managing Assurance Cases in Model Based Software Systems PhD Thesis
McMaster University, 2019.
Abstract | Links | BibTeX | Tags: Automotive Safety, Model Based Systems, Model Driven Engineering, safety assurance, software
@phdthesis{Kokaly2019,
title = {Managing Assurance Cases in Model Based Software Systems},
author = {Kokaly, Sahar},
url = {https://www.mcscert.ca/kokaly_sahar_201904_phd/},
year = {2019},
date = {2019-04-30},
school = {McMaster University},
abstract = {Software has emerged as a significant part of many domains, including financial service platforms, social networks, medical devices and vehicle control. In critical domains, standards organizations have responded to this by creating regulations to address issues such as safety, security and privacy. In this context, compliance of software with standards has emerged as a key issue. For companies, compliance is a complex and costly goal to achieve and is often accomplished by producing so-called assurance cases, which demonstrate that the system indeed satisfies the property imposed by a standard (e.g., safety, security, privacy) by linking evidence to support claims made about the system. However, as systems undergo evolution for a variety of reasons, including fixing bugs, adding functionality or improving system quality, maintaining assurance cases multiplies the effort. Increasingly, models and model-driven engineering are being used as a means to facilitate communication and collaboration between the stakeholders in the compliance value chain and, further, to introduce automation into regulatory compliance tasks. A complexity problem also exists with the proliferation of software models in model-based software development, and the field of Model Management has emerged to address this challenge. Model Management focuses on a high-level view in which entire models and their relationships (i.e., mappings between models) can be manipulated using specialized operators to achieve useful outcomes. In this thesis, we exploit this connection between model driven engineering and regulatory compliance, and explore how to use Model Management techniques to address software compliance management issues, focusing on assurance case change impact assessment, evolution and reuse. We support the presented approach with tooling and a case study. Although the main contributions of this thesis are not domain specific, for validation, we ground our approaches in the automotive domain and the ISO 26262 standard for functional safety of road vehicles.},
keywords = {Automotive Safety, Model Based Systems, Model Driven Engineering, safety assurance, software},
pubstate = {published},
tppubtype = {phdthesis}
}
Shah, Syed Asim
Safe-AV: A Fault Tolerant Safety Architecture for Autonomous Vehicles Masters Thesis
McMaster University, 2019.
Abstract | Links | BibTeX | Tags: Autonomous Vehicle Hazard Analysis, Autonomous Vehicle Safety Architecture, Functional Safety of Autonomous Vehicles, Safe-AV, STPA, Systems-Theoretic Process Analysis
@mastersthesis{Shah2019,
title = {Safe-AV: A Fault Tolerant Safety Architecture for Autonomous Vehicles},
author = {Shah, Syed Asim},
url = {https://www.mcscert.ca/shah_syed_a_201903_masc/},
year = {2019},
date = {2019-04-02},
school = {McMaster University},
abstract = {Autonomous Vehicles (AVs) should result in tremendous benefits to safe human transportation. Recent reports indicate a global average of 3,287 road crash related fatalities a day with the blame, in most cases, assigned to the human driver. By replacing the main cause, AVs are predicted to significantly reduce road accidents -- some claiming up to a 90% reduction on US roads. However, achieving these numbers is not simple. AVs are expected to assume tasks that human drivers perform both consciously and unconsciously -- in some instances, with Machine Learning. AVs incur new levels of complexity that, if handled incorrectly, can result in failures that cause loss of human life and damage to the environment. Accidents involving SAE Level 2 vehicles have highlighted such failures and demonstrated that AVs have a long way to go. The path towards safe AVs includes system architectures that provide effective failure monitoring, detection and mitigation. These architectures must produce AVs that degrade gracefully and remain sufficiently operational in the presence of failures. We introduce Safe-AV, a fault tolerant safety architecture for AVs that is based on the commonly adopted E-Gas 3 Level Monitoring Concept, the Simplex Architecture and guided by a thorough hazard analysis in the form of Systems-Theoretic Process Analysis (STPA). We commenced the architecture design with a review of some modern AV accidents which helped identify the types of failures AVs can present and acted as a first step to our STPA. The hazard analysis was applied to an initial AV architecture (without safety mechanisms) consisting of components that should be present in a typical AV (based on the literature and our ideas). Our STPA identified the system level accidents, hazards and corresponding loss scenarios that led to well-founded safety requirements which, in turn, evolved the initial architecture into Safe-AV.},
keywords = {Autonomous Vehicle Hazard Analysis, Autonomous Vehicle Safety Architecture, Functional Safety of Autonomous Vehicles, Safe-AV, STPA, Systems-Theoretic Process Analysis},
pubstate = {published},
tppubtype = {mastersthesis}
}
Joannou, Paul
AN ENTERPRISE ENGINEERING APPROACH TO SAFETY MANAGEMENT PhD Thesis
McMaster University, 2019.
Abstract | Links | BibTeX | Tags: nuclear utility, socio-technical system
@phdthesis{Joannou2019,
title = {AN ENTERPRISE ENGINEERING APPROACH TO SAFETY MANAGEMENT},
author = {Joannou, Paul},
url = {https://www.mcscert.ca/joannou_paul_2018november_phd/},
year = {2019},
date = {2019-03-21},
school = {McMaster University},
abstract = {Significant accidents are often related to the performance of a complex socio-technical system (enterprise) involving technology, people, organizations, processes, management and legislation. Approaches to identify factors that lead to accidents and then take them into account during the design, operation, maintenance and evolution of the socio-technical system (enterprise) are not well defined and not consistently utilized in practice. The emerging discipline of "enterprise engineering" provides an opportunity to apply an engineering approach to the design, operation, maintenance and evolution of enterprises to improve the likelihood of the enterprise achieving and maintaining its safety goals. The integration of design principles and approaches from the fields of systems engineering, safety engineering, management science and enterprise architecture into a Safety Enterprise Engineering (SEE) approach based on a consistent model of the enterprise provides the basis of the approach described in this thesis. A general process model for applying an enterprise engineering approach to safety management is defined. Design principles from nuclear industry best practice documents are identified and mapped to the general process model. The Fukushima nuclear accident that occurred in 2011 was used to identify weaknesses in current practices in the nuclear industry. These weaknesses were compared with best practices, as defined by International Atomic Energy Agency (IAEA) documents, to identify the subset of weaknesses identified from the Fukushima accident that are also weaknesses within the IAEA set of best practices. The Safety Enterprise Engineering approach was applied to a slice of safety related functionality of a CANDU nuclear utility to demonstrate the degree to which the SEE approach overcomes weaknesses of both current practice and best practice within the nuclear industry.},
keywords = {nuclear utility, socio-technical system},
pubstate = {published},
tppubtype = {phdthesis}
}
Hossain, Md Nour
INTRODUCING ASPECTS INTO SOFTWARE ARCHITECTURES BY GRAPH TRANSFORMATION PhD Thesis
McMaster University, 2019.
Abstract | Links | BibTeX | Tags: ASPECT INTRODUCTION, DIAGRAM TRANSFORMATION, GRAPH TRANSFORMATION, SOFTWARE ARCHITECTURE
@phdthesis{Hossain2019,
title = {INTRODUCING ASPECTS INTO SOFTWARE ARCHITECTURES BY GRAPH TRANSFORMATION},
author = {Hossain, Md Nour},
url = {https://www.mcscert.ca/hossain_nour_md_201809_phd/},
year = {2019},
date = {2019-03-21},
school = {McMaster University},
abstract = {While aspect-oriented programming (AOP) addresses the introduction of “aspects” at the code level, we argue that addressing this at the level of software architecture is conceptually and methodologically more adequate, since many aspects, that is, “crosscutting concerns”, are formulated already in the requirements, and therefore can be dealt with in a more controlled manner in the “earlier” phase of software architecture design. We use the precise concept of software architectures organised as diagrams over a category of component specifications, where the architecture semantics are defined as a colimit specification (Fiadeiro and Maibaum, 1992). The diagram structure suggests aspect introduction via an appropriate variant of graph transformation. Singlepushout rewriting in categories of total homomorphisms has already been used previously for different kinds of “enrichment” transformations; we identify “zigzag-path homomorphisms” as producing a category where many practically useful aspect introductions turn out to be such single-pushout transformations, and present the relevant theorems concerning pushout existence and pushout construction. Practical aspect introduction (e.g., privacy) always breaks some properties (e.g., “message can be read in transit”); therefore, aspect introduction transformations cannot be designed to be semantics preserving. Our special categorical setting enables selective reasoning about property preservation in the transformed specifications, and property introduction from the introduced aspects. This method enables us to detect and resolve both conflicts and undesirable emergent behaviors that arise from aspect introduction or interaction. We have developed tool support to introduce and analyze aspects at the system architecture level through zigzag graph transformation. The implementation is based on Hets, an initiative of Mossakowski et al. (2007) and consists of two key parts: the language development and the zigzag transformation. The development of the MFLogic language is based on the specification language Casl (Astesiano et al., 2002) and uses the logic introduced by Fiadeiro and Maibaum (1992). Besides parsing, syntactic and static semantics correctness checking, the language inclusion in Hets opens the door for automatic property preservation analysis and conflict detection. The main contribution of the tool support in Hets is the automatic aspect introduction and the “result architecture” generation by applying our zigzag graph transformation.},
keywords = {ASPECT INTRODUCTION, DIAGRAM TRANSFORMATION, GRAPH TRANSFORMATION, SOFTWARE ARCHITECTURE},
pubstate = {published},
tppubtype = {phdthesis}
}
Madani, Sina; Kolovos, Dimitris S; Paige, Richard F
Towards Optimisation of Model Queries: A Parallel Execution Approach. Journal Article
In: J. Object Technol., vol. 18, no. 2, pp. 3–1, 2019.
BibTeX | Tags:
@article{madani2019towardsb,
title = {Towards Optimisation of Model Queries: A Parallel Execution Approach.},
author = {Sina Madani and Dimitris S Kolovos and Richard F Paige},
year = {2019},
date = {2019-01-01},
journal = {J. Object Technol.},
volume = {18},
number = {2},
pages = {3--1},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
Zolotas, Athanasios; Matragkas, Nicholas; Devlin, Sam; Kolovos, Dimitrios S; Paige, Richard F
Type inference in flexible model-driven engineering using classification algorithms Journal Article
In: Software & Systems Modeling, vol. 18, no. 1, pp. 345–366, 2019.
@article{zolotas2019typeb,
title = {Type inference in flexible model-driven engineering using classification algorithms},
author = {Athanasios Zolotas and Nicholas Matragkas and Sam Devlin and Dimitrios S Kolovos and Richard F Paige},
url = {https://link.springer.com/article/10.1007/s10270-018-0658-5},
year = {2019},
date = {2019-01-01},
urldate = {2019-01-01},
journal = {Software & Systems Modeling},
volume = {18},
number = {1},
pages = {345--366},
publisher = {Springer Berlin Heidelberg},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
Blair, Gordon; Cheng, Betty HC; Hilty, Lorenz; Paige, Richard F
Modeling for Sustainability (Dagstuhl Seminar 18351) Journal Article
In: vol. 8, no. 8, 2019.
BibTeX | Tags:
@article{blair2019modelingb,
title = {Modeling for Sustainability (Dagstuhl Seminar 18351)},
author = {Gordon Blair and Betty HC Cheng and Lorenz Hilty and Richard F Paige},
year = {2019},
date = {2019-01-01},
urldate = {2019-01-01},
booktitle = {Dagstuhl Reports},
volume = {8},
number = {8},
organization = {Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
Kolovos, Dimitris; Neubauer, Patrick; Barmpis, Konstantinos; Matragkas, Nicholas; Paige, Richard
Crossflow: a framework for distributed mining of software repositories Proceedings Article
In: 2019 IEEE/ACM 16th International Conference on Mining Software Repositories (MSR), pp. 155–159, IEEE 2019.
BibTeX | Tags:
@inproceedings{kolovos2019crossflowb,
title = {Crossflow: a framework for distributed mining of software repositories},
author = {Dimitris Kolovos and Patrick Neubauer and Konstantinos Barmpis and Nicholas Matragkas and Richard Paige},
year = {2019},
date = {2019-01-01},
booktitle = {2019 IEEE/ACM 16th International Conference on Mining Software Repositories (MSR)},
pages = {155--159},
organization = {IEEE},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
Kolovos, Dimitrios; Medhat, Fady; Paige, Richard; Ruscio, Davide Di; Storm, Tijs Van Der; Scholze, Sebastian; Zolotas, Athanasios
Domain-specific languages for the design, deployment and manipulation of heterogeneous databases Proceedings Article
In: 2019 IEEE/ACM 11th International Workshop on Modelling in Software Engineering (MiSE), pp. 89–92, IEEE 2019.
BibTeX | Tags:
@inproceedings{kolovos2019domainb,
title = {Domain-specific languages for the design, deployment and manipulation of heterogeneous databases},
author = {Dimitrios Kolovos and Fady Medhat and Richard Paige and Davide Di Ruscio and Tijs Van Der Storm and Sebastian Scholze and Athanasios Zolotas},
year = {2019},
date = {2019-01-01},
booktitle = {2019 IEEE/ACM 11th International Workshop on Modelling in Software Engineering (MiSE)},
pages = {89--92},
organization = {IEEE},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
Burgueño, Loli; Ciccozzi, Federico; Famelis, Michalis; Kappel, Gerti; Lambers, Leen; Mosser, Sebastien; Paige, Richard F; Pierantonio, Alfonso; Rensink, Arend; Salay, Rick; others,
Contents for a Model-Based Software Engineering Body of Knowledge Journal Article
In: Software and systems modeling, vol. 18, no. 6, pp. 3193–3205, 2019.
BibTeX | Tags:
@article{burgueno2019contentsb,
title = {Contents for a Model-Based Software Engineering Body of Knowledge},
author = {Loli Burgueño and Federico Ciccozzi and Michalis Famelis and Gerti Kappel and Leen Lambers and Sebastien Mosser and Richard F Paige and Alfonso Pierantonio and Arend Rensink and Rick Salay and others},
year = {2019},
date = {2019-01-01},
journal = {Software and systems modeling},
volume = {18},
number = {6},
pages = {3193--3205},
publisher = {Springer Berlin Heidelberg},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
Pina, Beatriz Angelica Sanchez; Zolotas, Athanasios; Rodriguez, Horacio Hoyos; Kolovos, Dimitrios; Paige, Richard Freeman
On-the-fly Translation and Execution of OCL-like Queries on Simulink Models Proceedings Article
In: Proceedings of the ACM/IEEE 22th International Conference on Model Driven Engineering Languages and Systems, York 2019.
BibTeX | Tags:
@inproceedings{sanchez2019flyc,
title = {On-the-fly Translation and Execution of OCL-like Queries on Simulink Models},
author = {Beatriz Angelica Sanchez Pina and Athanasios Zolotas and Horacio Hoyos Rodriguez and Dimitrios Kolovos and Richard Freeman Paige},
year = {2019},
date = {2019-01-01},
booktitle = {Proceedings of the ACM/IEEE 22th International Conference on Model Driven Engineering Languages and Systems},
organization = {York},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
Sanchez, Beatriz; Kolovos, Dimitris S; Paige, Richard
ModelFlow: towards reactive model management workflows Proceedings Article
In: Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, pp. 30–39, 2019.
BibTeX | Tags:
@inproceedings{sanchez2019modelflowb,
title = {ModelFlow: towards reactive model management workflows},
author = {Beatriz Sanchez and Dimitris S Kolovos and Richard Paige},
year = {2019},
date = {2019-01-01},
booktitle = {Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling},
pages = {30--39},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
Rodriguez, Horacio Hoyos; Zolotas, Athanasios; Kolovos, Dimitris; Paige, Richard F
On the Challenges of Model Decorations for Capturing Complex Metadata Proceedings Article
In: 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), pp. 347–353, IEEE 2019.
BibTeX | Tags:
@inproceedings{rodriguez2019challengesb,
title = {On the Challenges of Model Decorations for Capturing Complex Metadata},
author = {Horacio Hoyos Rodriguez and Athanasios Zolotas and Dimitris Kolovos and Richard F Paige},
year = {2019},
date = {2019-01-01},
booktitle = {2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)},
pages = {347--353},
organization = {IEEE},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
Sanchez, Beatriz; Zolotas, Athanasios; Rodriguez, Horacio Hoyos; Kolovos, Dimitris; Paige, Richard
On-the-fly Translation and Execution of OCL-like Queries on Simulink Models Proceedings Article
In: 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS), pp. 205–215, IEEE 2019.
BibTeX | Tags:
@inproceedings{sanchez2019flyd,
title = {On-the-fly Translation and Execution of OCL-like Queries on Simulink Models},
author = {Beatriz Sanchez and Athanasios Zolotas and Horacio Hoyos Rodriguez and Dimitris Kolovos and Richard Paige},
year = {2019},
date = {2019-01-01},
booktitle = {2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS)},
pages = {205--215},
organization = {IEEE},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
Garcia-Dominguez, Antonio; Barmpis, Konstantinos; Kolovos, Dimitrios S; Wei, Ran; Paige, Richard F
Stress-testing remote model querying APIs for relational and graph-based stores Journal Article
In: Software & Systems Modeling, vol. 18, no. 2, pp. 1047–1075, 2019.
BibTeX | Tags:
@article{garcia2019stressb,
title = {Stress-testing remote model querying APIs for relational and graph-based stores},
author = {Antonio Garcia-Dominguez and Konstantinos Barmpis and Dimitrios S Kolovos and Ran Wei and Richard F Paige},
year = {2019},
date = {2019-01-01},
journal = {Software & Systems Modeling},
volume = {18},
number = {2},
pages = {1047--1075},
publisher = {Springer Berlin Heidelberg},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
Baker, Gary; Steinbrenner, Van; White, Stephen
Software Design Journal Article
In: 2019.
BibTeX | Tags:
@article{baker2019software,
title = {Software Design},
author = {Gary Baker and Van Steinbrenner and Stephen White},
year = {2019},
date = {2019-01-01},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
Madani, Sina; Kolovos, Dimitris S; Paige, Richard F
Towards Optimisation of Model Queries: A Parallel Execution Approach. Journal Article
In: J. Object Technol., vol. 18, no. 2, pp. 3–1, 2019.
BibTeX | Tags:
@article{madani2019towards,
title = {Towards Optimisation of Model Queries: A Parallel Execution Approach.},
author = {Sina Madani and Dimitris S Kolovos and Richard F Paige},
year = {2019},
date = {2019-01-01},
journal = {J. Object Technol.},
volume = {18},
number = {2},
pages = {3--1},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
Zolotas, Athanasios; Matragkas, Nicholas; Devlin, Sam; Kolovos, Dimitrios S; Paige, Richard F
Type inference in flexible model-driven engineering using classification algorithms Journal Article
In: Software & Systems Modeling, vol. 18, no. 1, pp. 345–366, 2019.
BibTeX | Tags:
@article{zolotas2019type,
title = {Type inference in flexible model-driven engineering using classification algorithms},
author = {Athanasios Zolotas and Nicholas Matragkas and Sam Devlin and Dimitrios S Kolovos and Richard F Paige},
year = {2019},
date = {2019-01-01},
journal = {Software & Systems Modeling},
volume = {18},
number = {1},
pages = {345--366},
publisher = {Springer},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
Garcia-Dominguez, Antonio; Barmpis, Konstantinos; Kolovos, Dimitrios S; Wei, Ran; Paige, Richard F
Stress-testing remote model querying APIs for relational and graph-based stores Journal Article
In: Software & Systems Modeling, vol. 18, no. 2, pp. 1047–1075, 2019.
@article{garcia2019stress,
title = {Stress-testing remote model querying APIs for relational and graph-based stores},
author = {Antonio Garcia-Dominguez and Konstantinos Barmpis and Dimitrios S Kolovos and Ran Wei and Richard F Paige},
url = {https://link.springer.com/article/10.1007/s10270-017-0606-9},
year = {2019},
date = {2019-01-01},
urldate = {2019-01-01},
journal = {Software & Systems Modeling},
volume = {18},
number = {2},
pages = {1047--1075},
publisher = {Springer},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
Kolovos, Dimitris; Neubauer, Patrick; Barmpis, Konstantinos; Matragkas, Nicholas; Paige, Richard
Crossflow: a framework for distributed mining of software repositories Proceedings Article
In: 2019 IEEE/ACM 16th International Conference on Mining Software Repositories (MSR), pp. 155–159, IEEE 2019.
BibTeX | Tags:
@inproceedings{kolovos2019crossflow,
title = {Crossflow: a framework for distributed mining of software repositories},
author = {Dimitris Kolovos and Patrick Neubauer and Konstantinos Barmpis and Nicholas Matragkas and Richard Paige},
year = {2019},
date = {2019-01-01},
booktitle = {2019 IEEE/ACM 16th International Conference on Mining Software Repositories (MSR)},
pages = {155--159},
organization = {IEEE},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
Kolovos, Dimitrios; Medhat, Fady; Paige, Richard; Ruscio, Davide Di; Storm, Tijs Van Der; Scholze, Sebastian; Zolotas, Athanasios
Domain-specific languages for the design, deployment and manipulation of heterogeneous databases Proceedings Article
In: 2019 IEEE/ACM 11th International Workshop on Modelling in Software Engineering (MiSE), pp. 89–92, IEEE 2019.
BibTeX | Tags:
@inproceedings{kolovos2019domain,
title = {Domain-specific languages for the design, deployment and manipulation of heterogeneous databases},
author = {Dimitrios Kolovos and Fady Medhat and Richard Paige and Davide Di Ruscio and Tijs Van Der Storm and Sebastian Scholze and Athanasios Zolotas},
year = {2019},
date = {2019-01-01},
booktitle = {2019 IEEE/ACM 11th International Workshop on Modelling in Software Engineering (MiSE)},
pages = {89--92},
organization = {IEEE},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
Pina, Beatriz Angelica Sanchez; Zolotas, Athanasios; Rodriguez, Horacio Hoyos; Kolovos, Dimitrios; Paige, Richard Freeman
On-the-fly Translation and Execution of OCL-like Queries on Simulink Models Proceedings Article
In: Proceedings of the ACM/IEEE 22th International Conference on Model Driven Engineering Languages and Systems, York 2019.
BibTeX | Tags:
@inproceedings{sanchez2019flyb,
title = {On-the-fly Translation and Execution of OCL-like Queries on Simulink Models},
author = {Beatriz Angelica Sanchez Pina and Athanasios Zolotas and Horacio Hoyos Rodriguez and Dimitrios Kolovos and Richard Freeman Paige},
year = {2019},
date = {2019-01-01},
booktitle = {Proceedings of the ACM/IEEE 22th International Conference on Model Driven Engineering Languages and Systems},
organization = {York},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
Rodriguez, Horacio Hoyos; Zolotas, Athanasios; Kolovos, Dimitris; Paige, Richard F
On the Challenges of Model Decorations for Capturing Complex Metadata Proceedings Article
In: 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), pp. 347–353, IEEE 2019.
BibTeX | Tags:
@inproceedings{rodriguez2019challenges,
title = {On the Challenges of Model Decorations for Capturing Complex Metadata},
author = {Horacio Hoyos Rodriguez and Athanasios Zolotas and Dimitris Kolovos and Richard F Paige},
year = {2019},
date = {2019-01-01},
booktitle = {2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)},
pages = {347--353},
organization = {IEEE},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
Sanchez, Beatriz; Zolotas, Athanasios; Rodriguez, Horacio Hoyos; Kolovos, Dimitris; Paige, Richard
On-the-fly Translation and Execution of OCL-like Queries on Simulink Models Proceedings Article
In: 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS), pp. 205–215, IEEE 2019.
BibTeX | Tags:
@inproceedings{sanchez2019fly,
title = {On-the-fly Translation and Execution of OCL-like Queries on Simulink Models},
author = {Beatriz Sanchez and Athanasios Zolotas and Horacio Hoyos Rodriguez and Dimitris Kolovos and Richard Paige},
year = {2019},
date = {2019-01-01},
booktitle = {2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS)},
pages = {205--215},
organization = {IEEE},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
Sanchez, Beatriz; Kolovos, Dimitris S; Paige, Richard
ModelFlow: towards reactive model management workflows Proceedings Article
In: Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, pp. 30–39, 2019.
BibTeX | Tags:
@inproceedings{sanchez2019modelflow,
title = {ModelFlow: towards reactive model management workflows},
author = {Beatriz Sanchez and Dimitris S Kolovos and Richard Paige},
year = {2019},
date = {2019-01-01},
booktitle = {Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling},
pages = {30--39},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
Burgueño, Loli; Ciccozzi, Federico; Famelis, Michalis; Kappel, Gerti; Lambers, Leen; Mosser, Sebastien; Paige, Richard F; Pierantonio, Alfonso; Rensink, Arend; Salay, Rick; others,
Contents for a Model-Based Software Engineering Body of Knowledge Journal Article
In: Software and systems modeling, vol. 18, no. 6, pp. 3193–3205, 2019.
BibTeX | Tags:
@article{burgueno2019contents,
title = {Contents for a Model-Based Software Engineering Body of Knowledge},
author = {Loli Burgueño and Federico Ciccozzi and Michalis Famelis and Gerti Kappel and Leen Lambers and Sebastien Mosser and Richard F Paige and Alfonso Pierantonio and Arend Rensink and Rick Salay and others},
year = {2019},
date = {2019-01-01},
journal = {Software and systems modeling},
volume = {18},
number = {6},
pages = {3193--3205},
publisher = {Springer},
keywords = {},
pubstate = {published},
tppubtype = {article}
}