Documents

This page acts as a repository of working documents, minutes, presentations, etc. related to the work in progress. Formal references, i.e., publications and background material, can be found through the References page.


Our Current Working Documents

Document
Type
(Up)dated
  • 2nd UML 2 Semantics Symposium: Formal Semantics for UML
(pdf)   20 Nov 06
(pdf)
 
4 Jun 06
(doc)
 
13 Oct 06
(pdf)
 
15 Oct 06
(pdf)
 
11 Mar 06
  • Mapping Actions to the System Model (pre-pre-draft)
     
  • Activities (pre-pre-draft)
     

Documents from Other Sources

Document
Type
(Up)dated
Proposed Minimal Foundational UML for Executable Models: Object-Oriented Approach with Active Classes
(doc)
6 Sep 05

Older Working Documents

Document
Type
(Up)dated
Prioritizing Actions
(doc)
 
16 May 05
Actions Breakdown
(xls)
 
13 May 05
Towards Formal Semantics for Associations in UML 2.0
(pdf)
 
27 Sep 05

Towards Formalization for BM
Auxiliary Notes
Accompanying Email from Zinovy

(ppt)
(doc)
(txt)
 
30 Aug 05

Concise system model (4-page overview)

(pdf)
 
5 Nov 05

 


Most Recent Minutes

  • 21 Mar 06 (Teleconference)
  • 6-8 Feb 06 (working meeting in Munich)
  • 18 Jan 06 (Teleconference)

2005


Current UML Documents

The definitive source for current versions of the UML specification is the OMG Web Site. Get the current copy of the UML 2.0 specification. Note that we spend most of our time working with the UML 2.0 Superstructure document.

Older (Draft) UML Documents

The following list refers to several draft versions of various UML specification documents that we have been using in the past.

[OMG01a] OMG. Action semantics for the UML. Response to OMG RFP ad/98-11-01 OMG ad/2001-03-01, Object Management Group, March 2001. Older version of action semantics; contains appendix with some formalism.
[ .pdf ]
[OMG01b] OMG. Action semantics for the UML. Response to OMG RFP ad/98-11-01 OMG ad/2001-08-04, Object Management Group, August 2001. Newer version; does not include trace semantics appendix.
[ .pdf ]
[OMG04a] OMG. UML 2.0 infrastructure specification. Technical Report ptc/03-09-15, Object Management Group, April 2004.
[ .pdf ]
[OMG04b] OMG. UML 2.0 superstructure specification. Technical Report ptc/04-10-02, Object Management Group, October 2004.
[ .pdf ]
[OMG05] OMG. Semantics for a foundational subset for executable UML models - request for proposal. Request for Proposal ad/2005-04-02, Object Management Group, April 2005.
[ .pdf ]
[OMG06] OMG. Unified Modeling Language: Superstructure version 2.1. Document ptc/06-01-02, Object Management Group, January 2006.
[.pdf]