Element. ModelElement. GeneralizableElement isroot : Boolean isleaf : Boolean isabstract : Boolean. +type. Method body : ProcedureExpression

Size: px
Start display at page:

Download "Element. ModelElement. GeneralizableElement isroot : Boolean isleaf : Boolean isabstract : Boolean. +type. Method body : ProcedureExpression"

Transcription

1 Element name : Name +constrainedelement.. ElementOwnership visibility : VisibilityKind +ownedelement +stereotypeconstraint Feature ownerscope : ScopeKind visibility : VisibilityKind +feature +namespace 0.. Namespace GeneralizableElement isroot : Boolean isleaf : Boolean isabstract : Boolean Parameter defaultvalue : Expression kind : ParameterDirectionKind +parameter Constraint body : BooleanExpression +owner Classifier +type +type StructuralFeature multiplicity : Multiplicity changeability : ChangeableKind targetscope : ScopeKind BehavioralFeature isquery : Boolean 0.. Attribute initialvalue : Expression Operation concurrency : CallConcurrencyKind isroot : Boolean isleaf : Boolean isabstract : Boolean +specification Method body : ProcedureExpression File: D:\Users\ck\Work\UML RTF\UML.3\Abstract Syntax\UML Metamodel Abstract Syntax v.3 R20.mdl 7:32:20 PM Friday, January 08, 999 Class Diagram: Core / Backbone Page

2 +source name : Name +target Relationship +sourceflow +targetflow Flow Generalization +generalization +child discriminator : Name +specialization +parent GeneralizableElement isroot : Boolean isleaf : Boolean isabstract : Boolean Classifier +type +specification +participant AssociationEnd isnavigable : Boolean ordering : OrderingKind aggregation : AggregationKind targetscope : ScopeKind multiplicity : Multiplicity changeability : ChangeableKind visibility : VisibilityKind 2.. +connection Association Class isactive : Boolean Attribute initialvalue : Expression +qualifier +associationend 0.. AssociationClass File: D:\Users\ck\Work\UML RTF\UML.3\Abstract Syntax\UML Metamodel Abstract Syntax v.3 R9.mdl :47:28 AM Saturday, November 28, 998 Class Diagram: Core / Relationships Page

3 Relationship +client +clientdependency name : Name.. Dependency.. +argument.. +supplier +supplierdependency 0.. Binding Usage Abstraction mapping : MappingExpression Permission File: D:\Users\ck\Work\UML RTF\UML.3\Abstract Syntax\UML Metamodel Abstract Syntax v.3 R9.mdl 0:3:50 PM Friday, November 27, 998 Class Diagram: Core / Dependencies Page

4 Classifier Class isactive : Boolean DataType +deploymentlocation Interface Node Component +resident ElementResidence visibility : VisibilityKind name : Name +implementationlocation +resident File: D:\Users\ck\Work\UML RTF\UML.3\Abstract Syntax\UML Metamodel Abstract Syntax v.3 R9.mdl 0::30 PM Friday, November 27, 998 Class Diagram: Core / Classifiers Page

5 DefaultElement 0.. Element +templateparameter template name : Name.. +argument +defaultelement +subject +presentation PresentationElement 0.. Binding Comment File: D:\Users\ck\Work\UML RTF\UML.3\Abstract Syntax\UML Metamodel Abstract Syntax v.3 R9.mdl 0:5:24 PM Friday, November 27, 998 Class Diagram: Core / Auxiliary Elements Page

6 +extendedelement constrainedelement +taggedvalue TaggedValue tag : Name value : String +requiredtag GeneralizableElement Constraint +stereotype {xor} +stereotype 0.. Stereotype icon : Geometry baseclass : Name +constrainedelement 0.. File: D:\Users\ck\Work\UML RTF\UML.3\Abstract Syntax\UML Metamodel Abstract Syntax v.3 R9.mdl :6:23 AM Sunday, November 29, 998 Class Diagram: Extension Mechanisms / Extension Mechanisms Page

7 DataType Primitive Structure Enumeration ProgrammingLanguageType type : TypeExpression.. +literal EnumerationLiteral name : Name <<primitive>> Integer AggregationKind OrderingKind Expression language : Name body : String <<primitive>> UnlimitedInteger Boolean ParameterDirectionKind Mapping body : String <<primitive>> String CallConcurrencyKind PseudostateKind Name body : String <<primitive>> Time ChangeableKind ScopeKind LocationReference MessageDirectionKind VisibilityKind Multiplicity +range.. MultiplicityRange lower : Integer upper : UnlimitedInteger OperationDirectionKind File: D:\Users\ck\Work\UML RTF\UML.3\Abstract Syntax\UML Metamodel Abstract Syntax v.3 R9.mdl :0:32 AM Sunday, November 29, 998 Class Diagram: Data Types / Data Types Page

8 Expression language : Name body : String ActionExpression BooleanExpression MappingExpression ProcedureExpression TypeExpression ArgListsExpression IterationExpression ObjectSetExpression TimeExpression File: D:\Users\ck\Work\UML RTF\UML.3\Abstract Syntax\UML Metamodel Abstract Syntax v.3 R9.mdl 2:40:6 PM Saturday, November 28, 998 Class Diagram: Data Types / Expressions Page

9 Classifier +signal Signal +raisedsignal +context BehavioralFeature Exception 0.. +reception Reception ispolymorphic : Boolean specification : String File: D:\Users\ck\Work\UML RTF\UML.3\Abstract Syntax\UML Metamodel Abstract Syntax v.3 R9.mdl 2:42:43 PM Saturday, November 28, 998 Class Diagram: Common Behavior / Signals Page

