research-article

Expressing Confidence in Models and in Model Transformation Elements

Authors:

Loli Burgueño,

Manuel F. Bertoa,

Nathalie Moreno,

Antonio VallecilloAuthors Info & Claims

MODELS '18: Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems

Pages 57 - 66

https://doi.org/10.1145/3239372.3239394

Published: 14 October 2018 Publication History

Abstract

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.

References

[1]

Atenea research group's official website, 2018. http://atenea.lcc.uma.es/projects/ConfidenceMandMT.html. Accessed: July 2018.

[2]

LinTra Git repository, 2018. https://github.com/atenearesearchgroup/lintra.git. Accessed: July 2018.

[3]

G. Agha, J. Meseguer, and K. Sen. Pmaude: Rewrite-based specification language for probabilistic object systems. ENTCS, 153(2):213--239, 2006.

Digital Library

[4]

E. Alevizos, A. Skarlatidis, A. Artikis, and G. Paliouras. Complex event processing under uncertainty: A short survey. In Proc. of EDBT/ICDT'15, pages 97--103. CEUR-WS.org, 2015.

[5]

T. Arendt, E. Biermann, S. Jurack, C. Krause, and G. Taentzer. Henshin: Advanced concepts and tools for inplace EMF model transformations. In Proc. of MODELS'10, volume 6394 of LNCS, pages 121--135. Springer, 2010.

Digital Library

[6]

M. F. Bertoa, N. Moreno, G. Barquero, L. Burgueño, J. Troya, and A. Vallecillo. Expressing Measurement Uncertainty in OCL/UML Datatypes. In Proc. of ECMFA'18, number 10890 in LNCS, pages 46--62. Springer, July 2018.

[7]

J. Bézivin. On the unification power of models. Journal on Software and Systems Modeling, 4(2):171--188, 2005.

Digital Library

[8]

L. Burgueño, M. F. Bertoa, N. Moreno, and A. Vallecillo. Expressing confidence in model and model transformation elements, 2018. http://remodd.org/node/581. Accessed: July 2018.

[9]

L. Burgueño, M. Wimmer, and A. Vallecillo. A Linda-based platform for the parallel execution of outplace model transformations. Information & Software Technology, 79:17--35, 2016.

Digital Library

[10]

J. S. Cuadrado and J. de Lara. Streaming model transformations: Scenarios, challenges and initial solutions. In Proc. of ICMT'13, volume 7909 of LNCS, pages 1--16. Springer, 2013.

[11]

G. Cugola and A. Margara. Processing flows of information: From data stream to complex event processing. ACM Comput. Surv., 44(3):15:1--15:62, 2012.

Digital Library

[12]

G. Cugola, A. Margara, M.Matteucci, and G. Tamburrelli. Introducing uncertainty in complex event processing: model, implementation, and validation. Computing, 97(2):103--144, 2015.

Digital Library

[13]

G. Cugola, A. Margara, M. Pezzè, and M. Pradella. Efficient analysis of event processing applications. In Proc. of DEBS'15, pages 10--21. ACM, 2015.

Digital Library

[14]

I. Dávid, I. Ráth, and D. Varró. Foundations for streaming model transformations by complex event processing. Software and System Modeling, 17(1):135--162, 2018.

Digital Library

[15]

R. Eramo, A. Pierantonio, and G. Rosa. Managing uncertainty in bidirectional model transformations. In Proc. of SLE '15, pages 49--58. ACM, 2015.

Digital Library

[16]

N. Esfahani and S. Malek. Uncertainty in self-adaptive software systems. In Software Engineering for Self-Adaptive Systems II, number 7475 in LNCS, pages 214--238. Springer, 2013.

[17]

O. Etzion and P. Niblett. Event Processing in Action. Manning Publications, 2010.

Digital Library

[18]

M. Famelis, R. Salay, and M. Chechik. Partial models: Towards modeling and reasoning with uncertainty. In Proceedings of the 34th International Conference on Software Engineering, ICSE'12, pages 573--583. IEEE Press, 2012.

Digital Library

[19]

M. Famelis, R. Salay, A. Di Sandro, and M. Chechik. Transformation of models containing uncertainty. In Proc. of MODELS'13, volume 8107 of LNCS, pages 673--689. Springer, 2013.

Digital Library

[20]

W. Feller. An Introduction to Probability Theory and Its Applications. Wiley, 2008.

[21]

