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 artificially remove it, with negative impacts on software cost and quality. Instead, we propose a technique to adapt existing model transformations so that they can be applied to models even if they contain uncertainty, thus enabling the use of transformations earlier. Building on earlier work, we show how to adapt graph rewrite-based model transformations to correctly operate on May uncertainty, a technique that allows explicit uncertainty to be expressed in any modeling language. We evaluate our approach on the classic Object-Relational Mapping use case, experimenting with models of varying levels of uncertainty.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Arendt, T., Biermann, E., Jurack, S., Krause, C., Taentzer, G.: Henshin: Advanced concepts and tools for in-place EMF model transformations. In: Petriu, D.C., Rouquette, N., Haugen, Ø. (eds.) MODELS 2010, Part I. LNCS, vol. 6394, pp. 121–135. Springer, Heidelberg (2010)
Bézivin, J., Schürr, A., Tratt, L.: Model Transformations in Practice Workshop. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 120–127. Springer, Heidelberg (2006)
Casais, E.: The Automatic Reorganization of Object Oriented Hierarchies – A Case Study. Object Oriented Systems 1, 95–115 (1994)
Czarnecki, K., Helsen, S.: Staged Configuration Using Feature Models. In: Nord, R.L. (ed.) SPLC 2004. LNCS, vol. 3154, pp. 266–283. Springer, Heidelberg (2004)
De Moura, L., Bjørner, N.: Satisfiability Modulo Theories: Introduction and Applications. Commun. ACM 54(9), 69–77 (2011)
Ebert, C., De Man, J.: Requirements Uncertainty: Influencing Factors and Concrete Improvements. In: Proc. of ICSE 2005, pp. 553–560 (2005)
Eclipse, CDO website: http://www.eclipse.org/cdo/ (accessed March 16, 2013)
Eclipse, Teneo website: http://wiki.eclipse.org/Teneo/ (accessed March 16, 2013)
Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation, 1st edn. Monographs in Theoretical Computer Science. An EATCS Series. Springer (2006)
Famelis, M., Chechik, M., Salay, R.: Partial Models: Towards Modeling and Reasoning with Uncertainty. In: Proc. of ICSE 2012 (2012)
Famelis, M., Chechik, M., Salay, R.: The Semantics of Partial Model Transformations. In: Proc. of MiSE 2012 (2012)
Famelis, M., Chechik, M., Salay, R.: Towards Modeling and Reasoning with Uncertainty (submitted, 2013)
Ibrahim, H., Far, B.H., Eberlein, A., Daradkeh, Y.: Uncertainty Management in Software Engineering: Past, Present, and Future. In: Proc. of CCECE 2009, pp. 7–12 (2009)
Famelis, M., Santosa, S.: MAV-Vis: a Notation for Model Uncertainty. In: Proc. of MiSE 2013 (2013)
Mens, T., Van Eetvelde, N., Demeyer, S., Janssens, D.: Formalizing Refactorings with Graph Transformations. Journal of Software Maintenance and Evolution: Research and Practice 17(4), 247–276 (2005)
Sabetzadeh, M., Nejati, S., Chechik, M., Easterbrook, S.: Reasoning about Consistency in Model Merging. In: Proc. LWI 2010 (2010)
Salay, R., Chechik, M., Easterbrook, S., Diskin, Z., McCormick, P., Nejati, S., Sabetzadeh, M., Viriyakattiyaporn, P.: An Eclipse-Based Tool Framework for Software Model Management. In: Proc. of Eclipse 2007, pp. 55–59 (2007)
Salay, R., Chechik, M., Famelis, M., Gorzny, J.: Verification of Uncertainty Reducing Model Transformations (submitted, 2013)
Salay, R., Chechik, M., Gorzny, J.: Towards a Methodology for Verifying Partial Model Refinements. In: Proc. of VOLT 2012 (2012)
Salay, R., Famelis, M., Chechik, M.: Language Independent Refinement using Partial Modeling. In: de Lara, J., Zisman, A. (eds.) FASE 2012. LNCS, vol. 7212, pp. 224–239. Springer, Heidelberg (2012)
Sawyer, P., Bencomo, N., Whittle, J., Letier, E., Finkelstein, A.: Requirements-Aware Systems: A Research Agenda for RE for Self-adaptive Systems. In: Proc. of RE 2010, pp. 95–103 (2010)
Schobbens, P.Y., Heymans, P., Trigaux, J.C.: Feature diagrams: A survey and a formal semantics. In: Proc. of RE 2006, pp. 139–148 (2006)
Segura, S., Benavides, D., Ruiz-Cortés, A., Trinidad, P.: Automated Merging of Feature Models Using Graph Transformations. In: Lämmel, R., Visser, J., Saraiva, J. (eds.) GTTSE 2007. LNCS, vol. 5235, pp. 489–505. Springer, Heidelberg (2008)
Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework, 2nd edn. Addison-Wesley (2009)
van Lamsweerde, A.: Requirements Engineering - From System Goals to UML Models to Software Specifications. Wiley (2009)
Varró, D., Varró–Gyapay, S., Ehrig, H., Prange, U., Taentzer, G.: Termination Analysis of Model Transformations by Petri Nets. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol. 4178, pp. 260–274. Springer, Heidelberg (2006)
Wouters, L., Gervais, M.P.: Ontology Transformations. In: Proc of EDOC 2012, pp. 71–80 (2012)
Ziv, H., Richardson, D.J., Klösch, R.: The Uncertainty Principle in Software Engineering (1996) (unpublished)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Famelis, M., Salay, R., Di Sandro, A., Chechik, M. (2013). Transformation of Models Containing Uncertainty. In: Moreira, A., Schätz, B., Gray, J., Vallecillo, A., Clarke, P. (eds) Model-Driven Engineering Languages and Systems. MODELS 2013. Lecture Notes in Computer Science, vol 8107. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-41533-3_41
Download citation
DOI: https://doi.org/10.1007/978-3-642-41533-3_41
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-41532-6
Online ISBN: 978-3-642-41533-3
eBook Packages: Computer ScienceComputer Science (R0)