10 Argument value : Expression +actualargument 0.. ActionSequence 0.. +action Action recurrence : IterationExpression target : ObjectSetExpression isasynchronous : Boolean script : ActionExpression Classifier +instantiation 0.. CreateAction AssignmentAction SendAction UninterpretedAction CallAction ReturnAction TerminateAction DestroyAction +operation +signal Operation Signal File: D:\Users\ck\Work\UML RTF\UML.3\Abstract Syntax\UML Metamodel Abstract Syntax v.3 R9.mdl 9:58:55 AM Monday, November 30, 998 Class Diagram: Common Behavior / Actions Page

11 Action recurrence : IterationExpression target : ObjectSetExpression isasynchronous : Boolean script : ActionExpression +dispatchaction Attribute +attribute AttributeLink Stimulus 0.. Link LinkEnd +connection +communicationlink 2.. +linkend +slot 0.. Classifier +classifier.. +value Instance +argument +receiver +sender +association Association +associationend +connection AssociationEnd 2.. +instance +resident DataValue 0.. ComponentInstance +resident NodeInstance Object 0.. LinkObject File: D:\Users\ck\Work\UML RTF\UML.3\Abstract Syntax\UML Metamodel Abstract Syntax v.3 R9.mdl 7:28:54 AM Saturday, November 28, 998 Class Diagram: Common Behavior / Instances Page

12 Namespace Collaboration +represented Operation 0.. {xor} 0.. Operation Classifier +represented Classifier +base +context +constrainingelement Interaction Association 0.. +/ownedelement AssociationRole multiplicity : Multiplicity +communicationconnection.. +interaction +message Message +predecessor +base 0.. +activator 0.. +action Action (from Common Behavior) 2.. +connection 2.. +/connection AssociationEnd AssociationEndRole +receiver +sender 0.. +base +availablequalifier +/type +availablecontents ClassifierRole multiplicity : Multiplicity.. +/ownedelement Attribute Feature +availablefeature File: D:\Users\ck\Work\UML RTF\UML.3\Abstract Syntax\UML Metamodel Abstract Syntax v.3 R9.mdl 9:45:02 AM Saturday, November 28, 998 Class Diagram: Collaborations / Collaborations Page

13 Classifier +classifier.. Instance (from Common Behavior) UseCaseInstance Actor UseCase +extensionpoint ExtensionPoint location : LocationReference +addition +base +extension +base.. +extensionpoint +include +extend Include Extend condition : BooleanExpression Relationship File: D:\Users\ck\Work\UML RTF\UML.3\Abstract Syntax\UML Metamodel Abstract Syntax v.3 R9.mdl 9:46:42 AM Saturday, November 28, 998 Class Diagram: Use Cases / Use Cases Page

14 +context 0.. +behavior StateMachine Guard expression : BooleanExpression +submachine 0.. +guard subvertex.. StateVertex +source +outgoing +target +incoming +transition +internal Transition 0.. SynchState bound : UnlimitedInteger +top State entry effect Action (from Common Behavior) Pseudostate kind : PseudostateKind StubState referencestate : Name 0.. +exit doactivity 0.. +deferrableevent 0.. +trigger Event 0.. +container CompositeState isconcurent : Boolean SimpleState FinalState 0.. SubmachineState File: D:\Users\ck\Work\UML RTF\UML.3\Abstract Syntax\UML Metamodel Abstract Syntax v.3 R9.mdl 0:04:59 AM Saturday, November 28, 998 Class Diagram: State Machines / State Machine Page

15 Parameter +parameters 0.. Event SignalEvent CallEvent TimeEvent when : TimeExpression ChangeEvent changeexpression : BooleanExpression +occurrence +occurrence Signal Operation (from Common Behavior) File: D:\Users\ck\Work\UML RTF\UML.3\Abstract Syntax\UML Metamodel Abstract Syntax v.3 R9.mdl 0:06:7 AM Saturday, November 28, 998 Class Diagram: State Machines / Events Page

16 StateMachine (from State Machines) +behavior +context contents ActivityGraph +partition Partition 0.. +top State (from State Machines) +instate CompositeState isconcurent : Boolean SimpleState (from State Machines) +type Classifier SubmachineState (from State Machines) ActionState isdynamic : Boolean dynamicarguments : ArgListsExpression ObjectFlowState issynch : Boolean +type +state SubactivityState isdynamic : Boolean dynamicarguments : ArgListsExpression CallState +parameter Parameter ClassifierInState 0.. File: D:\Users\ck\Work\UML RTF\UML.3\Abstract Syntax\UML Metamodel Abstract Syntax v.3 R20.mdl 7:37:23 PM Friday, January 08, 999 Class Diagram: Activity Graphs / Activity Graphs Page

17 +importedelement +ownedelement ElementOwnership visibility : VisibilityKind ElementImport visibility : VisibilityKind alias : Name Namespace 0.. +namespace GeneralizableElement Classifier Package Subsystem isinstantiable : Boolean Model File: D:\Users\ck\Work\UML RTF\UML.3\Abstract Syntax\UML Metamodel Abstract Syntax v.3 R9.mdl :36:48 AM Saturday, November 28, 998 Class Diagram: Model Management / Model Management Page

UML Metamodel version September 1997

UML Metamodel version September 1997 UML Metamodel version. September 997 This is the metamodel of the Unified Modeling Language (UML). It describes the constituents of all well-formed models that may be represented in the UML, using the

More information

UML Semantics 2. Contents. Section Title. This chapter contains the following sections.

UML Semantics 2. Contents. Section Title. This chapter contains the following sections. UML Semantics 2 Contents This chapter contains the following sections. Section Title Page Part 1 - Background Introduction 2-2 Language Architecture 2-4 Language Formalism 2-7 Part 2 - Foundation Foundation

