ABSTRACT
Uncertainty is pervasive in Model-based Software Engineering. In previous work, we have proposed partial models as a way to explicate uncertainty during modeling. Using partial models, modelers can perform certain forms of reasoning, like checking properties, without the having to prematurely resolve uncertainty. In this paper, we present a strategy for encoding partial models into different reasoning formalisms and conduct an empirical study aimed to compare the effectiveness of these formalisms for checking properties of partial models.
- C. Baral. Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge, UK, 2003. Google ScholarDigital Library
- C. Barrett, A. Stump, and C. Tinelli. The SMT-LIB Standard: Version 2.0. In Proc. of SMT'10, 2010.Google Scholar
- L. De Moura and N. Bjørner. Satisfiability Modulo Theories: Introduction and Applications. Commun. ACM, 54(9):69--77, Sept. 2011. Google ScholarDigital Library
- N. Eén and N. Sörensson. An Extensible SAT-Solver. In Theory and Applications of Satisfiability Testing, pages 333--336. Springer, 2004.Google Scholar
- M. Famelis, S. Ben-David, M. Chechik, and R. Salay. Partial Models: A Position Paper. In Proc. of MoDeVVa'11, pages 1--6, 2011. Google ScholarDigital Library
- M. Famelis, M. Chechik, and R. Salay. Partial Models: Towards Modeling and Reasoning with Uncertainty. In Proc. of ICSE'12, June 2012. Google ScholarDigital Library
- M. Famelis, M. Chechik, and R. Salay. The Semantics of Partial Model Transformations. In Proc. of MiSE'12, June 2012.Google ScholarCross Ref
- M. Gebser, R. Kaminski, A. König, and T. Schaub. Advances in gringo Series 3. In Proc. of LPNMR'11, volume 6645 of LNCS, pages 345--351, 2011. Google ScholarDigital Library
- M. Gebser, B. Kaufmann, A. Neumann, and T. Schaub. Conflict-Driven Answer Set Solving. In Proc. of IJCAI'07, pages 386--392, 2007. Google ScholarDigital Library
- J. Gorzny, R. Salay, and M. Chechik. Change Propagation Due to Uncertainty Change, August 2012. submitted.Google Scholar
- D. Jackson. Software Abstractions: Logic, Language, and Analysis. MIT Press, 2006. Google ScholarDigital Library
- V. W. Marek and M. Truszczynski. Stable Models and an Alternative Logic Programming Paradigm. CoRR, cs.LO/9809032, 1998.Google Scholar
- N. Nethercote, P. Stuckey, R. Becket, S. Brand, G. Duck, and G. Tack. Minizinc: Towards a Standard CP Modelling Language. In Proc. of CP'07, pages 529--543. Springer, 2007. Google ScholarDigital Library
- R. Pohl, K. Lauenroth, and K. Pohl. A Performance Comparison of Contemporary Algorithmic Approaches for Automated Analysis Operations on Feature Models. In Proc. of ASE'11, pages 313--322. IEEE Computer Society, 2011. Google ScholarDigital Library
- R. Salay, M. Chechik, and J. Gorzny. Towards a Methodology for Verifying Partial Model Refinements. In Proc. of VOLT'12, April 2012. Google ScholarDigital Library
- R. Salay, M. Chechik, and J. Horkoff. Managing Requirements Uncertainty with Partial Models. In Proc. of RE'12, 2012. to appear. Google ScholarDigital Library
- R. Salay, M. Famelis, and M. Chechik. Language Independent Refinement using Partial Modeling. In Proc. of FASE'12, 2012. Google ScholarDigital Library
- A. Silberschatz, H. Korth, and S. Sudarshan. Database System Concepts. McGraw-Hill, 2010. Google ScholarDigital Library
- E. Tsang. Foundations of constraint satisfaction. Academic Press, London San Diego, 1993.Google Scholar
Index Terms
- Comparing the effectiveness of reasoning formalisms for partial models
Recommendations
Partial differential equations associated with certain non-linear algorithms
ZusammenfassungIn der letzten Zeit sind eine Anzahl nicht-linearer Algorithmen untersucht worden, die in der Analysis und numerischen Mathematik von besonderer Wichtigkeit sind.
Diese Algorithmen betreffen Grössen, die in einem zweidimensionalen Schema ...
Stay on Course in VR: Comparing the Precision of Movement between Gamepad, Armswinger, and Treadmill: Kurs halten in VR: Vergleich der Bewegungspräzision von Gamepad, Armswinger und Laufstall
MuC '21: Proceedings of Mensch und Computer 2021In diesem Beitrag wird untersucht, inwieweit verschiedene Formen von Fortbewegungstechniken in Virtual Reality Umgebungen Einfluss auf die Präzision bei der Interaktion haben. Dabei wurden insgesamt drei Techniken untersucht: Zwei der Techniken ...
Comments