Skip to main content
Springer Nature Link
Log in

PSCS4CPP: A Generative PSCS Implementation for C++

  • Conference paper
  • First Online:
Model-Driven Engineering and Software Development (MODELSWARD 2021, MODELSWARD 2022)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 1708))

  • 239 Accesses

Abstract

Since the early 2000s, Model-driven engineering has aimed to accomplish executable UML models. With fUML and PSCS, the Object Management Group (OMG) published standardized specifications of precise semantics for certain parts of UML in the form of metamodels, which form an execution environment. A certain characteristic of these environments is that static information about a model is analyzed and evaluated during runtime. With composite structures being a concept for describing structural properties of a model, the majority of execution semantics specified by PSCS concern analysis and processing of such static information about the model’s fine-grained structure. Thus, the PSCS specification appears suitable for a generative realization approach. Using Model-To-Text-Transformation to generate source code, which serves as an input for the actual execution environment, the runtime level of model executions can be relieved by outsourcing analysis and processing of static information to the level of code generation. By inserting this preprocessing step, the performance of the actual model execution at runtime can be improved. This paper introduces an implementation of the PSCS specification for C++ based on code generation using Model-to-Text-Transformation. This also includes a generative approach to realize an extension mechanism of the fUML and PSCS execution environments by introducing user-defined semantic execution strategies. The proposed PSCS implementation was developed as a part of the MDE4CPP project. Moreover, this paper presents a set of test models validating the correct functionality of the implementation as well as a performance benchmark. Finally, analysis results of an application example for the presented realization are evaluated and discussed.

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
$34.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
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    see https://github.com/ModelDriven/fUML-Reference-Implementation.

