Workshops

[ Ws1 | Ws2 | Ws3 | Ws4 | Ws5 | Ws6 | Ws7 | Ws8 | Ws9 | Ws10 | Ws11 | DocSym | Info ]

Workshops

Seventh International Conference on UML Modeling Languages and Applications

<<UML>> 2004

October 10-15, 2004
Lisbon, Portugal

Note: In all email addresses on this page, [at] replaces @, to prevent spam.

Workshop 1 (Monday, October 11):

Consistency Problems in UML-based Software Development III -
understanding and usage of dependency relationships

Organizers:

• Zbigniew Huzar (main contact, zhuzar[at]ci.pwr.wroc.pl), Department of Computer Science, Wroclaw University of Technology, Wroclaw, Poland
• Ludwik Kuzniarz, School of Engineering, Blekinge Institute of Technology, Ronneby, Sweden
• Jean Louis Sourrouille, Department of Computer Science, INSA, Lyon, France
  

Abstract:

A UML-based software development can be considered as a modeling process. Software development process yields a partially ordered set of UML models the should be inter-consistent. The problem is how to define relationship between models reflecting the property. Similar problem relates to elements of individual model that should be intra-consistent. Different kinds of dependency relationships are used to describe relationships between models and their elements. However, the meaning of the UML dependency and their specializations are still not precisely defined. It rises the problem how to understand and how to check consistency between modeling artifacts.

URL:

http://uml04.ci.pwr.wroc.pl/

[back to top]

Workshop 2 (Monday, October 11):

Aspect Oriented Modeling

Organizers:

• Omar Aldawud (main contact, aldaoma[at]iit.edu), Lucent Technologies, USA
• Mohamed Kandé, Condris Technologies, Switzerland Faisal Akkawi, Northwestern University, USA
• Grady Booch, Rational, USA
• Bill Harrison, IBM Thomas J. Watson Research Center, USA
• Jeff Gray, Department of Computer and Information Sciences, University of Alabama at Birmingham
• Siobhán Clarke, Trinity College, Dublin, Ireland
• Jörg Kienzle, McGill University, Canada
• Atef Bader, Lucent Technologies, USA
• Dominik Stein, University of Duisburg-Essen, Germany
• Faisal Akkawi, North Western University, USA

Abstract:

The Aspect-Oriented Modeling (AOM) Workshop brings together researchers and practitioners from two communities, aspect-oriented software development (AOSD) and software model engineering. This workshop provides a forum for presenting new ideas and discussing the state of research and practice in modeling various kinds of crosscutting concerns at different levels, software architecture, detailed design, and testing, and mapping the models onto aspect-oriented programs. Important goals are to identify and discuss the impacts of aspect-oriented technologies on model engineering, especially UML, and to set up a shared agenda for future research in aspect-oriented modeling of software systems.

URL:

http://www.cs.iit.edu/~oaldawud/AOM/

[back to top]

Workshop 3 (Tuesday, October 12):

Software Architecture Description & UML

Organizers:

• Nenad Medvidovic, Computer Science Department, School of Engineering, University of Sothern California, USA
• Paris Avgeriou (main contact, paris.avgeriou[at]uni.lu), University of Luxembourg Faculty of Sciences, Technology and Communication LUXEMBOURG
• Nicolas Guelfi, University of Luxembourg Faculty of Sciences, Technology and Communication LUXEMBOURG

Abstract:

The description of software architectures has always been concerned with the definition of the appropriate notations or languages for designing the various architectural artifacts. The past ten years, formal or less formal Architecture Description Languages (ADLs) and supporting methods and tools have been proposed by researchers. Recently UML is being widely accepted in both industry and academia as a language for architecture description, and there have been approaches of UML-based AD either by extending the language, or by mapping existing ADLs onto it. The upcoming UML 2.0 standard has also created great expectations about the potential of the language to capture software architectures and especially allow for early analysis of systems under development. The interest in this field is also raised by the IEEE 1471 standard for AD that can foster the use of UML through defined viewpoints. Furthermore, MDE and MDA are tightly connected with both UML and AD, thus promoting new approaches of combining these two. This workshop aims to bring together researchers and practitioners that work on all aspects of Architectural Description (AD) of software systems, relating to the Unified Modeling Language. It will foster a presentation of the latest approaches on the field from both industry and academia, as well as a creative discussion between the participants in specific themes.

URL:

http://uml2004.uni.lu/

[back to top]

Workshop 4 (Monday, October 11):

Specification and Validation of UML models for Real Time and Embedded Systems, SVERTS

Organizers:

• Susanne Graf (main contact, Susanne.Graf[at]imag.fr ), Verimag, France
• Øystein Haugen, Ericsson, Norway
• Bran Selic, Rational, Canada
• Ileana Ober, Verimag, France

