Head of Research and Vice Head of Department at Department of Informatics (2021-2024)
Deputy Centre Director of SIRIUS
Publications
-
Sæther, Eirik Halvard; Yu, Ingrid Chieh & Din, Crystal Chang
(2023).
Semantics-Based Version Control for Feature Model Evolution Plans.
NIKT: Norsk IKT-konferanse for forskning og utdanning.
ISSN 1892-0713.
1.
Full text in Research Archive
-
-
Motzfeldt, Ida Sandberg; Yu, Ingrid Chieh; Din, Crystal Chang; Pun, Violet Ka I & Stolz, Volker
(2023).
Modular Soundness Checking of Feature Model Evolution Plans.
Lecture Notes in Computer Science (LNCS).
ISSN 0302-9743.
14446,
p. 417–437.
doi:
10.1007/978-3-031-47963-2_25.
Full text in Research Archive
Show summary
A software product line (SPL) is a family of closely related software systems which capitalizes on the variability and reusability of the software products and can be formalised by a feature model. Feature model evolution plans (FMEP) capture the current SPL as well as the planned evolution of the SPL to ensure successful long-term development. As business requirements often change, FMEPs should support interme- diate update. This modification may cause paradoxes in an FMEP, e.g., a node left without a parent, making the plan impossible to realise. Current tools exist to validate FMEPs, but require analysing the entire plan even when a modification affects only small parts of it. Hence, there is a need for a method that detects such paradoxes in a more efficient way. In this paper, we present an interval based feature model (IBFM), a representation for FMEPs, that allows local reasoning to validates only the parts of the plan affected by changes. We define operations for updating the FMEPs and the preconditions under which they preserve soundness, i.e., absence of paradoxes, and show the correctness of the method.
-
-
-
-
Rasouli, Peyman & Yu, Ingrid Chieh
(2021).
Analyzing and Improving the Robustness of Tabular Classifiers using Counterfactual Explanations,
2021 20th IEEE International Conference on Machine Learning and Applications (ICMLA).
IEEE conference proceedings.
ISSN 978-1-6654-4337-1.
p. 1286–1293.
doi:
10.1109/ICMLA52953.2021.00209.
Full text in Research Archive
-
-
-
Hoff, Adrian; Nieke, Michael; Seidl, Christoph; Sæther, Eirik; Motzfeldt, Ida & Din, Crystal Chang
[Show all 8 contributors for this article]
(2020).
Consistency-Preserving Evolution Planning on Feature Models.
In Lopez-Herrejon, Roberto Erick (Eds.),
SPLC'20: 24th ACM International Systems and Software Product Line Conference, Montreal, Quebec, Canada, October 19-23, 2020, Volume A.
Association for Computing Machinery (ACM).
ISSN 978-1-4503-7569-6.
p. 8:1–8:12.
doi:
10.1145/3382025.3414964.
Full text in Research Archive
-
Gkolfi, Anastasia; Johnsen, Einar Broch; Kristensen, Lars Michael & Yu, Ingrid Chieh
(2020).
Model checking starvation for resource-aware active objects with coloured petri nets.
CEUR Workshop Proceedings.
ISSN 1613-0073.
2651,
p. 68–85.
Full text in Research Archive
-
-
-
-
Din, Crystal Chang; Karlsen, Leif Harald; Pene, Irina; Stahl, Oliver; Yu, Ingrid Chieh & Østerlie, Thomas
(2019).
Geological Multi-scenario Reasoning.
NIKT: Norsk IKT-konferanse for forskning og utdanning.
ISSN 1892-0713.
Full text in Research Archive
-
Gkolfi, Anastasia; Din, Crystal Chang; Johnsen, Einar Broch; Kristensen, Lars Michael; Steffen, Martin & Yu, Ingrid Chieh
(2019).
Translating active objects into colored Petri nets for communication analysis.
Science of Computer Programming.
ISSN 0167-6423.
181,
p. 1–26.
doi:
10.1016/j.scico.2019.04.002.
-
-
Nieke, Michael; Mauro, Jacopo; Seidl, Christoph; Thum, Thomas; Yu, Ingrid Chieh & Franzke, Felix
(2018).
Anomaly Analyses for Feature-Model Evolution.
In Van Wyk, Eric & Rompf, Tiark (Ed.),
Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences.
ACM Publications.
ISSN 978-1-4503-6045-6.
p. 188–201.
doi:
10.1145/3278122.3278123.
-
-
Mauro, Jacopo; Nieke, Michael; Seidl, Christoph & Yu, Ingrid Chieh
(2018).
Context-aware reconfiguration in evolving software product lines.
Science of Computer Programming.
ISSN 0167-6423.
163,
p. 139–159.
doi:
10.1016/j.scico.2018.05.002.
-
-
-
-
-
Mauro, Jacopo; Seidl, Christoph; Nieke, Michael & Yu, Ingrid Chieh
(2017).
Anomaly Detection and Explanation in Context-Aware Software Product Lines.
In Benavides, David & Ruiz-Cortés, Antonio (Ed.),
SPLC '17 Proceedings of the 21st International Systems and Software Product Line Conference - Volume B.
Association for Computing Machinery (ACM).
ISSN 978-1-4503-5119-5.
p. 18–21.
doi:
10.1145/3109729.3109752.
-
Lin, Jia-Chun; Mauro, Jacopo; Røst, Thomas Brox & Yu, Ingrid Chieh
(2017).
A model-Based Scalability Optimization Methodology for Cloud Applications.
Proceedings of the IEEE.
ISSN 0018-9219.
p. 163–170.
doi:
10.1109/SC2.2017.32.
-
-
-
Gkolfi, Anastasia; Johnsen, Einar Broch; Kristensen, Lars Michael & Yu, Ingrid Chieh
(2017).
Resource Management of Cloud-Aware Programs using Coloured Petri Nets.
In Walden, Marina (Eds.),
Proceedings of the 29th Nordic Workshop on Programming Theory.
Turku Centre for Computer Science.
ISSN 978-952-12-3608-2.
p. 31–33.
-
Rabbi, Fazle; Lamo, Yngve & Yu, Ingrid Chieh
(2016).
Towards a categorical approach for meta-modelling epistemic game theory.
In Baudry, Benoit & Combemale, Benoit (Ed.),
MODELS '16: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems.
Association for Computing Machinery (ACM).
ISSN 978-1-4503-4321-3.
p. 57–64.
doi:
10.1145/2976767.2976771.
-
Rabbi, Fazle; Lamo, Yngve; Yu, Ingrid Chieh & Kristensen, Lars Michael
(2016).
WebDPF: A Web-based Metamodelling and Model Transformation Environment.
In Hammoudi, Slimane; Pires, Luís Ferreira; Selic, Bran & Desfray, Philippe (Ed.),
Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development.
SciTePress.
ISSN 978-989-758-168-7.
p. 87–98.
doi:
10.5220/0005686900870098.
-
-
-
-
-
-
-
Johnsen, Einar Broch; Pun, Ka I; Steffen, Martin; Tapia Tarifa, Silvia Lizeth & Yu, Ingrid Chieh
(2016).
Meeting Deadlines, Elastically.
In Petre, Luigia & Sekerinski, Emil (Ed.),
From Action Systems to Distributed Systems: The Refinement Approach.
CRC Press.
ISSN 978-1-4987-0158-7.
p. 99–111.
doi:
10.1201/b20053-11.
-
Lin, Jia-Chun; Yu, Ingrid Chieh; Johnsen, Einar Broch & Lee, Ming-Chang
(2016).
ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters.
In Stevens, Perdita & Wąsowski, Andrzej (Ed.),
Fundamental Approaches to Software Engineering: 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings.
Springer.
ISSN 3662496658.
p. 49–65.
doi:
10.1007/978-3-662-49665-7_4.
-
Mauro, Jacopo; Nieke, Michael; Seidl, Christoph & Yu, Ingrid Chieh
(2016).
Context Aware Reconfiguration in Software Product Lines.
In Schaefer, Ina; Alves, Vander & de Almeida, Eduardo Santana (Ed.),
Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems.
Association for Computing Machinery (ACM).
ISSN 978-1-4503-4019-9.
p. 41–48.
doi:
10.1145/2866614.2866620.
-
Rabbi, Fazle; Lamo, Yngve; Yu, Ingrid Chieh & Kristensen, Lars Michael
(2015).
Towards a Multi Metamodelling Approach for Developing Distributed Healthcare Applications.
NIKT: Norsk IKT-konferanse for forskning og utdanning.
ISSN 1892-0713.
Show summary
Model Driven Engineering (MDE) uses formal methods to build mathematically rigorous models of complex systems. Metamodelling plays an important role in MDE as it is used to specify domain specific modelling languages. However, the potential of metamodelling has not been fully explored. Current approaches of MDE are often at a low level of abstraction and lack domain concepts for specifying behavior. In previous work, we proposed a multi metamodelling approach that captures the complexity of systems by using a metamodelling hierarchy, built from individually defined metamodels, each capturing different aspects of a healthcare domain. In this paper, we focus on modelling distributed healthcare applications and present an example from the healthcare domain. We address certain modelling aspects related to distributed applications such as process modelling, using message passing communication, and coordination of processes and resources.
-
Rabbi, Fazle; Lamo, Yngve; Yu, Ingrid Chieh & Kristensen, Lars Michael
(2015).
A diagrammatic approach to model completion.
CEUR Workshop Proceedings.
ISSN 1613-0073.
1500,
p. 56–65.
Full text in Research Archive
Show summary
Metamodelling plays an important role in model-driven engineering as it can be used to define domain-specific modelling languages. During the modelling phase, software designers encode domain knowledge into models which may include both structural and behavioral aspects of a system. In this paper we propose a diagrammatic approach to aid the software designer to complete partial models and thereby
reduce modelling effort. We introduce a declarative approach where we define completion rules that are executed by the use of model transformations. We also study the termination of such model transformation systems and provide sufficient conditions for termination by generalizing existing work on termination of model transformation systems.
-
Yu, Ingrid Chieh & Berg, Henning
(2015).
A Formalisation of Analysis-based Model Migration.
In Hammoudi, Slimane; Ferreira Pires, Luis; Desfray, Philippe & Filipe, Joaquim (Ed.),
MODELSWARD 2015 - Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development, ESEO, Angers, Loire Valley, France, 9-11 February, 2015
.
SciTePress.
ISSN 978-989-758-083-3.
p. 86–98.
doi:
10.5220/0005240900860098.
-
-
-
-
-
Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf & Yu, Ingrid Chieh
(2011).
A Proof System for Adaptable Class Hierarchies.
In Petterson, Paul & Cristina, Seceleanu (Ed.),
Proceedings of the 23rd Nordic Workshop on Programming Theory, NWPT'11.
Mälardalen University.
ISSN 9789521224782.
p. 33–34.
doi:
10.1016/j.jlamp.2014.09.001.
-
-
Johnsen, Einar Broch & Vibe, Ingrid Chieh Yu De
(2008).
Backwards type analysis of asynchronous method calls.
Journal of Logic and Algebraic Programming.
ISSN 1567-8326.
77(1-2),
p. 40–59.
doi:
10.1016/j.jlap.2008.05.004.
-
Hagalisletto, Moen Anders; Bjørk, Joakim; Vibe, Ingrid Chieh Yu De & Enger, P
(2007).
Constructing and refining large-scale railway models represented by Petri nets.
IEEE transactions on systems, man and cybernetics. Part C, Applications and reviews.
ISSN 1094-6977.
37,
p. 444–460.
doi:
10.1109/TSMC.2007.897323.
Show summary
A new method for rapid construction of large-scale executable railway models is presented. Computer systems for railway systems suffer from poor integration and lack of explicit understanding of the large amount of static and dynamic information in the railway. In this paper we give solutions to both problems. It is shown how a component-oriented approach makes it easy to construct and refine basic railway models by effective methods, such that a variety of models with important properties can be maintained within the same framework. Basic railway nets are refined into several new kinds; nets that are safe, permit collision detection, include time, and are sensitive to its surroundings. Since the underlying implementation language is Petri Nets, large expressibility is combined with simplicity, and in addition the analysis of the behaviour of railway models come gently.
-
-
-
Johnsen, Einar Broch & Yu, Ingrid Chieh
(2006).
Backwards Type Analysis of Asynchronous Method Calls,
Proceedings for the 18th Nordic Workshop on Programming Theory (NWPT'06).
Hàskolinn i Reykjavik.
View all works in Cristin
-
Yu, Ingrid Chieh & Berg, Henning
(2015).
A Framework for Metamodel Composition and
Adaptation with Conformance-Preserving
Model Migration.
Springer.
ISBN 978-3-319-27868-1.
23 p.
-
Hagalisletto, Anders Moen & Yu, Ingrid Chieh
(2004).
Large scale construction of railroad models from specifications.
IEEE (Institute of Electrical and Electronics Engineers).
ISBN 0-7803-8567-5.
8 p.
Show summary
In this paper we present techniques for constructing large scale models of railroads from a simple graphical specification language,using Petri Nets. A prototype tool based on this analysis has been implemented, allowing the user to write specifications and generate large Petri Nets automatically. A sufficient amount of algebra for composition is developed in order to exploit the advantages of both modern GUI programming and Petri Nets.
View all works in Cristin
-
-
Yu, Ingrid Chieh; Cameron, David B.; Vølstad, Ann & Larsen, Åshild Hanne
(2020).
Industrial mentoring for junior researchers: An enabler for personal development and innovation .
Show summary
The SIRIUS Centre for Research-Based Innovation, based at the University of Oslo, is a collaborative organization that addresses challenges of digitalisation in, and beyond, the oil and gas industry. It aims to produce innovation that solves operational challenges in industry through application of high-quality com-puter science research. The centre brings together academics from the three universities, two research in-stitutes, large companies in the oil and gas sector, IT vendors, both global and local, and a group of spe-cialized companies.
It is a complex task to generate industrial innovation and excellent research simultaneously. The centre brings together a diverse group of participants, with widely differing backgrounds and motivations. Effort must be made to bridge the gaps between our academic researchers and their industrial counterparts. As part of this effort, SIRIUS ran a mentoring program for junior academics in 2017 and 2018. This paper describes the program, its results and practical experience that was derived from the program. Each of the authors brings their own perspective to the paper. The lead author is the deputy director of the centre. She defined the objectives, led and ran the mentoring program. The second author was the manager in the centre with responsibility for relationships with the centre’s industrial partners. He was the sponsor of the program. The third author works for AFF, a consultancy that prepared the content of the program and facilitated the meetings in the program. The final author is one of the mentors. She is also a C-level executive in the energy company Equinor.
-
Johnsen, Einar Broch; Lin, Jia-Chun & Yu, Ingrid Chieh
(2016).
AWS deployments using model-based predictions.
-
Lin, Jia-Chun; Yu, Ingrid Chieh; Johnsen, Einar Broch & Lee, Ming-Chang
(2016).
ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters.
-
Owe, Olaf; Lin, Jia-Chun & Yu, Ingrid Chieh
(2015).
A Formal Framework Supporting Unrestricted Software Changes in Object-Oriented Concurrent Systems.
-
-
Yu, Ingrid Chieh
(2015).
Gjer smarte bilar smartare.
[Newspaper].
Uniforum.
-
Rabbi, Fazle; Lamo, Yngve; Yu, Ingrid Chieh & Kristensen, Lars Michael
(2014).
Towards a Diagrammatic Rewriting System for Model Completion.
-
Sæther, Eirik Halvard; Yu, Ingrid Chieh & Din, Crystal Chang
(2021).
Three-Way Semantic Merge for
Feature Model Evolution Plans.
Institutt for Informatikk.
Show summary
A software product line (SPL) models closely related software systems by
capitalizing on the high similarity of the products by organizing them
in common and variable parts. Software engineers explicitly encode
similarities and differences of an SPL by defining it in terms of a feature
model. In order to ensure successful long-term development, it is
beneficial to not just capture the current software product line, but the
planned evolution of the SPL as well.
Evolution planning of an SPL is often a dynamic, changing process, due
to changes in product requirements. In addition, planning is typically
a collaborative effort with multiple engineers working separately and
independently of each other. To improve development, their individual
contributions would need to be synchronized and unified. This can be a
complex task, especially without proper synchronization tools.
In this thesis, we develop a merge tool for evolution plans. The essence of
the tool is a three-way merge algorithm. Given two different versions of an
evolution plan, together with the common evolution plan they are derived
from, the merge algorithm attempts to merge all the different changes
from both versions. If the evolution plans are unifiable, the algorithm
succeeds and yields the merged result containing the changes from both
versions. However, if the changes are conflicting by breaking the structure
or semantics of evolution plans, the algorithm terminates and reports the
reason for failure. The three-way merge algorithm will act as an essential
component in a version control system, allowing several contributors to
synchronize their individual versions into a unified evolution plan.
-
Motzfeldt, Ida Sandberg; Yu, Ingrid Chieh & Din, Crystal Chang
(2021).
Modular Soundness Checking of
Feature Model Evolution Plans.
Institutt for Informatikk.
Show summary
A software product line (SPL) is a family of closely related software systems which capitalizes on the reusability and variability of the software products. An SPL can be modelled using a feature model, a tree-like structure from which all the configurations of the SPL can be derived. Large projects such as an SPL require long-term planning, and plans for SPLs may also be defined in terms of feature models, called feature model evolution plans (FMEP). An FMEP gives information about what a feature model looks like at each stage of the plan.
As business requirements often change, FMEPs should support intermediate change. Such changes may cause paradoxes in an FMEP, e.g. a node left without a parent, making the plan impossible to realise. The complex nature of FMEPs makes detecting paradoxes by hand impractical. Current tools exist to validate FMEPs, but require analysis of the entire plan
even when a modification affects only small parts of it. For larger FMEPs, this is inefficient. Thus, there is a need for a method which detects such paradoxes in a more efficient way.
In this thesis, we present a representation for FMEPs, called an intervalbased feature model (IBFM). This representation enables local validation, by which we mean validating only the parts of the plan that are affected by the change. We define operations for updating an IBFM, and methods
for detecting paradoxes resulting from an operation. Moreover, we give a proof of correctness for the method and an implementation as proof of concept.
Using these methods, it is possible to create an efficient verification tool for modification of FMEPs. This may be used as basis for a productive SPL planning tool.
-
-
Rabbi, Fazle; Yu, Ingrid Chieh; Lamo, Yngve & Kristensen, Lars Michael
(2017).
MDE TECHNIQUES FOR MODELING AND ANALYSIS OF COMPLEX SOFTWARE SYSTEMS.
Reprosentralen, University of Oslo.
ISSN 1501-7710.
-
-
Johnsen, Einar Broch; Pun, Ka I; Steffen, Martin; Tapia Tarifa, Silvia Lizeth & Yu, Ingrid Chieh
(2015).
Meeting Deadlines, Elastically.
7Letras.
ISSN 978-82-7368-408-0.
-
-
Johnsen, Einar Broch; Owe, Olaf & Yu, Ingrid Chieh
(2005).
Creol: A Type-Safe Object-Oriented Model for Distributed Concurrent Systems.
Institutt for informatikk, Universitetet i Oslo.
ISSN 0806-3036.
View all works in Cristin
Published
Mar. 9, 2011 11:00 AM
- Last modified
Mar. 2, 2023 5:56 PM