Skip to main content
SpringerLink
Log in

Domain Globalization: Using Languages to Support Technical and Social Coordination

  • Chapter
  • First Online:
Globalizing Domain-Specific Languages

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 9400))

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 34.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 44.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    http://en.wikipedia.org/wiki/Eclipse_Modeling_Framework.

  2. 2.

    http://www.phoenix-int.com/software/phx-modelcenter.php.

  3. 3.

    http://www.espertech.com/esper/.

  4. 4.

    http://cps-vo.org/group/avm/meta-overview.

  5. 5.

    http://en.wikipedia.org/wiki/High-level_architecture_(simulation).

  6. 6.

    http://www-ens.iro.umontreal.ca/~syriani/atompm/atompm.htm.

  7. 7.

    http://scg.unibe.ch/research/helvetia.

  8. 8.

    http://www.metacase.com/.

  9. 9.

    http://www.txl.ca/.

  10. 10.

    http://strategoxt.org/Spoofax/WebHome.

  11. 11.

    http://www.jetbrains.com/mps/.

  12. 12.

    http://www.isis.vanderbilt.edu/Projects/gme/.

  13. 13.

    http://webgme.org/.

  14. 14.

    http://research.microsoft.com/en-us/projects/formula/.

  15. 15.

    https://github.com/david-broman/modelyze.

  16. 16.

    http://gemoc.org/studio.

  17. 17.

    http://ptolemy.eecs.berkeley.edu/ptolemyII/index.htm.

  18. 18.

    https://www.fmi-standard.org.

  19. 19.

    https://modelica.org.

  20. 20.

    functional mock-up unit, https://www.fmi-standard.org.

  21. 21.

    Pheonix: http://www.phoenix-int.com/software/phx-modelcenter.php.

References

  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)

    Chapter  Google Scholar 

  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. 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)

    Article  MathSciNet  MATH  Google Scholar 

  4. Meyer, B.: Eiffel: The Language. Prentice-Hall, Upper Saddle River (1991)

    MATH  Google Scholar 

  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. Shao, B., Wang, H., Li, Y.: The Trinity Graph Engine. Technical report MSR-TR-2012-30, March 2012

    Google Scholar 

  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. 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 2012

    Google Scholar 

  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. 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)

    Article  Google Scholar 

  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. Carriero, N., Gelernter, D.: How to write parallel programs: a guide to the perplexed. ACM Comput. Surv. 21(3), 323–357 (1989)

    Article  Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  15. Cordy, J.R.: The TXL source transformation language. Sci. Comput. Program. 61(3), 190–210 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  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. 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. 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)

    Article  Google Scholar 

  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. 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)

    Article  Google Scholar 

  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. Fowler, M.: Language Workbenches: The Killer-App for Domain-Specific Languages, June 2005

    Google Scholar 

  23. Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press, Cambridge (1998)

    Book  MATH  Google Scholar 

  24. Frost, R., Launchbury, J.: Constructing natural language interpreters in a lazy functional language. Comput. J. 32(2), 108–121 (1989)

    Article  Google Scholar 

  25. Papadopoulos, G.A., Arbab, F.: Coordination Models and Languages. Advances in Computers, vol. 46, pp. 329–400. Elsevier, Amsterdam (1998)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  27. Kozine, I., Utkin, L.V.: Interval-valued finite markov chains. Reliable Comput. 8(2), 97–113 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  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)

    MathSciNet  MATH  Google Scholar 

  29. Karsai, G., Lang, A., Neema, S.: Design patterns for open tool integration. Softw. Syst. Model. 4(2), 157–170 (2005)

    Article  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    MATH  Google Scholar 

  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. 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. 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. 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)

    Chapter  Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  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)

    Article  MathSciNet  MATH  Google Scholar 

  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)

    Article  Google Scholar 

  43. Scott, E., Johnstone, A.: GLL Parsing. Electron. Notes Theor. Comput. Sci. 253(7), 177–189 (2010)

    Article  Google Scholar 

  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. Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework 2.0. Addison-Wesley Professional, Reading (2009)

    Google Scholar 

  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. CEUR-WS.org, Miami (2013)

    Google Scholar 

  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. Tomita, M.: Efficient Parsing for Natural Language: A Fast Algorithm for Practical Systems, vol. 8. Springer, New York (1985)

    Google Scholar 

  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. Varró, G., Friedl, K., Varró, D.: Implementing a graph transformation engine in relational databases. J. Softw. Syst. Model. 5(3), 313–341 (2006)

    Article  Google Scholar 

  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 

Download references

Author information

Authors and Affiliations

  1. University of Nice-Sophia-Antipolis, Nice, France

    Julien Deantoni

  2. Obeo, Carquefou, France

    Cédric Brun

  3. INRIA, Rennes, France

    Benoit Caillaud

  4. University of Colorado, Boulder, CO, USA

    Robert B. France

  5. Vanderbilt University, Nashville, TN, USA

    Gabor Karsai

  6. University of Bern, Bern, Switzerland

    Oscar Nierstrasz

  7. University of Montreal, Montreal, Canada

    Eugene Syriani

Authors
  1. Julien Deantoni
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Cédric Brun
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Benoit Caillaud
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Robert B. France
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Gabor Karsai
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Oscar Nierstrasz
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. Eugene Syriani
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Cédric Brun .

Editor information

Editors and Affiliations

  1. IRISA, Université de Rennes 1, Rennes, France

    Benoit Combemale

  2. Michigan State University, East Lansing, Michigan, USA

    Betty H.C. Cheng

  3. Colorado State University, Fort Collins, Colorado, USA

    Robert B. France

  4. IRISA, Université de Rennes 1, Rennes, France

    Jean-Marc Jézéquel

  5. RWTH Aachen University, Aachen, Germany

    Bernhard Rumpe

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this chapter

Cite this chapter

Deantoni, J. et al. (2015). Domain Globalization: Using Languages to Support Technical and Social Coordination. In: Combemale, B., Cheng, B., France, R., Jézéquel, JM., Rumpe, B. (eds) Globalizing Domain-Specific Languages. Lecture Notes in Computer Science(), vol 9400. Springer, Cham. https://doi.org/10.1007/978-3-319-26172-0_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-26172-0_5

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-26171-3

  • Online ISBN: 978-3-319-26172-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation