Beschreibung
InhaltsangabeInvited Talk.- The Preacher at Arrakeen.- Metamodeling.- An Action Semantics for MML.- The Essence of Multilevel Metamodeling.- Mapping between Levels in the Metamodel Architecture.- Activity Diagrams.- An Execution Algorithm for UML Activity Graphs.- Timing Analysis of UML Activity Diagrams.- UML Activity Diagrams as a Workflow Specification Language.- OCL.- On Querying UML Data Models with OCL.- OCL as a Specification Language for Business Rules in Database Applications.- A Formal Semantics for OCL 1.4.- Architecture and Patterns.- Refactoring UML Models.- UML Support for Designing Software Systems as a Composition of Design Patterns.- Integrating the ConcernBASE Approach with SADL.- Analysis and Testing.- The Message Paradigm in Object-Oriented Analysis.- A UML-Based Approach to System Testing.- Performance and Databases.- UML Modelling and Performance Analysis of Mobile Software Architectures.- Extending UML for Object-Relational Database Design.- Invited Talk.- Understanding UML - Pains and Rewards.- Graph Transformations.- A Formal Semantics of UML State Machines Based on Structured Graph Transformation.- A Visualization of OCL Using Collaborations.- Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model.- Real-Time and Embedded Systems.- A New UML Profile for Real-Time System Formal Design and Validation.- Representing Embedded System Sequence Diagrams as a Formal Language.- Scenario-Based Monitoring and Testing of Real-Time UML Models.- Associations and Ontology.- Semantics of the Minimum Multiplicity in Ternary Associations in UML.- Extending UML to Support Ontology Engineering for the Semantic Web.- On Associations in the Unified Modelling Language.- Statecharts.- iState: A Statechart Translator.- Specifying Concurrent System Behavior and Timing Constraints Using OCL and UML.- Formalization of UML-Statecharts.- Invited Talk.- UML for Agent-Oriented Software Development: The Tropos Proposal.- Components.- A UML Meta-model for Contract Aware Components.- A Specification Model for Interface Suites.- Use Cases.- Against Use Case Interleaving.- Estimating Software Development Effort Based on Use Cases - Experiences from Industry.- Workshops and Tutorials.- Workshops and Tutorials at the UML 2001 Conference.
