Consistent code generation from UML models

Proceedings of the Australian Software Engineering Conference, ASWEC

Volumn 2005, Issue , 2005, Pages 23-30

  Long, Quan ^a,b   Liu, Zhiming ^a,d   Li, Xiaoshan ^c   Jifeng, He ^a,e  

^a UNITED NATIONS UNIVERSITY   (Macao)

^b PEKING UNIVERSITY   (China)

^c UNIVERSITY OF MACAU   (Macao)

^d UNIVERSITY OF LEICESTER   (United Kingdom)

^e EAST CHINA NORMAL UNIVERSITY   (China)

Author keywords

Code generation; Consistency; Object Orientation; Semantics; UML; UTP

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; COMPUTER SYSTEMS; OBJECT ORIENTED PROGRAMMING; SEMANTICS;

CONSISTENCY; OBJECT ORIENTATION; UML; UTP;

CODES (SYMBOLS);

EID: 33646580068     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/aswec.2005.17     Document Type: Conference Paper

References (21)

1. E. Astesiano and G. Reggio. An attempt at analysing the consistency problems in the UML from a classical algebraic viewpoint. In Proc. WADT 2002, LNCS 2755. Springer Verlag, 2003.
2. Donald Bell. UML's sequence diagram. Technical report, IBM, http://www-106.ibm.com/developerworks/rational/library/3101.html, 2004.
3. W. Boggs and M. Boggs. Mastering UML with Rational Rose 2002. SYBEX, 2002.
4. G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modelling Language User Guide. Addison-Wesley, 1999.
5. M. Fowler. What is the point of UML. In LNCS 1618. Springer, 1998.
6. J.M. Kuester G. Engels and L. Groenewegen. Consistent interaction of software components. Pro. of IDPT2002, 2002.
7. J. He, Z. Liu, X. Li, and S. Qin. A relational model for object-oriented designs. In Pro. APLAS'2004, LNCS 3302, Taiwan, 2004. Springer.
8. J. He, Z. Liu, X. Li, and S. Qin. A relational model for object-oriented designs. Technical Report 308, UNU/IIST, P.O. Box 3058, Macao SAR China, 2004.
9. C.A.R. Hoare and J. He. Unifying Theories of Programming. Prentice-Hall, 1998.
10. I. Jacobson, Rumbaugh, and G. Booch. The Unified Modelling Language Reference Manual. Addison-Wesley, 1999.
11. P. Krichten. The Retional Unified Process - An Introduction. Addison-Wesley, 2000.
12. J. Liu, Z. Liu, J. He, and X. Li. Linking UML models of design and requirement. In Pro. ASWEC'2004, Melbourne, Australia, 2004. IEEE Computer Sciety.
13. Z. Liu, J. He, X. Li, and Y. Chen. A relational model for formal requirements analysis in UML. In J.S. Dong and J. Woodcock, editors, Formal Methods and Software Engineering, ICFEM03, LNCS 2885, pages 641-664. Springer, 2003.
14. Z. Liu, J. He, X. Li, and J. Liu. Unifying views of UML. Technical Report 288, UNU/IIST, P.O. Box 3058, Macao SAR China, 2004.
15. Z. Liu, X. Li, J. Liu, and J. He. Integrating and refining UML models. Technical Report 295, UNU/IIST, P.O. Box 3058, Macao SAR China, 2004.
16. S.J. Mellor and M.J. Balcer. Executable UML: a foundation for model-driven architecture. Addison-Wesley, 2002.
17. Susannah Moat. Fujaba code generation for static UML models. Technical report, University of Paderborn, http://wwwcs.upb.de/cs/fujaba/documents/ developer/guidelines/codegenerierung.pdf, Dec. 2002.
18. T. Quatrani. Visual Modeling with Rational Rose 2000 and UML. Addison-Wesley, 2000.
19. J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Software Development Process. Addison-Wesley, 1999.
20. J. Yang, Q. Long, Z. Liu, and X. Li. A predicative semantic model for integrating UML models. In Pro. ICTAC'2004, LNCS 3407, Guiyang, China, 2004. Springer.
21. J. Yang, Q. Long, Zhiming Liu, and X. Li. A predicative semantic model for integrating UML models. Technical Report 309, UNU/IIST, P.O. Box 3058, Macao SAR China, 2004.