The Semantics of Partial Model Introduction Transformations - PowerPoint PPT Presentation

The Semantics of Partial Model Transforma- tions M.Famelis, R.Salay, M.Chechik, The Semantics of Partial Model Introduction Transformations Partial Models Transforming Partial Models Michalis Famelis, Rick Salay, and Marsha Chechik Lifted Transform Semantics University of Toronto Checking Lifted Rules June 3rd, 2012, Conclusion Models in Software Engineering Workshop at ICSE 1 / 27

The Semantics of Introduction: Uncertainty Partial Model Transforma- tions M.Famelis, R.Salay, Uncertainty: pervasive in SE M.Chechik, Introduction Models with uncertainty: Partial Models – Represent choice among many possibilities Transforming Partial Models – Can be refined to many different classical models Lifted Transform Semantics Checking Our goal: Lifted Rules Handle models with uncertainty in MDE Conclusion without having to remove uncertainty. In this talk: Transformations of models with uncertainty 2 / 27

The Semantics of Introduction: Transformations Partial Model Transforma- tions M.Famelis, R.Salay, M.Chechik, Existing model (graph) transformations: Introduction Partial Models – Unambiguous model is assumed as input. Transforming Partial Models – When model contains uncertainty: Lifted Transform Semantics • either first remove uncertainty Checking – Premature commitment. Lifted Rules – Reduced quality. Conclusion • or transform all alternatives. – Hard to maintain. 3 / 27

The Semantics of Motivating Example Partial Model Transforma- tions M.Famelis, R.Salay, M.Chechik, Introduction Partial Models Transforming Partial Models Lifted Transform Semantics Checking Lifted Rules Conclusion 4 / 27

The Semantics of Motivating Example Partial Model Transforma- tions M.Famelis, R.Salay, M.Chechik, Introduction Partial Models Transforming Partial Models Lifted Transform Semantics Checking Lifted Rules Conclusion 4 / 27

The Semantics of Motivating Example Partial Model Transforma- tions M.Famelis, R.Salay, M.Chechik, Introduction Partial Models Transforming Partial Models Lifted Transform Semantics Checking Lifted Rules Conclusion 4 / 27

The Semantics of Motivating Example Partial Model Transforma- tions M.Famelis, R.Salay, M.Chechik, Introduction Partial Models Transforming Partial Models Lifted Transform Semantics Checking Lifted Rules Conclusion 4 / 27

The Semantics of Motivating Example Partial Model Transforma- tions M.Famelis, R.Salay, M.Chechik, Introduction Partial Models Transforming Partial Models Lifted Transform Semantics Checking Lifted Rules Conclusion 4 / 27

1 Introduction 2 Partial Models 3 Transforming Partial Models 4 “Lifted” Transformation Semantics 5 Checking Lifted Rules 6 Conclusion

The Semantics of Partial Models Partial Model Transforma- tions M.Famelis, R.Salay, M.Chechik, Introduction Partial Models Transforming Partial Models Lifted Transform Semantics Checking Lifted Rules Conclusion 6 / 27

The Semantics of Partial Models Partial Model Transforma- tions M.Famelis, R.Salay, M.Chechik, Introduction Partial Models Transforming Partial Models Lifted Transform Semantics Checking Lifted Rules Conclusion 6 / 27

The Semantics of Partial Models Partial Model Transforma- tions M.Famelis, R.Salay, M.Chechik, Introduction Partial Models Transforming Partial Models Lifted Transform Semantics Checking Lifted Rules Conclusion 6 / 27

The Semantics of Partial Models Partial Model Transforma- tions M.Famelis, R.Salay, M.Chechik, Introduction Partial Models Transforming Partial Models Lifted Transform Semantics Checking Lifted Rules Conclusion 6 / 27

The Semantics of Semantics of Partial Models Partial Model Transforma- tions M.Famelis, R.Salay, M.Chechik, Introduction Partial Models Transforming Partial Models Lifted Transform Semantics Checking Lifted Rules Conclusion 7 / 27

The Semantics of Semantics of Partial Models Partial Model Transforma- tions M.Famelis, R.Salay, M.Chechik, Introduction Partial Models Transforming Partial Models Lifted Transform Semantics Checking Lifted Rules Conclusion 7 / 27

The Semantics of Semantics of Partial Models Partial Model Transforma- tions M.Famelis, R.Salay, M.Chechik, Introduction Partial Models Transforming Partial Models Lifted Transform Semantics Checking Lifted Rules Conclusion 7 / 27

