Uml 2003-The Unified Modeling Language: Modeling Languages and Applications : 6th International Conference, San Francisco, Ca, Usa, October 2003 : Proceedings,9783540202431

Uml 2003-The Unified Modeling Language: Modeling Languages and Applications : 6th International Conference, San Francisco, Ca, Usa, October 2003 : Proceedings

by ; ; ;
ISBN13: 9783540202431
ISBN10: 3540202439
Format: Paperback
Pub. Date: 2003-10-01
Publisher(s): Springer Verlag
  • eCampus.com Device Compatibility Matrix

    Click the device icon to install or view instructions

    Apple iOS | iPad, iPhone, iPod
    Apple iOS | iPad, iPhone, iPod
    Android Devices | Android Tables & Phones OS 2.2 or higher | *Kindle Fire
    Android Devices | Android Tables & Phones OS 2.2 or higher | *Kindle Fire
    Windows 10 / 8 / 7 / Vista / XP
    Windows 10 / 8 / 7 / Vista / XP
    Mac OS X | **iMac / Macbook
    Mac OS X | **iMac / Macbook
    Enjoy offline reading with these devices
    Apple Devices
    Android Devices
    Windows Devices
    Mac Devices
    iPad, iPhone, iPod
    Our reader is compatible
     
     
     
    Android 2.2 +
     
    Our reader is compatible
     
     
    Kindle Fire
     
    Our reader is compatible
     
     
    Windows
    10 / 8 / 7 / Vista / XP
     
     
    Our reader is compatible
     
    Mac
     
     
     
    Our reader is compatible
List Price: $129.00

Rent Textbook

Select for Price
Add to Cart
There was a problem. Please try again later.

Rent Digital

Rent Digital Options
Online:30 Days access
Downloadable:30 Days
$19.80
Online:60 Days access
Downloadable:60 Days
$26.40
Online:90 Days access
Downloadable:90 Days
$33.00
Online:120 Days access
Downloadable:120 Days
$39.60
Online:180 Days access
Downloadable:180 Days
$42.90
Online:1825 Days access
Downloadable:Lifetime Access
$65.99
*To support the delivery of the digital material to you, a digital delivery fee of $3.99 will be charged on each digital item.
$42.90*
Add to Cart

New Textbook

We're Sorry
Sold Out

Used Textbook

We're Sorry
Sold Out

Buy from our Marketplace starting at $16.49

How Marketplace Works:

  • This item is offered by an independent seller and not shipped from our warehouse
  • Item details like edition and cover design may differ from our description; see seller's comments before ordering.
  • Sellers much confirm and ship within two business days; otherwise, the order will be cancelled and refunded.
  • Marketplace purchases cannot be returned to eCampus.com. Contact the seller directly for inquiries; if no response within two days, contact customer service.
  • Additional shipping costs apply to Marketplace purchases. Review shipping costs at checkout.

Summary

This book constitutes the refereed proceedings of the 6th International Conference on the Unified Modelling Language, UML 2003, held in San Francisco, CA, USA in October 2003. The 25 revised full papers, 4 tool papers, and 1 experience paper presented together with the abstracts of 3 invited talks and summaries on the UML 2003 workshop and tutorials were carefully reviewed and selected from initially 168 submissions. The papers are organized in topical sections on practical model management, time and quality of service, tools, composition and architecture, transformation, Web related issues, testing and validation, improving UML/OCL, consistency, and methodology.

Table of Contents

