Abstract
Collections are omnipresent within models: collections of references can represent relations between objects, and collections of values can represent object attributes. Consequently, manipulating models often consists of performing operations on collections. For example, transformations create target collections from given source collections. Similarly, constraint evaluations perform computation on collections. Recent research works focus on making such transformations or constraint evaluations active (i.e. incremental, or live). However, they propose their own solutions to the issue by the introduction of specific languages and/or systems. This paper proposes a mathematical formalism, centered on collections and independent of languages and systems, that describes how the implementation of standard operations on collections can be made active. The formalism also introduces a reversed active assignment dedicated to bidirectional operations. A case study illustrates how to use the formalism and its Active Kermeta implementation for creating an active transformation.
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
Giese, H., Wagner, R.: From model transformation to incremental bidirectional model synchronization. Software and Systems Modeling 8(1), 21–43 (2008)
Hearnden, D., Lawley, M., Raymond, K.: Incremental model transformation for the evolution of model-driven systems. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 321–335. Springer, Heidelberg (2006)
Akehurst, D.H.: Model Translation: A UML-based specification technique and active implementation approach. PhD thesis, University of Kent (2000)
Cabot, J., Teniente, E.: Incremental evaluation of OCL constraints. In: Dubois, E., Pohl, K. (eds.) CAiSE 2006. LNCS, vol. 4001, pp. 81–95. Springer, Heidelberg (2006)
Villard, L., Layaïda, N.: An incremental XSLT transformation processor for XML document manipulation. In: Proc. of WWW 2002, pp. 474–485. ACM, New York (2002)
Xiong, Y., Liu, D., Hu, Z., Zhao, H., Takeichi, M., Mei, H.: Towards automatic model synchronization from model transformations. In: Proc. of ASE 2007, pp. 164–173. ACM, New York (2007)
Muller, P.A., Fleurey, F., Jézéquel, J.M.: Weaving executability into object-oriented meta-languages. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol. 3713, pp. 264–278. Springer, Heidelberg (2005)
Warmer, J.B., Kleppe, A.G.: The object constraint language: getting your models ready for MDA. Addison-Wesley, Reading
Beaudoux, O., Blouin, A.: Linking data and presentations: from mapping to active transformations. In: Proc. of DocEng 2010. ACM, New York (2010) (in press)
Varró, D., Balogh, A.: The model transformation language of the viatra2 framework. Sci. Comput. Program. 68(3), 187–207 (2007)
Jouault, F., Kurtev, I.: Transforming models with ATL. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 128–138. Springer, Heidelberg (2006)
Blouin, A., Beaudoux, O., Loiseau, S.: Malan: A mapping language for the data manipulation. In: Proc. of DocEng 2008, pp. 66–75. ACM, New York (2008)
Blanc, X., Mounier, I., Mougenot, A., Mens, T.: Detecting model inconsistency through operation-based model construction. In: Proc. of ICSE 2008, pp. 511–520. ACM, New York (2008)
Beaudoux, O.: XML active transformation (eXAcT): transforming documents within interactive systems. In: Proc. of DocEng 2005, pp. 146–148. ACM, New York (2005)
OMG: MOF QVT final adopted specification. OMG document, OMG (2005)
Blouin, A., Beaudoux, O.: Improving modularity and usability of interactive systems with Malai. In: Proc. of EICS 2010, pp. 115–124. ACM, New York (2010)
Beaudoux, O., Beaudouin-Lafon, M.: OpenDPI: A toolkit for developing document-centered environments. In: Enterprise Information Systems VII, pp. 231–239. Springer, Heidelberg (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Beaudoux, O., Blouin, A., Barais, O., Jézéquel, JM. (2010). Active Operations on Collections. In: Petriu, D.C., Rouquette, N., Haugen, Ø. (eds) Model Driven Engineering Languages and Systems. MODELS 2010. Lecture Notes in Computer Science, vol 6394. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16145-2_7
Download citation
DOI: https://doi.org/10.1007/978-3-642-16145-2_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-16144-5
Online ISBN: 978-3-642-16145-2
eBook Packages: Computer ScienceComputer Science (R0)