The Semantics of Semantics of Partial Models Partial Model Transforma- tions M.Famelis, R.Salay, M.Chechik, Introduction Partial Models Transforming Partial Models Lifted Transform Semantics Checking Lifted Rules Conclusion 7 / 27

The Semantics of Goal of This Work Partial Model Transforma- tions M.Famelis, R.Salay, M.Chechik, Introduction Partial Models Transforming Partial Models Lifted Transform Semantics Checking Lifted Rules Conclusion 8 / 27

1 Introduction 2 Partial Models 3 Transforming Partial Models 4 “Lifted” Transformation Semantics 5 Checking Lifted Rules 6 Conclusion

The Semantics of Intuition Partial Model Transforma- tions M.Famelis, R.Salay, M.Chechik, Introduction Partial Models Transforming Partial Models Lifted Transform Semantics Checking Lifted Rules Conclusion 10 / 27

The Semantics of Intuition Partial Model Transforma- tions M.Famelis, R.Salay, M.Chechik, Introduction Partial Models Transforming Partial Models Lifted Transform Semantics Checking Lifted Rules Conclusion 10 / 27

The Semantics of Intuition Partial Model Transforma- tions M.Famelis, R.Salay, M.Chechik, Introduction Partial Models Transforming Partial Models Lifted Transform Semantics Checking Lifted Rules Conclusion 10 / 27

The Semantics of Intuition Partial Model Transforma- tions M.Famelis, R.Salay, M.Chechik, Introduction Partial Models Transforming Partial Models Lifted Transform Semantics Checking Lifted Rules Conclusion 10 / 27

The Semantics of Intuition Partial Model Transforma- tions M.Famelis, R.Salay, M.Chechik, Introduction Partial Models Transforming Partial Models Lifted Transform Semantics Checking Lifted Rules Conclusion 10 / 27

The Semantics of Our approach Partial Model Transforma- tions Summarizing the intuition: M.Famelis, R.Salay, M.Chechik, Introduction Partial Models Transforming Partial Models Lifted Transform Semantics Checking Lifted Rules Conclusion Applying a transformation to a partial model M 11 / 27

The Semantics of Our approach Partial Model Transforma- tions Summarizing the intuition: M.Famelis, R.Salay, M.Chechik, Introduction Partial Models Transforming Partial Models Lifted Transform Semantics Checking Lifted Rules Conclusion Applying a transformation to a partial model M should be the same as if we had created all its concretizations, 11 / 27

The Semantics of Our approach Partial Model Transforma- tions Summarizing the intuition: M.Famelis, R.Salay, M.Chechik, Introduction Partial Models Transforming Partial Models Lifted Transform Semantics Checking Lifted Rules Conclusion Applying a transformation to a partial model M should be the same as if we had created all its concretizations, applied the transformation to each separately, 11 / 27

The Semantics of Our approach Partial Model Transforma- tions Summarizing the intuition: M.Famelis, R.Salay, M.Chechik, Introduction Partial Models Transforming Partial Models Lifted Transform Semantics Checking Lifted Rules Conclusion Applying a transformation to a partial model M should be the same as if we had created all its concretizations, applied the transformation to each separately, and encoded the result as a partial model. 11 / 27

The Semantics of Our approach Partial Model Transforma- tions Summarizing the intuition: M.Famelis, R.Salay, M.Chechik, Introduction Partial Models Transforming Partial Models Lifted Transform Semantics Correctness Criterion Checking Lifted Rules Conclusion Applying a transformation to a partial model M should be the same as if we had created all its concretizations, applied the transformation to each separately, and encoded the result as a partial model. 11 / 27

The Semantics of Lifting Transformations Partial Model Transforma- tions M.Famelis, R.Salay, M.Chechik, Introduction Partial Models Transforming Partial Models Lifted Transform Semantics Checking Lifted Rules Conclusion Q1: How do we transform M directly to N? Q2: Are the concretizations of N exactly the models n 1 . . . n k ? 12 / 27

1 Introduction 2 Partial Models 3 Transforming Partial Models 4 “Lifted” Transformation Semantics 5 Checking Lifted Rules 6 Conclusion

The Semantics of Applying Rules to Partial Models Partial Model Transforma- tions M.Famelis, R.Salay, M.Chechik, Introduction Partial Models Transforming Partial Models Lifted Transform Semantics Checking Lifted Rules Conclusion Q1: How do we transform M directly to N? – Lifted semantics of transformations, using logic. Q2: Are the concretizations of N exactly the models n 1 . . . n k ? 14 / 27