D. Garlan. Software Engineering in an Uncertain World. In Proc. of the FSE/SDP Workshop on Future of Software Engineering Research (FoSER'10), pages 125--128. ACM, 2010.

Digital Library

[22]

IEEE Std 1003.1-2008. The Open Group Base Specifications. Issue 7, Sect. 4.16, Seconds Since the Epoch, 2016.

[23]

JCGM 100:2008. Evaluation of measurement data -- Guide to the expression of uncertainty in measurement (GUM). Joint Committee for Guides in Metrology, 2008. http://www.bipm.org/utils/common/documents/jcgm/JCGM_100_2008_E.pdf.

[24]

JCGM 101:2008. Evaluation of measurement data -- Supplement 1 to the "Guide to the expression of uncertainty in measurement" -- Propagation of distributions using a Monte Carlo method. Joint Committee for Guides in Metrology, 2008. http://www.bipm.org/utils/common/documents/jcgm/JCGM_101_2008_E.pdf.

[25]

JCGM 200:2012. International Vocabulary of Metrology -- Basic and general concepts and associated terms (VIM), 3rd edition. Joint Committee for Guides in Metrology, 2012. http://www.bipm.org/utils/common/documents/jcgm/JCGM_200_2012.pdf.

[26]

B. Kosko. Fuzziness vs. Probability. International Journal of General Systems, 17(2--3):211--240, 1990.

[27]

B. Littlewood, M. Neil, and G. Ostrolenk. The role of models in managing the uncertainty of software-intensive systems. Reliability Engineering & System Safety, 50(1):87 -- 95, 1995.

[28]

D. C. Luckham. The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems. Addison-Wesley, 2002.

Digital Library

[29]

T. Mayerhofer, M. Wimmer, and A. Vallecillo. Adding uncertainty and units to quantity types in software models. In Proc. of SLE'16, pages 118--131. ACM, 2016.

Digital Library

[30]

T. Mens and P. V. Gorp. A taxonomy of model transformation. Electronic Notes in Theoretical Computer Science, 152:125-142, 2006.

Digital Library

[31]

N. Moreno, M. F. Bertoa, G. Barquero, L. Burgueño, J. Troya, and A. Vallecillo. Managing Uncertain Complex Events in Web of Things Applications. In Proc. of ICWE' 18, number 10845 in LNCS, pages 1--9. Springer, July 2018.

[32]

OMG. UML Profile for Modeling and Analysis of Realtime and Embedded Systems (MARTE). Object Management Group, June 2008. OMG doc. ptc/08-06-08.

[33]

R. Salay, M. Chechik, J. Horkoff, and A. Sandro. Managing requirements uncertainty with partial models. Requirements Engineering, 18(2):107-128, 2013.

Digital Library

[34]

B. Selic. Beyond Mere Logic -- A Vision of Modeling Languages for the 21st Century. In Proc. of MODELSWARD 2015 and PECCS 2015, pages IS--5. SciTePress, 2015.

[35]

J. Troya and A. Vallecillo. A rewriting logic semantics for ATL. Journal of Object Technology, 10:5:1--29, 2011.

[36]

Y. H. Wang, K. Cao, and X. M. Zhang. Complex event processing over distributed probabilistic event streams. Computers & Mathematics with Applications, 66(10):1808--1821, 2013.

Digital Library

[37]

S. Wasserkrug, A. Gal, O. Etzion, and Y. Turchin. Complex event processing over uncertain data. In Proc. of DEBS' 08, pages 253--264. ACM, 2008.

Digital Library

[38]

M. Zhang, S. Ali, T. Yue, R. Norgren, and O. Okariz. Uncertainty-wise cyberphysical system test modeling. Software & Systems Modeling, Jul 2017.

[39]

M. Zhang, B. Selic, S. Ali, T. Yue, O. Okariz, and R. Norgren. Understanding uncertainty in cyberphysical systems: A conceptual model. In Proc. of ECMFA '16, volume 9764 of LNCS, pages 247--264. Springer, 2016.

Digital Library

Cited By

Burgueño LMuñoz PClarisó RCabot JGérard SVallecillo A(2023)Dealing with Belief Uncertainty in Domain ModelsACM Transactions on Software Engineering and Methodology10.1145/354294732:2(1-34)Online publication date: 31-Mar-2023
https://dl.acm.org/doi/10.1145/3542947
Kreutz AWeiss GTrapp M(2023)Towards Uncertainty Reduction Tactics for Behavior AdaptationSoftware Architecture. ECSA 2022 Tracks and Workshops10.1007/978-3-031-36889-9_15(199-214)Online publication date: 16-Jul-2023
https://doi.org/10.1007/978-3-031-36889-9_15
Scrieciu ŞVarga LZimmermann NChalabi ZFreeman RDolan TBorisoglebsky DDavies M(2022)An Inquiry into Model Validity When Addressing Complex Sustainability ChallengesComplexity10.1155/2022/11938912022(1-17)Online publication date: 30-Sep-2022
https://doi.org/10.1155/2022/1193891
Show More Cited By

Index Terms

Expressing Confidence in Models and in Model Transformation Elements
1. Information systems
  1. Data management systems
    1. Database design and models
      1. Data model extensions
        Uncertainty
2. Software and its engineering

Recommendations

Patterns for Implementing Uncertainty Propagation
EuroPLoP '18: Proceedings of the 23rd European Conference on Pattern Languages of Programs

In this paper, the design patterns Uncertain Number and Propagation Strategy are presented. They are useful for storing uncertainties of values and propagating them throughout calculations in an application. Uncertain Number represents a numerical value ...
Fuzzy Monte Carlo Simulation using point-cloud-based probability-possibility transformation

Fuzzy Monte Carlo Simulation (FMCS) uses both the probability density function (pdf) and possibility distributions (e.g., fuzzy numbers) to model the uncertainty/imprecision associated with the input parameters and, then, to simulate the uncertainty/...
Naive possibilistic classifiers for imprecise or uncertain numerical data

In real-world problems, input data may be pervaded with uncertainty. In this paper, we investigate the behavior of naive possibilistic classifiers, as a counterpart to naive Bayesian ones, for dealing with classification tasks in the presence of ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

MODELS '18: Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems

October 2018

478 pages

ISBN:9781450349499

DOI:10.1145/3239372

Conference Chair:
Andrzej Wąsowski,
Program Chairs:
Richard Paige,
Øystein Haugen

Copyright © 2018 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 14 October 2018

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Badges

Best Paper

Author Tags

Qualifiers

Research-article
Research
Refereed limited

Funding Sources

Ministerio de Economía y Competitividad

Conference

MODELS '18

Sponsor:

SIGSOFT

MODELS '18: ACM/IEEE 21th International Conference on Model Driven Engineering Languages and Systems

October 14 - 19, 2018

Copenhagen, Denmark

Acceptance Rates

MODELS '18 Paper Acceptance Rate 29 of 101 submissions, 29%;

Overall Acceptance Rate 118 of 382 submissions, 31%

Upcoming Conference

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

12
Total Citations
View Citations
259
Total Downloads

Downloads (Last 12 months)16
Downloads (Last 6 weeks)1

Reflects downloads up to

Other Metrics

View Author Metrics

Citations

Cited By

Burgueño LMuñoz PClarisó RCabot JGérard SVallecillo A(2023)Dealing with Belief Uncertainty in Domain ModelsACM Transactions on Software Engineering and Methodology10.1145/354294732:2(1-34)Online publication date: 31-Mar-2023
https://dl.acm.org/doi/10.1145/3542947
Kreutz AWeiss GTrapp M(2023)Towards Uncertainty Reduction Tactics for Behavior AdaptationSoftware Architecture. ECSA 2022 Tracks and Workshops10.1007/978-3-031-36889-9_15(199-214)Online publication date: 16-Jul-2023
https://doi.org/10.1007/978-3-031-36889-9_15
Scrieciu ŞVarga LZimmermann NChalabi ZFreeman RDolan TBorisoglebsky DDavies M(2022)An Inquiry into Model Validity When Addressing Complex Sustainability ChallengesComplexity10.1155/2022/11938912022(1-17)Online publication date: 30-Sep-2022
https://doi.org/10.1155/2022/1193891
Batot ECabot JGerard S(2021)(Not) Yet Another Metamodel For Traceability2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)10.1109/MODELS-C53483.2021.00125(787-796)Online publication date: Oct-2021
https://doi.org/10.1109/MODELS-C53483.2021.00125
Troya JMoreno NBertoa MVallecillo A(2021)Uncertainty representation in software models: a surveySoftware and Systems Modeling10.1007/s10270-020-00842-1Online publication date: 8-Jan-2021
https://doi.org/10.1007/s10270-020-00842-1
Bertoa MMoreno NPerez-Vereda ABandera DÁlvarez-Palomo JCanal C(2020)Digital AvatarsWireless Communications & Mobile Computing10.1155/2020/88910022020Online publication date: 25-Nov-2020
https://dl.acm.org/doi/10.1155/2020/8891002
Mussbacher GCombemale BAbrahão SBencomo NBurgueño LEngels GKienzle JKühn TMosser SSahraoui HWeyssow MGuerra EIovino L(2020)Towards an assessment grid for intelligent modeling assistanceProceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings10.1145/3417990.3421396(1-10)Online publication date: 16-Oct-2020
https://dl.acm.org/doi/10.1145/3417990.3421396
Laghouaouta YLaforcade PHung CCerny TShin DBechini A(2020)Dealing with uncertainty in model transformationsProceedings of the 35th Annual ACM Symposium on Applied Computing10.1145/3341105.3373971(1595-1603)Online publication date: 30-Mar-2020
https://dl.acm.org/doi/10.1145/3341105.3373971
Chechik MKokaly SRahimi MSalay RViger T(2020)Uncertainty, Modeling and Safety Assurance: Towards a Unified FrameworkVerified Software. Theories, Tools, and Experiments10.1007/978-3-030-41600-3_2(19-29)Online publication date: 14-Mar-2020
https://doi.org/10.1007/978-3-030-41600-3_2
Bertoa MMoreno NPerez-Vereda ABandera DÁlvarez-Palomo JCanal C(2020)Digital Avatars for Older People’s CareGerontechnology10.1007/978-3-030-41494-8_6(59-70)Online publication date: 29-Feb-2020
https://doi.org/10.1007/978-3-030-41494-8_6
Show More Cited By

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents