![](bga.png)
REFERENCES
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.
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.
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.
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.
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.
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.
Badreddin, Omar. ; Lethbridge, Timothy C. "Combining
experiments and grounded theory to evaluate a
research prototype: Lessons from the umple model-
oriented programming technology", User Evaluation
for Software Engineering Researchers (USER), 2012.
10.1109/USER.2012.6226575 , 2012 , Page(s): 1- 4.
Badreddin, Omar, Timothy C. Lethbridge, and Maged
Elassar. "Modeling Practices in Open Source
Software." Open Source Software: Quality
Verification. Springer, 2013. 127-139.
Bock, C. "UML without Pictures". 2003. IEEE Software,
vol 20, pp. 33-35.
Chaves, R. "TextUML", accessed 2012, http://
abstratt.com/.
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.
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.
Evans, A. "Making UML Precise, OOPSLA'98". 1998.
October.
Evans, A., France, R., Lano, K. and Rumpe, B.
"Developing the UML as a Formal Modelling
Notation," in UML, 1998, pp. 397–407.
France, R. and Rumpe, B. "Model-Driven Development of
Complex Software: A Research Roadmap," in FOSE
'07:2007 Future of Software Engineering, 2007. pp.
37-54.
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.
Gold, N., Mohan, A. and Layzell, P. "Spatial Complexity
Metrics: An Investigation of Utility". 2005. IEEE
Trans.Software Eng., vol 31, pp. 203-212.
Harris, T. " YUML", accessed 2012, http://yuml.me/.
IBM. " IBM Rational Software Architect Modeling Tool",
accessed 2013, http://www-01.ibm.com/software/
awdtools/architect/swarchitect/
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.
Lethbridge T.C., Forward, A. and Badreddin, O. " Umple
Language Online.", accessed 2012, http://
try.umple.org.
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.
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.
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.
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.
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.
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.
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.
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.
Varro, D. and Pataricza, A. "UML Action Semantics for
Model Transformation Systems". 2003. Period
Polytech Electr Eng, vol 47, Citeseer. pp. 167-186.
InvestigationandEvaluationofUMLActionLanguages
273