Domain Globalization: Using Languages to Support Technical and Social Coordination

  • Julien Deantoni
  • Cédric Brun
  • Benoit Caillaud
  • Robert B. France
  • Gabor Karsai
  • Oscar Nierstrasz
  • Eugene Syriani
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9400)


When a project is realized in a globalized environment, multiple stakeholders from different organizations work on the same system. Depending on the stakeholders and their organizations, various (possibly overlapping) concerns are raised in the development of the system. In this context a Domain Specific Language (DSL) supports the work of a group of stakeholders who are responsible for addressing a specific set of concerns. This chapter identifies the open challenges arising from the coordination of globalized domain-specific languages. We identify two types of coordination: technical coordination and social coordination. After presenting an overview of the current state of the art, we discuss first the open challenges arising from the composition of multiple DSLs, and then the open challenges associated to the collaboration in a globalized environment.


Composition Coordination DSL Globalization 


  1. 1.
    Alam, O., Kienzle, J., Mussbacher, G.: Concern-oriented software design. In: Moreira, A., Schätz, B., Gray, J., Vallecillo, A., Clarke, P. (eds.) MODELS 2013. LNCS, vol. 8107, pp. 604–621. Springer, Heidelberg (2013) CrossRefGoogle Scholar
  2. 2.
    Benelallam, A., Gómez, A., Sunyé, G., Tisi, M., Launay, D.: Neo4EMF, a scalable persistence layer for EMF models. In: Cabot, J., Rubin, J. (eds.) ECMFA 2014. LNCS, vol. 8569, pp. 230–241. Springer, Heidelberg (2014) Google Scholar
  3. 3.
    Caillaud, B., Delahaye, B., Larsen, K.G., Legay, A., Pedersen, M.L., Wasowski, A.: Constraint markov chains. Theor. Comput. Sci. 412(34), 4373–4404 (2011)MathSciNetCrossRefzbMATHGoogle Scholar
  4. 4.
    Meyer, B.: Eiffel: The Language. Prentice-Hall, Upper Saddle River (1991)zbMATHGoogle Scholar
  5. 5.
    Bézivin, J., Brunelière, H., Cabot, J., Doux, G., Jouault, F., Sottet, J.-S., et al.: Model driven tool interoperability in practice. In: Proceedings of the 3rd Workshop on Model-Driven Tool & Process Integration (co-located with ECMFA 2010), pp. 62–72 (2010)Google Scholar
  6. 6.
    Shao, B., Wang, H., Li, Y.: The Trinity Graph Engine. Technical report MSR-TR-2012-30, March 2012Google Scholar
  7. 7.
    Blochwitz, T., Otter, M., Arnold, M., Bausch, C., Clauß, C., Elmqvist, H., Junghanns, A., Mauss, J., Monteiro, M., Neidhold, T., et al.: The functional mockup interface for tool independent exchange of simulation models. In: 8th International Modelica Conference, Dresden, pp. 20–22 (2011)Google Scholar
  8. 8.
    Broman, D., Siek, J.G.: Modelyze: a Gradually Typed Host Language for Embedding Equation-Based Modeling Languages. Technical report UCB/EECS-2012-173, EECS Department, University of California, Berkeley, Jun 2012Google Scholar
  9. 9.
    Ford, B.: Parsing expression grammars: a recognition-based syntactic foundation. In: POPL 2004: Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 111–122. ACM, New York (2004)Google Scholar
  10. 10.
    Burmester, S., Giese, H., Niere, J., Tichy, M., Wadsack, J.P., Wagner, R., Wendehals, L., Zündorf, A.: Tool integration at the meta-model level: the Fujaba approach. Int. J. Softw. Tools Technol. Transf. 6(3), 203–218 (2004)CrossRefGoogle Scholar
  11. 11.
    Caracciolo, A., Lungu, M., Nierstrasz, O.: A unified approach to architecture conformance checking. In: Proceedings of the 12th Working IEEE/IFIP Conference on Software Architecture (WICSA). ACM Press (2015)Google Scholar
  12. 12.
    Carriero, N., Gelernter, D.: How to write parallel programs: a guide to the perplexed. ACM Comput. Surv. 21(3), 323–357 (1989)CrossRefGoogle Scholar
  13. 13.
    Clavreul, M.: Model and Metamodel Composition: Separation of Mapping and Interpretation for Unifying Existing Model Composition Techniques. Ph.D. thesis, Université Rennes 1 (2011)Google Scholar
  14. 14.
    Combemale, B., De Antoni, J., Larsen, M.V., Mallet, F., Barais, O., Baudry, B., France, R.B.: Reifying concurrency for executable metamodeling. In: Erwig, M., Paige, R.F., Van Wyk, E. (eds.) SLE 2013. LNCS, vol. 8225, pp. 365–384. Springer, Heidelberg (2013) CrossRefGoogle Scholar
  15. 15.
    Cordy, J.R.: The TXL source transformation language. Sci. Comput. Program. 61(3), 190–210 (2006)MathSciNetCrossRefzbMATHGoogle Scholar
  16. 16.
    Corley, J., Ergin, H., Van Mierlo, S., Syriani, E.: Cloud-based multi-view modeling environments. In: Modern Software Engineering Methodologies for Mobile and Cloud Environments. IGI Global (2015)Google Scholar
  17. 17.
    Broman, D., Brooks, C.X., Greenberg, L., Lee, E.A., Masin, M., Tripakis, S., Wetter, M.: Determinate composition of FMUs for co-simulation. In: Proceedings of the International Conference on Embedded Software, EMSOFT 2013, Montreal, QC, Canada, September 29–October 4, 2013, pp. 1–12. IEEE (2013)Google Scholar
  18. 18.
    Eker, J., Janneck, J.W., Lee, E.A., Liu, J., Liu, X., Ludvig, J., Neuendorffer, S., Sachs, S., Xiong, Y.: Taming heterogeneity - the Ptolemy approach. Proc. IEEE 91(1), 127–144 (2003)CrossRefGoogle Scholar
  19. 19.
    Erdweg, S., Giarrusso, P.G., Rendel, T.: Language composition untangled. In: Proceedings of the Twelfth Workshop on Language Descriptions, Tools, and Applications, LDTA 2012, pp. 7:1–7:8. ACM, New York (2012)Google Scholar
  20. 20.
    Erickson, T., Kellogg, W.A.: Social translucence: an approach to designing systems that support social processes. ACM Trans. Comput. Hum. Interact. 7(1), 59–83 (2000)CrossRefGoogle Scholar
  21. 21.
    Jackson, E.K., Kang, E., Dahlweid, M., Seifert, D., Santen, T.: Components, platforms and possibilities: towards generic automation for MDA. In: EMSOFT, pp. 39–48. ACM (2010)Google Scholar
  22. 22.
    Fowler, M.: Language Workbenches: The Killer-App for Domain-Specific Languages, June 2005Google Scholar
  23. 23.
    Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press, Cambridge (1998)CrossRefzbMATHGoogle Scholar
  24. 24.
    Frost, R., Launchbury, J.: Constructing natural language interpreters in a lazy functional language. Comput. J. 32(2), 108–121 (1989)CrossRefGoogle Scholar
  25. 25.
    Papadopoulos, G.A., Arbab, F.: Coordination Models and Languages. Advances in Computers, vol. 46, pp. 329–400. Elsevier, Amsterdam (1998) Google Scholar
  26. 26.
    Hardebolle, C., Boulanger, F.: ModHel’X: a component-oriented approach to multi-formalism modeling. In: Giese, H. (ed.) MODELS 2008. LNCS, vol. 5002, pp. 247–258. Springer, Heidelberg (2008) CrossRefGoogle Scholar
  27. 27.
    Kozine, I., Utkin, L.V.: Interval-valued finite markov chains. Reliable Comput. 8(2), 97–113 (2002)MathSciNetCrossRefzbMATHGoogle Scholar
  28. 28.
    Raclet, J.-B., Badouel, E., Benveniste, A., Caillaud, B., Legay, A., Passerone, R.: A modal interface theory for component-based design. Fundam. Inform. 108(1–2), 119–149 (2011)MathSciNetzbMATHGoogle Scholar
  29. 29.
    Karsai, G., Lang, A., Neema, S.: Design patterns for open tool integration. Softw. Syst. Model. 4(2), 157–170 (2005)CrossRefGoogle Scholar
  30. 30.
    Honda, K.: Session types and distributed computing. In: Czumaj, A., Mehlhorn, K., Pitts, A., Wattenhofer, R. (eds.) ICALP 2012, Part II. LNCS, vol. 7392, pp. 23–23. Springer, Heidelberg (2012) CrossRefGoogle Scholar
  31. 31.
    Kramler, G., Kappel, G., Reiter, T., Kapsammer, E., Retschitzegger, W., Schwinger, W.: Towards a semantic infrastructure supporting model-based tool integration. In: Proceedings of the 2006 International Workshop on Global Integrated Model Management, pp. 43–46. ACM (2006)Google Scholar
  32. 32.
    Krause, C., Tichy, M., Giese, H.: Implementing graph transformations in the bulk synchronous parallel model. In: Gnesi, S., Rensink, A. (eds.) FASE 2014 (ETAPS). LNCS, vol. 8411, pp. 325–339. Springer, Heidelberg (2014) CrossRefGoogle Scholar
  33. 33.
    Chatterjee, K., Sen, K., Henzinger, T.A.: Model-checking \(\omega \)-regular properties of interval Markov chains. In: Amadio, R.M. (ed.) FOSSACS 2008. LNCS, vol. 4962, pp. 302–317. Springer, Heidelberg (2008) CrossRefGoogle Scholar
  34. 34.
    Kuhl, F., Dahmann, J., Weatherly, R.: Creating Computer Simulation Systems: An Introduction to the High Level Architecture. Prentice Hall PTR, Upper Saddle River (2000) zbMATHGoogle Scholar
  35. 35.
    Leblebici, E., Anjorin, A., Schürr, A.: Developing eMoflon with eMoflon. In: Di Ruscio, D., Varró, D. (eds.) ICMT 2014. LNCS, vol. 8568, pp. 138–145. Springer, Heidelberg (2014) Google Scholar
  36. 36.
    Ledeczi, A., Volgyesi, P., Karsai, G.: Metamodel composition in the generic modeling environment. In: Communications at Workshop on Adaptive Object-Models and Metamodeling Techniques, Ecoop, vol. 1 (2001)Google Scholar
  37. 37.
    Kats, L.C.L., Visser, E.: The spoofax language workbench. Rules for declarative specification of languages and IDEs. In: Rinard, M. (ed.) Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2010, October 17–21, 2010, Reno, NV, USA, pp. 444–463 (2010)Google Scholar
  38. 38.
    de Alfaro, L., da Silva, L.D., Faella, M., Legay, A., Roy, P., Sorea, M.: Sociable interfaces. In: Gramlich, B. (ed.) FroCos 2005. LNCS (LNAI), vol. 3717, pp. 81–105. Springer, Heidelberg (2005) CrossRefGoogle Scholar
  39. 39.
    de Alfaro, L., Henzinger, T.A.: Interface automata. In: Proceedings of the 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE’01), pp. 109–120. ACM Press (2001)Google Scholar
  40. 40.
    Renggli, L., Gîrba, T., Nierstrasz, O.: Embedding languages without breaking tools. In: D’Hondt, T. (ed.) ECOOP 2010. LNCS, vol. 6183, pp. 380–404. Springer, Heidelberg (2010) CrossRefGoogle Scholar
  41. 41.
    Abbes, S., Benveniste, A.: True-concurrency probabilistic models: Markov nets and a law of large numbers. Theor. Comput. Sci. 390(2–3), 129–170 (2008)MathSciNetCrossRefzbMATHGoogle Scholar
  42. 42.
    Sander, I., Jantsch, A.: System modeling and transformational design refinement in ForSyDe [formal system design]. IEEE Trans. Comput. Aided Des. Integr. Circ. Syst. 23(1), 17–32 (2004)CrossRefGoogle Scholar
  43. 43.
    Scott, E., Johnstone, A.: GLL Parsing. Electron. Notes Theor. Comput. Sci. 253(7), 177–189 (2010)CrossRefGoogle Scholar
  44. 44.
    Shah, S.M., Wei, R., Kolovos, D.S., Rose, L.M., Paige, R.F., Barmpis, K.: A framework to benchmark NoSQL data stores for large-scale model persistence. In: Dingel, J., Schulte, W., Ramos, I., Abrahão, S., Insfran, E. (eds.) MODELS 2014. LNCS, vol. 8767, pp. 586–601. Springer, Heidelberg (2014) Google Scholar
  45. 45.
    Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework 2.0. Addison-Wesley Professional, Reading (2009) Google Scholar
  46. 46.
    Syriani, E., Vangheluwe, H., Mannadiar, R., Hansen, C., Van Mierlo, S., Ergin, H.: AToMPM: a web-based modeling environment. In: MODELS 2013: Invited Talks, Demos, Posters, and ACM SRC, vol. 1115., Miami (2013)Google Scholar
  47. 47.
    Sztipanovits, J., Bapty, T., Neema, S., Howard, L., Jackson, E.: OpenMETA: a model- and component-based design tool chain for cyber-physical systems. In: Bensalem, S., Lakhneck, Y., Legay, A. (eds.) From Programs to Systems. LNCS, vol. 8415, pp. 235–248. Springer, Heidelberg (2014) Google Scholar
  48. 48.
    Tomita, M.: Efficient Parsing for Natural Language: A Fast Algorithm for Practical Systems, vol. 8. Springer, New York (1985) Google Scholar
  49. 49.
    Larsen, M.E.V., Deantoni, J., Combemale, B., Mallet, F.: A behavioral coordination operator language (BCOoL). In: ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (Models) (2015)Google Scholar
  50. 50.
    Varró, G., Friedl, K., Varró, D.: Implementing a graph transformation engine in relational databases. J. Softw. Syst. Model. 5(3), 313–341 (2006)CrossRefGoogle Scholar
  51. 51.
    White, J., Odeh, F., Sangiovanni Vincentelli, A.L., Ruehli, A.: Waveform relaxation: theory and practice. Technical report UCB/ERL M85/65, EECS Department, University of California, Berkeley (1985)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Julien Deantoni
    • 1
  • Cédric Brun
    • 2
  • Benoit Caillaud
    • 3
  • Robert B. France
    • 4
  • Gabor Karsai
    • 5
  • Oscar Nierstrasz
    • 6
  • Eugene Syriani
    • 7
  1. 1.University of Nice-Sophia-AntipolisNiceFrance
  2. 2.ObeoCarquefouFrance
  3. 3.INRIARennesFrance
  4. 4.University of ColoradoBoulderUSA
  5. 5.Vanderbilt UniversityNashvilleUSA
  6. 6.University of BernBernSwitzerland
  7. 7.University of MontrealMontrealCanada

Personalised recommendations