Abstract:

Today's applications have often strong constraints with respect to time related aspects. Moreover, overall systems may be huge, and even if the
embedded hard real-time components are relatively small, there is some global interdependence and the existence of a global model in a uniform framework is an important issue. The Unified Modeling Language UML can play this role, even if the real-time aspects are not really integrated today. The definition of UML has been motivated by the need for a standard notation for modelling system architectures and behaviours at functional and implementation level. UML aims at providing an integrated modelling framework encompassing architecture descriptions and behaviour descriptions. A first step to the integration of extra functional characteristics into the modelling framework has been achieved by the "UML profile for schedulability, Time and Performance"; it provides the basic concepts and a first attempt for a common syntax. Nevertheless, in order
to be able to exchange models and to build validation tools, it is important to have also a common understanding of the semantics of the given notations.
Other important issues in the domain of real-time is methodology and modeling paradigms allowing to break down the complexity, and tools which are able to verify well designed systems. This workshop should bring together researchers to discuss different time related issues in the context of modeling, design and validation of real-time systems, such as

• notations for expressing time and related requirements
• semantic issues and tools
• modeling paradigms for real-time systems

The workshop aims to gather people from academia and industry to discuss
the needs and possible solutions for handling time and scheduling related
issues which should help to define a work programme in this field.

URL:

http://www-verimag.imag.fr/EVENTS/2004/SVERTS/

[back to top]

Workshop 5 (Monday, October 11):

3rd UML Workshop in Software Model Engineering (WiSME 2004)

Organizers:

• Martin Gogolla (gogolla[at]informatik.uni-bremen.de), University of Bremen, Germany
  
• Paul Sammut (paul.sammut[at]xactium.com), Xactium, Great Britain
  
• Jon Whittle (jonathw[at]email.arc.nasa.gov), QSS/NASA Ames, USA
  

Abstract:

