Skip to main content
SpringerLink
Log in

Modeling Meets Programming: A Comparative Study in Model Driven Engineering Action Languages

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

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

Included in the following conference series:

Abstract

Modeling and programming have often been considered two different activities. While this may be true when modeling is primarily meant for human communication and early design explorations, it is not the case when modeling is meant for execution. Some approaches have been specifically developed to address this latter case with variable successes. In this paper, we discuss two such approaches, namely ALF and Umple. ALF has evolved from the modeling community to provide a textual syntax for an executable subset of UML called Foundation UML (fUML). Umple has evolved from the academic community to introduce the abstractions of modeling into programing languages. We compare both approaches, highlight their critical differences, and discuss their contribution to the evolution of model oriented programming languages.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.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

Institutional subscriptions

References

  1. France, R., Rumpe, B.: Model-driven development of complex software: a research roadmap. In: 2007 Future of Software Engineering. IEEE Computer Society (2007)

    Google Scholar 

  2. Seidewitz, E.: UML with meaning: executable modeling in foundational UML and the Alf action language. ACM SIGAda Ada Lett. 34(3), 61–68 (2014)

    Article  Google Scholar 

  3. Zaytsev, V.: BNF was here: what have we done about the unnecessary diversity of notation for syntactic definitions. In: Proceedings of the 27th Annual ACM Symposium on Applied Computing. ACM (2012)

    Google Scholar 

  4. Badreddin, O., Forward, A., Lethbridge, T.C.: Model oriented programming: an empirical study of comprehension. In: Proceedings of the 2012 Conference of the Center for Advanced Studies on Collaborative Research. IBM Corp. (2012)

    Google Scholar 

  5. Karsai, G., Krahn, H., Pinkernell, C., Rumpe, B., Schindler, M., Völkel, S.: Design guidelines for domain specific languages (2014). arXiv preprint: arXiv:1409.2378

  6. Bichler, L., Radermacher, A., Schuerr, A.: Evaluating UML extensions for modeling real-time systems. In: Proceedings of the Seventh International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2002). IEEE (2002)

    Google Scholar 

  7. Badreddin, O., Lethbridge, T.C.: Model oriented programming: bridging the code-model divide. In: Proceedings of the 5th International Workshop on Modeling in Software Engineering. IEEE Press (2013)

    Google Scholar 

  8. Lanusse, A., Tanguy, Y., Espinoza, H., Mraidha, C., Gerard, S., Tessier, P., Terrier, F.: Papyrus UML: an open source toolset for MDA. In: Proceedings of the Fifth European Conference on Model-Driven Architecture Foundations and Applications (ECMDA-FA 2009), pp. 1–4 (2009)

    Google Scholar 

  9. Neuendorf, D.: Review of MagicDraw UML® 11.5 professional edition. J. Object Technol. 5(7), 115–118 (2006)

    Article  Google Scholar 

  10. Tilley, S., Murphy, S., Huang, S.: 5th international workshop on graphical documentation: determining the barriers to adoption of UML diagrams. In: Proceedings of the 23rd Annual International Conference on Design of Communication: Documenting & Designing For Pervasive Information. ACM (2005)

    Google Scholar 

  11. Badreddin, O., Lethbridge, T.C., Elassar, M.: Modeling practices in open source software. In: Petrinja, E., Succi, G., El Ioini, N., Sillitti, A. (eds.) OSS 2013. IFIP AICT, vol. 404, pp. 127–139. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  12. CanforaHarman, G., Di Penta, M.: New frontiers of reverse engineering. In: 2007 Future of Software Engineering. IEEE Computer Society (2007)

    Google Scholar 

  13. Oliveira, H., Murta, L., Werner, C. Odyssey-VCS: a flexible version control system for UML model elements. In: Proceedings of the 12th International Workshop on Software Configuration Management. ACM (2005)

    Google Scholar 

  14. Badreddin, O., Lethbridge, T.C., Forward, A.: A novel approach to versioning and merging model and code uniformly. In: 2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD). IEEE (2014)

    Google Scholar 

  15. Laforcade, P., Choquet, C.: Next step for educational modeling languages: the model driven engineering and reengineering approach. null. IEEE (2006)

    Google Scholar 

  16. Badreddin, O., Lethbridge, T.C.: Combining experiments and grounded theory to evaluate a research prototype: Lessons from the umple model-oriented programming technology. In: Proceedings of the First International Workshop on User Evaluation for Software Engineering Researchers. IEEE Press (2012)

    Google Scholar 

  17. Badreddin, O., Lethbridge, T.C., Forward, A.: Investigation and evaluation of UML action languages. In: 2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD). IEEE (2014)

    Google Scholar 

  18. Chaves, R.: TextUML (2009). http://abstratt.github.io/textuml/readme.html

  19. Fayad, M.E., Hawn, L.J., Roberts, M.A., Klatt, J.R.: Using the Shlaer-Mellor object-oriented analysis method. IEEE Softw. 10(2), 43–52 (1993)

    Article  Google Scholar 

  20. Jouault, F., Delatour, J.: Towards fixing sketchy UML models by leveraging textual notations: application to real-time embedded systems. In: OCL@ MoDELS (2014)

    Google Scholar 

  21. PlantUML modeling tool. http://plantuml.com/

  22. Sun, Y., Demirezen, Z., Mernik, M., Gray, J., Bryant, B.: Is my DSL a modeling or programming language? In: Proceedings of 2nd International Workshop on Domain-Specific Program Development, Nashville, US, p. 4 (2008)

    Google Scholar 

  23. Lazăr, C.-L., Lazăr, I., Pârv, B., Motogna, S., Czibula, I.-G.: Tool support for fUML models. Int. J. Comput. Commun. Control 5(5), 775–782 (2010)

    Article  MATH  Google Scholar 

  24. Mellor, S., Balcer, M.: Executable UML: A Foundation for Model-Driven Architecture, 1st edn. Addison-Wesley, Reading (2002)

    Google Scholar 

  25. OMG, Precise Semantics of UML State Machine RFP, ad/15-03-02

    Google Scholar 

  26. OMG, Precise Semantics of UML Composite Structures v1.0, formal/2015-10-02

    Google Scholar 

  27. Badreddin, O.B., Sturm, A., Hamou-Lhadj, A., Lethbridge, T., Dixon, W., Simmons, R.: The effects of education on students’ perception of modeling in software engineering. In: First International Workshop on Human Factors in Modeling (HuFaMo 2015). CEUR-WS, pp. 39–46 (2015)

    Google Scholar 

  28. Eysholdt, M., Behrens, H.: Xtext: implement your language faster than the quick and dirty way. In: Proceedings of the ACM International Conference Companion on Object Oriented Programming Systems Languages and Applications Companion. ACM (2010)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Modelware Solutions, La Canada Flintridge, California, 91011, USA

    Maged Elaasar

  2. Electrical Engineering and Computer Science Department, University of Texas at El Paso, El Paso, USA

    Omar Badreddin

Authors
  1. Maged Elaasar
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Omar Badreddin
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Maged Elaasar .

Editor information

Editors and Affiliations

  1. Lero, Limerick, Ireland

    Tiziana Margaria

  2. TU Dortmund, Dortmund, Germany

    Bernhard Steffen

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing AG

About this paper

Cite this paper

Elaasar, M., Badreddin, O. (2016). Modeling Meets Programming: A Comparative Study in Model Driven Engineering Action Languages. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications. ISoLA 2016. Lecture Notes in Computer Science(), vol 9953. Springer, Cham. https://doi.org/10.1007/978-3-319-47169-3_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-47169-3_5

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-47168-6

  • Online ISBN: 978-3-319-47169-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation