A predicative semantic model for integrating UML models

Lecture Notes in Computer Science

Volumn 3407, Issue , 2005, Pages 170-186

  Yang, Jing ^a,b   Long, Quan ^a,c   Liu, Zhiming ^a,e   Li, Xiaoshan ^d  

^a UNITED NATIONS UNIVERSITY   (Macao)

^b GUIZHOU UNIVERSITY   (China)

^c PEKING UNIVERSITY   (China)

^d UNIVERSITY OF MACAU   (Macao)

^e UNIVERSITY OF LEICESTER   (United Kingdom)

Author keywords

Formal semantics; Model integration; Refinement; UML

Indexed keywords

FORMAL LANGUAGES; INTEGRAL EQUATIONS; MATHEMATICAL MODELS;

FORMAL SEMANTICS; MODEL INTEGRATION; REFINEMENT; UML;

SEMANTICS;

EID: 24644515349     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-31862-0_14     Document Type: Conference Paper

References (27)

1. R. Back, A. Mikhajlova, and J. von Wright. Class refinement as semantics of correct object substitutability. Formal Aspects of Computing, 2:18-40, 2000.
2. 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.
3. Donald Bell. UML's sequence diagram. Technical Report 3101, IBM, 2004.
4. S.Tyszberowicz B.Litvak and A.Yehudai. Behavioral consistency validation of uml diagrams. In 1st IEEE International Conference on Software Engineering and Formal Methods(SEFM), pages 118-125. IEEE Computer Society, 2003.
5. A. Egyed. Scalable consistency checking between diagrams: The Viewintegra approach. In Proc. 16th IEEE ASE, San Diego, USA, 2001.
6. G. Engels, et al. A methodology for specifying and analyzing consistency of object-oriented behavioral models. In The Proc. FSE-10, Austria, 2001.
7. A. Evans, et al. Developing the UML as a formal modelling.otation. In Proc. UML'98, LNCS 1618. Springer-Verlag, 1998.
8. 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, LNCS 2863, San Fancisco, CA, USA, 2003. Springer.
9. J.M.Kuester G.Engels and L.Groenewegen. Consistent interaction of software components. In IDPT2002, 2002.
10. 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.
11. J. He, Z. Liu, and X. Li. Towards a refinement calculus for object-oriented systems (invited talk). In Proc. ICCI02, Alberta, Canada. IEEE Computer Society, 2002.
12. J. He, Z. Liu, X. Li, and S. Qin. A relational model for object-oriented designs. In Pro. APLAS'2004, LNCS, Taiwan, 2004. Springer.
13. C.A.R. Hoare and J. He. Unifying Theories of Programming. Prentice-Hall, 1998.
14. P. Kruchten. The Rational Unified Process-An Introduction (2nd Edition). Addison-Wesly, 2000.
15. L. Kuzniarz, G. Reggio, J.L. Sourruille, and Z. Huzar. Consistency problems in uml-based software development. In Consistency Problems in UML-based Software Development: Workshop Materials, 2002.
16. C. Larman. Applying UML and Patterns. Prentice-Hall International, 2001.
17. X. Li, Z. Liu, J. He, and Q. Long. Generating a prototype from a UML model of system requirements. In International Conference on Distributed Computing and Internet Technologies, (ICDCIT'04), LNCS 3347, Bhubaneswar, India, 1999. Springer.
18. 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.
19. 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.
20. Z. Liu, J. He, and X. Li. A rigorous approach to UML-base development. In A. Mota and A. Moura, editors, Brazilian symposuim on Formal Formal Methods (SBMF04), Recife, Brazil, 2004. Editera Universitaria UFPE.
21. 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, LNCS2885, pages 641-664. Springer, 2003.
22. 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.
23. Q. Long, Z. Liu, X. Li, and J. He. Consistent code generation from UML models. In Pro. of Australian Software Engineering Conference (ASWEC'2005), Brisbane, Australia, 2005. IEEE Computer Sciety.
24. S.J. Mellor and M.J. Balcer. Executable UML: a foundation for model-driven architecture. Addison-Wesley, 2002.
25. G. Reggio, et al. Towards a rigorous semantics of UML supporting its multiview approach. In H. Hussmann, editor, Proc. FASE 2001, LNCS 2029. Springer, 2001.
26. J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modelling Language Reference Manual. Addison-Wesley, 1999.
27. J. Warmer and A. Kleppe. The Object Constraint Language: precise modeling with UML. Addison-Wesley, 1999.