Inivited Talk 1.- Agile Processes: Developing Your Own "Secret Recipes".- Practical Model Management.- Difference and Union of Models.- GREAT: UML Transformation Tool for Porting Middleware Applications.- Model-Centric Engineering with the Evolution and Validation Environment.- Time and Quality of Service.- Representing Temporal Information in UML.- Formal Semantics of UML with Real-Time Constructs.- A QoS-Oriented Extension of UML Statecharts.- Short Tool Papers.- CheckVML: A Tool for Model Checking Visual Modeling Languages.- A Workbench to Experiment on New Model Engineering Applications.- ProGUM-Web: Tool Support for Model-Based Development of Web Applications.- Composition and Architecture.- On the Key Role of Composition in Object-Oriented Modelling.- Compositional and Relational Reasoning During Class Abstraction.- Encoding Informal Architectural Descriptions with UML: An Experience Report.- Inivited Talk 2.- UML/MDA Reality Check: Heterogenous Architecture Style.- Transformation.- Towards Automating Source-Consistent UML Refactorings.- Model Refactorings as Rule-Based Update Transformations.- Reflective Model Driven Engineering.- The Web.- A Model-Driven Runtime Environment for Web Applications.- Using UML and XMI for Generating Adaptive Navigation Sequences in Web-Based Systems.- Platform Independent Web Application Modeling.- Testing and Validation.- Rigorous Testing by Merging Structural and Behavioral UML Representations.- Towards Automated Support for Deriving Test Data from UML Statecharts.- Validation of UML and OCL Models by Automatic Snapshot Generation.- Improving UML/OCL.- A Critique of UML's Definition of the Use-Case Class.- Modelling Database Views with Derived Classes in the UML/OCL-framework.- An OCL Extension for Low-Coupling Preserving Contracts.- Invited Talk 3.- What Is the Point of the UML?.- Consistency.- Using Description Logic to Maintain Consistency between UML Models.- Modeling and Testing Legacy Data Consistency Requirements.- The Consistency Workbench: A Tool for Consistency Management in UML-Based Development.- Methodology.- Developing Safety-Critical Systems with UML.- Consistent and Complete Access Control Policies in Use Cases.- STAIRS - Steps To Analyze Interactions with Refinement Semantics.- Workshops and Tutorials.- Workshops at the UML 2003 Conference.- Tutorials at the UML 2003 Conference.
[1]
Peter Dolog,et al.
Towards Variability Modelling for Reuse in Hypermedia Engineering
,
2002,
ADBIS.
[2]
Peter Dolog,et al.
Navigation Modelling in Adaptive Hypermedia
,
2002,
AH.
[3]
Peter Dolog,et al.
Challenges and Benefits of the Semantic Web for User Modelling
,
2003
.
[4]
G. Rossi,et al.
An Object Oriented Approach to Web-Based Application Design
,
1998
.
[5]
Martin Gaedke,et al.
Crossing the gap from design to implementation in web-application development
,
2000,
IRMA Conference.
[6]
Nora Koch,et al.
Software Engineering for Adaptive Hypermedia Systems: Reference Model, Modeling Techniques and Development Process
,
2001,
Softwaretechnik-Trends.
[7]
Peter Dolog,et al.
Hypermedia Systems Modelling Framework
,
2002,
Comput. Artif. Intell..
[8]
Marc Lohmann,et al.
Rapid Development of Modular Dynamic Web Sites Using UML
,
2002,
UML.
[9]
Luciano Baresi,et al.
Extending UML for modeling Web applications
,
2001,
Proceedings of the 34th Annual Hawaii International Conference on System Sciences.
[10]
Oscar Pastor,et al.
Conceptual Navigation Analysis: a device and platform independent navigation specification
,
2001
.
[11]
Stefano Ceri,et al.
Web Modeling Language (WebML): a modeling language for designing Web sites
,
2000,
Comput. Networks.
[12]
Ioana Manolescu,et al.
Specification and Design of Workflow-Driven Hypertexts
,
2002,
J. Web Eng..
[13]
Ó. Pastor,et al.
On Conceptual Modeling of Device-Independent Web Applications : Towards a Web Engineering Approach
,
2000
.
[14]
Peter Brusilovsky,et al.
Adaptive Hypermedia
,
2001,
User Modeling and User-Adapted Interaction.
[15]
Dan Suciu,et al.
Catching the boat with Strudel: experiences with a Web-site management system
,
1998,
SIGMOD '98.