More information

Deriving Model-to-Code Transformation Rules at the Meta- Model Level

Deriving Model-to-Code Transformation Rules at the Meta- Model Level Deriving Model-to-Code Transformation Rules at the Meta- Model Level Lei Liu Emanuel S. Grant Department of Computer Science University of North Dakota liu@cs.und.edu grante@cs.und.edu Abstract: The Unified

More information

XMI Toolkit for Rhapsody. Mapping Rules Overview

XMI Toolkit for Rhapsody. Mapping Rules Overview XMI Toolkit for Rhapsody Mapping Rules Overview XMI Toolkit for Rhapsody: Mapping Rules Overview Page 2/20 Notices Copyright IBM Corporation 1997, 2013. US Government Users Restricted Rights Use, duplication

More information

8. UML Metamodel Getting Started

8. UML Metamodel Getting Started 8. UML Metamodel 8. UML Metamodel 287 8.1 Getting Started 8.1 Getting Started 288 Table 2-1 from Specification 8.1 Getting Started 289 M3 MetaClass MetaAssoc Class:MetaClass Class/AssocEnd:MetaAssoc M2

More information

Unified Modeling Language 2

Unified Modeling Language 2 Unified Modeling Language 2 State machines 109 History and predecessors 1950 s: Finite State Machines Huffmann, Mealy, Moore 1987: Harel Statecharts conditions hierarchical (and/or) states history states

More information

ATL TRANSFORMATION EXAMPLE

ATL TRANSFORMATION EXAMPLE 1. ATL Transformation Example 1.1. Example: UML Amble The UML Amble example describes a transformation an UML model [1] specifying different aspects of a distributed program in an implementation of this

More information

Ingegneria del Software Corso di Laurea in Informatica per il Management

Ingegneria del Software Corso di Laurea in Informatica per il Management Ingegneria del Software Corso di Laurea in Informatica per il Management UML: State machine diagram Davide Rossi Dipartimento di Informatica Università di Bologna State machine A behavioral state machine

More information

Metamodeling and Metaprogramming

Metamodeling and Metaprogramming TDDD05 Component-Based Software Metamodeling and Metaprogramming 1. Introduction to metalevels 2. Different Ways of Metaprogramming 3. UML Metamodel and MOF 4. Component markup U. Assmann: Invasive Software

More information

Metamodeling and Metaprogramming

Metamodeling and Metaprogramming TDDD05 / DF4900 Metamodeling and ming Linköpings universitet Some slides by courtesy of U. Assmann, IDA / TU Dresden. Introduction to metalevels 2. Different Ways of ming 3. UML Metamodel and MOF 4. Component

More information

Using Model Driven Architecture to Manage Metadata

Using Model Driven Architecture to Manage Metadata Using Model Driven Architecture to Manage Metadata An Architectural Overview of the Meta Object Facility (MOF ) David Frankel Consulting df@davidfrankelconsulting.com www.davidfrankelconsulting.com Adapted

More information

Activity Nets: A UML profile for modeling workflow and business processes

Activity Nets: A UML profile for modeling workflow and business processes Activity Nets: A UML profile for modeling workflow and business processes Author: Gregor v. Bochmann, SITE, University of Ottawa (August 27, 2000) 1. Introduction 1.1. Purpose of this document Workflow

More information

OMG Modeling Glossary B

OMG Modeling Glossary B OMG Modeling Glossary B This glossary defines the terms that are used to describe the Unified Modeling Language (UML) and the Meta Object Facility (MOF). In addition to UML and MOF specific terminology,

More information

StarUML Documentation

StarUML Documentation StarUML Documentation Release 2.0.0 MKLab November 20, 2014 Contents 1 Basic Concepts 3 1.1 Project.................................................. 3 1.2 Model Element, View Element, and Diagram..............................

More information

Copying Subgraphs within Model Repositories

Copying Subgraphs within Model Repositories Copying Subgraphs within Model Repositories Pieter van Gorp, Hans Schippers, Dirk Janssens April 2, 2006 1 / 37 Contents Languages 2 / 37 Outline Languages 3 / 37 : Model Driven Software Engineering Model

More information

UML Proposal to the Object Management Group

UML Proposal to the Object Management Group UML Proposal to the Object Management Group in response to the OA&D Task Force s RFP-1 version 1.1 1 September 1997 Rational Software Microsoft Hewlett-Packard Oracle Sterling Software MCI Systemhouse

More information

User Manual. Software Engineering Project xperf. University of Helsinki. Department of Computer Science

User Manual. Software Engineering Project xperf. University of Helsinki. Department of Computer Science University of Helsinki Department of Computer Science Software Engineering Project xperf User Manual Tommi Koivula Antti Levomäki Juha Mondolin Timo Suomela Version 1.0 12 th May 2003 Version history Version

More information

Enterprise Architect. User Guide Series. UML Models. Author: Sparx Systems. Date: 30/06/2017. Version: 1.0 CREATED WITH

Enterprise Architect. User Guide Series. UML Models. Author: Sparx Systems. Date: 30/06/2017. Version: 1.0 CREATED WITH Enterprise Architect User Guide Series UML Models Author: Sparx Systems Date: 30/06/2017 Version: 1.0 CREATED WITH Table of Contents UML Models UML Diagrams UML Structural Models Class Diagram Composite

More information

UML 2 SEMANTICS AND APPLICATIONS

UML 2 SEMANTICS AND APPLICATIONS UML 2 SEMANTICS AND APPLICATIONS Edited by KEVIN LANO A JOHN WILEY & SONS, INC., PUBLICATION UML 2 SEMANTICS AND APPLICATIONS UML 2 SEMANTICS AND APPLICATIONS Edited by KEVIN LANO A JOHN WILEY & SONS,

More information

Z The SPOOL Design Repository: Architecture, Schema, and Mechanisms

Z The SPOOL Design Repository: Architecture, Schema, and Mechanisms Z The SPOOL Design Repository: Architecture, Schema, and Mechanisms Reinhard Schauer Rudolf K. Keller Bruno Laguë Gregory Knapen Sébastien Robitaille Guy Saint-Denis Z.1 Introduction The landscape of reverse

More information

MDA Distilled Stephen J. Mellor Vice-President Project Technology, Inc.

MDA Distilled Stephen J. Mellor Vice-President Project Technology, Inc. MDA Distilled Stephen J. Mellor Vice-President Project Technology, Inc. http://www.projtech.com PROJECT TECHNOLOGYINC. Table of contents 1. What s the problem? 2. Models 3. Metamodels 4. Mappings 5. Marks

More information

Modeling with Activity Diagram

Modeling with Activity Diagram Modeling with Activity Diagram The following elements are available in a activity diagram. ActionState SubactivityState InitialState FinalState Synchronization Decision Flow Final Object Flow Signal Accept

More information

Towards the Harmonisation of UML and SDL

Towards the Harmonisation of UML and SDL Towards the Harmonisation of UML and SDL Rüdiger Grammes and Reinhard Gotzhein Department of Computer Science University of Kaiserslautern 67653 Kaiserslautern, Germany {grammes,gotzhein}@informatik.uni-kl.de

More information

Lecture 22: Meta-Modelling

Lecture 22: Meta-Modelling Software Design, Modelling and Analysis in UML Lecture 22: Meta-Modelling 2015-02-10 22 2015-02-10 main Prof. Dr. Andreas Podelski, Dr. Bernd Westphal Albert-Ludwigs-Universität Freiburg, Germany Contents

More information

IBM Rational Rhapsody - IBM Rational Tau. Integration

IBM Rational Rhapsody - IBM Rational Tau. Integration IBM Rational - IBM Rational Tau Integration IBM Rational - IBM Rational Tau: Integration Page 2/12 Notices Copyright IBM Corporation 1997, 2013. US Government Users Restricted Rights Use, duplication or

More information

Meta-Modelling Semantics of UML 1

Meta-Modelling Semantics of UML 1 Meta-Modelling Semantics of UML Chapter KEYWORDS, ETC. (The first two pages only resemble the abtract infos and are needed to ensure proper layout of the rest of the article. Bernhard) -------- Name(s)

More information

The packages that are explicitly merged from the InfrastructureLibrary are the following: PrimitiveTypes Constructs

The packages that are explicitly merged from the InfrastructureLibrary are the following: PrimitiveTypes Constructs 7 Classes 7.1 Overview The Classes package contains sub packages that deal with the basic modeling concepts of UML, and in particular classes and their relationships. Reusing packages from UML 2 Infrastructure

More information

UML Diagrams MagicDraw UML Diagrams

UML Diagrams MagicDraw UML Diagrams In software development, the diagram is the equivalent of a blueprint. To meet the various needs of many parties, we often need several different blueprints of the same system. Furthermore, every system

More information

MDA Distilled Stephen J. Mellor Vice-President Project Technology, Inc.

MDA Distilled Stephen J. Mellor Vice-President Project Technology, Inc. MDA Distilled Stephen J. Mellor Vice-President Project Technology, Inc. http://www.projtech.com PROJECT TECHNOLOGYINC. Table of contents 1. What s the problem? 2. Models 3. Metamodels 4. Mappings 5. Marks

More information

Object-Oriented Design

Object-Oriented Design Object-Oriented Design Lecturer: Raman Ramsin Lecture 10: Analysis Packages 1 Analysis Workflow: Packages The analysis workflow consists of the following activities: Architectural analysis Analyze a use

More information

On the Formalization of the Common Information Model Metaschema

On the Formalization of the Common Information Model Metaschema On the Formalization of the Common Information Model Metaschema Jorge E. López de Vergara¹, Víctor A. Villagrá², and Julio Berrocal² 1 Departamento de Ingeniería Informática, Universidad Autónoma de Madrid,

More information

UML 2.0 Infrastructure Specification

UML 2.0 Infrastructure Specification UML 2.0 Infrastructure Specification This OMG document replaces the submission document (ad/03-01-01) and the Draft Adopted specification (ptc/03-07-05). It is an OMG Final Adopted Specification and is

More information

Using Description Logic to Maintain Consistency between UML Models

Using Description Logic to Maintain Consistency between UML Models Using Description Logic to Maintain Consistency between UML Models Ragnhild Van Der Straeten 1, Tom Mens 2, Jocelyn Simmonds 1, and Viviane Jonckers 1 1 Systems and Software Engineering Lab Department

More information

12 Tutorial on UML. TIMe TIMe Electronic Textbook

12 Tutorial on UML. TIMe TIMe Electronic Textbook TIMe TIMe Electronic Textbook 12 Tutorial on UML Introduction......................................................2.................................................3 Diagrams in UML..................................................3

More information

Meta-Modeling. About the Instructor - Background

Meta-Modeling. About the Instructor - Background Meta-Modeling Prof.dr.ir. Bedir Tekinerdogan Wageningen University, Information Technology Wageningen, The Netherlands bedir.tekinerdogan@wur.nl About the Instructor - Background Prof. Dr. Bedir Tekinerdogan

More information

UNIT-4 Behavioral Diagrams

UNIT-4 Behavioral Diagrams UNIT-4 Behavioral Diagrams P. P. Mahale Behavioral Diagrams Use Case Diagram high-level behaviors of the system, user goals, external entities: actors Sequence Diagram focus on time ordering of messages

