Integrated Modeling for Engineering Complex Heterogeneous Systems SWISSED Markus Schacher & Rolf Gubser, KnowBodies

Size: px
Start display at page:

Download "Integrated Modeling for Engineering Complex Heterogeneous Systems SWISSED Markus Schacher & Rolf Gubser, KnowBodies"

Transcription

1 Integrated Modeling for Engineering Complex Heterogeneous Systems SWISSED 2016 Markus Schacher & Rolf Gubser, KnowBodies Hohlstrasse 534, 8048 Zürich, Switzerland,

2 Overview Engineering Complex Systems Modeling and Modeling Languages Example Case Study Summary 2

3 ENGINEERING COMPLEX SYSTEMS 3

4 Engineering "Engineering is the discipline, skill, and profession of acquiring and applying scientific, economic, social, and practical knowledge, in order to design and build structures, machines, devices, systems, materials and processes." Wikipedia, 2012 "Hardware eventually fails. Software eventually works." Michael Hartung 4

5 Engineering Complex Systems 5

6 MODELING AND MODELING LANGUAGES 6

7 Models "All models are wrong, but some are useful." George E. P. Box, "one of the great statistical minds of the 20th century" (Our) Definition: A model is a thing that may be used, for a specific purpose, as a simplified description of an original. 7

8 Why are we creating Models? There are exactly two (good*) Reasons: 1. To communicate a) To exchange ideas Example: a discussion on solution alternatives b) To prescribe a desire Example: a product specification 2. To understand a) To analyze an original Example: reverse engineering a legacy system b) To predict some properties of an original Example: weather forecast * There are also some less good reasons such as "my boss said it", "one does it", "it is cool", etc. 8

9 The Unified Modeling Language (UML) The Unified Modeling Language (UML) is OMG's most-used specification, and the way the world models not only application structure, behavior, and architecture, but also business process and data structure. 9

10 UML Profiling By means of so called "Profiles", UML supports the definition of Domain Specific Languages (DSL) that may be utilized using commonly available UML modeling tools. 10

11 Modeling Languages The Object Management Group (OMG) has defined a number of modeling languages that may be implemented using UML Profiling: Business Motivation Model (BMM) Semantics of Business Vocabulary and Business Rules (SBVR) Business Process Metamodel and Notation (BPMN) Systems Modeling Language (SysML) UML Testing Profile (UTP) Non-OMG UML Profiles: Risk Analysis (RIAL) Executable Specification in UML (xuml) 11

12 EXAMPLE CASE STUDY 12

13 Semantics of Business Vocabulary and Business Rules (SBVR) A door at a level that gives access to a shaft. SBVR Define a business terminology that supports multiple communities 13

14 Business Motivation Model (BMM) Define a business strategy for a product using the shared terminology 14

15 Systems Modeling Language (SysML) Design the technical anatomy of the product in terms of logical and physical components 15

16 Executable Specifications in xuml Design the functional logic of the product 16

17 Risk Analysis RIAL Analyze the safety and reliability of the product's components 17

18 UML Testing Profile (UTP) Test the functional logic of the product 18

19 Total Modeling One model as central repository of all project information Conceptual Documents Techn. Architecture Project Context Test Specifications Projekt Planning Funct. Specifications Modell Project Vocabulary Goals & Requirements Safety Analyses Operational Processes All documents may be automatically generated no manual writing! 19

20 SUMMARY 20

21 Summary Models are made to communicate, analyze or predict properties of an original (a system) Developing complex systems requires tight collaboration between multiple engineering disciplines UML may be used as a "host language" to integrate multiple domain specific languages into one common model shared by multiple engineering disciplines The whole is more than the sum of its parts! 21

22

Modelling in Enterprise Architecture. MSc Business Information Systems

Modelling in Enterprise Architecture. MSc Business Information Systems Modelling in Enterprise Architecture MSc Business Information Systems Models and Modelling Modelling Describing and Representing all relevant aspects of a domain in a defined language. Result of modelling

More information

Current State of ontology in engineering systems

Current State of ontology in engineering systems Current State of ontology in engineering systems Henson Graves, henson.graves@hotmail.com, and Matthew West, matthew.west@informationjunction.co.uk This paper gives an overview of the current state of

More information

UML, BPMN, UX and Database Design Solutions uml process diagrams learn enterprise uml technical systems build scope definition and.

UML, BPMN, UX and Database Design Solutions uml process diagrams learn enterprise uml technical systems build scope definition and. DOWNLOAD OR READ : UML PROCESS DIAGRAMS LEARN ENTERPRISE UML TECHNICAL SYSTEMS BUILD SCOPE DEFINITION AND SOLUTIONS ELICIT CAPTURE AND COLLECT REQUIREMENTS RULES DELIVERABLES RESOURCESPROCESS SYSTEMS ENGINEERING

More information

Introduction to Dependable Systems: Meta-modeling and modeldriven

