Unifying views of UML

Electronic Notes in Theoretical Computer Science

Volumn 101, Issue , 2004, Pages 95-127

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

^a UNITED NATIONS UNIVERSITY   (Macao)

^b UNIVERSITY OF MACAU   (Macao)

^c UNIVERSITY OF LEICESTER   (United Kingdom)

^d EAST CHINA NORMAL UNIVERSITY   (China)

^e SHANGHAI UNIVERSITY   (China)

Author keywords

Object Orientation; RUP; UML; UTP

Indexed keywords

COMPUTER PROGRAMMING; COMPUTER SOFTWARE; EMBEDDED SYSTEMS; FORMAL LOGIC; MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING; SOFTWARE ENGINEERING; SPECIFICATIONS;

IMPERATIVE PROGRAMMING; RATIONAL UNIFIED PROCESS (RUP); SYSTEM SPECIFICATIONS; UNIFIED MODELING LANGUAGE (UML);

COMPUTER PROGRAMMING LANGUAGES;

EID: 18144375890     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.02.018     Document Type: Conference Paper

References (54)

1. M. Abadi and L. Cardelli. A Theory of Objects. Springer, 1996.
2. M. Abadi and R., Leino. A logic of object-oriented programs. In M. Bidoit and M. Dauchet, editors, TAPSOFT '97: Theory and Practice of Software, Development, 7th International Joint Conference, pages 682-696. Springer-Verlag, 1997.
3. E. Abraham-Mumm, F.S. de Boer, W.P. de Roever, and M. Steffen. Verification for Java's reentrant multithreading concept. In Foundations of Software Science and Computation Structures, Lecture Notes in Computer Science 2303, pages 5-20. Springer, 2002.
4. P. America. Designing an object-oriented programming language with behavioural subtyping. In J. W. de Bakker, illem P. de Roever, and G. Rozenberg, editors, REX Workshop, Lecture Notes in Computer Science 489, pages 60-90. 1991.
5. R.J.R. Back, L. Petre, and I.P. Paltor. Formalizing UML use cases in the refinement calculus. In Proc. UML'99. Springer-Verlag, 1999.
6. J. Benivin. MDA: from hype to hope and reality. In P. Srevens, J. Whittle, and G. Booch, editors, «UML» 2003 -The Unified Modeling Language, 6th International Conference, Lecture. Notes in Computer Science 2863. Springer, 2003.
7. B. Boehm. A spiral model of software development and enhancement. IEEE Computer, May 1988.
8. M.M. Bonsangue, J.N. Kok, and K. Sere. An approach to object-orientation in action systems. In J. Jeuring, editor, Mathematics of Program Construction, Lecture Notes in Computer Science 1422, pages 68-95. Springer, 1998.
9. G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modelling Language User Guide. Addison-Wesley, 1999.
10. D. Carrington, et al Object-Z: an Object-Oriented Extension to Z. North-Halland, 1989.
11. A. Cavalcanti and D. Naumann. A weakest precondition semantics for an object-oriented language of refinement. In Lecture Notes in Computer Science 1709, pages 1439-1460. Springer, 1999.
12. D. Coleman, et al. Object-Oriented Development: the FUSION Method. Prentice-Hall, 1994.
13. S. Cook and J. Daniels. Designing Object Systems: Object-Oriented Modelling with Syntropy. Prentice-Hall, 1994.
14. D. D'Souza and A.C. Wills. Objects, Components and Framework with UML: The Catalysis Approach. Addison-Wesley, 1998.
15. ++ in the development of a real-time tracking and tracing system. In J. Woodcock and P. Larsen, editors, Proc. of FME'93, Lecture Notes in Computer Science 670. Springer-Verlag, 1993.
16. A. Egyed. Scalable consistency checking between diagrams: The Viewintegra approach. In Proc. 16th IEEE ASE, San Diego, USA, 2001.
17. G. Engels, et al. A methodology for specifying and analyzing consistency of object-oriented behavioral models. In The Proc. FSE-10, Austria, 2001.
18. A. Evans, et al. Developing the UML as a formal modelling notation. In Proc. UML'98, Lecture. Notes in Computer Science 1618. Springer-Verlag, 1998.
19. M. Fowler. What is the point of UML. In P. Srevens, J. Whittle, and G. Booch, editors, «UML» 2003 -The Unified Modeling Language, 6th International Conference, Lecture Notes in Computer Science 2863. Springer, 2003.
20. M. Fowler, K. Beck, J. Brant, W. Opdyke, and D. Roberts. Refactoring: Improving the Design of Existing Code. Addison-Wesley, 1999.
21. E. Gamma, et al. Design Patterns. Addison-Wesley, 1995.
22. D. Harel and B. Rumpe. Modeling languages: Syntax, semantics and all that stuff - part I: The basic stuff. Technical Report MCS00-16, The Weizmann Institute of Science, Israel, September 2000.
23. D. Harel, et al. Smart play-out of behavioral requirements. In Proc. FMCAD02, pages 378-398, 2002.
24. J. He, Z. Liu, and X. Li. A relational model for object-oriented programming. Technical Report UNU/IIST Report No 231, UNU/IIST, P.O. Box 3058, Macau, March 2001.
25. J. He, Z. Liu, and X. Li. Towards a refinement calculus for object-oriented systems. In Proc. ICCI02, Alberta, Canada. IEEE Computer Society, 2002.
26. J. He, Z. Liu, and X. Li. A component calculus. In H.D. Van and Z. Liu, editors, Proc. Of FME03 Workshop on Formal Aspects of Component Software (FACS03), UNU/IIST Technical Report 284, UNU/IIST, P.O. Box 3058, Macao, Pisa, Italy, 2003.
27. J. He, Z Liu, and X. Li. Contract-oriented component software development. Technical Report 276, UNU/IIST, P.O. Box 3058, Macao SAR. China, 2003.
28. J. He, Z. Liu, and X. Li. Modelling object-oriented programming with reference type and dynamic binding. Technical Report UNU/IIST Report No 280, UNU/IIST, P.O. Box 3058, Macau, May 2003.
29. C.A.R. Hoare and J. He. Unifying Theories of Programming. Prentice-Hall, 1998.
30. M. Huisman and B. Jacobs. Java program verification via a Hoare logic with abrupt termination. In T. Maibaum, editor, FASE 2000, Lecture Notes in Computer Science 1789, pages 284-303.
31. I. Jacobson, G. Booch, and J. Rumbaugh. The Unified Software Development Process. Addison-Wesley, 1999.
32. P. Kruchten. The Rational Unified Process - An Introduction (2nd Edition). Addison-Wesly, 2000.
33. C. Larman. Applying UML and Patterns. Prentice-Hall International, 2001.
34. X. Li, Z. Liu, and J. He. Formal and use use-case driven requirement analysis in UML. Technical Report UNU/IIST Report No 230, UNU/IIST, P.O. Box 3058, Macau, March 2001. A short version is accepted for presentation at COMPSAC2001, October, USA.
35. X. Li, Z. Liu, and J. He. Generating a prototype from a UML model of system requirements. Submitted for publication, 2003.
36. X. Li, Z. Liu, and J. He. A formal semantics of UML sequence diagrams. In Pro. of Australian Software Engineering Conference (ASWEC'2004). IEEE Computer Sciety, 2004.
37. J. Liu, Z. Liu, J. He, and X. Li. Linking UML models of design and requirement. In Pro. of Australian Software Engineering Conference (ASWEC'2004). IEEE Computer Sciety, 2004.
38. Z. Liu. Object-oriented software development in UML. Technical Report UNU/IIST Report No. 259, UNU/IIST, P.O. Box 3058, Macau, SAR, P.R. China, July 2002.
39. Z. Liu, J. He, and X. Li. Formalizing the use of UML in requirement analysis. Technical Report UNU/IIST Report No 228, UNU/IIST, P.O. Box 3058, Macau, March 2001. A short version "Towards a formal use of UML for software requirement analysis is accepted for presentation at PDPTA2001, June, 2001, Las Vegas, USA.
40. 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, Lecture Notes in Computer Science 2885, pages 641-664. 2003.
41. Z. Liu, X. Li, and J. He. Using transition systems to unify uml models. Technical report, Dept. of Maths and Computer Science, the University of Leicester, England., May 2002.
42. S.J. Mellor and M.J. Balcer. Executable UML: a foundation for model-driven architecture. Addison-Wesley, 2002.
43. B. Meyer. From structured programming to object-oriented design: the road to Eiffel. Structured Programming, 10(1):19-39, 1989.
44. A. Mikhajlova and E. Sekerinski. Class refinement and interface refinement in object-orient programs. In Proc of FME'97, Lecture Notes in Computer Science. Springer, 1997.
45. Naumann. Predicate transformer semantics of an Oberon-like language. In E.-R. Olerog, editor, Proc. of PROCOMET'94. North-Holland, 1994.
46. C. Pierik and F.S. de Boer. A syntax-directed hoare logic for object-oriented programming concepts. Technical Report UU-CS-2003-010, Institute pf Information and Computing Science, Utrecht University, 2003.
47. A. Poetzsch-Heffter and P. Muller. A programming logic for sequential Java. In S.D. Swierstra, editor, Proc. Programming Languages and Systems (ESOP'99), Lecture. Notes in Computer Science 1576, pages 162-176. Springer, 1999.
48. G. Reggio, et al. Towards a rigorous semantics of UML supporting its multiview approach. In H. Hussmann, editor, Proc. FASE 2001, Lecture Notes in Computer Science 2029. Springer, 2001.
49. J. Reynolds. Separation logic: a logic for a shared mutable data structure (invited talk). In Proceedings of IEEE Symposium Logic in Computer Science (LICS'02), IEEE Computer Sciety, 2002.
50. A. Sherif and J. He. Towards a time model for Circus. In ICFEM02, Lecture Notes in Computer Science 2495. Springer, 2002.
51. C. Szyperski. Component Software: Beyond Object-Oriented Programming. Addison-Wesley, 1998.
52. D. von Oheimb. Hoare logic for Java in Isabelle/HOL. Concurrency and Computation: Practice and Experience, 13(13):1173-1214, 2001.
53. J. Warmer and A. Kleppe. The Object Constraint Language: precise modeling with UML. Addison-Wesley, 1999.
54. J.C.P. Woodcock. Unifying theories of parallel programming. In Logic and Algebra for Software Engineering. IOS Press, 2002.