More information

UNIVERSITY OF OSLO Department of Informatics. Exploration of UML State Machine implementations in Java. Master thesis. Morten Olav Hansen

UNIVERSITY OF OSLO Department of Informatics. Exploration of UML State Machine implementations in Java. Master thesis. Morten Olav Hansen UNIVERSITY OF OSLO Department of Informatics Exploration of UML State Machine implementations in Java Master thesis Morten Olav Hansen February 15, 2011 Contents 1 Introduction 8 1.1 Motivation...............................

More information

UML Collaboration semantics A green(?) paper Trygve Reenskaug Version of November 8, 1999

UML Collaboration semantics A green(?) paper Trygve Reenskaug Version of November 8, 1999 UML Collaboration semantics Trygve Reenskaug Version of November 8, 999 9908 - Added sections on separation of concern, virtualroles, and abstract interactions. 99027 - Bug fixes. Improved conformance

More information

Metamodeling with Metamodels. Using. UML/MOF including OCL

Metamodeling with Metamodels. Using. UML/MOF including OCL Metamodeling with Metamodels Using UML/MOF including OCL Introducing Metamodels (Wikipedia) A metamodel is a model of a model An instantiation of metamodel gives a model Metamodeling is the process of

More information

Precise Action Semantics for UML

Precise Action Semantics for UML Precise Action Semantics for UML Stephen J. Mellor Ian Wilkie PROJECT TECHNOLOGY Benefits of Action Semantics Action semantics and executable models enable: complete specification precise specification

More information

UML Fundamental. OutLine. NetFusion Tech. Co., Ltd. Jack Lee. Use-case diagram Class diagram Sequence diagram

UML Fundamental. OutLine. NetFusion Tech. Co., Ltd. Jack Lee. Use-case diagram Class diagram Sequence diagram UML Fundamental NetFusion Tech. Co., Ltd. Jack Lee 2008/4/7 1 Use-case diagram Class diagram Sequence diagram OutLine Communication diagram State machine Activity diagram 2 1 What is UML? Unified Modeling

More information

A Practical Approach to Bridging Domain Specific Languages with UML profiles