Model Driven Architecture (MDA) is an OMG initiative that attempts to eparate business functionality specification from the implementation of that functionality on specific middleware technological platforms (e.g., CORBA, C#/DotNet, Java/EJB, XML/SOAP). This approach is intended to play a key role in the fields of information system and software engineering. MDA is supposed to provide a basic technical framework for information integration and tools interoperation based on the separation of platform specific models (PSMs) from platform independent models (PIMs). Models of low granularity and high abstraction will represent the various functional and non-functional aspects of computer systems. In the long term there will be well defined operations, implemented by commercial tools that will allow to build, transform, merge or verify these different models. Key standards in the MDA will be based on OMG recommendations like UML, MOF, XMI, CWM, QVT.

In fact, MDA can be considered an implementation of a more general trend that has been gathering momentum in recent years called Model Driven Development (MDD). This aims to make models the primary driving assets in all aspects of software development, including system design, platform and language definition and mappings as in MDA, but also design data integration, design analysis, tool specification and product family development.

URL:

http://albini.xactium.com/wisme/

[back to top]

Workshop 6 (Sunday, October 10):

Open Issues in Industrial Use Case Modeling

Organizers:

• Gonzalo Génova (main contact, ggenova[at]ie.inf.uc3m.es), Carlos III University of Madrid, Spain
  
• Juan Llorens, Carlos III University of Madrid, Spain
  
• Pierre Metz, Cork Institute of Technology, Ireland
  
• Rubén Prieto-Díaz, James Madison University, VA, USA
  
• Hernán Astudillo, Universidad Técnica Federico Santa María, Chile
  

Abstract:

Use Cases have achieved wide use as specification tool for observable behavior of systems. However, there are still much controversy, inconsistent use, and free-flowing interpretations of use case models: in practice, they are dangerously ambiguous. The workshop purpose is to identify and characterize some ambiguity sources. It will gather specialists involved in modeling use cases to exchange ideas and proposals, with an eye to both clear definition and practical application. Some proposed topics are:

• Alignment of textual specification and graphical representation: use case relationships, use case standard templates, use case contracts, etc.
• Little semantic connection between use case specification items and UML use case diagrams.
• Collaboration vs. participation among actors of a use case.
• Functional vs. structural view of use cases.
• Use cases composition.
• Adding potentially missing relationships among use cases.
• Other topics including novel applications of use case models.
  

The target audience is researchers, lecturers and practitioners interested in use case modeling. The workshop will produce identification and characterization of open issues and promising avenues of inquiry.

URL:

http://www.ie.inf.uc3m.es/uml2004-ws6/

[back to top]

Workshop 7 (Tuesday, October 12):

Models for Non-functional Aspects of Component-Based Software

Organizers:

• Jean-Michel Bruel, Laboratoire d'Informatique, University of Pau
  France
  
• Geri Georg, Computer Science Department, Colorado State University
  
• Heinrich Hußmann (main contact, hussmann[at]informatik.uni-muenchen.de), Universität München, Institut für Informatik
• Ileana Ober, UMR Verimag, Centre Equation, Gi-Aères, France
  
• Christoph Pohl, Fakultät Informatik, Institut für Systemarchitektur, Professur für Rechnernetze, Technische Universität Dresden, Dresden, Germany
  
• Jon Whittle, NASA Ames Research Center, Moffett Field, USA
  
• Steffen Zschaler, Fakultät Informatik, Institut für Software- und Multimediatechnologie, Lehrstuhl für Softwaretechnologie, Technische Universität Dresden, Dresden, Germany
  

Abstract:

Developing reliable software is a complex, daunting, and error-prone task. Therefore, many researchers are interested in improving the support for developers creating such software. Component-based software engineering has emerged as an important paradigm for handling complexity. The goal of this workshop is to look at issues related to the integration of non-functional property expression, evaluation, and prediction in the context of component-based software engineering. In this area it is our main focus to look at model-based approaches, preferably, but not limited to, UML-based approaches. This includes semantic issues, questions of modelling language definition, but also support for automation, such as analysis algorithms, MDA-based approaches, or tool-support for refinement steps. As models are only really meaningful if used in the context of a software development process, we also welcome work in this area.

We expect the workshop to foster cooperation between the various research groups in the field. One important expected outcome is a joint workshop report as well as ongoing discussions, e.g., on a workshop mailing list.

URL:

http://www.comquad.org/nfc04/

[back to top]

Workshop 8 (Tuesday, October 12):

OCL and Model Driven Engineering

Organizers:

• Jean Bézivin, University of Nantes, France
  
• Thomas Baar, EPFL Lausanne, Switzerland
  
• Tracy Gardner, IBM in Hursley, United Kingdom
  
• Martin Gogolla, University of Bremen, Germany
  
• Reiner Hähnle, Chalmers University, Gothenburg, Sweden
  
• Heinrich Hußmann, University of Munich, Germany
  
• Octavian Patrascoiu (main contact, O.Patrascoiu[at]kent.ac.uk ), University of Kent, United Kingdom
  
• Peter H. Schmitt, Universität Karlsruhe, Germany
  
• Jos Warmer, De Nederlandsche Bank, Nederland

Abstract:

Precise modeling is essential to the success of the OMG's Model Driven Architecture initiative. OCL can play a role at multiple levels. At the meta-level (M2), queries, views and transformations are subjects that will be vital to the success of the OMG's Model Driven Architecture Initiative. Will OCL 2.0 become an essential part of the Queries/Views/Transformations standard and what will be its application areas in industry?

At the modeling level (M1) OCL allows for the precision needed to write executable models. Currently OCL is restricted to side-effect free queries. Can OCL be extended to become a full high-level executable language with side-effects?

How will the powerful features of OCL 2.0 be used in the Model Driven Engineering approach? Is OCL 2.0 more powerful than needed, or is not powerful enough? This workshop aims at bringing together people from academia that are expected to report on inspiring ideas for innovative application scenarios and tools, and industrial practitioners, which are expected to provide statements on their view of the future of OCL in the context of Model Driven Engineering.

URL:

http://www.cs.kent.ac.uk/projects/ocl/oclmdewsuml04/

[back to top]

Workshop 9 (Tuesday, October 12):

Critical Systems Development with UML

Organizers:

• Eduardo B. Fernandez, Florida Atlantic University
• Robert France, Colorado State University
• Jan Jürjens, TU M¨unchen (main contact, juerjens[at]in.tum.de )
• Bernhard Rumpe, TU Braunschweig

Abstract:

The high quality development of critical systems (be it real-time, security-critical, dependable/safety-critical, performance-critical, or hybrid systems) is difficult. Many critical systems are developed, deployed, and used that do not satisfy their criticality requirements, sometimes with spectacular failures.
Part of the difficulty of critical systems development is that correctness is often in conflict with cost. Where thorough methods of system design pose high cost through personnel training and use, they are all too often avoided.
UML offers an unprecedented opportunity for high-quality critical systems development that is feasible in an industrial context.

• As the de-facto standard in industrial modelling, a large number of developers is trained in UML.
  
• Compared to previous notations with a user community of comparable size, UML is relatively precisely defined.
  
• A number of tools have been developed to assist with the operational use of UML.
  

To exploit this opportunity, some challenges remain which include the following:

• Adapting UML to critical system application domains.
• Encouraging the correct use of UML in the application domains.
  
• Avoiding conflict between flexibility and unambiguity in the meaning of a notation.
  
• Improving tool-support for critical systems development with UML.
  

The workshop aims to gather practitioners and researchers to contribute to overcoming these challenges.

URL:

http://www4.in.tum.de/~csduml04

Workshop 10 (Canceled):

QUEVER - UML Workshop on QUantitative-based Evaluation, Visualization and Refactoring

Organizers:

Fernando Brito e Abreu (main contact, fba[at]di.fct.unl.pt), Universidade Nova de Lisboa, Portugal.

Geert Poels, Ghent University & Katholieke Universiteit Leuven, Belgium.

Houari A. Sahraoui, Université de Montréal, Montréal, Quebec, Canada.

Jan Hendrik Hausmann, Universität Paderborn, Germany

Abstract:

The main objective of this workshop is to bridge the research being produced in the areas of Evaluation, Visualization and Refactoring (briefly EVR), within the wider community of UML users. Although these areas have obvious intersections, there is no known forum where the three are addressed in conjunction. QUEVER is intended to fulfill this gap.
During the workshop there will be some sessions for presenting position papers, a hands-on session where a cooperative problem solving approach will be applied to a proposed problem and a closing session for summarizing, evaluating and assembling the research results and for identifying future research opportunities.

Participation in the workshop is by invitation only, i.e. based on the submission of a position paper. All submitted position papers will be formally reviewed by the workshop organizers for originality, relevance, quality and clarity. We specially encourage the submission of new ideas, even if not fully validated yet. All invited participants will be asked to summarize the contributions and limitations of the work they will present.

A paper-based proceedings of QUEVER'2004, including all accepted position papers, will be distributed to the participants. An electronic-based edition of the same proceedings will be made available in the workshop website.

URL:

http://ctp.di.fct.unl.pt/UML2004/quever2004.htm

[back to top]

Workshop 11 (Cancelled):

SIVOES 2004: behavior in model driven approaches

Organizers:

• Sébastien GERARD (main contact, Sebastien.Gerard[at]cea.fr ) Centre d'Etudes de Saclay / List, France
• Pierre-Alain MULLER, Université de Hte Alsace, ESSAIM, France
• Colin ATKINSON , University of Mannheim, Germany
• Bran SELIC, IBM Rational Software Canada, Ontario, Canada
  

Abstract:

The latest OMG initiative (already three years old), called MDA -- for "Model Driven Architecture" - puts forward the idea that future process development will be centred around the models, thus keeping independent development from underlying platform technology. Concretely, OMG initiated activities (e.g. MOF 2.0 Query/View/Transf. RFP) in order to promote all the technologies that should ensure that this principle becomes a reality in industry.

The first significant result of the MDA paradigm for engineers is the possibility for them to build application models that can be conveniently ported to new, emerging technologies - implementation languages, middleware, etc.- with minimal effort and risk.

In the DRES area, this model-oriented trend is also very active and promising. But DRES are different from general-purpose systems at last because of their behavior aspects. Indeed, it is one of the main issue in their development.

The purpose of this workshop is to serve as an opportunity to gather researchers and industrials in order to survey some existing experiments related to behavioral issues related to DRES development in the context of the model-driven paradigm.

This workshop aims to bring together members of the various communities concerned by the behaviour across a wide range of domains. The workshop will provide them with a central forum where to debate of the place of behaviour in analysis, design, implementation and maintenance of software and systems in the context of the distributed, real-time and embedded areas.

This workshop seek contributions from researchers and practitioners interested on all aspects of the representation and implementation of behaviour. We are especially interested in papers outlining how behaviour is addressed in the different communities and how these communities see the balance between structure and behaviour in software and systems.

To achieve this purpose, SIVOES-Behavior solicits then abstract papers (about 4 pages) related to, but not limited to, the following principal topics:

• Models and metamodels.
• Simulation.
• Verification and validation.
• Automation.
• Code generation.
• Real-time and reactive systems.

URL:

http://www.sivoes.org/

[back to top]

Workshop 12 (Sunday, October 10):

Doctoral Symposium

Organization:

• Marcus Alanen, Åbo Akademi University, Turku, Finland
• Jordi Cabot, Universitat Oberta de Catalunya, Spain
• Miguel Goulão, Universidade Nova de Lisboa, Portugal
• José Sáez, University of Murcia, Spain
• Devon Simmonds, Colorado State University, USA

Main contact: uml2004docsym[at]di.fct.unl.pt

Abstract:

The UML'04 Doctoral Symposium is the first Doctoral symposium in the UML Conference series. The Doctoral Symposium seeks to bring together PhD Students working in areas related to UML and modeling in general.

Selected students will have the opportunity to present and to discuss their research goals, methods and results within a constructive and international atmosphere. The symposium is intended for students who have already settled on a specific research proposal and have some preliminary results, but still have enough time remaining before submitting their dissertation, so that they can benefit from the Symposium discussions.

URL:

http://ctp.di.fct.unl.pt/UML2004/phdSymp.htm

[back to top]