Introduction to Dependable Systems: Meta-modeling and modeldriven Introduction to Dependable Systems: Meta-modeling and modeldriven development http://d3s.mff.cuni.cz CHARLES UNIVERSITY IN PRAGUE faculty of mathematics and physics 3 Software development Automated software

More information

SERES: ASEMANTICREGISTRY FOR ENTERPRISE SERVICES. Geir Jevne 9.juni 2011

SERES: ASEMANTICREGISTRY FOR ENTERPRISE SERVICES. Geir Jevne 9.juni 2011 SERES: ASEMANTICREGISTRY FOR ENTERPRISE SERVICES Geir Jevne 9.juni 2011 Brønnøysundregistrene the register authority and source of information An agency under the Norwegian Ministry of Trade and Industry

More information

Event Metamodel and Profile (EMP) Proposed RFP Updated Sept, 2007

Event Metamodel and Profile (EMP) Proposed RFP Updated Sept, 2007 Event Metamodel and Profile (EMP) Proposed RFP Updated Sept, 2007 Robert Covington, CTO 8425 woodfield crossing boulevard suite 345 indianapolis in 46240 317.252.2636 Motivation for this proposed RFP 1.

More information

The Software Assurance Ecosystem: OMG s Approach to Systems & Software Assurance

The Software Assurance Ecosystem: OMG s Approach to Systems & Software Assurance The Software Assurance Ecosystem: OMG s Approach to Systems & Software Assurance Dr. Richard Mark Soley Chairman and CEO Object Management Group, Inc. With thanks to the OMG Systems Assurance Domain Task

More information

Transforming Enterprise Ontologies into SBVR formalizations

Transforming Enterprise Ontologies into SBVR formalizations Transforming Enterprise Ontologies into SBVR formalizations Frederik Gailly Faculty of Economics and Business Administration Ghent University Frederik.Gailly@ugent.be Abstract In 2007 the Object Management

More information

Ontology-based Model Transformation

Ontology-based Model Transformation Ontology-based Model Transformation Stephan Roser Advisor: Bernhard Bauer Progamming of Distributed Systems Institute of Computer Science, University of Augsburg, Germany [roser,bauer]@informatik.uni-augsburg.de

More information

Meta-Modeling and Modeling Languages

Meta-Modeling and Modeling Languages member of Meta-Modeling and Modeling Languages Models and Modelling Model A reproduction of the part of reality which contains the essential aspects to be investigated. Modelling Describing and Representing

More information

Computation Independent Model (CIM): Platform Independent Model (PIM): Platform Specific Model (PSM): Implementation Specific Model (ISM):

Computation Independent Model (CIM): Platform Independent Model (PIM): Platform Specific Model (PSM): Implementation Specific Model (ISM): viii Preface The software industry has evolved to tackle new approaches aligned with the Internet, object-orientation, distributed components and new platforms. However, the majority of the large information

More information

OMG Specifications for Enterprise Interoperability

OMG Specifications for Enterprise Interoperability OMG Specifications for Enterprise Interoperability Brian Elvesæter* Arne-Jørgen Berre* *SINTEF ICT, P. O. Box 124 Blindern, N-0314 Oslo, Norway brian.elvesater@sintef.no arne.j.berre@sintef.no ABSTRACT:

More information

Architecture Viewpoint Template for ISO/IEC/IEEE 42010

Architecture Viewpoint Template for ISO/IEC/IEEE 42010 Architecture Viewpoint Template for ISO/IEC/IEEE 42010 Rich Hilliard r.hilliard@computer.org VERSION 2.1b Abstract This is a template for specifying architecture viewpoints in accordance with ISO/IEC/IEEE

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

INF5120 Modellbasert Systemutvikling Modelbased System development

INF5120 Modellbasert Systemutvikling Modelbased System development INF5120 Modellbasert Systemutvikling Modelbased System development Lecture 5: 10.02.2014 Arne-Jørgen Berre arneb@ifi.uio.no or Arne.J.Berre@sintef.no Telecom and Informatics 1 Oblig 1 Group work Service

More information

CAPM TRAINING EXAM PREPARATION TRAINING

CAPM TRAINING EXAM PREPARATION TRAINING CAPM TRAINING EXAM PREPARATION TRAINING WHAT IS CAPM? PMI s Certified Associate in Project Management (CAPM) is a valuable entry-level certification for the individual who aspire to become project manager.

More information

Future Directions for SysML v2 INCOSE IW MBSE Workshop January 28, 2017

Future Directions for SysML v2 INCOSE IW MBSE Workshop January 28, 2017 Future Directions for SysML v2 INCOSE IW MBSE Workshop January 28, 2017 Sanford Friedenthal safriedenthal@gmail.com 1/30/2017 Agenda Background System Modeling Environment (SME) SysML v2 Requirements Approach

More information

Christian Doppler Laboratory

