Towards a Runtime Model for Sysml

Home , Component diagram, Deployment diagram

Towards a Runtime Model for SysML

ModProd 2016

Sabine Wolny Business Informatics Group Institute of Software Technology and Interactive Systems Vienna University of Technology Favoritenstraße 9-11/188-3, 1040 Vienna, Austria phone: +43 (1) 58801-18804 (secretary), fax: +43 (1) 58801-18896 [email protected], www.big.tuwien.ac.at Introduction Relationship between SysML and UML

UML 2 SysML

UML not UML reused by SysML SysML required by (UML4SysML) extension SysML to UML (SysML Profile)

2 UML Diagram Types Diagram Taxonomy

UML Diagram

Structure Diagram Behavior Diagram

Class Diagram Activity Diagram

Object Diagram State Machine Diagram

Component Diagram Use Case Diagram Interaction Diagram Composite Structure D Sequence Diagram Package Diagram Communication Diagram Deployment Diagram Interaction Overview D

Timing Diagram SysML Diagram Types Diagram Taxonomy

SysML Diagram

Structure Diagram Requirement Diagram Behavior Diagram

BlockClassDefinition Diagram Diagram Activity DiagramDiagram

Object Diagram State Machine DiagramDiagram

Component Diagram Use Case Diagram Interaction Diagram CompositeInternal Block Structure Diagram D Parametric Diagram Sequence DiagramDiagram Package DiagramDiagram Communication Diagram Deployment Diagram Interaction Overview D

Timing Diagram Introduction 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)

5 Introduction Runtime Model

Runtime Designtime t1 t2 Behavior Structure •t={y⏐(y,t) F} Place t•={y⏐(t,y) F} F... Relation of places M2 Transition and transitions If s •t m(s)>0∈ then Metamodel m... Mark of places Arc Token m(s)-1 s ∈•t, s t•, m(s)+1∀ ∈ , s •t, s t• conforms to ∀ ∈ ∉ conforms to ∉ ∈ M1 Model

M0 System A at System A at System A System instant time t1 instant time t2

6 Introduction 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 ?

7 Uncovering the State of the Art 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

8 SysML Tools 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)

9 SysML tools Drawing and Simulation Support

State Drawing support Activity Sequence Parametric Use Case Tool Machine for 9 types Diagram Diagram Diagram Diagram Diagram no simulation but code generation Agilian Artisan Studio / Link to e.g. Matlab, Modelica, Simulink, IBM Rational DOORS PTC no simulation Astah Enterprise Architect Magic Draw Cameo Toolkit no simulation Modelio* no simulation, module Moka (simulation fUML) Papyrus* Rational Rhapsody no simulation SysML Designer*

* Open Source Programs 10 Literature Study Procedure

Scopus 1092 results 856 results

• key phrase: • deletion of • add in „SysML“ papers Mendeley without author

856 results 845 results Use categorization

• search for • analyzing • create duplicates abstracts charts and delete and identify them categories

11 Literature Study Results

. Papers regarding SysML

12 Literature Study 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

13 Further steps

. 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 14 References 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

15 References

. [Nikolaidou 2015] Nikolaidou, M.; Kapos, G.-D.; Tsadimas, A.; Dalakas, V.; Anagnostopoulos, D., "Simulating SysML models: Overview and challenges," 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