User Manual Basics

Getting Started

Hello World Examples

Structure of Umple Code

Convincing Potential Adopters

List of Umple Keywords

Languages supported

Comments and Requirements

Inline Comments

Multiline Comments

Types of Directives

Namespace Directives

Strictness Directive

Classes and Interfaces

Class Definition

interface Definition

Custom Constructor

Attribute Definition

Umple Builtin Data Types

Classes as Attribute Types

MultiValued Attributes

Lazy Immutable Attributes

Derived Attributes

Unique Attributes

Enumeration Definition

Association Definition

Inline Associations

Independently Defined Associations

One-to-One Associations

Reflexive Associations

Association Specializations

Association Class Definition

Sorted Associations

Simple Constraints

Model Constraints

Singleton Pattern

Immutable Pattern

Delegation Pattern

Keys for Equality and Hashing

Abstraction Occurrence

Transportation Pattern A

Basic State Machines

State Machine Actions and Do Activities

Nested State Machines

State Machine Regions

Auto-Transitions

Unspecified Events

Timed Transitions

Events With Parameters

Queued State Machines

Pooled State Machines

Standalone State Machines

Method Definition

Abstract Methods

Alternative Languages

State-Dependent Methods

Clients of Traits

Attributes in Traits

Trait Template Parameters

Associations in Traits

Required Interfaces of Traits

State Machines in Traits

Method Operators in Traits

State Machine Operators in Traits

Selecting Operators

Extending a State

Traits and Umple Mixins

Flattening of Traits

Aspect Orientation

Before and After Statements

Code Injection Pattern Matching

Code Injection in Event Methods

Code Injection in Custom Methods

Top-level Aspects

Around Statement

Mixsets and Filters

Mixsets in Methods

Require Statement

Mixsets with Traits

Mixsets with State Machine

Generation Templates

Basic Templates

Html Generation

Concurrency Using Do Activities

Basic Distributed Systems

Composite Structure

Basic Composite Structure Diagrams

Model Oriented Tracing Language (MOTL)

Tracing Attributes

Tracing State Machines

Tracing Associations

Tracing Constraints

Tracing Methods

Using UmpleOnline

UmpleOnline URL options

Umple in Presentations and Documents

Coloring model elements

Setting up Tasks

Using Completion URLs

Responding to Tasks

NuSMV

Composite State Table

Umplification - An Introduction

Umplification Process

Umplification Tooling

Interfacing to External Code

2D Shapes System

Banking System (b)

Election System

Warehouse System

Canal Lock State Machine

Community Association

Co-Op Education

Vending Machine Classes

Routes And Locations

Coordination State Machine

Privacy and Risks

Grammar To Define Umple

Grammar Notation

Errors and Warnings 1-50

W001 Singleton With Non-Lazy Attribute

W002 Singleton With Required Object

W003 Redundant Lazy With Initialization

E004 Invalid Multiplicity

E005 Undefined Class in Association

E006 Missing Default

W007 Key Already Specified

E008 Association Class Missing End

E009 Reflexive Lower Bound

W010 Singleton Multiplicity Over 1

E011 Class is Subclass Of Self

E012 Class Indirectly Subclass of Self

E013 Non Immutable Association

E014 Immutable Subclass of Mutable

W015 Immutable Class State Machine

E016 Non Immutable Superclass

E017 Non Immutable Bidirectionality

E018 Reflexive Immutable

E019 Duplicate Association

E020 Interface Association Not One Way

E021 Invalid Reflexive Association

E022 Duplicate Attribute

E023 Attribute Association Name Clash

E024 Sort Key Not of Umple Type

E025 Sort Key Not Found

E026 Duplicate Key Item

W027 Key Identifier Incorrect

E028 Constraint Identifier Incorrect

E029 Constraint Type Mismatch

W030 Redefined Namespace

W031 Namespace Not Used

E032 Reserved Role Name

W033 Missing Superclass

E034 Multiple Inheritance

W035 Uninitialized Constant

W036 Unmanaged Multiplicity

E037 Uninitialized Constant Object

E038 Autogenerated Attribute Name Conflict

W039 Missing Interface

E040 Singleton Has Subclasses

E041 Non Void Method Declared as Queued

W042 Namespace Cannot Be Default

W044 Attribute Duplicated in Superclass

W045 Initialized Value in Key

W046 Attribute Has Template Type

W047 Empty Key Statement

E048 Attribute Generates Duplicate Method

W049 Duplicated Method Name

W050 Target State Not Found

Errors and Warnings 51-99

E051 Event Parameters Must Match

E052 State Machine Name Clash

E053 No Concurrency At Top Level

W054 Duplicate Events

W055 Duplicate Events Within Substates

W056 No Events in Queued State Machine

W057 No Events in Pooled State Machine

E058 Regular Queued and Pooled State Machines in Class

