Acta Scientific Computer Sciences (ASCS)

Review Article Volume 2 Issue 9

On Modelware as the 5th Generation of Programming Languages

Christian Mancas*

DATASIS ProSoft srl, Department of Computer Science and Mathematics, Ovidius University, Bucharest, Romania

*Corresponding Author: Christian Mancas, DATASIS ProSoft srl, Department of Computer Science and Mathematics, Ovidius University, Bucharest, Romania.

Received: July 16, 2020; Published: August 19, 2020

×

Abstract

  This paper argues that the 5th generation of programming languages will be modelware, i.e. programming will be replaced by modeling, which will significantly boost productivity and reduce errors, as there are already powerful tools that automatically translate conceptual models into programs of the 3rd and 4th generations.

Keywords: Modelware; Model-Driven Development; 5th Generation Programming Languages; Conceptual Models; The (Elementary) Mathematical Data Model; MatBase

×

References

  1. Acceleo (2019).
  2. Bang-Jensen J and Gutin GZ. Digraphs: Theory, Algorithms and Applications (2nd edition). Springer-Verlag, London (2009).
  3. SMARTGenerator (2018).
  4. Booch G., et al. The Unified Modeling Language User Guide 2nd ed. Addison-Wesley Professional/Pearson Education, NJ (2005).
  5. Broy M., et al. “Towards a Unified View of Modeling and Programming”. In: Margaria T., Steffen B. (eds) Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications. ISoLA 9953 (2016): 238-257.
  6. Bryant BR. “Grammarware, Semantics and Modelware” (2019).
  7. Chamberlin DD and Boyce RF. “SEQUEL: A Structured English Query Language”. In: Proc. ACM SIGFIDET Workshop on Data Description, Access and Control (1974): 249-264.
  8. Chen PP. “The entity-relationship model: Toward a unified view of data”. ACM TODS 1.1 (1976): 9-36.
  9. Cleaveland R. “Programming is modelling”. In: Margaria T., Steffen B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. Modeling. ISoLA 11244 (2018): 150-161.
  10. Modelware: a new approach to model-driven development” (2005).
  11. Cretu LG and Dumitriu F. Model-Driven Engineering of Information Systems. Principles, Techniques, and Practice. Apple Academic Press, Palm Bay, FL (2014).
  12. Eclipse Foundation. Xpand (2016).
  13. Embley DW and Thalheim B. Handbook of Conceptual Modelling. Theory, Practice and Research Challenges. Springer, Berlin, Germany (2011).
  14. erwin EDGE Portfolio (2020).
  15. Fourer R., et al. AMPL. A Modeling Language for Mathematical Programming 2nd ed. Duxbury/Thomson (2003).
  16. Genicore AB. Modelware Is the New Software. Digitization of Project Lazarus (2017).
  17. Goldstine H and von Neumann J. Planning and coding of problems for an electronic computing instrument, Part II, Volume 1. In: Taub, A. (Ed., 1963), John von Neumann Collected Works. 5. Macmillan. (1974): 80-151.
  18. Hürlimann T. “Modeling Languages: A New Paradigm of Programming” (1998).
  19. IBM Rational Rhapsody family (2020).
  20. Integranova Software Solutions. Integranova (2020).
  21. Knuth DE and Pardo LT. “Early development of programming languages”. In: Encyclopedia of Computer Science and Technology. Marcel Dekker, NY 7 (1977): 419-493.
  22. Mancas C. Conceptual Data Modeling and Database Design: A Completely Algorithmic Approach. Volume I: The Shortest Advisable Path. Apple Academic Press/CRC Press (Taylor and Francis Group), Palm Bay, FL (2015).
  23. Mancas C. “MatBase Constraint Sets Coherence and Minimality Enforcement Algorithms”. In: Benczur, A., Thalheim, B., Horvath, T. (eds.), Proc. 22nd ADBIS Conf. on Advances in DB and Inf. Syst., LNCS. Springer, Cham, Switzerland 11019 (2018): 263-277.
  24. Mancas C. “MatBase - a Tool for Transparent Programming while Modeling Data at Conceptual Levels”. In: Proc. 5th Int. Conf. on Comp. Sci. and Inf. Techn. AIRCC Pub. Corp., Chennai, India (2019): 15-27.
  25. Mancas C. Conceptual Data Modeling and Database Design: A Completely Algorithmic Approach. Volume II: Refinements for an Expert Path. Apple Academic Press/CRC Press (Taylor and Francis Group), Palm Bay, FL (in press) (2021).
  26. Moto-oka T. Fifth Generation Computer Systems. North Holland (1982).
  27. No Magic. MagicDraw (2020).
  28. openMDX (2020).
  29. Pastor O and Ruiz M. “From Requirements to Code: A Conceptual Model-based Approach for Automating the Software Production Process”. International Journal of Conceptual Modeling (2018): 274-280.
  30. Pathfinder Solutions. PathMATE (2017).
  31. Soukaina M., et al. “Model Driven Engineering (MDE) Tools: A Survey”. American Journal of Science, Engineering and Technology 2 (2018): 29-33.
  32. Stahl T and Völter M. “Model-Driven Software Development. Technology, Engineering, Management. John Wiley and Sons, Chichester, U.K (2006).
  33. Thalheim B and Jaakkola H. “Models as Programs: The Envisioned and Principal Key to True Fifth Generation Programming”. In: Proc. 29th European-Japanese Conf. (2019): 170-189.
  34. Völter M. “From Programming to Modeling - and Back Again”. IEEE Software 28 (2011): 20-25.
  35. Wimmer M and Kramler G. “Bridging grammarware and modelware”. In: Proc. Satellite Events at the MoDELS 2005 Conf., LNCS 3844 (2005): 159-168.
  36. Withears D., et al. “Software/Modelware Application Requirements (Panel)”. In: Proc. IEEE 1992 Winter Simulation Conf. (1992): 205-210.
  37. Zhao H., et al. “Domain-Specific Modelware: To Make the Machine Learning Model Reusable and Reproducible”. In: Proc. 12th ACM/IEEE Int. Symp. on Empirical Soft. Eng. and Measure., ACM, NY (2018).
×

Citation

Citation: Christian Mancas. “On Modelware as the 5th Generation of Programming Languages”.Acta Scientific Computer Sciences 2.9 (2020): 24-26.




Metrics

Acceptance rate35%
Acceptance to publication20-30 days

Indexed In




News and Events


  • Certification for Review
    Acta Scientific certifies the Editors/reviewers for their review done towards the assigned articles of the respective journals.
  • Submission Timeline for Upcoming Issue
    The last date for submission of articles for regular Issues is December 25, 2024.
  • Publication Certificate
    Authors will be issued a "Publication Certificate" as a mark of appreciation for publishing their work.
  • Best Article of the Issue
    The Editors will elect one Best Article after each issue release. The authors of this article will be provided with a certificate of "Best Article of the Issue"

Contact US