Martin Gogolla, Cris Kobryn
Proceedings of the Fourth International Conference on the Unified Modeling Language, Modeling Languages, Concepts, and Tools
UML, 2001.

@proceedings{UML-2001,
	address       = "Toronto, Canada",
	editor        = "Martin Gogolla and Cris Kobryn",
	isbn          = "3-540-42667-1",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Fourth International Conference on the Unified Modeling Language, Modeling Languages, Concepts, and Tools}",
	volume        = 2185,
	year          = 2001,
}

Contents (35 items)

20 ×#uml
5 ×#modelling
5 ×#ocl
5 ×#semantics
5 ×#specification
4 ×#metamodelling
3 ×#analysis
3 ×#design
3 ×#diagrams
3 ×#process

UML-2001-Rumbaugh

The Preacher at Arrakeen (JER), p. 1.

UML-2001-AlvarezCES #action semantics #semantics

An Action Semantics for MML (JMÁ, TC, AE, PS), pp. 2–18.

UML-2001-AtkinsonK #metamodelling #multi

The Essence of Multilevel Metamodeling (CA, TK), pp. 19–33.

UML-2001-AlvarezES #architecture #metamodelling

Mapping between Levels in the Metamodel Architecture (JMÁ, AE, PS), pp. 34–46.

UML-2001-EshuisW #algorithm #execution #graph #process #uml

An Execution Algorithm for UML Activity Graphs (RE, RW), pp. 47–61.

UML-2001-XuandongMYJG #analysis #diagrams #process #uml

Timing Analysis of UML Activity Diagrams (XL, CM, YP, JZ, GZ), pp. 62–75.

UML-2001-DumasH #diagrams #process #specification #uml #workflow

UML Activity Diagrams as a Workflow Specification Language (MD, AHMtH), pp. 76–90.

UML-2001-AkehurstB #modelling #ocl #on the #query #uml

On Querying UML Data Models with OCL (DHA, BB), pp. 91–103.

UML-2001-DemuthHL #database #ocl #specification

OCL as a Specification Language for Business Rules in Database Applications (BD, HH, SL), pp. 104–117.

UML-2001-CengarleK #ocl #semantics

A Formal Semantics for OCL 1.4 (MVC, AK), pp. 118–133.

UML-2001-SunyePTJ #modelling #refactoring #uml

Refactoring UML Models (GS, DP, YLT, JMJ), pp. 134–148.

UML-2001-YacoubA #composition #design #design pattern #uml

UML Support for Designing Software Systems as a Composition of Design Patterns (SMY, HHA), pp. 149–165.

UML-2001-CrettazKSS #approach

Integrating the ConcernBASE Approach with SADL (VC, MMK, SS, AS), pp. 166–181.

UML-2001-DevosS #analysis #object-oriented #paradigm

The Message Paradigm in Object-Oriented Analysis (FD, ES), pp. 182–193.

UML-2001-BriandL #approach #testing #uml

A UML-Based Approach to System Testing (LCB, YL), pp. 194–208.

UML-2001-GrassiM #analysis #architecture #mobile #modelling #performance #uml

UML Modelling and Performance Analysis of Mobile Software Architectures (VG, RM), pp. 209–224.

UML-2001-MarcosVC #database #design #uml

Extending UML for Object-Relational Database Design (EM, BV, JMC), pp. 225–239.

UML-2001-Damm #comprehension #uml

Understanding UML — Pains and Rewards (WD), p. 240.

UML-2001-Kuske #graph transformation #semantics #state machine #uml

A Formal Semantics of UML State Machines Based on Structured Graph Transformation (SK), pp. 241–256.

UML-2001-BottoniKPT #ocl #using #visualisation

A Visualization of OCL Using Collaborations (PB, MK, FPP, GT), pp. 257–271.

UML-2001-EngelsHK #behaviour #consistency #metamodelling #rule-based #specification #uml

Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model (GE, RH, JMK), pp. 272–286.

UML-2001-ApvrilleSLSC #design #realtime #uml #validation

A New UML Profile for Real-Time System Formal Design and Validation (LA, PdSS, CL, PS, JPC), pp. 287–301.

UML-2001-LatronicoK #diagrams #embedded #formal method #representation #sequence chart

Representing Embedded System Sequence Diagrams as a Formal Language (EL, PK), pp. 302–316.

UML-2001-LettrariK #modelling #monitoring #realtime #testing #uml

Scenario-Based Monitoring and Testing of Real-Time UML Models (ML, JK), pp. 317–328.

UML-2001-GenovaLM #multi #semantics #uml

Semantics of the Minimum Multiplicity in Ternary Associations in UML (GG, JL, PM), pp. 329–341.

UML-2001-BaclawskiKKHSHLA #ontology #semantics #uml #web

Extending UML to Support Ontology Engineering for the Semantic Web (KB, MMK, PAK, LH, JES, WSHI, JL, MLA), pp. 342–360.

UML-2001-Stevens #modelling #on the

On Associations in the Unified Modelling Language (PS), pp. 361–375.

UML-2001-SekerinskiZ #named #statechart

iState: A Statechart Translator (ES, RZ), pp. 376–390.

UML-2001-SendallS #behaviour #concurrent #constraints #ocl #specification #uml #using

Specifying Concurrent System Behavior and Timing Constraints Using OCL and UML (SS, AS), pp. 391–405.

UML-2001-Beeck #formal method #uml

Formalization of UML-Statecharts (MvdB), pp. 406–421.

UML-2001-MylopoulosKC #development #uml

UML for Agent-Oriented Software Development: The Tropos Proposal (JM, MK, JC), pp. 422–441.

UML-2001-WeisBGP #component #contract #metamodelling #uml

A UML Meta-model for Contract Aware Components (TW, CB, KG, NP), pp. 442–456.

UML-2001-RoubtsovaGKJ #interface #specification

A Specification Model for Interface Suites (EER, LCMvG, RK, HBMJ), pp. 457–471.

UML-2001-MetzOW #case study

Against Use Case Interleaving (PM, JO, WW), pp. 472–486.

UML-2001-AndaDSJ #case study #development #industrial

Estimating Software Development Effort Based on Use Cases-Experiences from Industry (BA, HD, DIKS, MJ), pp. 487–502.