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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
- 2.
- 3.
- 4.
- 5.
- 6.
- 7.
- 8.
- 9.
- 10.
- 11.
- 12.
- 13.
- 14.
- 15.
- 16.
- 17.
- 18.
- 19.
- 20.
functional mock-up unit, https://www.fmi-standard.org.
- 21.
References
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)
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)
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)
Meyer, B.: Eiffel: The Language. Prentice-Hall, Upper Saddle River (1991)
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)
Shao, B., Wang, H., Li, Y.: The Trinity Graph Engine. Technical report MSR-TR-2012-30, March 2012
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)
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
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)
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)
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)
Carriero, N., Gelernter, D.: How to write parallel programs: a guide to the perplexed. ACM Comput. Surv. 21(3), 323–357 (1989)
Clavreul, M.: Model and Metamodel Composition: Separation of Mapping and Interpretation for Unifying Existing Model Composition Techniques. Ph.D. thesis, Université Rennes 1 (2011)
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)
Cordy, J.R.: The TXL source transformation language. Sci. Comput. Program. 61(3), 190–210 (2006)
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)
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)
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)
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)
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)
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)
Fowler, M.: Language Workbenches: The Killer-App for Domain-Specific Languages, June 2005
Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press, Cambridge (1998)
Frost, R., Launchbury, J.: Constructing natural language interpreters in a lazy functional language. Comput. J. 32(2), 108–121 (1989)
Papadopoulos, G.A., Arbab, F.: Coordination Models and Languages. Advances in Computers, vol. 46, pp. 329–400. Elsevier, Amsterdam (1998)
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)
Kozine, I., Utkin, L.V.: Interval-valued finite markov chains. Reliable Comput. 8(2), 97–113 (2002)
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)
Karsai, G., Lang, A., Neema, S.: Design patterns for open tool integration. Softw. Syst. Model. 4(2), 157–170 (2005)
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)
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)
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)
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)
Kuhl, F., Dahmann, J., Weatherly, R.: Creating Computer Simulation Systems: An Introduction to the High Level Architecture. Prentice Hall PTR, Upper Saddle River (2000)
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)
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)
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)
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)
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)
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)
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)
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)
Scott, E., Johnstone, A.: GLL Parsing. Electron. Notes Theor. Comput. Sci. 253(7), 177–189 (2010)
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)
Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework 2.0. Addison-Wesley Professional, Reading (2009)
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)
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)
Tomita, M.: Efficient Parsing for Natural Language: A Fast Algorithm for Practical Systems, vol. 8. Springer, New York (1985)
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)
Varró, G., Friedl, K., Varró, D.: Implementing a graph transformation engine in relational databases. J. Softw. Syst. Model. 5(3), 313–341 (2006)
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)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights 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)