UML Modeling Languages and Applications

The UML 2004 conference was held in Lisbon (Portugal) from October 11 through October 15, 2004. It was the seventh conference in a series of annual events that started in 1998. UML has rapidly become one of the leading venues to present and discuss the development of object-oriented modeling. In order to re?ect the changes in the ?eld, the UML conference series will be continued from 2005 onwards under the name MODELS (Model Driven En- neering, Languages and Systems). Inane?orttomakethisyear'sconferencemoreusefulande?ectiveforawider community, including academics and practitioners working in areas related to UML and modeling in general, a set of satellite events was organized, including workshopsdedicatedtospeci?cresearchtopics,anindustrytrack,aposter/demo session, and a tools exhibit. This volume is a compilation of the contributions presented at these satellite events. Workshops at UML 2004 took place during the ?rst three days of the conference(fromOctober10to12). Followingthetraditionofprevious UML conferences, UML 2004workshopsprovidedacollaborativeforumforgroups of (typically 15 to 30) participants to exchange recent or preliminary results, to conduct intensive discussions on a particular topic, or to coordinate e?orts between representatives of a technical community. Ten workshops were held, covering a variety of hot topics, which have been covered in the workshop - ports contained in this volume. Each workshop lasted for a full day. A novelty with respect to previous UML conferences was the inclusion of a Doctoral Symposium, which was well received, to provide an explicit space for young - searchers developing their thesis on some aspect related to UML.

Inhalt
Workshops.- Consistency Problems in UML-Based Software Development.- 5th International Workshop on Aspect-Oriented Modeling.- Software Architecture Description and UML.- SVERTS Specification and Validation of Real-Time and Embedded Systems.- Essentials of the 3rd UML Workshop in Software Model Engineering (WiSME'2004).- Open Issues in Industrial Use Case Modeling.- Models for Non-functional Aspects of Component-Based Software (NfC'04).- OCL and Model Driven Engineering.- Critical Systems Development Using Modeling Languages (CSDUML'04): Current Developments and Future Challenges (Report on the Third International Workshop).- Doctoral Symposium.- Industry Track.- Function Net Modeling with UML-RT: Experiences from an Automotive Project at BMW Group.- Supporting the Building and Analysis of an Infrastructure Portfolio Using UML Deployment Diagrams.- Model-Driven Development of Enterprise Applications.- Lessons Learned Applying UML in the Design of Mission Critical Software.- System-on-Chip Verification Process Using UML.- SoftContract: Model-Based Design of Error-Checking Code and Property Monitors.- Tailoring IEEE 1471 for MDE Support.- Data Communications Standards: A Case for the UML.- Experiences in Modeling for a Domain Specific Language.- Six Lessons Learned Using MDA.- Applying MDA and UML in the Development of a Healthcare System.- Managed Architecture of Existing Code as a Practical Transition Towards MDA.- Posters / Demos.- EPTUD: An Eclipse Plugin for Testing UML Designs.- Towards a Platform for Debugging Executed UML-Models in Embedded Systems.- The TopModL Initiative.- PAMPERO: Precise Assistant for the Modeling Process in an Environment with Refinement Orientation.- Tools for Critical Systems Development with UML (Tool Demo).- Incremental MDDThrough Generative Causal Connectedness.- Model-Driven Engineering of Middleware-Mediated Distributed Systems.- Profile Suite for Model Transformations on the Computation Independent Level.- The ProjectIT-RSL Language Overview.- A UML-Based Tool for Designing User Interfaces.- The AGEDIS Tools for Model Based Testing.- Tool Exhibits.- Tools Exhibits.