A Practical Approach to Bridging Domain Specific Languages with UML profiles A Practical Approach to Bridging Domain Specific Languages with profiles Anas Abouzahra, Jean Bézivin, Marcos Didonet Del Fabro, Frédéric Jouault ATLAS Group (INRIA & LINA, University of Nantes) {Abouzahra.Anas

More information

ATL: Atlas Transformation Language. ATL Transformation Description Template - version 0.1 -

ATL: Atlas Transformation Language. ATL Transformation Description Template - version 0.1 - ATL: Atlas Transformation Language ATL Transformation Description Template - version 0.1 - December 2005 by ATLAS group LINA & INRIA Nantes Content 1 Transformation Specification Sheet... 3 2 Transformation

More information

State Machine Diagrams

State Machine Diagrams State Machine Diagrams Introduction A state machine diagram, models the dynamic aspects of the system by showing the flow of control from state to state for a particular class. 2 Introduction Whereas an

More information

0. Overview of this standard Design entities and configurations... 5

0. Overview of this standard Design entities and configurations... 5 Contents 0. Overview of this standard... 1 0.1 Intent and scope of this standard... 1 0.2 Structure and terminology of this standard... 1 0.2.1 Syntactic description... 2 0.2.2 Semantic description...

More information

IDERA ER/Studio Software Architect Evaluation Guide. Version 16.5/2016+ Published February 2017

IDERA ER/Studio Software Architect Evaluation Guide. Version 16.5/2016+ Published February 2017 IDERA ER/Studio Software Architect Evaluation Guide Version 16.5/2016+ Published February 2017 2017 IDERA, Inc. All rights reserved. IDERA and the IDERA logo are trademarks or registered trademarks of

More information

Construction of Complex UML Profiles

Construction of Complex UML Profiles Construction of Complex UML Profiles UPM ETSI Telecomunicación Ciudad Universitaria s/n Madrid 28040, Spain mmiguel@dit.upm.es!1 Context of this work Profiles Construction The present courseware has been

More information

WestminsterResearch

WestminsterResearch WestminsterResearch http://www.westminster.ac.uk/westminsterresearch Building an evaluation instrument for OO CASE tool assessment for Unified Modelling Language support. Radmila Juric 1,3 Jasna Kuljis

More information

UML 2.0 State Machines

UML 2.0 State Machines UML 2.0 State Machines Frederic.Mallet@unice.fr Université Nice Sophia Antipolis M1 Formalisms for the functional and temporal analysis With R. de Simone Objectives UML, OMG and MDA Main diagrams in UML

More information

Software Design, Modelling and Analysis in UML

Software Design, Modelling and Analysis in UML ontents & Goals Last Lecture: Live Sequence harts Semantics Software Design, Modelling and Analysis in UML Lecture 19: Inheritance II, Meta-Modelling 2012-02-08 Prof. Dr. Andreas Podelski, Dr. Bernd Westphal

More information

Attributes and Associations of Class Property

Attributes and Associations of Class Property and of Class Property By Anneke Kleppe, Klasse Objecten (a.kleppe@klasse.nl) Introduction The UML Infrastructure (3rd revised submission, dated 3 March 2003, document number: ad/2003-03-01) has recently

More information

Automated Verification of UMLsec Models for Security Requirements

Automated Verification of UMLsec Models for Security Requirements Automated Verification of UMLsec Models for Security Requirements Jan Jürjens and Pasha Shabalin Software & Systems Engineering TU Munich, Germany juerjens@in.tum.de http://www.jurjens.de/jan Secure Systems

More information

A GrGen.NET solution of the Model Migration Case for the Transformation Tool Contest 2010

A GrGen.NET solution of the Model Migration Case for the Transformation Tool Contest 2010 A GrGen.NET solution of the Model Migration Case for the Transformation Tool Contest 2010 Sebastian Buchwald Edgar Jakumeit June 3, 2010 1 Introduction The challenge of the Model Migration Case [1] is

More information

Metamodeling. Janos Sztipanovits ISIS, Vanderbilt University

Metamodeling. Janos Sztipanovits ISIS, Vanderbilt University Metamodeling Janos ISIS, Vanderbilt University janos.sztipanovits@vanderbilt.edusztipanovits@vanderbilt edu Content Overview of Metamodeling Abstract Syntax Metamodeling Concepts Metamodeling languages

More information

Borland Together Borland Together UML 2.1 Guide

Borland Together Borland Together UML 2.1 Guide Borland Together 2008 Borland Together UML 2.1 Guide Borland Software Corporation 4 Hutton Centre Dr., Suite 900 Santa Ana, CA 92707 Copyright 2009-2010 Micro Focus (IP) Limited. All Rights Reserved.Together

More information

Modellistica Medica. Maria Grazia Pia, INFN Genova. Scuola di Specializzazione in Fisica Sanitaria Genova Anno Accademico

Modellistica Medica. Maria Grazia Pia, INFN Genova. Scuola di Specializzazione in Fisica Sanitaria Genova Anno Accademico Modellistica Medica Maria Grazia Pia INFN Genova Scuola di Specializzazione in Fisica Sanitaria Genova Anno Accademico 2002-2003 Lezione 6 UML Introduction Structural diagrams Basics What is? Please explain

More information

Structured Axiomatic Semantics for UML Models

Structured Axiomatic Semantics for UML Models K. Lano Dept. of Computer Science, King s College London, Strand, London, WC2R 2LS A. Evans Dept. of Computing, University of York J. Bicarregui Rutherford Appleton Laboratory Oxford OX11 0QX Abstract

More information

Assessing the Use of Slicing-based Visualizing Techniques on the Understanding of Large Metamodels

Assessing the Use of Slicing-based Visualizing Techniques on the Understanding of Large Metamodels Assessing the Use of Slicing-based Visualizing Techniques on the Understanding of Large Metamodels Arnaud Blouin, Naouel Moha, Benoit Baudry, Houari Sahraoui, Jean-Marc Jézéquel To cite this version: Arnaud

More information

Business Object Type Library Draft Technical Specification

Business Object Type Library Draft Technical Specification Draft Technical Specification Page 1 Object Type Library Draft Technical Specification Object Type Library... 1 Draft Technical Specification... 1 Version Information... 2 Executive Summary... 2 ebtwg

More information

This article was published in an Elsevier journal. The attached copy is furnished to the author for non-commercial research and education use, including for instruction at the author s institution, sharing

More information

ATL Transformation. Catalogue of Model Transformations

ATL Transformation. Catalogue of Model Transformations 1. ATL TRANSFORMATION EXAMPLE: REPLACE ASSOCIATION BY FOREIGN KEY... 1 2. ATL TRANSFORMATION OVERVIEW... 2 2.1. DESCRIPTION... 2 2.2. PURPOSE... 2 2.3. RULES SPECIFICATION... 2 2.4. ATL CODE... 3 3. REFERENCES...

More information

CAMEO SIMULATION TOOLKIT. version 1.0. user guide

CAMEO SIMULATION TOOLKIT. version 1.0. user guide CAMEO SIMULATION TOOLKIT version 1.0 user guide No Magic, Inc. 2011 All material contained herein is considered proprietary information owned by No Magic, Inc. and is not to be shared, copied, or reproduced

More information

Using OCL beyond specifications 1

Using OCL beyond specifications 1 Using OCL beyond specifications 1 Dan Chiorean 2 Babes-Bolyai University - Computer Science Research Laboratory str. M. Kogalniceanu, 1 3400 Cluj-Napoca - Romania chiorean@cs.ubbcluj.ro Abstract: Despite

More information

STATE MACHINES. Figure 1: State Machines

STATE MACHINES. Figure 1: State Machines STATE MACHINES Figure 1: State Machines state machine A state machine is a behavior that specifies the sequences of states an object goes through during its lifetime in response to events. Graphically,

More information

Unified Modeling Language 2

Unified Modeling Language 2 Unified Modeling Language 2 Profiles 166 Usage scenarios Metamodel customization for adapting terminology to a specific platform or domain adding (visual) notation adding and specializing semantics adding

More information

RSARTE Icons. Mattias Mohlin Senior Software Architect IBM

RSARTE Icons. Mattias Mohlin Senior Software Architect IBM RSARTE Icons Mattias Mohlin Senior Software Architect IBM MODEL ELEMENTS...2 DIAGRAMS...3 VIRTUAL FOLDERS...3 FILES AND FOLDERS...4 OVERLAY ICONS...4 DIAGRAM DECORATOR ICONS...5 This document explains

More information

UML PROFILING AND DSL

UML PROFILING AND DSL UML PROFILING AND DSL version 17.0.1 user guide No Magic, Inc. 2011 All material contained herein is considered proprietary information owned by No Magic, Inc. and is not to be shared, copied, or reproduced

More information

CimConteXtor User Guide

CimConteXtor User Guide CimConteXtor User Guide V3 1/86 CimConteXtor User Guide User Guide V3 CimConteXtor is an Enterprise Architect Add-In. The main purpose of CimConteXtor is to create a UML profile in EA, profile that is

More information

UML REFERENCE SHEETS. 2013, 2014 Michael Marking; all rights reserved, including moral rights. Web site:

UML REFERENCE SHEETS. 2013, 2014 Michael Marking; all rights reserved, including moral rights. Web site: UML Reference Sheets 2013, 2014 Michael Marking; all rights reserved, including moral rights. Web site: http://www.tatanka.com/ Revision Information This document was last revised 2014.03.02. The current

More information

Model Driven Architecture

Model Driven Architecture Model Driven Architecture Krzysztof Czarnecki, University of Waterloo czarnecki@acm.org This lecture uses parts of OOPSLA 03 Tutorial on Model-Driven Architecture by Krzysztof Czarnecki and Petter Graff

More information

Supporting change propagation in UML models

Supporting change propagation in UML models University of Wollongong Research Online Faculty of Informatics - Papers (Archive) Faculty of Engineering and Information Sciences 2010 Supporting change propagation in UML models Hoa Khanh Dam University

More information

Formalizing Patterns and Pattern Languages: A Case Study Approach

Formalizing Patterns and Pattern Languages: A Case Study Approach TECHNICAL REPORT Report No. UI-SE-MDSERG-2015-01 Date: July 13, 2016 Formalizing Patterns and Pattern Languages: A Case Study Approach Alireza Rouhi Bahman Zamani Department of Software Engineering University

More information

UML 2.0 UML 2.0. Scott Uk-Jin Lee. Division of Computer Science, College of Computing Hanyang University ERICA Campus

UML 2.0 UML 2.0. Scott Uk-Jin Lee. Division of Computer Science, College of Computing Hanyang University ERICA Campus UML 2.0 Division of Computer Science, College of Computing Hanyang University ERICA Campus Introduction to UML 2.0 UML Unified Modeling Language Visual language for specifying, constructing and documenting

More information

MDA Standards for Ontology Development

MDA Standards for Ontology Development MDA Standards for Ontology Development Dragan Gašević, Vladan Devedžić, Dragan Djurić University of Belgrade Serbia and Montenegro dgasevic@acm.org, devedzic@galeb.etf.bg.ac.yu, dragan@mail.ru http://goodoldai.org.yu

More information

Index. Add Diagram > Sequence Diagram command,

Index. Add Diagram > Sequence Diagram command, Quatrani.book Page 183 Monday, May 8, 2006 11:56 AM Index A abstraction, 3 actions completing before processing, 54 55 data flowing through, 53 passing control between, 51 performing, 155 157 as round-cornered

More information

Appendix D: Mapping BPMN to BPD Profile

Appendix D: Mapping BPMN to BPD Profile Appendix D: Mapping BPMN to BPD Profile Members of bpmi.org and the OMG are interested in the unification of the UML 2.0 and BPMN notation for the support of the business user. This draft mapping is in

More information

Member Support Help Desk Solution

Member Support Help Desk Solution Member Support Help Desk Solution ComTrax, LLC. 18450 N. 46 th Drive Glendale, AZ. 85308 (800) 729-3083 1 P a g e The following instruction set will show how to use the ComTrax, LLC. Member Support Feature

More information

Enterprise Architect. User Guide Series. SysML Models. Author: Sparx Systems. Date: 30/06/2017. Version: 1.0 CREATED WITH

Enterprise Architect. User Guide Series. SysML Models. Author: Sparx Systems. Date: 30/06/2017. Version: 1.0 CREATED WITH Enterprise Architect User Guide Series SysML Models Author: Sparx Systems Date: 30/06/2017 Version: 1.0 CREATED WITH Table of Contents Systems Engineering 3 Systems Modeling Language (SysML) 8 SysML Activity

More information

Lecture 22: Meta-Modelling

Lecture 22: Meta-Modelling Software Design, Modelling and Analysis in UML Lecture 22: Meta-Modelling 2017-02-07 Prof. Dr. Andreas Podelski, Dr. Bernd Westphal Albert-Ludwigs-Universität Freiburg, Germany 22 2017-02-07 main Content

More information

Architecture and the UML

Architecture and the UML Architecture and the UML Models, Views, and A model is a complete description of a system from a particular perspective Use Case Use Case Sequence Use Case Use Case Use Case State State Class State State

More information

Customisation of Unified Modeling Language for logical database modeling

Customisation of Unified Modeling Language for logical database modeling Blekinge Institute of Technology Research Report No 2002:12 Customisation of Unified Modeling Language for Logical Database Modeling Editors: Ludwik Kuzniarz and Miroslaw Staron Department of Software

More information

IHS Engineering Workbench 1.3

IHS Engineering Workbench 1.3 IHS Engineering Workbench 1.3 Important enhancements and updates in the latest release of the IHS Markit solution for technical knowledge discovery and management Introducing expanded capabilities for

More information

ModelicaML: Getting Started Issue April 2012

ModelicaML: Getting Started Issue April 2012 ModelicaML: Getting Started Issue 1.6.5 13. April 2012 Wladimir Schamai EADS Innovation Works (Hamburg, Germany) Linkoping University (Linkoping, Sweden) Abstract: This document provides a short introduction

More information

Software Release Document 2.33

Software Release Document 2.33 Software Release Document 2.33 All WIC Coordinators and WIC Staff Using the HuBERT Application Users must Reset the Local Reference Data after installation! (This is essential! Errors may occur otherwise.)

More information

In This Lecture You Will Learn: Specifying Control. Statechart. Event, State and Transition

In This Lecture You Will Learn: Specifying Control. Statechart. Event, State and Transition In This Lecture You Will Learn: Specifying Control Lecture 11 How to identify requirements for control in an application How to model object life cycles using statecharts How to develop statechart diagrams

More information

EVENTS AND SIGNALS. Figure 1: Events. kinds of events Signal Event

EVENTS AND SIGNALS. Figure 1: Events. kinds of events Signal Event EVENTS AND SIGNALS Events An event is the specification of a significant occurrence that has a location in time and space. Any thing that happens is modeled as an event in UML. In the context of state

More information

UML Profiles Radovan Cervenka

UML Profiles Radovan Cervenka Unified Modeling Language UML Profiles Radovan Cervenka UML Profiles The mechanisms that allow metaclasses from existing metamodels to be extended to adapt them for different purposes, e.g., to tailor

More information

NOTES ON OBJECT-ORIENTED MODELING AND DESIGN

NOTES ON OBJECT-ORIENTED MODELING AND DESIGN NOTES ON OBJECT-ORIENTED MODELING AND DESIGN Stephen W. Clyde Brigham Young University Provo, UT 86402 Abstract: A review of the Object Modeling Technique (OMT) is presented. OMT is an object-oriented

More information

ITU-T Z.109. Specification and Description Language Unified modeling language profile for SDL-2010

ITU-T Z.109. Specification and Description Language Unified modeling language profile for SDL-2010 International Telecommunication Union ITU-T Z.109 TELECOMMUNICATION STANDARDIZATION SECTOR OF ITU (04/2012) SERIES Z: LANGUAGES AND GENERAL SOFTWARE ASPECTS FOR TELECOMMUNICATION SYSTEMS Formal description

More information

UNIT I. 3. Write a short notes on process view of 4+1 architecture. 4. Why is object-oriented approach superior to procedural approach?

UNIT I. 3. Write a short notes on process view of 4+1 architecture. 4. Why is object-oriented approach superior to procedural approach? Department: Information Technology Questions Bank Class: B.E. (I.T) Prof. Bhujbal Dnyaneshwar K. Subject: Object Oriented Modeling & Design dnyanesh.bhujbal11@gmail.com ------------------------------------------------------------------------------------------------------------

More information

EEL 4783: Hardware/Software Co-design with FPGAs

EEL 4783: Hardware/Software Co-design with FPGAs EEL 4783: Hardware/Software Co-design with FPGAs Lecture 9: Short Introduction to VHDL* Prof. Mingjie Lin * Beased on notes of Turfts lecture 1 What does HDL stand for? HDL is short for Hardware Description

More information

MAHARASHTRA STATE BOARD OF TECHNICAL EDUCATION (Autonomous) (ISO/IEC Certified) MODEL ANSWER

MAHARASHTRA STATE BOARD OF TECHNICAL EDUCATION (Autonomous) (ISO/IEC Certified) MODEL ANSWER Important Instructions to examiners: 1) The answers should be examined by key words and not as word-to-word as given in the model answer scheme. 2) The model answer and the answer written by candidate