Inivited Talk 1
Agile Processes: Developing Your Own ``Secret Recipes''
1(1)
Peter Coad
Practical Model Management
Difference and Union of Models
2(16)
Marcus Alanen
Ivan Porres
GREAT: UML Transformation Tool for Porting Middleware Applications
18(13)
Alexander Christoph
Matthias M. Muller
Model-Centric Engineering with the Evolution and Validation Environment
31(13)
Jorn Guy Suß
Andreas Leicher
Herbert Weber
Ralf-D. Kutsche
Time and Quality of Service
Representing Temporal Information in UML
44(16)
Jordi Cabot
Antoni Olive
Ernest Teniente
Formal Semantics of UML with Real-Time Constructs
60(16)
Subash Shankar
Sinan Asa
A QoS-Oriented Extension of UML Statecharts
76(16)
David N. Jansen
Holger Hermanns
Joost-Pieter Katoen
Short Tool Papers
Check VML: A Tool for Model Checking Visual Modeling Languages
92(4)
Akos Schmidt
Daniel Varro
A Workbench to Experiment on New Model Engineering Applications
96(5)
Ralph-Johan Back
Dag Bjorklund
Johan Lilius
Luka Milovanov
Iran Porres
ProGUM-Web: Tool Support for Model-Based Development of Web Applications
101(5)
Marc Lohmann
Stefan Sauer
Tim Schattkowsky
Composition and Architecture
On the Key Role of Compositioning Object-Oriented Modelling
106(15)
Friedrich Steimann
Jens Goßner
Thomas Muck
Compositional and Relational Reasoning during Class Abstraction
121(17)
Alexander Egyed
Encoding Informal Architectural Descriptions with UML: An Experience Report
138(5)
Yaojin Yang
Jianli Xu
Inivited Talk 2
UML/MDA Reality Check: Heterogenous Architecture Style
143(1)
Nicolas F. Rouquette
Transformation
Towards Automating Source-Consistent UML Refactorings
144(15)
Pieter Van Gorp
Hans Stenten
Tom Mens
Serge Demeyer
Model Refactorings as Rule-Based Update Transformations
159(16)
Ivan Porres
Reflective Model Driven Engineering
175(15)
Jean Bezivin
Nicolas Farcet
Jean-Marc Jezequel
Benoit Langlois
Damien Pollet
The Web
A Model-Driven Runtime Environment for Web Applications
190(15)
Joerg Pleumann
Stefan Haustein
Using UML and XMI for Generating Adaptive Navigation Sequences in Web-Based Systems
205(15)
Peter Dolog
Wolfgang Nejdl
Platform Independent Web Application Modeling
220(14)
Pierre-Alain Muller
Philippe Studer
Jean Bezivin
Testing and Validation
Rigorous Testing by Merging Structural and Behavioral UML Representations
234(15)
Orest Pilskalns
Anneliese Andrews
Sudipto Ghosh
Robert France
Towards Automated Support for Deriving Test Data from UML Statecharts
249(16)
Lionel C. Briand
Jim Cui
Yvan Labiche
Validation of UML and OCL Models by Automatic Snapshot Generation
265(15)
Martin Gogolla
Jorn Bohling
Mark Richters
Improving UML/OCL
A Critique of UML's Definition of the Use-Case Class
280(15)
Sadahiro Isoda
Modelling Database Views with Derived Classes in the UML/OCL-Framework
295(15)
Hermann Balsters
An OCL Extension for Low-Coupling Preserving Contracts
310(15)
Isabel Nunes
Invited Talk 3
What Is the Point of the UML?
325(1)
Martin Fowler
Consistency
Using Description Logic to Maintain Consistency between UML Models
326(15)
Ragnhild Van Der Straeten
Tom Mens
Jocelyn Simmonds
Viviane Jonckers
Modeling and Testing Legacy Data Consistency Requirements
341(15)
Jan Pettersen Nytun
Christian S. Jensen
The Consistency Workbench: A Tool for Consistency Management in UML-Based Development
356(4)
Gregor Engels
Reiko Heckel
Jochen M. Kuster
Methodology
Developing Safety-Critical Systems with UML
360(13)
Jan Jurjens
Consistent and Complete Access Control Policies in Use Cases
373(15)
Khaled Alghathbar
Duminda Wijesekera
Stairs - Steps to Analyze Interactions with Refinement Semantics
388(15)
Øystein Haugen
Ketil Stolen
Workshops and Tutorials
Workshops at the UML 2003 Conference
403(7)
Ana Moreira
Tutorials at the UML 2003 Conference
410(5)
Joao Araujo
Author Index 415

An electronic version of this book is available through VitalSource.

This book is viewable on PC, Mac, iPhone, iPad, iPod Touch, and most smartphones.

By purchasing, you will be able to view this book online, as well as download it, for the chosen number of days.

Digital License

You are licensing a digital product for a set duration. Durations are set forth in the product description, with "Lifetime" typically meaning five (5) years of online access and permanent download to a supported device. All licenses are non-transferable.

More details can be found here.

A downloadable version of this book is available through the eCampus Reader or compatible Adobe readers.

Applications are available on iOS, Android, PC, Mac, and Windows Mobile platforms.

Please view the compatibility matrix prior to purchase.