Expressing Confidence in Models and in Model Transformation Elements

The expression and management of uncertainty, both in the information and in the operations that manipulate it, is a critical issue in those systems that work with physical environments. Measurement uncertainty can be due to several factors, such as unreliable data sources, tolerance in the measurements, or the inability to determine if a certain event has actually happened or not. In particular, this contribution focuses on the expression of one kind of uncertainty, namely the confidence on the model elements, i.e., the degree of belief that we have on their occurrence, and on how such an uncertainty can be managed and propagated through model transformations, whose rules can also be subject to uncertainty.

[1]  Feller William,et al.  An Introduction To Probability Theory And Its Applications , 1950 .

[2]  Dániel Varró,et al.  Foundations for Streaming Model Transformations by Complex Event Processing , 2016, Software & Systems Modeling.

[3]  Bran Selic.  Beyond Mere Logic - A Vision of Modeling Languages for the 21st Century , 2015, MODELSWARD.

[4]  Antonio Vallecillo,et al.  Managing Uncertain Complex Events in Web of Things Applications , 2018, ICWE.

[5]  Rick Salay,et al.  Transformation of Models Containing Uncertainty , 2013, MoDELS.

[6]  Bev Littlewood,et al.  The role of models in managing the uncertainty of software-intensive systems , 1995 .

[7]  Sam Malek,et al.  Uncertainty in Self-Adaptive Software Systems , 2010, Software Engineering for Self-Adaptive Systems.

[8]  Gabriele Taentzer,et al.  Henshin: advanced concepts and tools for in-place EMF model transformations , 2010, MODELS'10.

[9]  Alessandro Margara,et al.  Processing flows of information: From data stream to complex event processing , 2012, CSUR.

[10]  Bran Selic,et al.  Understanding Uncertainty in Cyber-Physical Systems: A Conceptual Model , 2016, ECMFA.

[11]  Rick Salay,et al.  Partial models: Towards modeling and reasoning with uncertainty , 2012, 2012 34th International Conference on Software Engineering (ICSE).

[12]  Antonio Vallecillo,et al.  Adding uncertainty and units to quantity types in software models , 2016, SLE.

[13]  Xiaoming Zhang,et al.  Complex Event Processing over distributed probabilistic event streams , 2012, 2012 9th International Conference on Fuzzy Systems and Knowledge Discovery.

[14]  B. Kosko.  Fuzziness vs. probability , 1990 .

[15]  Tom Mens,et al.  A Taxonomy of Model Transformation , 2006, GRaMoT@GPCE.

[16]  Juan de Lara,et al.  Streaming Model Transformations: Scenarios, Challenges and Initial Solutions , 2013, ICMT.

[17]  Rick Salay,et al.  Managing requirements uncertainty with partial models , 2012, 2012 20th IEEE International Requirements Engineering Conference (RE).

[18]  Giordano Tamburrelli,et al.  Introducing uncertainty in complex event processing: model, implementation, and validation , 2014, Computing.

[19]  Opher Etzion,et al.  Event Processing in Action , 2010 .

[20]  Antonio Vallecillo,et al.  A Linda-based platform for the parallel execution of out-place model transformations , 2016, Inf. Softw. Technol..

[21]  Avigdor Gal,et al.  Complex event processing over uncertain data , 2008, DEBS.

[22]  Alfonso Pierantonio,et al.  Managing uncertainty in bidirectional model transformations , 2015, SLE.

[23]  David Luckham,et al.  The power of events - an introduction to complex event processing in distributed enterprise systems , 2002, RuleML.

[24]  Man Zhang,et al.  Uncertainty-Wise Cyber-Physical System test modeling , 2019, Software & Systems Modeling.

[25]  Antonio Vallecillo,et al.  Expressing Measurement Uncertainty in OCL/UML Datatypes , 2018, ECMFA.

[26]  Jean Bézivin,et al.  On the unification power of models , 2005, Software & Systems Modeling.

[27]  Alexander Artikis,et al.  Complex Event Processing Under Uncertainty: A Short Survey , 2015, EDBT/ICDT Workshops.

[28]  Matteo Pradella,et al.  Efficient analysis of event processing applications , 2015, DEBS.

[29]  David Garlan,et al.  Software engineering in an uncertain world , 2010, FoSER '10.

[30]  José Meseguer,et al.  PMaude: Rewrite-based Specification Language for Probabilistic Object Systems , 2006, QAPL.

[31]  Antonio Vallecillo,et al.  A Rewriting Logic Semantics for ATL , 2011, J. Object Technol..

[32]  Rick Salay,et al.  Managing requirements uncertainty with partial models , 2012, RE.