E059 Queued and Pooled State Machines in Class

E060 Pooled and Regular State Machines in Class

E061 Queued and Regular State Machines in Class

W062 Unspecified Event in Pooled State Machine

E063 Reserved Name History State

E064 Non Existent History State

E065 No Substates History State

W066 Transition Multiple Possible Destinations

W067 Non Reachable State

W068 Destination State Not Found

W069 Auto Transition Conflict

W071 Duplicate Method Different Type

W072 Refactored Final State

E073 Duplicate Parallel State Machine Name

E074 User Defined State Cannot be Named Final

E075 UserDefinedStateMachineCannotBeNamedTimer

E080 Invalid Abstract Class Association

E081 Invalid Multivalued Attribute Assignment

W082 Conflicting Method Modifiers

E083 Invalid Multivalued Attribute Initialization

E090 Attribute Name Not Found Constraint

E091 Attribute Of Type Not Found Constraint

E092 Class Is Not Subclass Constraint

E093 Class Is Not Superclass Constraint

E094 No Association Found Constraint

E095 Duplicate Enumerations

E096 Enumeration Naming Conflict

E097 Enumeration and State Machine Conflict

Errors and Warnings 100-999

WE1xx Identifier Invalid

W102 Enumeration Causes Method Parameter Ambiguity

W103 Enumeration Causes Event Parameter Ambiguity

E104 Enumeration in Bi-directional Association

E105 Enumeration in Composition

W106 Enumeration in Uni-directional Association

E112 Duplicate Constants in Interface

W141 Value Type Mismatch

W142 Type is access specifier

E180 Duplicate Association Name Class Hierarchy

E200 Trait Identifier Invalid

W201 Trait Name Syntax

E202 Trait not defined

E203 Not having an unique identifier

E204 Self Use of Traits

E205 Cycle in Traits

E206 Satisfaction of Bound Type

E208 Required Methods Not Available

E210 Conflict in Methods

E211 Two or More Modifications

E212 Methods Not Available

E213 Bidirectional Association in Traits

E214 Two Identical Parameter Names

E215 Template Parameter Not Available

E216 Twice Binding of a Parameter

E217 Conflict in Types of Attributes

W218 Conflict in Attributes

E219 No Binding for Parameters

E220 Two Methods With the Same Name

E221 Availability of Bound Type

E222 Satisfaction of Required Interfaces

E223 Availability of Types

E224 Multiple Inheritance Constraint

E225 Satisfaction of Bound Type

W228 Different Initial States

E229 Two Times Renaming

E230 Availability of State Machines

E231 Availability of Events

E232 Availability of Events

E233 Removing Initial State

E234 Compositing Non-Deterministic Transitions

E235 SuperCall Conflict

E236 Two State Entries

E237 Composing Two State Entries

W301 Tracing Entity Not Found

W302 Tracer Not Recognized

W901 Deprecated Keyword Constant

Errors and Warnings 1000+

E3500 Invalid Template Name

E3501 Template Method Cannot Be Main

E3502 Template Name Cannot Be Resolved

E3503 Template Reference Refers To Itself

E3504 Template Reference Cannot Be Resolved

E3505 Template Reference Cycle

W3506 Duplicate Template Name

E3507 Duplicate Emit Method Name

E3607 Port Name Cannot Be Resolved

E4500 Tag Not Closed Correctly

W1002-3 Unexpected Embedded Code

E1004-5 Messages not as Expected

W1006 State Machine Not Parsed

W1007 Element Not Parsed

W1008 Method Not Parsed

W1009 Getter Setter Method Name Conflict

W1010 Constraint Syntax Could Not Be Processed

W1011 Invalid Association Class Key

W1012 Method Not Found Injection

W1013 Parameter Specification Does Not Apply

W1014 Excluded Method Not Found Injection

E15xx Parsing Error

W1016 Unmatched or Extra Brackets

W1510 Use File Missing

E1511 Inline Mixset Is Not Supported

W1512 Code Labels Inside Method Are Not Unique

W1513 Mixset Used With No Declaration

W20xx Error in Embedded Code

E9x00 Compiler Error

Page Being Developed

W9999 Feature Under Development

Runtime Exceptions

RE001 Violation of Immutability

RE002 Violation of Association Multiplicity

RE003 Violation of Uniqueness

Test with Mixset

Generic Testing

Combined Version

[Previous] [Next]

list of dots

User Manual [Previous] [Next]

NuSMV

NuSMV is a formal method notation that can be used check properties of behaviour models using logic.

The Umple NuSMV generator generates statements that can be used to analyse properties of state machine models.

More information about NuSMV can be found at the Alloy project home page, or on the Wikipedia NuSMV page.

This generator is discussed in detail in Opeyemi Adesina's PhD thesis: Integrating Formal Methods with Model-Driven Engineering.