References

  1. Bedini, F., Maschotta, R., Wichmann, A., Jäger, S., Zimmermann, A.: A model-driven fuml execution engine for c++. In: Proceedings of the 5th International Conf. on Model-Driven Engineering and Software Development. pp. 443–450. MODELSWARD 2017, SCITEPRESS. https://doi.org/10.5220/0006206904430450

  2. Ciccozzi, F.: On the automated translational execution of the action language for foundational UML. Softw. Syst. Model. 17(4), 1311–1337 (2016). https://doi.org/10.1007/s10270-016-0556-7

    Article  Google Scholar 

  3. Ciccozzi, F., Cicchetti, A., Sjödin, M.: Towards translational execution of action language for foundational uml. In: 2013 39th Euromicro Conference on Software Engineering and Advanced Applications. pp. 153–160 (2013). https://doi.org/10.1109/SEAA.2013.31

  4. Eclipse Foundation: Acceleo, see http://www.wiki.eclipse.org/acceleo (2018)

  5. Eclipse Foundation: Eclipse Papyrus, see http://www.eclipse.org/papyrus/ (2019)

  6. ECMA International: ECMA-335: Common Language Infrastructure (CLI), 6th Edition. http://www.ecma-international.org/wp-content/uploads/ECMA-335_6th_edition_june_2012.pdf (2012)

  7. Hammer., M., Maschotta., R., Wichmann., A., Jungebloud., T., Bedini., F., Zimmermann., A.: A model-driven implementation of pscs specification for c++. In: Proceedings of the 9th International Conf. on Model-Driven Engineering and Software Development - MODELSWARD, pp. 100–109. INSTICC, SciTePress (2021). https://doi.org/10.5220/0010267801000109

  8. Hutchinson, J., Whittle, J., Rouncefield, M., Kristoffersen, S.: Empirical assessment of mde in industry. In: Proceedings of the 33rd International Conf. on Software Engineering. p. 471–480. ICSE ’11, Association for Computing Machinery, New York, NY, USA (2011). https://doi.org/10.1145/1985793.1985858

  9. Jain, R.: The Art of Computer Systems Performance Analysis: Techniques for Experimental Design, Measurement, Simulation, and Modeling. Wiley, 1. ed. (1991)

    Google Scholar 

  10. Jäger, S., Maschotta, R., Jungebloud, T., Wichmann, A., Zimmermann, A.: An emf-like uml generator for c++. In: 2016 4th International Conf. on Model-Driven Engineering and Software Development - MODELSWARD (2016)

    Google Scholar 

  11. Kendall, D.G.: Stochastic Processes Occurring in the Theory of Queues and their Analysis by the Method of the Imbedded Markov Chain. Ann. Math. Stat. 24(3), 338–354 (9 1953). https://doi.org/10.1214/aoms/1177728975

  12. Lindholm, T., Yellin, F., Bracha, G., Buckley, A., Smith, D.: The Java®Virtual Machine Specification, Java SE 14 Version. https://docs.oracle.com/javase/specs/jvms/se14/jvms14.pdf (2020)

  13. OMG: Semantics of a Foundational Subset for Executable UML Models (FUML) Specification, Version 1.0. http://www.omg.org/spec/FUML/1.0/PDF/ (2011)

  14. OMG: MDA Guide Revision 2.0. http://www.omg.org/cgi-bin/doc?ormsc/14-06-01.pdf (2014)

  15. OMG: Precise Semantics of UML Composite Structure (PSCS) Specification, Version 1.0. www.omg.org/spec/PSCS/1.0/PDF (2015)

  16. OMG: Action Language for Foundational UML (Alf), concrete syntax for a UML action language, version 1.1. http://www.omg.org/spec/ALF/1.1/PDF/ (2017)

  17. OMG: Unified Modeling Language, Specification, Version 2.5.1. http://www.omg.org/spec/UML/2.5.1/PDF (2017)

  18. OMG: Semantics of a Foundational Subset for Executable UML Models (FUML) Specification, Version 1.4. http://www.omg.org/spec/FUML/1.4/PDF (2018)

  19. OMG: Precise Semantics of UML Composite Structure (PSCS) Specification, Version 1.2. http://www.omg.org/spec/PSCS/1.2/PDF (2019)

  20. Stahl, T., Völter, M.: Modellgetriebene Softwareentwicklung: Techniken, Engineering, Management. dpunkt.verlag, 1. edn. (2005)

    Google Scholar 

  21. Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework 2.0. Addison-Wesley Professional, 2. edn. (2009)

    Google Scholar 

  22. Stroustrup, B.: The C++ Programming Language. Addison-Wesley, 4. edn. (2013)

    Google Scholar 

  23. Systems and Software Engineering Group: Model Driven Engineering for C++ (MDE4CPP), see http://sse.tu-ilmenau.de/mde4cpp (2016)

  24. Yosifovich, P., Russinovich, M.E., Solomon, D.A., Ionescu, A.: Windows Internals, Part 1: System Architecture, Processes, Threads, Memory Management, and More, 7th edn. Microsoft Press, USA (2017)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Systems and Software Engineering Group, Computer Science and Automation Department, Technische Universität Ilmenau, Ilmenau, Germany

    Maximilian Hammer, Ralph Maschotta, Alexander Wichmann, Tino Jungebloud, Francesco Bedini & Armin Zimmermann

Authors
  1. Maximilian Hammer
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ralph Maschotta
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Alexander Wichmann
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Tino Jungebloud
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Francesco Bedini
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Armin Zimmermann
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Maximilian Hammer .

Editor information

Editors and Affiliations

  1. University of Twente, Enschede, The Netherlands

    Luís Ferreira Pires

  2. ESEO, ERIS, Angers, France

    Slimane Hammoudi

  3. Model Driven Solutions, Herndon, VA, USA

    Edwin Seidewitz

Rights and permissions

Reprints and permissions

Copyright information

© 2023 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Hammer, M., Maschotta, R., Wichmann, A., Jungebloud, T., Bedini, F., Zimmermann, A. (2023). PSCS4CPP: A Generative PSCS Implementation for C++. In: Pires, L.F., Hammoudi, S., Seidewitz, E. (eds) Model-Driven Engineering and Software Development. MODELSWARD MODELSWARD 2021 2022. Communications in Computer and Information Science, vol 1708. Springer, Cham. https://doi.org/10.1007/978-3-031-38821-7_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-38821-7_5

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-38820-0

  • Online ISBN: 978-3-031-38821-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics