Investigation and Evaluation of UML Action Languages

Omar Badreddin, Timothy C. Lethbridge, Andrew Forward

2014

Abstract

We analyze the current direction of UML Action Language development and provide a classification of the proposed action language structure and statements. We also present a functioning implementation of an action language and discuss our platform for experimenting with Action Language based systems. We propose a novel approach that adopts a bottom-up technique to defining an action language. This approach embeds the action language into a textual environment that includes the UML modeling elements. Unlike current action languages that typically address class diagrams only, our proposal includes class and state machine modeling abstractions as part of the action language. We tackle the problem of modeling-in-text not by introducing yet another programming language, but instead by providing an increased level of abstraction to existing high level programming languages. Both, a textual representation of the model and its visual view represent the same underlying model but from different vantage points.

References

  1. Alvarez, J. M., Clark, T., Evans, A. and Sammut, P. "An Action Semantics for MML". 2001. Lecture notes in computer science, Springer. pp. 2-18.
  2. Badreddin, Omar, Andrew Forward, and Timothy C. Lethbridge. "Exploring a Model-Oriented and Executable Syntax for UML Attributes." Software Engineering Research, Management and Applications. Springer, 2014. 33-53.
  3. Badreddin, Omar, Andrew Forward, and Timothy C. Lethbridge. "Improving Code Generation for Associations: Enforcing Multiplicity Constraints and Ensuring Referential Integrity." Software Engineering Research, Management and Applications. Springer, 2014. 129-149.
  4. Badreddin, Omar. "Empirical evaluation of research prototypes at variable stages of maturity", User Evaluations for Software Engineering Researchers (USER), 2013 2nd International Workshop , 10.1109/ USER.2013.6603076. 2013, Pages: 1- 4.
  5. Badreddin, Omar, Lethbridge, Timothy C., “Model Oriented Programming: Bridging the Code-Model Divide”. ICSE Workshop on Modeling in Software Engineering, 2013, Modeling in Software Engineering (MiSE), 2013 5th International Workshop , 10.1109/ MiSE.2013.6595299. 2013 , Pages: 69 - 75.
  6. Badreddin, Omar, Andrew Forward, and Timothy C. Lethbridge. "Model oriented programming: an empirical study of comprehension." 2012 Conference of the Center for Advanced Studies on Collaborative Research. IBM Corp., 2012.
  7. Badreddin, Omar. ; Lethbridge, Timothy C. "Combining experiments and grounded theory to evaluate a research prototype: Lessons from the umple modeloriented programming technology", User Evaluation for Software Engineering Researchers (USER), 2012. 10.1109/USER.2012.6226575 , 2012 , Page(s): 1- 4.
  8. Badreddin, Omar, Timothy C. Lethbridge, and Maged Elassar. "Modeling Practices in Open Source Software." Open Source Software: Quality Verification. Springer, 2013. 127-139.
  9. Bock, C. "UML without Pictures". 2003. IEEE Software, vol 20, pp. 33-35.
  10. Chaves, R. "TextUML", accessed 2012, http:// abstratt.com/.
  11. Dinh-Trong, T., Kawane, N., Ghosh, S., France, R. and Andrews, A. A. "A Tool-Supported Approach to Testing UML Design Models," in Proccedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), 2005.
  12. Elkoutbi, M., Khriss, I. and Keller, R. K. "Automated Prototyping of User Interfaces Based on Uml Scenarios". 2006. Autom.Software.Eng, vol 13, Springer. pp. 5-40.
  13. Evans, A. "Making UML Precise, OOPSLA'98". 1998. October.
  14. Evans, A., France, R., Lano, K. and Rumpe, B. "Developing the UML as a Formal Modelling Notation," in UML, 1998, pp. 397-407.
  15. France, R. and Rumpe, B. "Model-Driven Development of Complex Software: A Research Roadmap," in FOSE 7807:2007 Future of Software Engineering, 2007. pp. 37-54.
  16. France, R., Evans, A., Lano, K. and Rumpe, B. "The UML as a Formal Modeling Notation". 1997. Computer Standards and Interfaces, vol 19, Citeseer. pp. 325-334.
  17. Gold, N., Mohan, A. and Layzell, P. "Spatial Complexity Metrics: An Investigation of Utility". 2005. IEEE Trans.Software Eng., vol 31, pp. 203-212.
  18. Harris, T. " YUML", accessed 2012, http://yuml.me/.
  19. IBM. " IBM Rational Software Architect Modeling Tool", accessed 2013, http://www-01.ibm.com/software/ awdtools/architect/swarchitect/
  20. Keller, R. K. and Schauer, R. "Design Components: Toward Software Composition at the Design Level," in Proceedings of the 20th Int'l Conference on Software Engineering, 1998. pp. 302-311.
  21. Lethbridge T.C., Forward, A. and Badreddin, O. " Umple Language Online.", accessed 2012, http:// try.umple.org.
  22. Mellor, S. J., Tockey, S. R., Arthaud, R. and Leblanc, P. "An Action Language for UML: Proposal for a Precise Execution Semantics". 1999. Lecture notes in computer science, Springer. pp. 307-318.
  23. Muller, P. A., Fleurey, F. and Jézéquel, J. M. "Weaving Executability into Object-Oriented Meta-Languages". 2005. Lecture notes in computer science, vol 3713, Springer. pp. 264.
  24. Object Management Group (OMG). " Concrete Syntax for a UML Action Language RFP", accessed 2012, http://www.omg.org/cgi-bin/doc?ad/2008-9-9.
  25. Object Management Group (OMG). "Human-Usable Textual Notation", accessed 2013, http:// www.omg.org/technology/documents/formal/hutn.htm papyrus, "The Papyrus UML", accessed 2013, http://www.papyrusuml.org.
  26. Planas, Elena, et al. "Alf-Verifier: an eclipse plugin for verifying Alf/UML executable models." Advances in Conceptual Modeling, 2012. Springer Berlin Heidelberg, 2012.378-382.
  27. Steel, J. and Raymond, K. "Generating Human-Usable Textual Notations for Information Models," in Fifth International Conference on Enterprise Distributed Object Computing (EDOC 2001), Seattle, Washington, USA, 2001. pp. 250-250.
  28. Sunyé, G., Pennaneac h, F., Ho, W. M., Le Guennec, A. and Jézéquel, J. M. "Using UML Action Semantics for Executable Modeling and Beyond". 2001.Lec' notes in comp' sci', Springer. pp. 433-447.
  29. Van Gurp, J. and Bosch, J. "On the Implementation of Finite State Machines," in Proceedings of the 3rd Annual IASTED Int'l Conference Software Engineering and Applications, 1999. pp. 172-178.
  30. Varro, D. and Pataricza, A. "UML Action Semantics for Model Transformation Systems". 2003. Period Polytech Electr Eng, vol 47, Citeseer. pp. 167-186.
Download


Paper Citation


in Harvard Style

Badreddin O., Lethbridge T. and Forward A. (2014). Investigation and Evaluation of UML Action Languages . In Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-007-9, pages 264-273. DOI: 10.5220/0004699902640273


in Bibtex Style

@conference{modelsward14,
author={Omar Badreddin and Timothy C. Lethbridge and Andrew Forward},
title={Investigation and Evaluation of UML Action Languages},
booktitle={Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2014},
pages={264-273},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004699902640273},
isbn={978-989-758-007-9},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Investigation and Evaluation of UML Action Languages
SN - 978-989-758-007-9
AU - Badreddin O.
AU - Lethbridge T.
AU - Forward A.
PY - 2014
SP - 264
EP - 273
DO - 10.5220/0004699902640273