More information

Object-Oriented Modeling. State Machine Diagram. Slides accompanying Version 1.0

Object-Oriented Modeling. State Machine Diagram. Slides accompanying Version 1.0 Object-Oriented Modeling State Machine Diagram Slides accompanying UML@Classroom Version 1.0 Business Informatics Group Institute of Software Technology and Interactive Systems Vienna University of Technology

More information

UML Notation Guide 3. Contents. Part 1 - Background Introduction 3-5

UML Notation Guide 3. Contents. Part 1 - Background Introduction 3-5 UML Notation Guide 3 This guide describes the notation for the visual representation of the Unified Modeling Language (UML). This notation document contains brief summaries of the semantics of UML constructs,

More information

UML Based Analysis of Embedded Systems Using a Mapping to VHDL

UML Based Analysis of Embedded Systems Using a Mapping to VHDL Paper to be presented at IEEE High Assurance Softwar Software Engineering, Nov. 999, DC. UML Based Analysis of Embedded Systems Using a Mapping to VHDL William E. McUmber and Betty H. C. Cheng Department

More information

MODEL DRIVEN ARCHITECTURE (MDA)

MODEL DRIVEN ARCHITECTURE (MDA) Chapter #4 MODEL DRIVEN ARCHITECTURE (MDA) Teaching material for the book Model-Driven Software Engineering in Practice by Morgan & Claypool, USA, 2012. www.mdse-book.com Contents MDA UML (from a metamodeling

