UML 2000 - the unified modeling language advancing the standard ; third international conference, York, UK, October 2 - 6, 2000 ; proceedings (Springer, 2000)