T1: Creating and Operationalizing Justification Models Using jPipe
Mon 23 Sep 2024 11:00 - 12:30 at T - Super Mario Bros - Creating and Operationalizing Justification Models Using jPipe - Session 2
Justification models are a lightweight approach to supporting accreditation, validation, or certification. Usually, when engineers work on pipelines (e.g., continuous integration/deployment, machine learning, notebooks), their primary focus is on the pipeline itself, and the justification of why this pipeline is the right one for their software is, at best, part of the documentation. This leads to operational/maintenance problems: Is your machine learning pipeline reusable? What is the purpose of that “weird” step in your continuous integration pipeline that you have no idea why it is there, but the pipeline fails if you remove it? With jPipe, we assume that justifying software should be easy and support both the initial modelling of a system and its incremental evolution. In this tutorial, we will present how the jPipe compiler can be used to model a justification, how composition algorithms can be used to support incremental/iterative evolution, and how the compiler’s modular nature allows one to integrate it into one’s own system. The tutorial will illustrate these key points of jPipe by using a family of good practices to validate a data science notebook automatically. It will guide the audience through (1) the definition of justification models to validate notebooks, (2) their organization into composable artifacts, (3) their operationalization into CI/CD pipelines through code generation and (4) the integration of these justification models in a standalone Java application.
Mon 23 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | Creating and Operationalizing Justification Models Using jPipe - Session 1Tutorials at T - Super Mario Bros | ||
09:00 90mTutorial | T1: Creating and Operationalizing Justification Models Using jPipe Tutorials Sébastien Mosser McMaster University, Nirmal Chaudhari McMaster Centre for Software Certification (McSCert), Cass Braun McMaster University, McSCert, Kai Sun McMaster University, MCScert | ||
11:00 - 12:30 | Creating and Operationalizing Justification Models Using jPipe - Session 2Tutorials at T - Super Mario Bros | ||
11:00 90mTutorial | T1: Creating and Operationalizing Justification Models Using jPipe Tutorials Sébastien Mosser McMaster University, Nirmal Chaudhari McMaster Centre for Software Certification (McSCert), Cass Braun McMaster University, McSCert, Kai Sun McMaster University, MCScert | ||
Dr. Sébastien Mosser received his PhD in Computer Science in 2010 at Université de Nice (France). He is an Associate Professor at McMaster University (Canada), which he joined after several years as a research scientist/professor at SINTEF (Norway), Université Côte d’Azur (France) and Université du Québec à Mon- tréal (UQAM). He is an executive member of the McMaster Centre for Software Certification (McSCert), an award-winning research centre established in 2009 to ensure that software is safe, secure and dependable. He is also Associate Chair of the Computing and Soft- ware Department. His research interests are centred on software engineering at scale, focusing on the definition of composition techniques to support the separation of concerns in various domains. He regularly gives tutorials in high-quality venues, from academic conferences to industrial forums (e.g., DevLog, General Motors, Amadeus Global Tech Forum). He has served as conference chair of MODELS for two editions (2020 and 2022).
Nirmal Chaudhari studies Software Engineering at McMaster University and is a member of the McMaster Centre for Software Certification (McSCert), which he initially joined in 2023 as a summer intern (with a federal scholarship). Since then, he has worked as a research assistant on the jPipe tool suite, designing and implementing composition algorithms to support modularity in the language and supporting developers by creating a language server one can use to interact with the language smoothly. In addition to his study and research project, he is a key member of McMaster’s EcoCar Team, where he is using his knowledge in modelling and software engineering to engineer the next generation of battery electric vehicles (adapting a 2023 Cadillac).
Cass Braun studies Software Engineering at McMaster University and is a member of the McMaster Centre for Software Certification (McSCert). She recently joined the centre as a summer intern (federal scholarship) and is working on improving the user experience for developers when using the jPipe language. In her free time, she is the vice president of the McMaster chapter of NAYGN (North American Young Generation in Nuclear). She implemented the latest language server for the jPipe language using the Langium platform.
Kai Sun received his MEng in Software Engineering from McMaster University in February 2024 after obtaining a Bachelor’s in Maths and Statistics at the University of Waterloo. He co-founded Dazi in January 2024, a software development company in Toronto, Ontario. As part of his MEng degree, he modelled notebooks best practices by extracting them from the state-of-practice in Data Science.