STL: UML 2.0 Semantics Project

Project Home

News

People

References: UML 2 Semantics

[ATK01]	T. Aoki, T. Tateishi, and T. Katayama. An axiomatic formalization of UML models. In Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists. Workshop of the pUML-Group held together with UML 2001, volume P-7 of LNI, pages 13-28. German Informatics Society, 2001. [ .pdf \| Abstract ]
[BC95]	R. Bourdeau and B. Cheng. A formal semantics for object model diagrams. IEEE Transactions on Software Engineering, 21(10):799-821, 1995.
[BLMF00]	Jean-Michel Bruel, Johan Lilius, Ana Moreira, and Robert B. France. Defining precise semantics for UML. In Object-Oriented Technology, ECOOP 2000 Workshops, volume 1964 of Lecture Notes in Computer Science, pages 113-122. Springer-Verlag, 2000. [ http \| Abstract ]
[BLP00]	Ralph-Johan Back, Johan Lilius, and Ivan Porres. Towards a semantics for behavioural model elements. In Object-Oriented Technology, ECOOP 2000 Workshops, Panels and Posters, volume 1964 of Lecture Notes in Computer Science. Springer-Verlag, 2000. Position Paper. [ http \| .ps ]
[Dis03]	Zinovy Diskin. Mathematics of UML Making the Odysseys of UML less dramatic, chapter 8, pages 145-178. Kluwer Academic Publishers, 2003. ISBN 1-4020-1480-5. [ .pdf \| Abstract ]
[DJPV03]	W. Damm, B. Josko, A. Pnueli, and A. Votintseva. Understanding UML: A formal semantics of concurrency and communication in real-time UML. In Formal Methods for Components and Objects, volume 2852 of Lecture Notes in Computer Science, pages 71-98. Springer, 2003. [ Abstract ]
[DKP99]	Zinvoy Diskin, Borish Kadish, and Frank Piessens. What vs. How of Visual Modeling: The Arrow Logic of Graphic Notations, chapter 3, pages 27-44. Kluwer Publishing Company, 1999. [ .pdf \| Abstract ]
[DKPJ00]	Zinovy Diskin, Boris Kadish, Frank Piessens, and Michael Johnson. Universal arrow foundations for visual modeling. In Diagrams '2000: Proceedings 1st International Conference on the theory and applications of diagrams, Edinburgh (Scotland), UK, September 1-13, 2000, volume 1889 of LNAI, pages 345-360. Springer, 2000. [ .pdf \| Abstract ]
[FELR97]	R. France, A. Evans, K. Lano, and B. Rumpe. The UML as a formal modeling notation. In Proceedings OOPSLA'97 Workshop on Object-oriented Behavioral Semantics, pages 75-81. Technische Universität München, TUM-I9737, 1997. [ Abstract ]
[FKS05]	H. Fecher, M. Kyas, and J. Schönborn. Semantic issues in UML 2.0 state machines. Technical Report 0507, Christian-Albrechts-Universität zu Kiel, 2005. [ .html \| .pdf \| Abstract ]
[GZK03]	M. Gogolla, P. Ziemann, and S. Kuske. Towards an integrated graph based semantics for UML. Electronic Notes in Theoretical Computer Science, 72(3):1-16, 2003. [ http \| .pdf \| Abstract ]
[KER99]	S. Kent, A. Evans, and B. Rumpe. UML semantics FAQ. In Object-Oriented Technology, ECOOP'99 Workshop Reader, volume 1743 of Lecture Notes in Computer Science, pages 33-56. Springer, 1999. [ http \| .pdf \| Abstract ]
[KFdB⁺04]	Marcel Kyas, Harald Fecher, Franks S. de Boer, Joost Jacob, Jozef Hooman, Mark van der Zwaag, Tamarah Arons, and Hillel Kugler. Formalizing UML models and OCL constraints in PVS. In Proceedings Semantic Foundations of Engineering Design Languages (SFEDL'04), Electronic Notes in Theoretical Computer Science (ENTCS), 2004. [ .html \| .pdf \| Abstract ]
[MC01]	W.E. McUmber and B.H.C. Cheng. A general framework for formalizing UML with formal languages. In Proceedings of the 23rd International Conference on Software Engineering (ICSE 2001), pages 433-442, Toronto, Canada, May 2001. Formalization based on homomorphic mappings between metamodels of UML and target specification languages. Paper focuses on the Promela formal specification language for SPIN model checker. [ http ]
[NW03]	Andrey Naumenko and Alain Wegmann. Triune continuum paradigm and problems of UML semantics. Technical Report EPFL-IC-LAMS, CH-1015, Laboratory of Systematic Modeling, Swiss Federal Institute of Technology - Lausanne, 2003. [ http \| Abstract ]
[Ree02]	Trygve Reenskaug. A rudimentary UML virtual machine. Draft, 2002. [ Abstract ]
[Rum98]	B. Rumpe. A note on semantics (with an emphasis on UML). In Proceedings Second ECOOP Workshop on Precise Behavioral Semantics (with an Emphasis on OO Business Specifications), pages 177-197. Technische Universität München, TUM-I9813, 1998. [ .pdf \| Abstract ]
[Rys03]	O. Rysavy. A survey on approaches to formal representation of UML. Technical report, Brno University of Technology, 2003. [ http \| Abstract ]
[SDKB00]	Jeffrey Smith, Scott DeLoach, Mieczyslaw Kokar, and Ken Baclawski. Category theoretic approaches of representing precise UML semantics. In ECOOP'2000 Workshop on Defining Precise Semantics for UML, 2000. [ http \| Abstract ]
[Sel04]	Bran Selic. On the semantic foundations of standard UML 2.0. Draft, 2004. [ .pdf \| Abstract ]
[Tch02]	Alexei Tchertchago. Formal semantics for a UML fragment using UML/OCL metamodeling. Technical report, Dresden University of Technology, 2002. [ http \| Abstract ]