Skip to main content
Springer Nature Link
Log in

Integrating External Services in DIME

  • Conference paper
  • First Online:
Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2021)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 13036))

Included in the following conference series:

Abstract

We show how to extend the (application) Domain Specific Languages supported by the DIME low-code development environment to integrate functionalities hosted on heterogeneous technologies and platforms. Developers can this way utilize within DIME entire platforms like e.g. R for data analytics, and collections of services, like e.g. any REST-based microservices. In this paper we describe the current architecture of the DIME-based Digital Thread platform we are building in a collection of interdisciplinary collaborative projects, discuss the role of various DSLs in the platform, and provide a step by step tutorial for the integration of external platforms and external services in DIME. The goal is to enable a wide range of DIME adopters to integrate their application specific external services in the DIME open source platform, bootstrapping a collaborative ecosystem where the low-code activity of integrating external capabilities facilitates an increasingly no-code application development on the basis of pre-integrated Application DSLs.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
CHF34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
CHF 24.95
Price includes VAT (Switzerland)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
CHF 66.00
Price excludes VAT (Switzerland)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
CHF 83.00
Price excludes VAT (Switzerland)
  • 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

Similar content being viewed by others

References

  1. Edgex foundry: The edgex foundry platform. https://www.edgexfoundry.org/. Accessed July 2021

  2. Research: Intelligent process automation and the emergence of digital automation platforms. https://www.redhat.com/cms/managed-files/mi-451-research-intelligent-process-automation-analyst-paper-f11434-201802.pdf. Accessed February 2021

  3. Boßelmann, S., et al.: DIME: a programming-less modeling environment for web applications. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9953, pp. 809–832. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-47169-3_60

    Chapter  Google Scholar 

  4. Chaudhary, H.A.A., Margaria, T.: Integration of micro-services as components in modeling environments for low code development. Proc. ISP RAS 33(4) (2021)

    Google Scholar 

  5. Gartner: Gartner forecasts worldwide low-code development technologies market to grow 23% in 2021. https://www.gartner.com/en/newsroom/press-releases/2021-02-15-gartner-forecasts-worldwide-low-code-development-technologies-market-to-grow-23-percent-in-2021. Accessed February 2021

  6. iBASEt: The digital thread explained. https://www.ibaset.com/the-digital-thread-explained/. Accessed July 2021

  7. John, J., Ghosal, A., Margaria, T., Pesch, D.: DSLS and middleware platforms in a model driven development approach for secure predictive maintenance systems in smart factories. In: Margaria, T., Steffen, B. (eds.) ISoLA 2021, LNCS, vol. 13036, pp. 146–161, Springer, Heidelberg (2021)

    Google Scholar 

  8. John, J., Ghosal, A., Margaria, T., Pesch, D.: Dsls for model driven development of secure interoperable automation systems. In: 2021 Forum for Specification and Design Languages (FDL). IEEE (2021, September (in print))

    Google Scholar 

  9. Jorges, S., Kubczak, C., Pageau, F., Margaria, T.: Model driven design of reliable robot control programs using the jabc. In: Proceedings EASe’07, vol. 07, pp. 137–148 (2007). https://doi.org/10.1109/EASE.2007.17

  10. Khan, R., Schieweck, A., Breathnach, C., Margaria, T.: Historical civil registration record transcription using an extreme model driven approach. Proc. ISP RAS 33(3) (2021)

    Google Scholar 

  11. Kubczak, C., Margaria, T., Steffen, B., Nagel, R.: Service-oriented Mediation with jABC/jETI (2008)

    Google Scholar 

  12. Lamprecht, A.L., Margaria, T., Steffen, B.: Bio-jETI: a framework for semantics-based service composition. BMC Bioinform. 10(Suppl 10), S8 (2009). https://doi.org/10.1186/1471-2105-10-S10-S8

  13. Margaria, T.: Web services-based tool-integration in the ETI platform. Softw. Syst. Model. 4(2), 141–156 (2005). https://doi.org/10.1007/s10270-004-0072-z

  14. Margaria, T., Chaudhary, H.A.A., Guevara, I., Ryan, S., Schieweck, A.: The interoperability challenge: building a model-driven digital thread platform for CPS. In: Margaria, T., Steffen, B. (eds.) ISoLA 2021, LNCS, vol. 13036, pp. 393–413. Springer, Heidelberg (2021)

    Google Scholar 

  15. Margaria, T., Nagel, R., Steffen, B.: Remote integration and coordination of verification tools in JETI. In: Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems, pp. 431–436. IEEE Computer Society, Los Alamitos, CA, USA (2005). https://doi.org/10.1109/ECBS.2005.59

  16. Margaria, T., Schieweck, A.: The digital thread in Industry 4.0. In: Ahrendt, W., Tapia Tarifa, S.L. (eds.) IFM 2019. LNCS, vol. 11918, pp. 3–24. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-34968-4_1

    Chapter  Google Scholar 

  17. Margaria, T., Steffen, B.: Business process modeling in the jabc: the one-thing approach. In: Handbook of Research on Business Process Modeling, pp. 1–26. IGI Global (2009)

    Google Scholar 

  18. Margaria, T., Steffen, B.: Extreme model-driven development (xmdd) technologies as a hands-on approach to software development without coding. In: Encyclopedia of Education and Information Technologies, pp. 732–750 (2020)

    Google Scholar 

  19. Mellor, S.J., Clark, T., Futagami, T.: Model-driven development: guest editors’ introduction. IEEE Softw. 20(5), 14–18 (2003). issn 0740–7459

    Google Scholar 

  20. Moerman, K.M.: Gibbon: the geometry and image-based bioengineering add-on. J. Open Source Softw. 3(22), 506 (2018)

    Article  Google Scholar 

  21. Naujokat, S., Lybecait, M., Kopetzki, D., Steffen, B.: CINCO: a simplicity-driven approach to full generation of domain-specific graphical modeling tools. Int. J. Softw. Tools Technol. Transfer 20(3), 327–354 (2017). https://doi.org/10.1007/s10009-017-0453-6

    Article  Google Scholar 

  22. Neubauer, J., Frohme, M., Steffen, B., Margaria, T.: Prototype-driven development of web applications with DyWA. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014. LNCS, vol. 8802, pp. 56–72. Springer, Heidelberg (2014). https://doi.org/10.1007/978-3-662-45234-9_5

    Chapter  Google Scholar 

  23. Newman, S.: Building microservices: designing fine-grained systems. O’Reilly Media, Inc. (2015)

    Google Scholar 

  24. Sanchis, R., García-Perales, Ó., Fraile, F., Poler, R.: Low-code as enabler of digital transformation in manufacturing industry. Appl. Sci. 10(1), 12 (2020)

    Article  Google Scholar 

  25. Steffen, B., Margaria, T., Claßen, A., Braun, V.: The METAFrame’95 environment. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol. 1102, pp. 450–453. Springer, Heidelberg (1996). https://doi.org/10.1007/3-540-61474-5_100

    Chapter  Google Scholar 

  26. Steffen, B., Margaria, T., Claßen, A., et al.: Heterogeneous analysis and verification for distributed systems. In: Software-Concepts and Tools, pp. 13–25 (1996)

    Google Scholar 

  27. Waszkowski, R.: Low-code platform for automating business processes in manufacturing. IFAC-PapersOnLine 52(10), 376–381 (2019)

    Article  Google Scholar 

  28. Zweihoff, P., Naujokat, S., Steffen, B.: Pyro: generating domain-specific collaborative online modeling environments. In: Hähnle, R., van der Aalst, W. (eds.) FASE 2019. LNCS, vol. 11424, pp. 101–115. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-16722-6_6

    Chapter  Google Scholar 

  29. Zweihoff, P., Steffen, B.: Pyrus: an online modeling environment for no-code data-analytics service composition. In: Margaria, T., Steffen, B. (eds.) ISoLA 2021, LNCS, vol. 13036, pp. 18–40. Springer, Heidelberg (2021)

    Google Scholar 

