Business Informatics GroupInstitute of Software Technology and Interactive Systems Vienna University of TechnologyFavoritenstraße 9-11/188-3, 1040 Vienna, Austriaphone: +43 (1) 58801-18804 (secretary), fax: +43 (1) 58801-18896office@big.tuwien.ac.at, www.big.tuwien.ac.at

Towards a Runtime Model for SysML

ModProd 2016

Sabine Wolny

Introduction

2

Relationship between SysML and UML

UML 2 SysML

UML reused by SysML(UML4SysML)

UML not required by

SysML

SysML extension

to UML(SysML Profile)

UML Diagram TypesDiagram Taxonomy

UML Diagram

Behavior DiagramStructure Diagram

Activity Diagram

Interaction Diagram

State Machine Diagram

Use Case Diagram

Composite Structure D

Class Diagram

Component Diagram

Package Diagram

Object Diagram

Sequence Diagram

Timing Diagram

Interaction Overview D

Communication DiagramDeployment Diagram

SysML Diagram TypesDiagram Taxonomy

SysML Diagram

Behavior DiagramStructure Diagram

Activity Diagram

Interaction Diagram

State Machine Diagram

Use Case Diagram

Composite Structure D

Class Diagram

Component Diagram

Package Diagram

Object Diagram

Sequence Diagram

Timing Diagram

Interaction Overview D

Communication DiagramDeployment Diagram

BlockDefinitionDiagram

Internal Block Diagram

Requirement Diagram

Package Diagram

Activity Diagram

State Machine Diagram

Use Case Diagram

Sequence DiagramParametric Diagram

Introduction

5

Runtime Model

Enabling runtime analysis

Bridging the gap between design time models – running application

Controlling, observing, and adapting the behavior of a system at runtime

Two types of Runtime Models Type I: Particular state of a system’s execution at a specific moment (M1)

Type II: All possible runtime states of all possible systems through interpreting the language semantics (M2)

Introduction

6

Runtime Model

DesigntimeRuntime

t1 t2

M2Metamodel

M1Model

M0System System A

TransitionPlace

Arc Token

conforms to

System A at instant time t1

System A at instant time t2

Structure •t={y⏐(y,t) ∈ F}t•={y⏐(t,y) ∈ F}If ∀s ∈ •t m(s)>0 thenm(s)-1 ∀s ∈ •t, s ∉ t•,m(s)+1 , s ∉ •t, s ∈ t•

conforms to

F... Relation of places and transitionsm... Mark of places

Behavior

Introduction

7

fUML

fUML … Semantics of a Foundational Subset for Executable UML Models

Runtime Concepts for UML Subset of UML

SysML a profile of UML

Specific questions Is it possible to reuse fUML for SysML? How should fUML be extended to handle extensions in SysML ?

Uncovering the State of the Art

8

Methodology

Tool Survey Study offered possibilites in SysML tools regarding simulation

Literature Survey Method: Systematic Mapping Study [Petersen2015] First Analysis and Categorization of papers regarding SysML

Tool support Scopus http://www.scopus.com/

Largest abstract and citation database of peer-reviewed literature Scientific journals, books and conference proceedings

Mendeley https://www.mendeley.com/ free reference manager

SysML Tools

9

Drawing Tools vs Modeling Tools

Drawing Tools Support for SysML notation (blocks, diamond, lines, …)

No support for Enforcement of syntactic (notational) and semantic well-formedness rules Large-scale model management and team modeling Simulations

E.g., Visio (Visio Stencils for UML / SysML)

Modeling Tools Capture the functional analysis or architecture of a complex system Support simulations (e.g. Activity and Parametric diagrams)

Tool Drawing support for 9 types

State MachineDiagram

ActivityDiagram

Sequence Diagram

ParametricDiagram

Use Case Diagram

Agilian

Artisan Studio / PTC

Astah

Enterprise ArchitectMagic DrawCameo Toolkit

Modelio*

Papyrus*

Rational Rhapsody

SysML Designer*

SysML tools

10

Drawing and Simulation Support

no simulation

no simulation, module Moka (simulation fUML)

no simulation

no simulation but code generation

no simulation

Link to e.g. Matlab, Modelica, Simulink, IBM Rational DOORS

* Open Source Programs

Literature Study

11

Procedure

Scopus

• key phrase:„SysML“

1092 results

• deletion ofpaperswithoutauthor

856 results

• add in Mendeley

856 results

• search forduplicatesand deletethem

845 results

• analyzingabstractsand identifycategories

Usecategorization

• createcharts

Literature Study

12

Results

Papers regarding SysML

Literature Study

13

Results

Pattern for simulating SysML models [Nikolaidou 2015] Based on analyses of different simulation approaches Following methodology most often used

(1) Define specific profile(2) Transform SysML models to simulation models(3) Use output to validate models

Further steps

14

Cooperation Institute for Production Engineering and Laser Technology Illustration of a basic MES (Manufacturing Execution System) use case Real-world SysML reference model for the production domain

Tool analysis Implementation of the reference model in various tools Focus: Simulation support

Simulate diagrams in isolation Simulate combinations of diagrams

fUML & SysML Experiments for reusing fUML for SysML models based on

Moliz http://www.modelexecution.org/

Extend the mapping study In-depth survey of 10 years of SysML Publish results for community as for Schema Evolution Survey* by

[Rahm2006]

* http://se-pubs.dbs.uni-leipzig.de

References

15

SysML Tools

http://sysml.tools/, 20.1.2016 http://list.ly/list/23A-popular-sysml-modeling-tools, 20.1.2016 http://www.visual-paradigm.com/features/uml-and-sysml-modeling/,

20.1.2016 http://www.atego.com/campaigns/artisan-studio-7-4/, 21.1.2016 http://astah.net/editions/sysml, 21.1.2016 http://www.sparxsystems.com/products/mdg/tech/sysml/index.html,

21.1.2016 http://www.nomagic.com/products/magicdraw-addons/cameo-simulation-

toolkit.html, 22.1.2016 http://www.nomagic.com/products/magicdraw-addons/sysml-plugin.html,

22.1.2016 http://www.eclipse.org/papyrus/, 22.1.2016 https://www.modelio.org/tutorials/how-to-create-sysml-diagrams-in-

modelio.html, 22.1.2016 http://www-03.ibm.com/software/products/en/ratirhaparchforsystengi,

22.1.2016

References

16

[Nikolaidou 2015] Nikolaidou, M.; Kapos, G.-D.; Tsadimas, A.; Dalakas, V.; Anagnostopoulos, D., "Simulating SysML models: Overview andchallenges," in System of Systems Engineering Conference (SoSE), 2015 10th, pp.328-333, May 2015

[Blair2009] Blair, G.; Bencomo, N.; France, R.B., "Models@ run.time," in Computer, vol.42, no.10, pp.22-27, Oct. 2009

[Maoz2009] Maoz, S., "Using Model-Based Traces as Runtime Models," in Computer, vol.42, no.10, pp.28-36, Oct. 2009

[Rahm2006] Rahm, E.; A. Bernstein P., "An online bibliography on schema evolution“, SIGMOD Rec. 35, 4,pp. 30-31, December 2006

[Petersen2015] Petersen, K.; Vakkalanka, S.; Kuzniarz, L., “Guidelines for conducting systematic mapping studies in software engineering: An update”, Information and Software Technology, Volume 64, pp. 1-18, August 2015