Christian Doppler Laboratory Christian Doppler Laboratory Software Engineering Integration For Flexible Automation Systems AutomationML Models (in EMF and EA) for Modelers and Software Developers Emanuel Mätzler Institute of Software

More information

Enterprise Architect. User Guide Series. Domain Models

Enterprise Architect. User Guide Series. Domain Models Enterprise Architect User Guide Series Domain Models What support for modeling domains? Sparx Systems Enterprise Architect supports a range of modeling languages, technologies and methods that can be used

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

S T R U C T U R A L M O D E L I N G ( M O D E L I N G A S Y S T E M ' S L O G I C A L S T R U C T U R E U S I N G C L A S S E S A N D C L A S S D I A

S T R U C T U R A L M O D E L I N G ( M O D E L I N G A S Y S T E M ' S L O G I C A L S T R U C T U R E U S I N G C L A S S E S A N D C L A S S D I A S T R U C T U R A L M O D E L I N G ( M O D E L I N G A S Y S T E M ' S L O G I C A L S T R U C T U R E U S I N G C L A S S E S A N D C L A S S D I A G R A M S ) WHAT IS CLASS DIAGRAM? A class diagram

More information

Which Enterprise Architect Edition Should I Purchase?

Which Enterprise Architect Edition Should I Purchase? Which Enterprise Architect Edition Should I Purchase? Enterprise Architect is available in four editions - Ultimate, Unified, Corporate, and Professional. Functionality for each edition is as follows:

More information

Model Driven Development Unified Modeling Language (UML)

Model Driven Development Unified Modeling Language (UML) Model Driven Development Unified Modeling Language (UML) An Overview UML UML is a modeling notation standardized by OMG (proposal 1997, ver.1.1 in 1998, ver. 2.0 in 2004) now in 2.4.1 mature based on notations

More information

SABSA Security Architecture Extension

SABSA Security Architecture Extension SABSA Security Architecture Extension SABSA Security Architecture Extension... 1 Disclaimer... 2 Dependencies... 2 Limitations of the trial version.... 2 Installation... 2 Verifying the installation...

More information

From Test Legacy to Model- Based Testing How to refactor an existing test repository into an MBT model?

From Test Legacy to Model- Based Testing How to refactor an existing test repository into an MBT model? From Test Legacy to Model- Based Testing How to refactor an existing test repository into an MBT model? UCAAT 2014 September 16/18 - Munich Arnaud Bouzy Bruno Legeard {arnaud.bouzy, bruno.legeard}@smartesting.com

More information

Fundamentals to Creating Architectures using ISO/IEC/IEEE Standards

Fundamentals to Creating Architectures using ISO/IEC/IEEE Standards Fundamentals to Creating Architectures using ISO/IEC/IEEE Standards What to Architect? How to Architect? IEEE Goals and Objectives Chartered by IEEE Software Engineering Standards Committee to: Define

More information

Generic vs. Domain-specific Modeling Languages

Generic vs. Domain-specific Modeling Languages Generic vs. Domain-specific Modeling Languages Knut Hinkelmann Generic vs. Domain-specific Modeling Languages Domain-specific languages are notation which are defined to model knowledge about a specific

More information

The MUSING Approach for Combining XBRL and Semantic Web Data. ~ Position Paper ~

The MUSING Approach for Combining XBRL and Semantic Web Data. ~ Position Paper ~ The MUSING Approach for Combining XBRL and Semantic Web Data ~ Position Paper ~ Christian F. Leibold 1, Dumitru Roman 1, Marcus Spies 2 1 STI Innsbruck, Technikerstr. 21a, 6020 Innsbruck, Austria {Christian.Leibold,

More information

Model Driven Engineering (MDE)

Model Driven Engineering (MDE) Model Driven Engineering (MDE) Yngve Lamo 1 1 Faculty of Engineering, Bergen University College, Norway 26 April 2011 Ålesund Outline Background Software Engineering History, SE Model Driven Engineering

More information

Executive Summary. Round Trip Engineering of Space Systems. Change Log. Executive Summary. Visas

Executive Summary. Round Trip Engineering of Space Systems. Change Log. Executive Summary. Visas Reference: egos-stu-rts-rp-1002 Page 1/7 Authors: Andrey Sadovykh (SOFTEAM) Contributors: Tom Ritter, Andreas Hoffmann, Jürgen Großmann (FHG), Alexander Vankov, Oleg Estekhin (GTI6) Visas Surname - Name

More information

Experimental transformations between Business Process and SOA models

Experimental transformations between Business Process and SOA models International Journal of Informatics Society, VOL.4, NO.2 (2012) 93-102 93 Experimental transformations between Business Process and SOA models Akira Tanaka, and Osamu Takahashi view5 LLC, Japan School

More information

Papyrus: Advent of an Open Source IME at Eclipse (Redux)

Papyrus: Advent of an Open Source IME at Eclipse (Redux) Papyrus: Advent of an Open Source IME at Eclipse (Redux) Kenn Hussey Eclipse Modeling Day, Toronto November 18, 2009 A Perfect Storm for Tools Core technologies like MOF and UML are evolving Microsoft

More information

Implicit BPM Business Process Platform for Transparent Workflow Weaving

Implicit BPM Business Process Platform for Transparent Workflow Weaving Implicit BPM Business Process Platform for Transparent Workflow Weaving Rubén Mondéjar, Pedro García, Carles Pairot, and Enric Brull BPM Round Table Tarragona Contents Context Introduction 01/27 Building

More information

Spemmet - A Tool for Modeling Software Processes with SPEM

Spemmet - A Tool for Modeling Software Processes with SPEM Spemmet - A Tool for Modeling Software Processes with SPEM Tuomas Mäkilä tuomas.makila@it.utu.fi Antero Järvi antero.jarvi@it.utu.fi Abstract: The software development process has many unique attributes

More information

Enterprise Architecture Frameworks

Enterprise Architecture Frameworks Enterprise Architecture Frameworks Learning Objective of Chapter 2 Topic: Enterprise Architecture Framework Content and structure of enterprise architecture descriptions This is necessary because Enterprises

More information

3rd Lecture Languages for information modeling

3rd Lecture Languages for information modeling 3rd Lecture Languages for information modeling Agenda Languages for information modeling UML UML basic concepts Modeling by UML diagrams CASE tools: concepts, features and objectives CASE toolset architecture

More information

The Unified Modeling Language User Guide

The Unified Modeling Language User Guide The Unified Modeling Language User Guide Grady Booch James Rumbaugh Ivar Jacobson Rational Software Corporation TT ADDISON-WESLEY Boston San Francisco New York Toronto Montreal London Munich Paris Madrid

More information

Object Oriented Modelling And Design With Uml Solution

Object Oriented Modelling And Design With Uml Solution We have made it easy for you to find a PDF Ebooks without any digging. And by having access to our ebooks online or by storing it on your computer, you have convenient answers with object oriented modelling

More information

NoMagic Product Comparison Brief

NoMagic Product Comparison Brief 1 NoMagic Product Comparison Brief Presented to: SET, AMSEWG Last Updated : September 15 th, 2017 Presented by: David Fields Overview NoMagic offers a variety of UML and SysML tools each with multiple

More information

Information technology Metamodel framework for interoperability (MFI) Part 1: Framework

Information technology Metamodel framework for interoperability (MFI) Part 1: Framework ISO/IEC JTC 1/SC 32 Date: 2014-06-19 ISO/IEC DIS 19763-1 ISO/IEC JTC 1/SC 32/WG 2 Secretariat: ANSI Information technology Metamodel framework for interoperability (MFI) Part 1: Framework Warning This

More information

Semantics-Based Integration of Embedded Systems Models

Semantics-Based Integration of Embedded Systems Models Semantics-Based Integration of Embedded Systems Models Project András Balogh, OptixWare Research & Development Ltd. n 100021 Outline Embedded systems overview Overview of the GENESYS-INDEXYS approach Current

More information

Introduction to TOIF. Dr. Nikolai Mansourov CTO, KDM Analytics Liaison to OASIS. November 8, 2017 Copyright 2017 OMG. All rights reserved.

Introduction to TOIF. Dr. Nikolai Mansourov CTO, KDM Analytics Liaison to OASIS. November 8, 2017 Copyright 2017 OMG. All rights reserved. Introduction to TOIF Dr. Nikolai Mansourov CTO, KDM Analytics Liaison to OASIS November 8, 2017 Copyright 2017 OMG. All rights reserved. 1 Who Is OMG? Object Management Group (OMG) factlets: Founded in

More information

Markus Völter

Markus Völter of Markus Völter voelter@acm.org www.voelter.de @markusvoelter Examples 1 Healthcare Context & Motivation Mobile Apps that help patients w/ treatments Monitor side-effects and recommend actions Manage

More information

Threat Modeling and Sharing

Threat Modeling and Sharing Threat Modeling and Sharing Summary Proposal to kick off Threat Modeling project Multi-phase approach Initially: create Cyber Domain PIM and STIX PSM with UML Profile for NIEM Expand to other PSM, create

More information

INF5120 and INF9120 Modelbased System development

INF5120 and INF9120 Modelbased System development INF5120 and INF9120 Modelbased System development Lecture 6-1: 20.02.2016 Arne-Jørgen Berre arneb@ifi.uio.no and Arne.J.Berre@sintef.no 1 Course parts (16 lectures) - 2017 January (1-3) (Introduction to

More information

MDA Journal. BPMI and OMG: The BPM Merger A BPT COLUMN. David S. Frankel Lead Standards Architect - Model Driven Systems SAP Labs.

MDA Journal. BPMI and OMG: The BPM Merger A BPT COLUMN. David S. Frankel Lead Standards Architect - Model Driven Systems SAP Labs. A BPT COLUMN MDA Journal December 2005 David S. Frankel Lead Standards Architect - Model Driven Systems SAP Labs David.Frankel@SAP.com https://www.sdn.sap.com/irj/sdn/ weblogs?blog=/pub/u/55914 Contents

More information

Unified Modeling Language (UML)

Unified Modeling Language (UML) Appendix H Unified Modeling Language (UML) Preview The Unified Modeling Language (UML) is an object-oriented modeling language sponsored by the Object Management Group (OMG) and published as a standard

More information

UPDM 2 PLUGIN. version user guide

UPDM 2 PLUGIN. version user guide UPDM 2 PLUGIN 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 by

More information

ISO/IEC INTERNATIONAL STANDARD. Information technology Metadata registries (MDR) Part 3: Registry metamodel and basic attributes

ISO/IEC INTERNATIONAL STANDARD. Information technology Metadata registries (MDR) Part 3: Registry metamodel and basic attributes INTERNATIONAL STANDARD ISO/IEC 11179-3 Second edition 2003-02-15 Information technology Metadata registries (MDR) Part 3: Registry metamodel and basic attributes Technologies de l'information Registres

More information

MDSE USE CASES. Chapter #3

MDSE USE CASES. Chapter #3 Chapter #3 MDSE USE CASES Teaching material for the book Model-Driven Software Engineering in Practice by Morgan & Claypool, USA, 2012. www.mdse-book.com MDSE GOES FAR BEYOND CODE-GENERATION www.mdse-book.com

More information

Applying UML to System Engineering Some Lessons Learned Murray Cantor Principal Consultant

Applying UML to System Engineering Some Lessons Learned Murray Cantor Principal Consultant Applying UML to System Engineering Some Lessons Learned Murray Cantor Principal Consultant Mcantor@rational.com Topics Background Customers needs What has worked Strengths of UML Shortfalls Next steps

More information

Software Engineering Lab Manual

Software Engineering Lab Manual Kingdom of Saudi Arabia Ministry Education Prince Sattam Bin Abdulaziz University College of Computer Engineering and Sciences Department of Computer Science Software Engineering Lab Manual 1 Background:-

More information

MDD with OMG Standards MOF, OCL, QVT & Graph Transformations

MDD with OMG Standards MOF, OCL, QVT & Graph Transformations 1 MDD with OMG Standards MOF, OCL, QVT & Graph Transformations Andy Schürr Darmstadt University of Technology andy. schuerr@es.tu-darmstadt.de 20th Feb. 2007, Trento Outline of Presentation 2 Languages

More information

Semantic Information Modeling for Federation (SIMF)

Semantic Information Modeling for Federation (SIMF) Purpose Semantic Information Modeling for Federation (SIMF) Overview V0.2-04/21/2011 The Architecture Ecosystem SIG of the Object Management Group (OMG) is in the process of drafting an RFP focused on

More information

COST ESTIMATION FOR DISTRIBUTED SYSTEMS USING USE CASE DIAGRAM

COST ESTIMATION FOR DISTRIBUTED SYSTEMS USING USE CASE DIAGRAM S. V. Pingale et al. : Cost Estimation for Distributed Systems using Use Case Diagram Journal of Advances in Engineering Science 41 Section C (3), July - December 2010, PP 41-48 COST ESTIMATION FOR DISTRIBUTED

More information

SABSA Security Architecture Extension

SABSA Security Architecture Extension SABSA Security Architecture Extension SABSA Security Architecture Extension... 1 Disclaimer... 2 Dependencies... 2 Limitations of the trial version.... 2 Installation... 2 Verifying the installation...

More information

BPMN and Business Architecture from a Business Analysts View. Dr. Jürgen Pitschke BCS Dr. Jürgen Pitschke

BPMN and Business Architecture from a Business Analysts View. Dr. Jürgen Pitschke BCS Dr. Jürgen Pitschke BPMN and Business Architecture from a Business Analysts View Dr. Jürgen Pitschke BCS Dr. Jürgen Pitschke www.enterprise-design.eu About me I m a speaker, writer, coach, teacher, business analyst, CBPP,

More information

Model-Driven Systems Engineering for Netcentric System of Systems With DEVS Unified Process

Model-Driven Systems Engineering for Netcentric System of Systems With DEVS Unified Process Model-Driven Systems Engineering for Netcentric System of Systems With DEVS Unified Process Saurabh Mittal, PhD Dunip Technologies, L3 Communications, USA Jose L. Risco Martin, PhD Universedad Complutense

More information

Software Engineering

Software Engineering Software Engineering A systematic approach to the analysis, design, implementation and maintenance of software. Software Development Method by Jan Pettersen Nytun, page 1 Software Engineering Methods Most

More information

Introduction to UML. (Unified Modeling Language)

Introduction to UML. (Unified Modeling Language) Introduction to UML (Unified Modeling Language) What Is the UML? UML stands for Unified Modeling Language. UML is a family of graphical notations that help in describing and designing software systems

More information

Model Driven Architecture and Rhapsody

Model Driven Architecture and Rhapsody Model Driven Architecture and Rhapsody Dr. Bruce Powel Douglass Chief Evangelist Telelogic Model Driven Architecture and Rhapsody Abstract MDA, short for Model Driven Architecture, is a unification by

More information

DO WE NEED TEST SPECIFICATION LANGUAGES?!

DO WE NEED TEST SPECIFICATION LANGUAGES?! DO WE NEED TEST SPECIFICATION LANGUAGES?! Ina Schieferdecker A-MOST @ ICST 2017, Tokyo, March 17, 2017 Please look up my yesterday s proposal for the new version of the UML Testing Profile OUTLINE 1. About

More information

INF5120 and INF9120 Modelbased System development

INF5120 and INF9120 Modelbased System development INF5120 and INF9120 Modelbased System development Lecture 5: 13.02.2016 Arne-Jørgen Berre arneb@ifi.uio.no and Arne.J.Berre@sintef.no Telecom and Informatics 1 Course parts (16 lectures) - 2017 January

More information

SysML Past, Present, and Future. J.D. Baker Sparx Systems Ambassador Sparx Systems Pty Ltd

SysML Past, Present, and Future. J.D. Baker Sparx Systems Ambassador Sparx Systems Pty Ltd SysML Past, Present, and Future J.D. Baker Sparx Systems Ambassador Sparx Systems Pty Ltd A Specification Produced by the OMG Process SysML 1.0 SysML 1.1 Etc. RFI optional Issued by Task Forces RFI responses

More information

A Beginners Guide to UML Part II

A Beginners Guide to UML Part II A Beginners Guide to UML Part II Dan Brown, Dunstan Thomas Consulting Summary In the first part of this article, I examined the origins and definition of the UML to provide a basic understanding of what

More information

Let s build. like they build. Markus Völter Bernd Kolb

Let s build. like they build. Markus Völter Bernd Kolb Let s build like they build Markus Völter voelter@acm.org www.voelter.de @markusvoelter Bernd Kolb kolb@itemis.de www.itemis.de @berndkolb B 0 Motivation Examples 1 M Healthcare Context & Motivation Mobile

More information

Lecture 1/2. Copyright 2007 STI - INNSBRUCK

Lecture 1/2. Copyright 2007 STI - INNSBRUCK Introduction to modeling MSc 2008/2009 009 Lecture 1/2 1 Copyright 2007 STI - INNSBRUCK www.sti-innsbruck.at Course overview Introduces modeling as a discipline within Computer Science and Engineering,

More information

University of Huddersfield Repository

University of Huddersfield Repository University of Huddersfield Repository Olszewska, Joanna Isabelle, Simpson, Ron and McCluskey, T.L. Appendix A: epronto: OWL Based Ontology for Research Information Management Original Citation Olszewska,

More information

OMG MDA Implementers Conference. UML 2.0 Support for MDA in Dynamic Models: How Practical is Execution from Behavioral Models?

OMG MDA Implementers Conference. UML 2.0 Support for MDA in Dynamic Models: How Practical is Execution from Behavioral Models? OMG MDA Implementers Conference UML 2.0 Support for MDA in Dynamic Models: How Practical is Execution from Behavioral Models? David Fado, May 2003 Introduction! UML 2 behavior diagrams offer enhanced ability

More information

Editor s Draft. Outcome of Berlin Meeting ISO/IEC JTC 1/SC32 WG2 N1669 ISO/IEC CD :ED2

Editor s Draft. Outcome of Berlin Meeting ISO/IEC JTC 1/SC32 WG2 N1669 ISO/IEC CD :ED2 ISO/IEC JTC 1/SC32 WG2 N1669 2012-06 ISO/IEC CD19763-1:ED2 ISO/IEC JTC 1/SC 32/WG 2 Secretariat: Information Technology Metamodel framework for interoperability (MFI) Part 1: Reference model, Second Edition

More information

First To Market through Translation of Executable UML

First To Market through Translation of Executable UML 1(40) A swedish friend asked: What is this uml uml that I see everywhere on the web? Humla : Swedish for bumble-bee. 2(40) The old story about the Depending on its weight in relation to the size of its

More information

Vocabulary Sharing and Maintenance using HL7Master File / Registry Infrastructure

Vocabulary Sharing and Maintenance using HL7Master File / Registry Infrastructure Vocabulary Sharing and Maintenance using HL7Master File / Registry Infrastructure Review Paper Mestrado em Informática Médica (FMUP) António Cardoso Martins February 2009 Table of contents Introduction

More information

UPDM PLUGIN. version user guide

UPDM PLUGIN. version user guide UPDM PLUGIN version 17.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 by any

More information

PROJECT MANAGEMENT PROFESSIONAL (PMP)

PROJECT MANAGEMENT PROFESSIONAL (PMP) PROJECT MANAGEMENT PROFESSIONAL (PMP) EXAM PREPARATION TRAINING WHAT IS PMP? Government, commercial and other organizations employ PMP certified project managers in an attempt to improve the success rate

More information

MODEL VERSIONING IN CONTEXT OF LIVING MODELS

MODEL VERSIONING IN CONTEXT OF LIVING MODELS MODEL VERSIONING IN CONTEXT OF LIVING MODELS Waqar Mehmood and Arshad Ali Department of Computer Science, COMSATS Institute of Information Technology, Wah Campus. ABSTRACT In this paper we present an approach

More information

INF5120 Modellbasert Systemutvikling Modelbased System development. Lecture 5:

INF5120 Modellbasert Systemutvikling Modelbased System development. Lecture 5: INF5120 Modellbasert Systemutvikling Modelbased System development Lecture 5: 21.02.2011 SIE I: Service Innovation and CSI, Enterprise and Service methodologies Arne-Jørgen Berre 1 Outline L5-1: Service

More information

Consolidating Service Engineering Ontologies Building Service Ontology from SOA Modeling Language (SoaML)

Consolidating Service Engineering Ontologies Building Service Ontology from SOA Modeling Language (SoaML) Consolidating Service Engineering Ontologies Building Service Ontology from SOA Modeling Language (SoaML) Purnomo Yustianto, Robin Doss, Suhardi, Novianto Budi Kurniawan Abstract As a term for characterizing

More information

Towards Traceability Metamodel for Business Process Modeling Notation

Towards Traceability Metamodel for Business Process Modeling Notation Towards Traceability Metamodel for Business Process Modeling Notation Saulius Pavalkis 1,2, Lina Nemuraite 1, and Edita Milevičienė 2 1 Kaunas University of Technology, Department of Information Systems,

More information

cameo Enterprise Architecture UPDM / DoDAF / MODAF / SysML / BPMN / SoaML USER GUIDE version 17.0

cameo Enterprise Architecture UPDM / DoDAF / MODAF / SysML / BPMN / SoaML USER GUIDE version 17.0 cameo Enterprise Architecture UPDM / DoDAF / MODAF / SysML / BPMN / SoaML USER GUIDE version 17.0 No Magic, Inc. 2010 All material contained herein is considered proprietary information owned by No Magic,

More information

ArchiMate

ArchiMate ArchiMate 3.0 www.austech.edu.au WHAT IS ARCHIMATE 3.0?? ArchiMate is a modelling language for Enterprise Architecture that provides instruments for Enterprise Architects to understand, visualise, and

More information

Using AADL in Model Driven Development. Katholieke Universiteit Leuven Belgium

Using AADL in Model Driven Development. Katholieke Universiteit Leuven Belgium Using AADL in Model Driven Development Didier Delanote, Stefan Van Baelen, Wouter Joosen and Yolande Berbers Katholieke Universiteit Leuven Belgium Contents Introduction Overview of AADL Usability assessment

More information

Lecture 8: Use Case -Driven Design. Where UML fits in

Lecture 8: Use Case -Driven Design. Where UML fits in Lecture 8: Use Case -Driven Design The Role of UML in the Software Process E.g. ICONIX Domain Models Use Cases 2008 Steve Easterbrook. This presentation is available free for non-commercial use with attribution

More information

Business Process Modeling. Version 25/10/2012

Business Process Modeling. Version 25/10/2012 Business Process Modeling Version 25/10/2012 Maurizio Morisio, Marco Torchiano, 2012, 2013 3 BP Aspects Process flow Process modeling UML Activity Diagrams BPMN Information Conceptual modeling UML Class

More information

Representing Product Designs Using a Description Graph Extension to OWL 2

Representing Product Designs Using a Description Graph Extension to OWL 2 Representing Product Designs Using a Description Graph Extension to OWL 2 Henson Graves Lockheed Martin Aeronautics Company Fort Worth Texas, USA henson.graves@lmco.com Abstract. Product development requires

More information

Advanced Topics in Software Engineering (02265) Ekkart Kindler

Advanced Topics in Software Engineering (02265) Ekkart Kindler Advanced Topics in Software Engineering (02265) I. Introduction and Motivation 2 1. Vision 3 Today Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: %pluginname package PetriNets.impl; Bundle-SymbolicName:

More information

re3data.org - Making research data repositories visible and discoverable

re3data.org - Making research data repositories visible and discoverable re3data.org - Making research data repositories visible and discoverable Robert Ulrich, Karlsruhe Institute of Technology Hans-Jürgen Goebelbecker, Karlsruhe Institute of Technology Frank Scholze, Karlsruhe

More information

xuml, AADL and Beyond

xuml, AADL and Beyond xuml and AADL xuml, AADL and Beyond Chris Raistrick www.kc.com xuml and AADL xuml Overview Chris Raistrick www.kc.com Platform Independent Model A Platform Independent Model (PIM) is a technology agnostic

More information

USING PAPYRUS IN A DESIGN SPACE EXPLORATION TOOLCHAIN CURRENT DEVELOPMENTS AT FLANDERS MAKE

USING PAPYRUS IN A DESIGN SPACE EXPLORATION TOOLCHAIN CURRENT DEVELOPMENTS AT FLANDERS MAKE USING PAPYRUS IN A DESIGN SPACE EXPLORATION TOOLCHAIN CURRENT DEVELOPMENTS AT FLANDERS MAKE Who is Flanders Make? A Flemish research institute whose mission is to strengthen the long-term international

More information

PPOOA, An Architectural Style for Real Time Systems

PPOOA, An Architectural Style for Real Time Systems PPOOA, An Architectural Style for Real Time Systems José Luis Fernández Sánchez Industrial Engineering School Universidad Politécnica de Madrid e-mail: fernandezjl@acm.org September 2004 PPOOA-WP-01_2004.pdf

More information

Model-Based Development and Evolution of Information Systems

Model-Based Development and Evolution of Information Systems John Krogstie Model-Based Development and Evolution of Information Systems A Quality Approach Springer \*1мг 11142? 11 ъмэ 1 Introduction 1 1.1 Philosophical Backdrop 5 1.1.1 Background on Knowledge Creation

More information

Whole Platform Foundation. The Long Way Toward Language Oriented Programming

Whole Platform Foundation. The Long Way Toward Language Oriented Programming Whole Platform Foundation The Long Way Toward Language Oriented Programming 2008 by Riccardo Solmi made available under the Creative Commons License last updated 22 October 2008 Outline Aim: Engineering

More information

UML Modeling I. Instructor: Yongjie Zheng September 3, CS 490MT/5555 Software Methods and Tools

UML Modeling I. Instructor: Yongjie Zheng September 3, CS 490MT/5555 Software Methods and Tools UML Modeling I Instructor: Yongjie Zheng September 3, 2015 CS 490MT/5555 Software Methods and Tools Object-Oriented Design: Topics & Skills Rational Unified Process Unified Modeling Languages (UML) Provide

More information

Enterprise Architect. User Guide Series. Perspectives

Enterprise Architect. User Guide Series. Perspectives Enterprise Architect User Guide Series Perspectives What are Modeling Perspectives? In Sparx Systems Enterprise Architect, Perspectives are sets of modeling tools, facilities and model and diagram Patterns

More information

Software Engineering from a

Software Engineering from a Software Engineering from a modeling perspective Robert B. France Dept. of Computer Science Colorado State University USA france@cs.colostate.edu Softwaredevelopment problems Little or no prior planning

More information

A Model-driven approach to NLP programming with UIMA

A Model-driven approach to NLP programming with UIMA A Model-driven approach to NLP programming with UIMA Alessandro Di Bari, Alessandro Faraotti, Carmela Gambardella, and Guido Vetere IBM Center for Advanced Studies of Trento Piazza Manci, 1 Povo di Trento

More information

Intro to Modelling and UML

Intro to Modelling and UML CSCD01 Engineering Large Software Systems Intro to Modelling and UML Joe Bettridge Winter 2018 With thanks to Anya Tafliovich and Steve Easterbrook Getting Started So, you ve just started working on a

More information

AUTOMATED BEHAVIOUR REFINEMENT USING INTERACTION PATTERNS

AUTOMATED BEHAVIOUR REFINEMENT USING INTERACTION PATTERNS MASTER THESIS AUTOMATED BEHAVIOUR REFINEMENT USING INTERACTION PATTERNS C.J.H. Weeïnk FACULTY OF ELECTRICAL ENGINEERING, MATHEMATICS AND COMPUTER SCIENCE SOFTWARE ENGINEERING EXAMINATION COMMITTEE dr.

More information

Analysis, Modeling, and Design (AMD) Tools Software Market Strategies, Market Opportunities, and Market Forecasts, 2001 to 2006

Analysis, Modeling, and Design (AMD) Tools Software Market Strategies, Market Opportunities, and Market Forecasts, 2001 to 2006 Analysis, Modeling, and Design (AMD) Tools Software Market Strategies, Market Opportunities, and Market Forecasts, 2001 to 2006 Table of Contents ANALYSIS, MODELING, AND DESIGN (AMD) TOOLS SOFTWARE MARKET

More information

GMF Tooling 3.0 Vision, Architecture, Roadmap

GMF Tooling 3.0 Vision, Architecture, Roadmap GMF Tooling 3.0 Vision, Architecture, Roadmap 2012.03.25, OMG/Eclipse Symposium, Reston VA Michael Golubev, GMF Tooling lead Montages AG www.montages.com GMF Tooling - Overview Vision: Support creation

More information

Abstraction in Business Architecture

Abstraction in Business Architecture October 07, 2014 Mike Rosen Abstraction in One of the key characteristics of architecture is looking at the big picture, but a major challenge is that we can t present the big picture on one great big

More information