Download references

Acknowledgment

This work was supported by the Science Foundation Ireland grants 16/RC/3918 (Confirm, the Smart Manufacturing Research Centre) and 13/RC/2094_2 (Lero, the Science Foundation Ireland Research Centre for Software).

Author information

Authors and Affiliations

  1. CSIS, University of Limerick, Limerick, Ireland

    Hafiz Ahmad Awais Chaudhary & Tiziana Margaria

  2. Confirm - Centre for Smart Manufacturing, Limerick, Ireland

    Hafiz Ahmad Awais Chaudhary & Tiziana Margaria

  3. Lero - The Science Foundation Ireland Research Centre for Software, Limerick, Ireland

    Tiziana Margaria

Authors
  1. Hafiz Ahmad Awais Chaudhary
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Tiziana Margaria
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Hafiz Ahmad Awais Chaudhary .

Editor information

Editors and Affiliations

  1. University of Limerick, Limerick, Ireland

    Tiziana Margaria

  2. TU Dortmund, Dortmund, Germany

    Bernhard Steffen

Rights and permissions

Reprints and permissions

Copyright information

© 2021 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Chaudhary, H.A.A., Margaria, T. (2021). Integrating External Services in DIME. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. ISoLA 2021. Lecture Notes in Computer Science(), vol 13036. Springer, Cham. https://doi.org/10.1007/978-3-030-89159-6_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-89159-6_3

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-89158-9

  • Online ISBN: 978-3-030-89159-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation

  NODES
INTERN 2
Note 2
Project 1