Skip to main content

PSCS4CPP: A Generative PSCS Implementation for C++

  • 83 Accesses

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


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.


  • Model driven software development
  • Composite structures
  • Executable UML
  • Code generation
  • PSCS
  • fUML
  • UML
  • C++

This is a preview of subscription content, access via your institution.

Buying options

USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
USD   59.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   79.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

Learn about institutional subscriptions


  1. 1.



  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.

  2. Ciccozzi, F.: On the automated translational execution of the action language for foundational UML. Softw. Syst. Model. 17(4), 1311–1337 (2016).

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

  4. Eclipse Foundation: Acceleo, see (2018)

  5. Eclipse Foundation: Eclipse Papyrus, see (2019)

  6. ECMA International: ECMA-335: Common Language Infrastructure (CLI), 6th Edition. (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).

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

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

  12. Lindholm, T., Yellin, F., Bracha, G., Buckley, A., Smith, D.: The Java®Virtual Machine Specification, Java SE 14 Version. (2020)

  13. OMG: Semantics of a Foundational Subset for Executable UML Models (FUML) Specification, Version 1.0. (2011)

  14. OMG: MDA Guide Revision 2.0. (2014)

  15. OMG: Precise Semantics of UML Composite Structure (PSCS) Specification, Version 1.0. (2015)

  16. OMG: Action Language for Foundational UML (Alf), concrete syntax for a UML action language, version 1.1. (2017)

  17. OMG: Unified Modeling Language, Specification, Version 2.5.1. (2017)

  18. OMG: Semantics of a Foundational Subset for Executable UML Models (FUML) Specification, Version 1.4. (2018)

  19. OMG: Precise Semantics of UML Composite Structure (PSCS) Specification, Version 1.2. (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 (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


Corresponding author

Correspondence to Maximilian Hammer .

Editor information

Editors and Affiliations

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.

Download citation

  • DOI:

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