This document discusses modeling and reasoning with uncertainty. The authors propose encoding uncertainty using partial models, which represent sets of conventional models. They describe checking properties of partial models by encoding them in propositional logic and using a SAT solver. The authors also discuss giving feedback to facilitate diagnosing properties. They aim to evaluate reasoning with partial models versus reasoning with sets of conventional models.
2015EDM: A Framework for Multifaceted Evaluation of Student Models (Polygon)Yun Huang
Presented in the 8th International Conference on Educational Data Mining as full paper. This is the first work that bring together predictive performance, plausibility and consistency three dimensions for evaluating student models, which is related to the general issues of appling machine learning to education domain.
Using Developer Conversations to Resolve Uncertainty in Software Development:...Michalis Famelis
Presented at RSSE'14 at ICSE'14 in Hyderabad, India.
Authors:
Ahmed Shah Mashiyat, Michalis Famelis, Rick Salay, Marsha Chechik
Absract:
Software development is a social process: tasks such as implementing a requirement or fixing a bug typically spark conversations between the stakeholders of a software project, where they identify points of uncertainty in the solution space and explore proposals to resolve them. Due to the fluid nature of these interactions, it is hard for project managers
to maintain an overall understanding of the state of the discussion and to know
when and how to intervene. We propose an approach for extracting the uncertainty information from developer conversations in order to provide managers with analytics.
Using these allows us to recommend specific actions that managers can take to
better facilitate the resolution of uncertainty.
2015EDM: A Framework for Multifaceted Evaluation of Student Models (Polygon)Yun Huang
Presented in the 8th International Conference on Educational Data Mining as full paper. This is the first work that bring together predictive performance, plausibility and consistency three dimensions for evaluating student models, which is related to the general issues of appling machine learning to education domain.
Using Developer Conversations to Resolve Uncertainty in Software Development:...Michalis Famelis
Presented at RSSE'14 at ICSE'14 in Hyderabad, India.
Authors:
Ahmed Shah Mashiyat, Michalis Famelis, Rick Salay, Marsha Chechik
Absract:
Software development is a social process: tasks such as implementing a requirement or fixing a bug typically spark conversations between the stakeholders of a software project, where they identify points of uncertainty in the solution space and explore proposals to resolve them. Due to the fluid nature of these interactions, it is hard for project managers
to maintain an overall understanding of the state of the discussion and to know
when and how to intervene. We propose an approach for extracting the uncertainty information from developer conversations in order to provide managers with analytics.
Using these allows us to recommend specific actions that managers can take to
better facilitate the resolution of uncertainty.
This presentation is about a lecture I gave within the "Software systems and services" immigration course at the Gran Sasso Science Institute, L'Aquila (Italy): http://cs.gssi.infn.it/.
http://www.ivanomalavolta.com
Short Story: Unveiling the Reasoning Abilities of Large Language Models by Ke...kellynguyen01
Diving deep into “Towards Reasoning in Large Language Models: A Survey”, a survey paper written by Jie Huang and Kevin Chen-Chuan Chang at the University of Illinois at Urbana-Champaign in 2023
Photo Exhibition for the Commemoration of the 40th Anniversary of the Polytec...Michalis Famelis
Έκθεση Μνήμης για τα 40 Χρόνια από την Εξέγερση του Πολυτεχνείου
Photo Exhibition for the Commemoration of the 40th Anniversary of the Polytechnic Uprising
15-17 November 2013, 290 Danforth Ave., Toronto, Canada
Ελληνοκαναδική Δημοκρατική Οργάνωση
Greek Canadian Democratic Organization
Toronto Friends of the KKE
Λέσχη Φίλων του ΚΚΕ Τοροντο
Οργάνωση Εθνικής Αντίστασης
Association of Greek Canadian Veterans of the National Resistance 1941-45
Επιτροπή Πολυτεχνείου
Committee for the Commemoration of the Polytechnic Uprising
(Πολλές φωτογραφίες είναι απο το φωτογραφικό αρχείο του ΑΣΚΙ.)
Transformations of Models Containing UncertaintyMichalis Famelis
Abstract. Model transformation techniques typically operate under the
assumption that models do not contain uncertainty. In the presence of
uncertainty, this forces modelers to either postpone working or to arti-
ficially remove it, with negative impacts on software cost and quality.
Instead, we propose a technique to adapt existing model transforma-
tions so that they can be applied to models even if they contain un-
certainty, thus enabling the use of transformations earlier. Building on
earlier work, we show how to adapt graph rewrite-based model transfor-
mations to correctly operate on May uncertainty, a technique that allows
explicit uncertainty to be expressed in any modeling language. We eval-
uate our approach on the classic Object-Relational Mapping use case,
experimenting with models of varying levels of uncertainty.
Research Questions for Validation and Verification in the Context of Model-Ba...Michalis Famelis
Abstract. In model-based engineering (MBE), the abstraction power
of models is used to deal with the ever increasing complexity of modern
software systems. As models play a central role in MBE-based develop-
ment processes, for the adoption of MBE in practical projects it becomes
indispensable to introduce rigorous methods for ensuring the correctness
of the models. Consequently, much effort has been spent on developing
and applying validation and verification (V&V) techniques for models.
However, there are still many open challenges.
In this paper, we shortly review the status quo of V&V techniques in
MBE and derive a catalogue of open questions whose answers would
contribute to successfully putting MBE into practice.
Catherine Dubois, ENSIIE, France
Michalis Famelis, University of Toronto, Canada
Martin Gogolla, Database Systems Group, University of Bremen, Germany
Leonel Nobrega, University of Madeira, Portugal
Ileana Ober, University of Toulouse, France
Martina Seidl, Johannes Kepler University Linz, Austria
Markus Völter, Völter Ingenieurbüro, Germany
Remote sensing and monitoring are changing the mining industry for the better. These are providing innovative solutions to long-standing challenges. Those related to exploration, extraction, and overall environmental management by mining technology companies Odisha. These technologies make use of satellite imaging, aerial photography and sensors to collect data that might be inaccessible or from hazardous locations. With the use of this technology, mining operations are becoming increasingly efficient. Let us gain more insight into the key aspects associated with remote sensing and monitoring when it comes to mining.
As a business owner in Delaware, staying on top of your tax obligations is paramount, especially with the annual deadline for Delaware Franchise Tax looming on March 1. One such obligation is the annual Delaware Franchise Tax, which serves as a crucial requirement for maintaining your company’s legal standing within the state. While the prospect of handling tax matters may seem daunting, rest assured that the process can be straightforward with the right guidance. In this comprehensive guide, we’ll walk you through the steps of filing your Delaware Franchise Tax and provide insights to help you navigate the process effectively.
Affordable Stationery Printing Services in Jaipur | Navpack n PrintNavpack & Print
Looking for professional printing services in Jaipur? Navpack n Print offers high-quality and affordable stationery printing for all your business needs. Stand out with custom stationery designs and fast turnaround times. Contact us today for a quote!
The world of search engine optimization (SEO) is buzzing with discussions after Google confirmed that around 2,500 leaked internal documents related to its Search feature are indeed authentic. The revelation has sparked significant concerns within the SEO community. The leaked documents were initially reported by SEO experts Rand Fishkin and Mike King, igniting widespread analysis and discourse. For More Info:- https://news.arihantwebtech.com/search-disrupted-googles-leaked-documents-rock-the-seo-world/
This presentation is about a lecture I gave within the "Software systems and services" immigration course at the Gran Sasso Science Institute, L'Aquila (Italy): http://cs.gssi.infn.it/.
http://www.ivanomalavolta.com
Short Story: Unveiling the Reasoning Abilities of Large Language Models by Ke...kellynguyen01
Diving deep into “Towards Reasoning in Large Language Models: A Survey”, a survey paper written by Jie Huang and Kevin Chen-Chuan Chang at the University of Illinois at Urbana-Champaign in 2023
Photo Exhibition for the Commemoration of the 40th Anniversary of the Polytec...Michalis Famelis
Έκθεση Μνήμης για τα 40 Χρόνια από την Εξέγερση του Πολυτεχνείου
Photo Exhibition for the Commemoration of the 40th Anniversary of the Polytechnic Uprising
15-17 November 2013, 290 Danforth Ave., Toronto, Canada
Ελληνοκαναδική Δημοκρατική Οργάνωση
Greek Canadian Democratic Organization
Toronto Friends of the KKE
Λέσχη Φίλων του ΚΚΕ Τοροντο
Οργάνωση Εθνικής Αντίστασης
Association of Greek Canadian Veterans of the National Resistance 1941-45
Επιτροπή Πολυτεχνείου
Committee for the Commemoration of the Polytechnic Uprising
(Πολλές φωτογραφίες είναι απο το φωτογραφικό αρχείο του ΑΣΚΙ.)
Transformations of Models Containing UncertaintyMichalis Famelis
Abstract. Model transformation techniques typically operate under the
assumption that models do not contain uncertainty. In the presence of
uncertainty, this forces modelers to either postpone working or to arti-
ficially remove it, with negative impacts on software cost and quality.
Instead, we propose a technique to adapt existing model transforma-
tions so that they can be applied to models even if they contain un-
certainty, thus enabling the use of transformations earlier. Building on
earlier work, we show how to adapt graph rewrite-based model transfor-
mations to correctly operate on May uncertainty, a technique that allows
explicit uncertainty to be expressed in any modeling language. We eval-
uate our approach on the classic Object-Relational Mapping use case,
experimenting with models of varying levels of uncertainty.
Research Questions for Validation and Verification in the Context of Model-Ba...Michalis Famelis
Abstract. In model-based engineering (MBE), the abstraction power
of models is used to deal with the ever increasing complexity of modern
software systems. As models play a central role in MBE-based develop-
ment processes, for the adoption of MBE in practical projects it becomes
indispensable to introduce rigorous methods for ensuring the correctness
of the models. Consequently, much effort has been spent on developing
and applying validation and verification (V&V) techniques for models.
However, there are still many open challenges.
In this paper, we shortly review the status quo of V&V techniques in
MBE and derive a catalogue of open questions whose answers would
contribute to successfully putting MBE into practice.
Catherine Dubois, ENSIIE, France
Michalis Famelis, University of Toronto, Canada
Martin Gogolla, Database Systems Group, University of Bremen, Germany
Leonel Nobrega, University of Madeira, Portugal
Ileana Ober, University of Toulouse, France
Martina Seidl, Johannes Kepler University Linz, Austria
Markus Völter, Völter Ingenieurbüro, Germany
Remote sensing and monitoring are changing the mining industry for the better. These are providing innovative solutions to long-standing challenges. Those related to exploration, extraction, and overall environmental management by mining technology companies Odisha. These technologies make use of satellite imaging, aerial photography and sensors to collect data that might be inaccessible or from hazardous locations. With the use of this technology, mining operations are becoming increasingly efficient. Let us gain more insight into the key aspects associated with remote sensing and monitoring when it comes to mining.
As a business owner in Delaware, staying on top of your tax obligations is paramount, especially with the annual deadline for Delaware Franchise Tax looming on March 1. One such obligation is the annual Delaware Franchise Tax, which serves as a crucial requirement for maintaining your company’s legal standing within the state. While the prospect of handling tax matters may seem daunting, rest assured that the process can be straightforward with the right guidance. In this comprehensive guide, we’ll walk you through the steps of filing your Delaware Franchise Tax and provide insights to help you navigate the process effectively.
Affordable Stationery Printing Services in Jaipur | Navpack n PrintNavpack & Print
Looking for professional printing services in Jaipur? Navpack n Print offers high-quality and affordable stationery printing for all your business needs. Stand out with custom stationery designs and fast turnaround times. Contact us today for a quote!
The world of search engine optimization (SEO) is buzzing with discussions after Google confirmed that around 2,500 leaked internal documents related to its Search feature are indeed authentic. The revelation has sparked significant concerns within the SEO community. The leaked documents were initially reported by SEO experts Rand Fishkin and Mike King, igniting widespread analysis and discourse. For More Info:- https://news.arihantwebtech.com/search-disrupted-googles-leaked-documents-rock-the-seo-world/
What is the TDS Return Filing Due Date for FY 2024-25.pdfseoforlegalpillers
It is crucial for the taxpayers to understand about the TDS Return Filing Due Date, so that they can fulfill your TDS obligations efficiently. Taxpayers can avoid penalties by sticking to the deadlines and by accurate filing of TDS. Timely filing of TDS will make sure about the availability of tax credits. You can also seek the professional guidance of experts like Legal Pillers for timely filing of the TDS Return.
3.0 Project 2_ Developing My Brand Identity Kit.pptxtanyjahb
A personal brand exploration presentation summarizes an individual's unique qualities and goals, covering strengths, values, passions, and target audience. It helps individuals understand what makes them stand out, their desired image, and how they aim to achieve it.
Taurus Zodiac Sign_ Personality Traits and Sign Dates.pptxmy Pandit
Explore the world of the Taurus zodiac sign. Learn about their stability, determination, and appreciation for beauty. Discover how Taureans' grounded nature and hardworking mindset define their unique personality.
Cracking the Workplace Discipline Code Main.pptxWorkforce Group
Cultivating and maintaining discipline within teams is a critical differentiator for successful organisations.
Forward-thinking leaders and business managers understand the impact that discipline has on organisational success. A disciplined workforce operates with clarity, focus, and a shared understanding of expectations, ultimately driving better results, optimising productivity, and facilitating seamless collaboration.
Although discipline is not a one-size-fits-all approach, it can help create a work environment that encourages personal growth and accountability rather than solely relying on punitive measures.
In this deck, you will learn the significance of workplace discipline for organisational success. You’ll also learn
• Four (4) workplace discipline methods you should consider
• The best and most practical approach to implementing workplace discipline.
• Three (3) key tips to maintain a disciplined workplace.
Falcon stands out as a top-tier P2P Invoice Discounting platform in India, bridging esteemed blue-chip companies and eager investors. Our goal is to transform the investment landscape in India by establishing a comprehensive destination for borrowers and investors with diverse profiles and needs, all while minimizing risk. What sets Falcon apart is the elimination of intermediaries such as commercial banks and depository institutions, allowing investors to enjoy higher yields.
[Note: This is a partial preview. To download this presentation, visit:
https://www.oeconsulting.com.sg/training-presentations]
Sustainability has become an increasingly critical topic as the world recognizes the need to protect our planet and its resources for future generations. Sustainability means meeting our current needs without compromising the ability of future generations to meet theirs. It involves long-term planning and consideration of the consequences of our actions. The goal is to create strategies that ensure the long-term viability of People, Planet, and Profit.
Leading companies such as Nike, Toyota, and Siemens are prioritizing sustainable innovation in their business models, setting an example for others to follow. In this Sustainability training presentation, you will learn key concepts, principles, and practices of sustainability applicable across industries. This training aims to create awareness and educate employees, senior executives, consultants, and other key stakeholders, including investors, policymakers, and supply chain partners, on the importance and implementation of sustainability.
LEARNING OBJECTIVES
1. Develop a comprehensive understanding of the fundamental principles and concepts that form the foundation of sustainability within corporate environments.
2. Explore the sustainability implementation model, focusing on effective measures and reporting strategies to track and communicate sustainability efforts.
3. Identify and define best practices and critical success factors essential for achieving sustainability goals within organizations.
CONTENTS
1. Introduction and Key Concepts of Sustainability
2. Principles and Practices of Sustainability
3. Measures and Reporting in Sustainability
4. Sustainability Implementation & Best Practices
To download the complete presentation, visit: https://www.oeconsulting.com.sg/training-presentations
Accpac to QuickBooks Conversion Navigating the Transition with Online Account...PaulBryant58
This article provides a comprehensive guide on how to
effectively manage the convert Accpac to QuickBooks , with a particular focus on utilizing online accounting services to streamline the process.
Improving profitability for small businessBen Wann
In this comprehensive presentation, we will explore strategies and practical tips for enhancing profitability in small businesses. Tailored to meet the unique challenges faced by small enterprises, this session covers various aspects that directly impact the bottom line. Attendees will learn how to optimize operational efficiency, manage expenses, and increase revenue through innovative marketing and customer engagement techniques.
Skye Residences | Extended Stay Residences Near Toronto Airportmarketingjdass
Experience unparalleled EXTENDED STAY and comfort at Skye Residences located just minutes from Toronto Airport. Discover sophisticated accommodations tailored for discerning travelers.
Website Link :
https://skyeresidences.com/
https://skyeresidences.com/about-us/
https://skyeresidences.com/gallery/
https://skyeresidences.com/rooms/
https://skyeresidences.com/near-by-attractions/
https://skyeresidences.com/commute/
https://skyeresidences.com/contact/
https://skyeresidences.com/queen-suite-with-sofa-bed/
https://skyeresidences.com/queen-suite-with-sofa-bed-and-balcony/
https://skyeresidences.com/queen-suite-with-sofa-bed-accessible/
https://skyeresidences.com/2-bedroom-deluxe-queen-suite-with-sofa-bed/
https://skyeresidences.com/2-bedroom-deluxe-king-queen-suite-with-sofa-bed/
https://skyeresidences.com/2-bedroom-deluxe-queen-suite-with-sofa-bed-accessible/
#Skye Residences Etobicoke, #Skye Residences Near Toronto Airport, #Skye Residences Toronto, #Skye Hotel Toronto, #Skye Hotel Near Toronto Airport, #Hotel Near Toronto Airport, #Near Toronto Airport Accommodation, #Suites Near Toronto Airport, #Etobicoke Suites Near Airport, #Hotel Near Toronto Pearson International Airport, #Toronto Airport Suite Rentals, #Pearson Airport Hotel Suites
Skye Residences | Extended Stay Residences Near Toronto Airport
Partial Models: Towards Modeling and Reasoning with Uncertainty
1. Partial
Models:
Towards
Modeling and
Reasoning
with
Uncertainty
M.Famelis,
R.Salay, Partial Models: Towards Modeling and
M.Chechik,
Reasoning with Uncertainty
Introduction
Intuition
Motivating
Example
Modeling Michalis Famelis, Rick Salay, and Marsha Chechik
Uncertainty
Partial Models
Semantics University of Toronto
Reasoning
With
Uncertainty June 7, 2012
Property
Checking ICSE’12, Zurich, Switzerland
Diagnosis
Evaluation
Experiments
Case Study
Conclusion
1 / 29
2. Partial
Models:
Towards
Modeling and
Intuition: Sudoku
Reasoning
with
Uncertainty
M.Famelis,
R.Salay,
M.Chechik,
Introduction
Intuition
Motivating
Example
Modeling
Uncertainty
Partial Models
Semantics
Reasoning
With
Uncertainty
Property
Checking
Diagnosis
Evaluation
Experiments
Case Study
Conclusion Created with GNOME Sudoku 2.32.0.
2 / 29
3. Partial
Models:
Towards
Modeling and
Intuition: Sudoku
Reasoning
with
Uncertainty
M.Famelis,
R.Salay,
M.Chechik,
Introduction
Intuition
Motivating
Example
Modeling
Uncertainty
Partial Models
Semantics
Reasoning
With
Uncertainty
Property
Checking
Diagnosis
Evaluation
Experiments
Case Study
Conclusion Created with GNOME Sudoku 2.32.0.
2 / 29
4. Partial
Models:
Towards
Modeling and
Intuition: Sudoku
Reasoning
with
Uncertainty
M.Famelis,
R.Salay,
M.Chechik,
Introduction
Intuition
Motivating
Example
Modeling
Uncertainty
Partial Models
Semantics
Reasoning
With
Uncertainty
Property
Checking
Diagnosis
Evaluation
Experiments
Case Study
Conclusion Created with GNOME Sudoku 2.32.0.
2 / 29
5. Partial
Models:
Towards
Modeling and
Intuition: Sudoku
Reasoning
with
Uncertainty
M.Famelis,
R.Salay,
M.Chechik,
Introduction
Intuition
Motivating
Example
Modeling
Uncertainty
Partial Models
Semantics
Reasoning
With
Uncertainty
Property
Checking
Diagnosis
Evaluation
Experiments
Case Study
Conclusion Created with GNOME Sudoku 2.32.0.
2 / 29
6. Partial
Models:
Towards
Modeling and
Intuition: Sudoku
Reasoning
with
Uncertainty
M.Famelis,
R.Salay,
M.Chechik,
Introduction
Intuition
Motivating
Example
Modeling
Uncertainty
Partial Models
Semantics
Reasoning
With
Uncertainty
Property
Checking
Diagnosis
Evaluation
Experiments
Case Study
Conclusion Created with GNOME Sudoku 2.32.0.
2 / 29
7. Partial
Models:
Towards
Modeling and
Intuition: Sudoku
Reasoning
with
Uncertainty
M.Famelis,
R.Salay,
M.Chechik,
Introduction
Intuition
Motivating
Example
Modeling
Uncertainty
Partial Models
Semantics
Reasoning
With
Uncertainty
Property
Checking
Diagnosis
Evaluation
Experiments
Case Study
Conclusion Created with GNOME Sudoku 2.32.0.
2 / 29
8. Partial
Models:
Towards
Modeling and
Intuition: Sudoku
Reasoning
with
Uncertainty
M.Famelis,
R.Salay,
M.Chechik,
Introduction
Intuition
Motivating
Example
Modeling
Uncertainty
Partial Models
Semantics
Reasoning
With
Uncertainty
Property
Checking
Diagnosis
Evaluation
Experiments
Case Study
Conclusion Created with GNOME Sudoku 2.32.0.
2 / 29
9. Partial
Models:
Towards
Modeling and
Intuition: Sudoku
Reasoning
with
Uncertainty
M.Famelis,
R.Salay,
M.Chechik,
Introduction
Intuition
Motivating
Example
Modeling
Uncertainty
Partial Models
Semantics
Reasoning
With
Uncertainty
Property
Checking
Diagnosis
Evaluation
Experiments
Case Study
Conclusion Created with GNOME Sudoku 2.32.0.
2 / 29
10. Partial
Models:
Towards
Modeling and
Intuition: Sudoku
Reasoning
with
Uncertainty
M.Famelis,
R.Salay,
M.Chechik,
Introduction
Intuition
Motivating
Example
Modeling
Uncertainty
Partial Models
Semantics
Reasoning
With
Uncertainty
Property
Checking
Diagnosis
Evaluation
Experiments
Case Study
Conclusion Created with GNOME Sudoku 2.32.0.
2 / 29
11. Partial
Models:
Towards
Modeling and
Enough About Sudoku
Reasoning
with
Uncertainty
M.Famelis,
R.Salay,
M.Chechik,
Introduction
Intuition
Motivating
Example
Modeling
Uncertainty
Partial Models
Semantics
Reasoning
With
Uncertainty
Property
Checking
Diagnosis
Evaluation
Experiments
Case Study
Conclusion
Source: Wikimedia,
3 / 29
12. Partial
Models:
Towards
Modeling and
Goal: Uncertainty in Software
Reasoning
with
Uncertainty
M.Famelis,
R.Salay,
M.Chechik,
Modeling
Explicate points of uncertainty
Introduction
Intuition
Correlate points of uncertainty
Motivating
Example
Modeling
Uncertainty
Partial Models Reasoning
Semantics
Reasoning
Check properties
With Give feedback to facilitate diagnosis
Uncertainty
Property
Checking
Diagnosis
Evaluation
Experiments
Case Study
Conclusion
4 / 29
13. Partial
Models:
Towards
Modeling and
Designing a P2P Application
Reasoning
with Trying to design a P2P client application.
Uncertainty
M.Famelis,
R.Salay, What do I know?
M.Chechik,
Introduction
Intuition
Motivating
Example
Modeling
Uncertainty
Partial Models
Semantics
Reasoning
With
Uncertainty
Property
Checking
Diagnosis
Evaluation
Experiments
Case Study
Conclusion
5 / 29
14. Partial
Models:
Towards
Modeling and
Designing a P2P Application
Reasoning
with Trying to design a P2P client application.
Uncertainty
M.Famelis,
R.Salay, What do I not know?
M.Chechik,
Introduction
Intuition
Motivating
Example
Modeling
Uncertainty
Partial Models
Semantics
Reasoning
With
Uncertainty
Property
Checking
Diagnosis
Evaluation
Experiments
Case Study
Conclusion
5 / 29
15. Partial
Models:
Towards
Modeling and
Designing a P2P Application
Reasoning
with Trying to design a P2P client application.
Uncertainty
M.Famelis,
R.Salay, What do I not know?
M.Chechik,
Introduction
Intuition
Motivating
Example
Modeling
Uncertainty
Partial Models
Semantics
Reasoning
With
Uncertainty
Property
Checking
Diagnosis
Evaluation
Experiments
Case Study
Conclusion
5 / 29
16. Partial
Models:
Towards
Modeling and
Designing a P2P Application
Reasoning
with Trying to design a P2P client application.
Uncertainty
M.Famelis,
R.Salay, How can I explicate my uncertainty and reason in its presence?
M.Chechik,
Introduction
Intuition
Motivating
Example
Modeling
Uncertainty
Partial Models
Semantics
Reasoning
With
Uncertainty
Property
Checking
Diagnosis
Evaluation
Experiments
Case Study
Conclusion
5 / 29
17. Partial
Models:
Towards
Modeling and
Contribution
Reasoning
with
Uncertainty
Modeling Uncertainty
M.Famelis,
R.Salay,
M.Chechik,
• Encode uncertainty in Partial Models.
Introduction
• Semantics: sets of conventional models.
Intuition
Motivating
Example
Modeling Reasoning in the Presence of Uncertainty
Uncertainty
Partial Models • Check properties.
Semantics
Reasoning • Give feedback to facilitate diagnosis.
With
Uncertainty
Property
Checking
Diagnosis Evaluation of Reasoning
Evaluation
Experiments • Reasoning with Partial models vs. reasoning with a set of
Case Study
conventional models
Conclusion
6 / 29
18. Partial
Models:
Towards
Modeling and
In Paper / Not In Talk
Reasoning
with
Uncertainty
M.Famelis,
Presentation of these would take too much time:
R.Salay,
M.Chechik, • Encoding conventional models in logic and back
Introduction
• Construction algorithm of Partial Models
Intuition
Motivating • Propositional Normal Form (PNF)
Example
Modeling • Graphical Normal Form (GNF)
Uncertainty
Partial Models • Diagnostic cores
Semantics
Reasoning • “Property-driven” refinement.
With
Uncertainty • Translation from PNF to GNF and vice versa
Property
Checking
Diagnosis • Evaluation of diagnostic cores and property-driven
Evaluation refinement
Experiments
Case Study • Random generation of experimental inputs
Conclusion
7 / 29
19. Partial
Models:
Towards
Modeling and
Contribution
Reasoning
with
Uncertainty
Modeling Uncertainty
M.Famelis,
R.Salay,
M.Chechik,
• Encode uncertainty in Partial Models.
Introduction
• Semantics: sets of conventional models.
Intuition
Motivating
Example
Modeling Reasoning in the Presence of Uncertainty
Uncertainty
Partial Models • Check properties.
Semantics
Reasoning • Give feedback to facilitate diagnosis.
With
Uncertainty
Property
Checking
Diagnosis Evaluation of Reasoning
Evaluation
Experiments • Reasoning with Partial models vs. reasoning with a set of
Case Study
conventional models
Conclusion
8 / 29
20. Partial
Models:
Towards
Modeling and
Partial Models
Reasoning
with
Uncertainty
M.Famelis,
R.Salay,
M.Chechik,
Introduction
Intuition
Motivating
Example
Modeling
Uncertainty
Partial Models
Semantics
Reasoning
With
Uncertainty
Property
Checking
Diagnosis
Evaluation
Experiments
Case Study
Conclusion
9 / 29
21. Partial
Models:
Towards
Modeling and
Partial Models
Reasoning
with
Uncertainty
M.Famelis,
R.Salay,
M.Chechik,
Introduction
Intuition
Motivating
Example
Modeling
Uncertainty
Partial Models
Semantics
Reasoning
With
Uncertainty
Property
Checking
Diagnosis
Evaluation
Experiments
Case Study
Conclusion
9 / 29
22. Partial
Models:
Towards
Modeling and
Partial Models
Reasoning
with
Uncertainty
M.Famelis,
R.Salay,
M.Chechik,
Introduction
Intuition
Motivating
Example
Modeling
Uncertainty
Partial Models
Semantics
Reasoning
With
Uncertainty
Property
Checking
Diagnosis
Evaluation
Experiments
Case Study
Conclusion
9 / 29
23. Partial
Models:
Towards
Modeling and
Partial Models
Reasoning
with
Uncertainty
M.Famelis,
R.Salay,
M.Chechik,
Introduction
Intuition
Motivating
Example
Modeling
Uncertainty
Partial Models
Semantics
Reasoning
With
Uncertainty
Property
Checking
Diagnosis
Evaluation
Experiments
Case Study
Conclusion
9 / 29
24. Partial
Models:
Towards
Modeling and
Partial Models
Reasoning
with
Uncertainty
M.Famelis,
R.Salay,
M.Chechik,
Introduction
Intuition
Motivating
Example
Modeling
Uncertainty
Partial Models
Semantics
Reasoning
With
Uncertainty
Property
Checking
Diagnosis
Evaluation
Experiments
Case Study
Conclusion
9 / 29
25. Partial
Models:
Towards
Modeling and
Partial Models
Reasoning
with
Uncertainty
M.Famelis,
R.Salay,
M.Chechik,
Introduction
Intuition
Motivating
Example
Modeling
Uncertainty
Partial Models
Semantics
Reasoning
With
Uncertainty
Property
Checking
Diagnosis
Evaluation
Experiments
Case Study
Conclusion
9 / 29
26. Partial
Models:
Towards
Modeling and
Semantics of Partial Models
Reasoning
with
Uncertainty
M.Famelis,
R.Salay,
M.Chechik,
Introduction
Intuition
Motivating
Example
Modeling
Uncertainty
Partial Models
Semantics
Reasoning
With
Uncertainty
Property
Checking
Diagnosis
Evaluation
Experiments
Case Study
Conclusion
10 / 29
27. Partial
Models:
Towards
Modeling and
Semantics of Partial Models
Reasoning
with
Uncertainty
M.Famelis,
R.Salay,
M.Chechik,
Introduction
Intuition
Motivating
Example
Modeling
Uncertainty
Partial Models
Semantics
Reasoning
With
Uncertainty
Property
Checking
Diagnosis
Evaluation
Experiments
Case Study
Conclusion
10 / 29
28. Partial
Models:
Towards
Modeling and
Semantics of Partial Models
Reasoning
with
Uncertainty
M.Famelis,
R.Salay,
M.Chechik,
Introduction
Intuition
Motivating
Example
Modeling
Uncertainty
Partial Models
Semantics
Reasoning
With
Uncertainty
Property
Checking
Diagnosis
Evaluation
Experiments
Case Study
Conclusion
10 / 29
29. Partial
Models:
Towards
Modeling and
Related Ideas
Reasoning
with Behavioral modeling:
Uncertainty
• Modal Transition Systems (MTSs) [Larsen’88].
M.Famelis,
R.Salay, • Disjunctive MTSs [Larsen’91].
M.Chechik,
Introduction Software Product Lines:
Intuition
Motivating
Example
• Variability in the metamodel [Morin’09].
Modeling • Featured Transition Systems [Classen’10].
Uncertainty
Partial Models
Semantics
Reasoning Partial Models:
With
Uncertainty
• Language-independent
Property
Checking not just behavioral models!
Diagnosis
• May formula: exact encoding
Evaluation
Experiments thorough reasoning
Case Study
• Focus on systematic management of uncertainty
Conclusion
uncertainty-reducing refinement [VOLT’12]
transformations [MiSE’12]
11 / 29
30. Partial
Models:
Towards
Modeling and
Contribution
Reasoning
with
Uncertainty
Modeling Uncertainty
M.Famelis,
R.Salay,
M.Chechik,
• Encode uncertainty in Partial Models.
Introduction
• Semantics: sets of conventional models.
Intuition
Motivating
Example
Modeling Reasoning in the Presence of Uncertainty
Uncertainty
Partial Models • Check properties.
Semantics
Reasoning • Give feedback to facilitate diagnosis.
With
Uncertainty
Property
Checking
Diagnosis Evaluation of Reasoning
Evaluation
Experiments • Reasoning with Partial models vs. reasoning with a set of
Case Study
conventional models
Conclusion
12 / 29
31. Partial
Models:
Towards
Modeling and
1) Property Checking
Reasoning
with
Uncertainty Property can be:
M.Famelis, • True: holds for all concretizations
R.Salay,
M.Chechik,
• False: holds for none
Introduction • Maybe: true for some, false for others
Intuition
Motivating
Example
Modeling
Uncertainty
Partial Models
To check a property:
Semantics
- Encode model and property in propositional logic.
Reasoning
With
Uncertainty
- Use SAT solver.
Property
Checking
Diagnosis
ΦM ∧ Φp ΦM ∧ ¬Φp Property p
SAT SAT Maybe
Evaluation
Experiments
SAT UNSAT True
Case Study UNSAT SAT False
Conclusion UNSAT UNSAT (model inconsistent)
13 / 29
32. Partial
Models:
Towards
Modeling and
Property Checking: Example
Reasoning
with
Uncertainty
M.Famelis,
R.Salay,
M.Chechik,
Introduction
Intuition
Motivating
Example
Modeling
Uncertainty
Partial Models
Semantics
Reasoning
With
Uncertainty
Property
Checking
Diagnosis
Evaluation
Experiments
Case Study
Conclusion
14 / 29
33. Partial
Models:
Towards
Modeling and
Property Checking: Example
Reasoning
with
Uncertainty
M.Famelis,
R.Salay,
M.Chechik,
Introduction
Intuition
Motivating
Example
Modeling
Uncertainty
Partial Models
Semantics
Reasoning
With
Uncertainty
Property
Checking
Diagnosis
Evaluation
Experiments
Case Study
Conclusion
14 / 29
34. Partial
Models:
Towards
Modeling and
Property Checking: Example
Reasoning
with
Uncertainty
M.Famelis,
R.Salay,
M.Chechik,
Introduction
Intuition
Motivating
Example
Modeling
Uncertainty
Partial Models
Semantics
Reasoning
With
Uncertainty
Property
Checking
Diagnosis
Evaluation
Experiments
Case Study
Conclusion
14 / 29
35. Partial
Models:
Towards
Modeling and
Property Checking: Example
Reasoning
with
Uncertainty
M.Famelis,
R.Salay,
M.Chechik,
Introduction
Intuition
Motivating
Example
Modeling
Uncertainty
Partial Models
Semantics
Reasoning
With
Uncertainty
Property
Checking
Diagnosis
Evaluation
Experiments
Case Study
Conclusion
14 / 29
36. Partial
Models:
Towards
Modeling and
Property Checking: Example
Reasoning
with
Uncertainty
M.Famelis,
R.Salay,
M.Chechik,
Introduction
Intuition
Motivating
Example
Modeling
Uncertainty
Partial Models
Semantics
Reasoning
With
Uncertainty
Property
Checking
Diagnosis
Evaluation
Experiments
Case Study
Conclusion
14 / 29
37. Partial
Models:
Towards
Modeling and
Property Checking: Example
Reasoning
with
Uncertainty
M.Famelis,
R.Salay,
M.Chechik,
Introduction
Intuition
Motivating
Example
Modeling
Uncertainty
Partial Models
Semantics
Reasoning
With
Uncertainty
Property
Checking
Diagnosis
Evaluation
Experiments
Case Study
Conclusion
14 / 29
38. Partial
Models:
Towards
Modeling and
Property Checking: Example
Reasoning
with
Uncertainty
M.Famelis,
R.Salay,
M.Chechik,
Introduction
Intuition
Motivating
Example
Modeling
Uncertainty
Partial Models
Semantics
Reasoning
With
Uncertainty
Property
Checking
Diagnosis
Evaluation
Experiments
Case Study
Conclusion
14 / 29
39. Partial
Models:
Towards
Modeling and
Property Checking: Example
Reasoning
with
Uncertainty
M.Famelis,
R.Salay,
M.Chechik,
Introduction
Intuition
Motivating
Example
Modeling
Uncertainty
Partial Models
Semantics
Reasoning
With
Uncertainty
Property
Checking
Diagnosis
Evaluation
Experiments
Case Study
Conclusion
14 / 29
40. Partial
Models:
Towards
Modeling and
Property Checking: Example
Reasoning
with
Uncertainty
M.Famelis,
R.Salay,
M.Chechik,
Introduction
Intuition
Motivating
Example
Modeling
Uncertainty
Partial Models
Semantics
Reasoning
With
Uncertainty
Property
Checking
Diagnosis
Evaluation
Experiments
Case Study
Conclusion
14 / 29
41. Partial
Models:
Towards
Modeling and
Property Checking: Example
Reasoning
with
Uncertainty
M.Famelis,
R.Salay,
M.Chechik,
Introduction
Intuition
Motivating
Example
Modeling
Uncertainty
Partial Models
Semantics
Reasoning
With
Uncertainty
Property
Checking
Diagnosis
Evaluation
Experiments
Case Study
Conclusion
14 / 29
42. Partial
Models:
Towards
Modeling and
Property Checking: Example
Reasoning
with
Uncertainty
M.Famelis,
R.Salay,
M.Chechik,
Introduction
Intuition
Motivating
Example
Modeling
Uncertainty
Partial Models
Semantics
Reasoning
With
Uncertainty
Property
Checking
Diagnosis
Evaluation
Experiments
Case Study
Conclusion
14 / 29
43. Partial
Models:
Towards
Modeling and
Property Checking: Example
Reasoning
with
Uncertainty
M.Famelis,
R.Salay,
M.Chechik,
Introduction
Intuition
Motivating
Example
Modeling
Uncertainty
Partial Models
Semantics
Reasoning
With
Uncertainty
Property
Checking
Diagnosis
Evaluation
Experiments
Case Study
Conclusion
14 / 29
44. Partial
Models:
Towards
Modeling and
Property Checking: Example
Reasoning
with
Uncertainty
M.Famelis,
R.Salay,
M.Chechik,
Introduction
Intuition
Motivating
Example
Modeling
Uncertainty
Partial Models
Semantics
Reasoning
With
Uncertainty
Property
Checking
Diagnosis
Evaluation
Experiments
Case Study
Conclusion
14 / 29
45. Partial
Models:
Towards
Modeling and
Property Checking: Example
Reasoning
with
Uncertainty
M.Famelis,
R.Salay,
M.Chechik,
Introduction
Intuition
Motivating
Example
Modeling
Uncertainty
Partial Models
Semantics
Reasoning
With
Uncertainty
Property
Checking
Diagnosis
Evaluation
Experiments
Case Study
Conclusion
14 / 29
46. Partial
Models:
Towards
Modeling and
Property Checking: Example
Reasoning
with
Uncertainty
M.Famelis,
R.Salay,
M.Chechik,
Introduction
Intuition
Motivating
Example
Modeling
Uncertainty
Partial Models
Semantics
Reasoning
With
Uncertainty
Property
Checking
Diagnosis
Evaluation
Experiments
Case Study
Conclusion
14 / 29
47. Partial
Models:
Towards
Modeling and
2) Diagnosis
Reasoning
with
Uncertainty
M.Famelis,
R.Salay,
M.Chechik,
Feedback:
A concretization of the Partial Model for which the
Introduction
Intuition property does not hold.
Motivating
Example
Modeling
Uncertainty Reuse the results of property checking:
Partial Models
Semantics
ΦM ∧ Φp ΦM ∧ ¬Φp Property p
Reasoning
With SAT SAT Maybe
Uncertainty SAT UNSAT True
Property UNSAT SAT False
Checking
Diagnosis UNSAT UNSAT (model inconsistent)
Evaluation
Experiments
Case Study
Conclusion
15 / 29
48. Partial
Models:
Towards
Modeling and
Diagnosis: Example
Reasoning
with
Uncertainty
M.Famelis,
R.Salay,
M.Chechik,
Introduction
Intuition
Motivating
Example
Modeling
Uncertainty
Partial Models
Semantics
Reasoning
With
Uncertainty
Property
Checking
Diagnosis
Evaluation
Experiments
Case Study
Conclusion
16 / 29
49. Partial
Models:
Towards
Modeling and
Diagnosis: Example
Reasoning
with
Uncertainty
M.Famelis,
R.Salay,
M.Chechik,
Introduction
Intuition
Motivating
Example
Modeling
Uncertainty
Partial Models
Semantics
Reasoning
With
Uncertainty
Property
Checking
Diagnosis
Evaluation
Experiments
Case Study
Conclusion
16 / 29
50. Partial
Models:
Towards
Modeling and
Contribution
Reasoning
with
Uncertainty
Modeling Uncertainty
M.Famelis,
R.Salay,
M.Chechik,
• Encode uncertainty in Partial Models.
Introduction
• Semantics: sets of conventional models.
Intuition
Motivating
Example
Modeling Reasoning in the Presence of Uncertainty
Uncertainty
Partial Models • Check properties.
Semantics
Reasoning • Give feedback to facilitate diagnosis.
With
Uncertainty
Property
Checking
Diagnosis Evaluation of Reasoning
Evaluation
Experiments • Reasoning with Partial models vs. reasoning with a set of
Case Study
conventional models
Conclusion
17 / 29
51. Partial
Models:
Towards
Modeling and
Questions
Reasoning
with
Uncertainty
Reasoning with Partial models
M.Famelis,
R.Salay, vs
M.Chechik,
Reasoning with a set of conventional models
Introduction
Intuition
Motivating
Example
Modeling
Is there a speedup?
Uncertainty
Partial Models
Semantics How is speedup affected by changing:
Reasoning
With • model size
Uncertainty
Property
Checking
• levels of uncertainty?
Diagnosis
Evaluation
Experiments
Case Study
Conclusion
18 / 29
52. Partial
Models:
Towards
Modeling and
Questions
Reasoning
with
Uncertainty
Reasoning with Partial models
M.Famelis,
R.Salay, vs
M.Chechik,
Reasoning with a set of conventional models
Introduction
Intuition
Motivating
Example
Modeling
Is there a speedup?
Uncertainty
Partial Models
Semantics How is speedup affected by changing:
Reasoning
With • model size
Uncertainty
Property
Checking
• levels of uncertainty?
Diagnosis
Evaluation
Experiments
Case Study
To get answers:
Conclusion 1) Experiments with random inputs.
2) Real-world case study.
18 / 29
53. Partial
Models:
Towards
Modeling and
Experiments
Reasoning
with
Uncertainty
M.Famelis,
R.Salay,
M.Chechik,
Introduction
Intuition
Motivating
Example
Modeling
Uncertainty
Partial Models
Semantics
Reasoning
With
Uncertainty
Property
Checking
Diagnosis
Evaluation
Experiments
Case Study
Conclusion
19 / 29
54. Partial
Models:
Towards
Modeling and
Experiments
Reasoning
with
Uncertainty
M.Famelis,
R.Salay,
M.Chechik,
Introduction
Intuition
Motivating
Example
Modeling
Uncertainty
Partial Models
Semantics
Reasoning
With
Uncertainty
Property
Checking
Diagnosis
Evaluation
Experiments
Case Study
Conclusion
19 / 29
55. Partial
Models:
Towards
Modeling and
Experiments
Reasoning
with
Uncertainty
M.Famelis,
R.Salay,
M.Chechik,
Introduction
Intuition
Motivating
Example
Modeling
Uncertainty
Partial Models
Semantics
Reasoning
With
Uncertainty
Property
Checking
Diagnosis
Evaluation
Experiments
Case Study
Conclusion
19 / 29
56. Partial
Models:
Towards
Modeling and
Experiments
Reasoning
with
Uncertainty
M.Famelis,
R.Salay,
M.Chechik,
Introduction
Intuition
Motivating
Example
Modeling
Uncertainty
Partial Models
Semantics
Reasoning
With
Uncertainty
Property
Checking
Diagnosis
Evaluation
Experiments
Case Study
Conclusion
19 / 29
57. Partial
Models:
Towards
Modeling and
Experiments
Reasoning
with
Uncertainty
M.Famelis,
R.Salay,
M.Chechik,
Introduction
Intuition
Motivating
Example
Modeling
Uncertainty
Partial Models
Semantics
Reasoning
With
Uncertainty
Property
Checking
Diagnosis
Evaluation
Experiments
Case Study
Conclusion
19 / 29
58. Partial
Models:
Towards
Modeling and
Experiments
Reasoning
with
Uncertainty
M.Famelis,
R.Salay,
M.Chechik,
Introduction
Intuition
Motivating
Example
Modeling
Uncertainty
Partial Models
Semantics
Reasoning
With
Uncertainty
Property
Checking
Diagnosis
Evaluation
Experiments
Case Study
Conclusion
19 / 29
59. Partial
Models:
Towards
Modeling and
Experiments
Reasoning
with
Uncertainty
M.Famelis,
R.Salay,
M.Chechik,
Introduction
Intuition
Motivating
Example
Modeling
Uncertainty
Partial Models
Semantics
Reasoning
With
Uncertainty
Property
Checking
Diagnosis
Evaluation
Experiments
Case Study
Conclusion
19 / 29
60. Partial
Models:
Towards
Modeling and
Experiments
Reasoning
with
Uncertainty
M.Famelis,
R.Salay,
M.Chechik,
Introduction
Intuition
Motivating
Example
Modeling
Uncertainty
Partial Models
Semantics
Reasoning
With
Uncertainty
Property
Checking
Diagnosis
Evaluation
Experiments
Case Study
Conclusion
19 / 29
61. Partial
Models:
Towards
Modeling and
Experiments
Reasoning
with
Uncertainty
M.Famelis,
R.Salay,
M.Chechik,
Introduction
Intuition
Motivating
Example
Modeling
Uncertainty
Partial Models
Semantics
Reasoning
With
Uncertainty
Property
Checking
Diagnosis
Evaluation
Experiments
Case Study
Conclusion
19 / 29
62. Partial
Models:
Towards
Modeling and
Case Study
Reasoning
with
Uncertainty
M.Famelis,
Why Case Study?
R.Salay,
M.Chechik, Triangulate experimental results (randomly inputs)
Introduction
with observations from a real-world scenario.
Intuition
Motivating
Example
Modeling
Case Study details:
Uncertainty
Partial Models
• Real-world software project: UMLet.
Semantics
Reasoning
• Real-world bug from UMLet bugzilla.
With
Uncertainty • Realistic bug fixes.
Property
Checking
Diagnosis
• Two properties from literature [V.D.Straeten’03].
Evaluation • 27,261 elements (XL model size)
Experiments
Case Study
• 220 concretizations (XL uncertainty size)
Conclusion
20 / 29
63. Partial
Models:
Towards
Modeling and
Case Study
Reasoning
with
Uncertainty
M.Famelis,
R.Salay,
M.Chechik,
Introduction
Intuition
Motivating
Example
Modeling
Uncertainty
Partial Models
Semantics
Reasoning
With
Uncertainty
Property
Checking
Diagnosis
Evaluation
Experiments
Case Study
Conclusion
21 / 29
64. Partial
Models:
Towards
Modeling and
Results of Evaluation
Reasoning
with
Uncertainty
M.Famelis,
R.Salay,
Reasoning with Partial models
M.Chechik,
vs
Introduction Reasoning with a set of conventional models
Intuition
Motivating
Example
Is there a speedup?
Modeling
Uncertainty
Partial Models
– Yes, it is consistently faster than reasoning with the set.
Semantics
Reasoning
With How is speedup affected by changing model size and levels of
Uncertainty
Property uncertainty?
Checking
Diagnosis
– Speedup decreases with model size.
Evaluation
Experiments
Case Study
– Speedup increases with uncertainty.
Conclusion – No slowdowns!
22 / 29
65. Partial
Models:
Towards
Modeling and
Summary
Reasoning
with
Uncertainty
Modeling Uncertainty
M.Famelis,
R.Salay,
M.Chechik,
• Encode uncertainty in Partial Models.
Introduction
• Semantics: sets of conventional models.
Intuition
Motivating
Example
Modeling Reasoning in the Presence of Uncertainty
Uncertainty
Partial Models • Check properties.
Semantics
Reasoning • Give feedback to facilitate diagnosis.
With
Uncertainty
Property
Checking
Diagnosis Evaluation of Reasoning
Evaluation
Experiments • Reasoning with Partial models vs. reasoning with a set of
Case Study
conventional models
Conclusion
23 / 29
66. Partial
Models:
Towards
Modeling and
The Big Picture
Reasoning
with
Uncertainty
M.Famelis,
R.Salay,
M.Chechik,
Introduction
Intuition
Motivating
Example
Modeling
Uncertainty
Partial Models
Semantics
Reasoning
With
Uncertainty
Property
Checking
Diagnosis
Evaluation
Experiments
Case Study
Conclusion
24 / 29
67. Partial
Models:
Towards
Modeling and
Next Steps
Reasoning
with
Uncertainty
M.Famelis,
R.Salay,
M.Chechik,
Introduction
Intuition
Motivating
Example
Modeling
Uncertainty
Partial Models
Semantics
Reasoning
With
Uncertainty
Property
Checking
Diagnosis
Evaluation
Experiments
Case Study
Conclusion
25 / 29
69. Partial
Models:
Towards
Modeling and
Language Independent!
Reasoning
with
Uncertainty
M.Famelis,
R.Salay,
M.Chechik,
Introduction
Intuition
Motivating
Example
Modeling
Uncertainty
Partial Models
Semantics
Reasoning
With
Uncertainty
Property
Checking
Diagnosis
Evaluation
Experiments
Case Study Class Diagram example from [MiSE’12].
Conclusion
27 / 29
70. Partial
Models:
Towards
Modeling and
Bibliography I
Reasoning
with
Uncertainty
P. Classen, A.and Heymans, P.Y. Schobbens, A. Legay, and J.F. Raskin.
“Model Checking Lots of Systems: Efficient Verification of Temporal
M.Famelis, Properties in Software Product Lines”.
R.Salay,
M.Chechik, In Proc. of ICSE’10, pages 335–344, 2010.
M. Famelis, Shoham Ben-David, Marsha Chechik, and Rick Salay.
Introduction
“Partial Models: A Position Paper”.
Intuition
Motivating In Proc. of MoDeVVa’11, pages 1–6, 2011.
Example
Modeling M. Famelis, R. Salay, and M. Chechik.
Uncertainty “The Semantics of Partial Model Transformations”.
Partial Models In Proc. of MiSE’12, 2012.
Semantics
Reasoning K. G. Larsen and B. Thomsen.
With “A Modal Process Logic”.
Uncertainty
In Proc. of LICS’88, pages 203–210, 1988.
Property
Checking
Diagnosis P. Larsen.
Evaluation “The Expressive Power of Implicit Specifications”.
Experiments In Proc. of ICALP’91, volume 510 of LNCS, pages 204–216, 1991.
Case Study
Conclusion
M.Famelis, R.Salay, and M. Chechik.
“The Semantics of Partial Model Transformations”.
In Proc. of MiSE’12, pages 546–560, 2012.
28 / 29
71. Partial
Models:
Towards
Modeling and
Bibliography II
Reasoning
with
Uncertainty
M.Famelis,
B. Morin, G. Perrouin, P. Lahire, O. Barais, G. Vanwormhoudt, and J. M.
R.Salay, J´z´quel.
e e
M.Chechik, “Weaving Variability into Domain Metamodels”.
J. Model Driven Engineering Languages and Systems, pages 690–705, 2009.
Introduction
Intuition R.Salay, M. Chechik, and J.Horkoff.
Motivating
Example “Managing Requirements Uncertainty with Partial Models”.
In Proc. of RE’12, pages 546–560, 2012.
Modeling
Uncertainty
R. Salay, M. Chechik, and J. Gorzny.
Partial Models
Semantics “Towards a Methodology for Verifying Partial Model Refinements”.
Reasoning
In Proc. of VOLT’12, 2012.
With
Uncertainty R. Salay, M. Famelis, and M. Chechik.
Property “Language Independent Refinement using Partial Modeling”.
Checking
Diagnosis
In Proc. of FASE’12, 2012.
Evaluation R. V. D. Straeten, T. Mens, J. Simmonds, and V. Jonckers.
Experiments “Using Description Logic to Maintain Consistency between UML Models”.
Case Study
In Proc. of UML’03, pages 326–340, 2003.
Conclusion
29 / 29