More information

Slicing-based Techniques for Visualizing Large Metamodels

Slicing-based Techniques for Visualizing Large Metamodels Slicing-based Techniques for Visualizing Large Metamodels Arnaud Blouin, Naouel Moha, Benoit Baudry, Houari Sahraoui To cite this version: Arnaud Blouin, Naouel Moha, Benoit Baudry, Houari Sahraoui. Slicing-based

More information

TOPIC 1 Review of UML

TOPIC 1 Review of UML 5.1 What is UML? SEG4210 Advanced Software Design and Reengineering TOPIC 1 Review of UML The Unified Modelling Language is a standard graphical language for modelling object oriented software At the end

More information

Lab Manual. Object Oriented Analysis And Design. TE(Computer) VI semester

Lab Manual. Object Oriented Analysis And Design. TE(Computer) VI semester Lab Manual Object Oriented Analysis And Design TE(Computer) VI semester Index Sr. No. Title of Programming Assignment Page No. 1 2 3 4 5 6 7 8 9 10 Study of Use Case Diagram Study of Activity Diagram Study

More information

The UP and DOWN buttons will toggle or scroll through the options in each section.

The UP and DOWN buttons will toggle or scroll through the options in each section. TECHNICAL BULLETIN: MWR-WE10, MWR-WE10N, MWR-WE11N Page 1 of 10 Throughout the scheduling process, the LEFT and RIGHT buttons will move forward and backward through each section of settings The UP and

More information