Andy Evans, Stuart Kent, Bran Selic
Proceedings of the Third International Conference on the Unified Modeling Language: Advancing the Standard
UML, 2000.

@proceedings{UML-2000,
	address       = "York, England, United Kingdom",
	editor        = "Andy Evans and Stuart Kent and Bran Selic",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Third International Conference on the Unified Modeling Language: Advancing the Standard}",
	volume        = 1939,
	year          = 2000,
}

Contents (38 items)

24 ×#uml
8 ×#diagrams
8 ×#modelling
5 ×#constraints
5 ×#ocl
4 ×#architecture
4 ×#case study
4 ×#design
3 ×#approach
3 ×#behaviour

UML-2000-SendallS #case study #specification

From Use Cases to System Operation Specifications (SS, AS), pp. 1–15.

UML-2000-AmyotM #case study #concept #on the #uml

On the Extension of UML with Use Case Maps Concepts (DA, GM), pp. 16–31.

UML-2000-GraubmannR #case study #diagrams #modelling #sequence chart #testing

HyperMSCs and Sequence Diagrams for Use Case Modelling and Testing (PG, ER), pp. 32–46.

UML-2000-Knapmann #constraints

Business-oriented Constraint Language (JK), pp. 47–61.

UML-2000-BarrosDLMRW #architecture #concept #enterprise #process #uml

Processes, Roles, and Events: UML Concepts for Enterprise Architecture (APB, KD, ML, ZM, KR, AW), pp. 62–77.

UML-2000-Knapmann00a #constraints #statistics

Statistical Constraints for EAI (JK), pp. 78–92.

UML-2000-NunesC #approach #design #interactive #towards #uml

Towards a UML profile for interaction design: the Wisdom approach (NJN, JFeC), pp. 101–116.

UML-2000-SilvaP #interactive #modelling #named

UMLi: The Unified Modeling Language for Interactive Applications (PPdS, NWP), pp. 117–132.

UML-2000-VilainSS #diagrams #interactive #representation #uml

A Diagrammatic Tool for Representing User Interaction in UML (PV, DS, CSdS), pp. 133–147.

UML-2000-BrennerD #uml

UML Extensions for ASAM-GDI Device Capability Description (EB, ID), pp. 148–161.

UML-2000-Padawitz #constraints #diagrams #how #proving #state machine #theorem proving #uml

Swinging UML: How to Make Class Diagrams and State Machines Amenable to Constraint Solving and Proving (PP), pp. 162–177.

UML-2000-MirandolaC #distributed #modelling #performance #uml

UML Based Performance Modeling of Distributed Systems (RM, VC), pp. 178–193.

UML-2000-Steimann #concept #uml

A Radical Revision of UML’s Role Concept (FS), pp. 194–209.

UML-2000-WegmannG #case study #diagrams

The Roles of “Roles” in Use Case Diagrams (AW, GG), pp. 210–224.

UML-2000-CasanovaWD #ocl #quality #uml

Ensuring Quality of Geographic Data with UML and OCL (MC, TW, MD), pp. 225–239.

UML-2000-FelfernigJZ #design #diagrams #knowledge base #uml

Contextual Diagrams as Structuring Mechanisms for Designing Configuration Knowledge Bases in UML (AF, DJ, MZ), pp. 240–254.

UML-2000-Cook #product line #uml

The UML family: Profiles, Prefaces and Packages (SC), pp. 255–264.

UML-2000-RichtersG #constraints #modelling #ocl #uml #validation

Validating UML Models and OCL Constraints (MR, MG), pp. 265–277.

UML-2000-HussmannDF #architecture #composition #ocl #tool support

Modular Architecture for a Toolset Supporting OCL (HH, BD, FF), pp. 278–293.

UML-2000-BottoniKPT #consistency #constraints #ocl #visualisation

Consistency Checking and Visualization of OCL Constraints (PB, MK, FPP, GT), pp. 294–308.

UML-2000-AtkinsonK #how #strict #why

Strict Profiles: Why and How (CA, TK), pp. 309–322.

UML-2000-EngelsHHS #approach #behaviour #diagrams #metamodelling #modelling #semantics #uml #visual notation

Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML (GE, JHH, RH, SS), pp. 323–337.

UML-2000-Clarke #design #modelling #uml

Composing Design Models: An Extension to the UML (SC), pp. 338–352.

UML-2000-OvergaardP #uml

Interacting Subsystems in UML (GÖ, KP), pp. 359–368.

UML-2000-PetriuS #behaviour #consistency #diagrams #process #representation #sequence chart

Consistent Behaviour Representation in Activity and Sequence Diagrams (DCP, YS), pp. 369–382.

UML-2000-AbdurazikO #collaboration #diagrams #generative #static analysis #testing #uml #using

Using UML Collaboration Diagrams for Static Checking and Test Generation (AA, AJO), pp. 383–395.

UML-2000-DammHTT #strict #uml

Supporting Several Levels of Restriction in the UML (CHD, KMH, MT, MT), pp. 396–409.

UML-2000-HennickerK #design #hypermedia #uml

A UML-based Methodology for Hypermedia Design (RH, NK), pp. 410–424.

UML-2000-ChabrolS #modelling #object-oriented #uml

Object Oriented Methodology based on UML for Urban Traffic System Modeling (MC, DS), pp. 425–439.

UML-2000-KleppeW #ocl

Extending OCL to include Actions (AK, JW), pp. 440–450.

UML-2000-MizunoSN #approach #concurrent #source code #uml

A Structured Approach to Develop Concurrent Programs in UML (MM, GS, MLN), pp. 451–465.

UML-2000-PickinM #analysis #uml

Describing AI Analysis Patterns with UML (SP, AMR), pp. 466–481.

UML-2000-GuennecSJ #design pattern #modelling #precise

Precise Modeling of Design Patterns (ALG, GS, JMJ), pp. 482–496.

UML-2000-Kobryn #design pattern #metamodelling #uml

Architectural Patterns for Metamodeling: A Hitchhikers Guide to the UML Metaverse (CK), p. 497.

UML-2000-GarlanK #architecture

Reconciling the Needs of Architectural Description with Object-Modeling Notations (DG, AK), pp. 498–512.

UML-2000-KandeS #architecture #towards #uml

Towards a UML Profile for Software Architecture Descriptions (MMK, AS), pp. 513–527.

UML-2000-Kwon #model checking #semantics #uml

Rewrite rules and Operational Semantics for Model Checking UML Statecharts (GK), pp. 528–540.

UML-2000-Pazzi #behaviour #representation

Part-Whole Statecharts for the Explicit Representation of Compound Behaviors (LP), pp. 541–555.