TDL. bridging the gap between specifications and testing. Dr. Gusztáv Adamis Dr. GyÖrgy réthy Ericsson Hungary Test Solutions and Competence Center

Size: px
Start display at page:

Download "TDL. bridging the gap between specifications and testing. Dr. Gusztáv Adamis Dr. GyÖrgy réthy Ericsson Hungary Test Solutions and Competence Center"

Transcription

1 TDL bridging the gap between specifications and testing Dr. Gusztáv Adamis Dr. GyÖrgy réthy Ericsson Hungary Test Solutions and Competence Center

2 Contents Problem definition TDL - the new ETSI test language Role of TDL in testing Activities on TDL Ericsson Modeling Days 2016 Ericsson AB Page 2

3 Test Development Manual workflow Requirement and System specification Feature description, IW Description etc. Ericsson Modeling Days 2016 Ericsson AB Page 3

4 Test Development Manual workflow Test design Done at the test execution language level Test cases API (product specific) Test Framework Test tool (IDE, execution environment) Ericsson Modeling Days 2016 Ericsson AB Page 4

5 Abstraction Gap Requirement management/ system specification Test design/execution Test cases Test Framework Ericsson Modeling Days 2016 Ericsson AB Page 5

6 Test Development MBT workflow Orig FSM public void reselec.on(string p_legid) { vg_sip_parameters.withoutringing = true; mgcfdialog = new SIPCallTerm(mgcfOut, mgcfin); mgcfdialog.legid = "mgcf1"; mgcfdialog.teardown = false; mgcfdialog.start("mgcf1"); if (vg_e_params.mgcf2behavior == "serviceunavailable") mgcfdialog.finalresp = 503; } Test harness in destination language, e.g. Ericsson Modeling Days 2016 Ericsson AB Page 6

7 The Abstraction Gap MBT requires knowledge on Modeling level Programming level Ericsson Modeling Days 2016 Ericsson AB Page 7

8 We need a language that Can describe the test cases Both generated and manually designed at the abstraction level of the model Can be used also by nonprogrammers Enables incremental development Standardised From system specification to test case design level Can be used by different tools Has a graphical representation TDL Test Description Language Ericsson Modeling Days 2016 Ericsson AB Page 8

9 TDL Meta-model Well-defined language constructs UML MOF-based description OCL constraints Makes it possible to develop different domainspecific concrete syntaxes Ericsson Modeling Days 2016 Ericsson AB Page 9

10 Structure of TDL Test Data TDL meta-model Time, Timers Foundation Data Time Test Configuration Test Configuration Test Behaviour Test Behaviour Test Description Test Behaviour Elements Test Objective Including test-specific constructs, like alternative default verdict Test Objectives Ericsson Modeling Days 2016 Ericsson AB Page 10

11 TDL Graphical Syntax Standardised by ETSI Similar approach to UML SD But new symbols to new constructs Graphical symbols Formal description of the contained text Ericsson Modeling Days 2016 Ericsson AB Page 11

12 TDL Graphical Syntax Data Specification Ericsson Modeling Days 2016 Ericsson AB Page 12

13 TDL Graphical Syntax Test Configuration Ericsson Modeling Days 2016 Ericsson AB Page 13

14 TDL Graphical Syntax Test Behaviour Ericsson Modeling Days 2016 Ericsson AB Page 14

15 Transfer Syntax Goals: Interoperability between tools Interoperability between different concrete syntaxes XMI (XML Metadata Interchange) To serialize the meta-model Syntactical check possible Ericsson Modeling Days 2016 Ericsson AB Page 15

16 Incremental Design UE Network Connection Establishment Data Transfer Ericsson Modeling Days 2016 Ericsson AB Page 16

17 Incremental Design UE Network Request Accept Data Transfer Ericsson Modeling Days 2016 Ericsson AB Page 17

18 Incremental Design UE Network Request (ID:=1, Type:=Voice) Accept (ID:=1) Data Transfer Ericsson Modeling Days 2016 Ericsson AB Page 18

19 Incremental Design UE Network Request (ID:=1, Type:=Voice) Accept (ID:=1) Deny Data Transfer Ericsson Modeling Days 2016 Ericsson AB Page 19

20 Incremental Design UE Network Data Resource Mapping TTCN_Data ResourceURI Data.ttcn Request (ID:=1, Type:=Voice) Accept (ID:=1) Deny Data Transfer Ericsson Modeling Days 2016 Ericsson AB Page 20

21 Incremental Design UE Node 1 Node 2 Data Resource Mapping TTCN_Data ResourceURI Data.ttcn Request (ID:=1, Type:=Voice) Accept (ID:=1) Deny Request (Type:=Voice) OK NOK Data Transfer Ericsson Modeling Days 2016 Ericsson AB Page 21

22 TDL in Test development Ericsson Modeling Days 2016 Ericsson AB Page 22

23 Activities on TDL At ETSI: Latest versions of TDL standards are published in 05/2016 See more at Tool Prototypes (will be open sourced) Reference TDL-GR viewer TDL XMI -> TDL GR Papyrus-based TDL editor TDL -> UML mapping Ericsson Modeling Days 2016 Ericsson AB Page 23

24 Activities on TDL At Ericsson TCC: Participation in all ETSI TDL activities Language development projects (STFs Specialized Task Force) TB MTS (approving the TDL standards and TDL STF requests) TDL Steering Group Prototype TDL GR editor integrated into Intuitive tool Working on TDL -> TTCN-3 M2M transformation With cooperation of Budapest University of Technology and Economics - Mapping of TDL to TTCN-3 - Prototype tool - The coming new ETSI STF will standardize the mapping Ericsson Modeling Days 2016 Ericsson AB Page 24

25 Ericsson Modeling Days 2016 Ericsson AB Page 25 and

26 Ericsson Modeling Days 2016 Ericsson AB Page 26

THE ETSI TEST DESCRIPTION LANGUAGE (TDL)

THE ETSI TEST DESCRIPTION LANGUAGE (TDL) THE ETSI TEST DESCRIPTION LANGUAGE (TDL) Results from the ETSI project STF 454 A. Ulrich, G. Adamis, F. Kristoffersen, Ph. Makedonski, M.-F. Wendland, A. Wiles Outline Motivation and introduction Design

More information

Introducing MBT to Standardization. ETSI All rights reserved

Introducing MBT to Standardization. ETSI All rights reserved THE ETSI TEST DESCRIPTION LANGUAGE Introducing MBT to Standardization Presented by Andreas Ulrich, Siemens AG for ICTSS 2017, St. Petersburg, Russia ABOUT ETSI About ETSI, MTS, CTI European Telecommunication

More information

Different levels of Interoperability

Different levels of Interoperability 1 Different levels of Interoperability Technical Syntactic Semantic Organisational "Interoperability is the ability of two systems to interoperate using the same communication protocol" from ETSI Project

More information

Modeling Requirements

Modeling Requirements Modeling Requirements Critical Embedded Systems Dr. Balázs Polgár Prepared by Budapest University of Technology and Economics Faculty of Electrical Engineering and Informatics Dept. of Measurement and

More information

STF 476: TDL Phase 2. Status Report. ETSI All rights reserved

STF 476: TDL Phase 2. Status Report. ETSI All rights reserved STF 476: TDL Phase 2 Status Report Document History 2014-09-25: Document submitted for MTS #63 long form for SG #5 / Technical Session short form for MTS #63 2014-05-10: Document submitted for MTS #62

More information

Ingegneria del Software Corso di Laurea in Informatica per il Management. Introduction to UML

Ingegneria del Software Corso di Laurea in Informatica per il Management. Introduction to UML Ingegneria del Software Corso di Laurea in Informatica per il Management Introduction to UML Davide Rossi Dipartimento di Informatica Università di Bologna Modeling A model is an (abstract) representation

More information

APPLYING TDL IN PRACTICE

APPLYING TDL IN PRACTICE Sophia Antipolis, French Riviera 20-22 October 2015 APPLYING TDL IN PRACTICE Philip Makedonski, Gusztav Adamis, Martti Käärik, Finn Kristoffersen, Xavier Zeitoun Final draft ETSI ES 203 119-1 V1.2.0 (2015-04)

More information

STF 492: TDL Phase 3. Status Report. ETSI All rights reserved

STF 492: TDL Phase 3. Status Report. ETSI All rights reserved STF 492: TDL Phase 3 Status Report Document History 2015-09-15: Revised for MTS#66 long form for TDL Technical Session short form for MTS#66 2015-09-15: Revised for SG#3 2015-07-15: Revised for SG#2 2015-06-02:

More information

TECHNICAL REPORT Methods for Testing and Specification (MTS); The Test Description Language (TDL); Reference Implementation

TECHNICAL REPORT Methods for Testing and Specification (MTS); The Test Description Language (TDL); Reference Implementation TR 103 119 V1.1.1 (2018-02) TECHNICAL REPORT Methods for Testing and Specification (MTS); The Test Description Language (TDL); Reference Implementation 2 TR 103 119 V1.1.1 (2018-02) Reference DTR/MTS-103119REFV1.1.1

More information

IMS networks PSTN/ISDN simulation services conformance testing using ETSI standardized test suites and commercial TTCN-3 test tools

IMS networks PSTN/ISDN simulation services conformance testing using ETSI standardized test suites and commercial TTCN-3 test tools IMS networks PSTN/ISDN simulation services conformance testing using ETSI standardized test suites and commercial TTCN-3 test tools Andres Kull, CEO at Elvior Cut your sofware testing expenses Functional

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

LTE test suites for UE conformance

LTE test suites for UE conformance LTE test suites for UE conformance TTCN-3 User Conference 2009 3-5 June 2009, ETSI, Sophia Antipolis, France Session 1: June 4 th 11:15 ETSI - MCC TF 160 Hellen Griffiths Shicheng Hu Wolfgang Seka MCC

More information

V&V: Model-based testing

V&V: Model-based testing V&V: Model-based testing Systems Engineering BSc Course Budapest University of Technology and Economics Department of Measurement and Information Systems Traceability Platform-based systems design Verification

More information

ETSI Experiences in Testing and Interoperability

ETSI Experiences in Testing and Interoperability Ultan Mulligan ETSI Protocol and Testing Competence Centre ultan.mulligan@etsi.org TSAG Informal Workshop on Conformance and 25 January 2005 1 What does mean to ETSI? is the ultimate aim of ICT standardisation

More information

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

ETSI ES V1.1.1 ( )

ETSI ES V1.1.1 ( ) ES 203 119 V1.1.1 (2014-04) Standard Methods for Testing and Specification (MTS); The Test Description Language (TDL); Specification of the Abstract Syntax and Associated 2 ES 203 119 V1.1.1 (2014-04)

More information

A Solution Based on Modeling and Code Generation for Embedded Control System

A Solution Based on Modeling and Code Generation for Embedded Control System J. Software Engineering & Applications, 2009, 2: 160-164 doi:10.4236/jsea.2009.23023 Published Online October 2009 (http://www.scirp.org/journal/jsea) A Solution Based on Modeling and Code Generation for

More information

STF 492: TDL Phase 3. Status Report. ETSI All rights reserved

STF 492: TDL Phase 3. Status Report. ETSI All rights reserved STF 492: TDL Phase 3 Status Report Document History 2015-09-15: Revised for MTS#66 long form for TDL Technical Session revised long form for MTS#66 2015-09-15: Revised for SG#3 2015-07-15: Revised for

More information

WHY WE NEED AN XML STANDARD FOR REPRESENTING BUSINESS RULES. Introduction. Production rules. Christian de Sainte Marie ILOG

WHY WE NEED AN XML STANDARD FOR REPRESENTING BUSINESS RULES. Introduction. Production rules. Christian de Sainte Marie ILOG WHY WE NEED AN XML STANDARD FOR REPRESENTING BUSINESS RULES Christian de Sainte Marie ILOG Introduction We are interested in the topic of communicating policy decisions to other parties, and, more generally,

More information

T : Protocol Design

T : Protocol Design T-110.300: Protocol Design Protocol Design Theory Methods Protocol Engineering Process (PEP) Timo.Kyntaja@vtt.fi 1 (154) Motivation Telecom systems engineering is a huge industry networks, terminals, services

More information

It s all Done with Mirrors Patterns and OCL. KMF Kent Modelling Framework D.H.Akehurst and O.Patrascoiu

It s all Done with Mirrors Patterns and OCL. KMF Kent Modelling Framework D.H.Akehurst and O.Patrascoiu It s all Done with Mirrors Patterns and OCL KMF Kent Modelling Framework D.H.Akehurst and O.Patrascoiu Goal Model Implementation MDA Goal Meta-Model Specification Tool Code Generation Is a Transformation

More information

UML 2.5: Specification Simplification

UML 2.5: Specification Simplification A division of Data Access Technologies, Inc. UML 2.5: Specification Simplification Presented at the Third Biannual Workshop on Eclipse Open Source Software and OMG Open Specifications Ed Seidewitz Timeline

More information

Modeling pilot project at Ericsson Expert Analytics

Modeling pilot project at Ericsson Expert Analytics Modeling pilot project at Ericsson Expert Analytics Gábor Ferenc Kovács, Gergely Dévai ELTE-Soft, ELTE University, Ericsson Ericsson Modeling Days, Stockholm, 13-14 September 2016 Overview Background of

More information

Enabling Component-Based Model Transformations with QVT. Li Dan

Enabling Component-Based Model Transformations with QVT. Li Dan Enabling Component-Based Model Transformations with QVT by Li Dan Doctor of Philosophy in Software Engineering 2013 Faculty of Science and Technology University of Macau Enabling Component-Based Model

More information

Outline. A little history. Outline. The Unified Modeling Language Opportunities and Challenges for Formal Methods

Outline. A little history. Outline. The Unified Modeling Language Opportunities and Challenges for Formal Methods Outline The Unified Modeling Language Opportunities and Challenges for Formal Methods An update on UML Language definition Tools A precise OO meta-modeling facility - MMF Stuart Kent University of Kent

More information

Object Security. Model Driven Security. Ulrich Lang, Rudolf Schreiner. Protection of Resources in Complex Distributed Systems

Object Security. Model Driven Security. Ulrich Lang, Rudolf Schreiner. Protection of Resources in Complex Distributed Systems Object Security TM The Security Policy Company Protection of Resources in Complex Distributed Systems Ulrich Lang, Rudolf Schreiner ObjectSecurity Ltd. University of Cambridge Agenda COACH Project Model

More information

Information systems modeling. Tomasz Kubik

Information systems modeling. Tomasz Kubik Information systems modeling Tomasz Kubik OMG specifications adopted by ISO Name Acronym Version ISO documents Business Process Model And Notation BPMN 2.0.1 19510:2013 Common Object Request Broker Architecture

More information

CISC836: Models in Software Development: Methods, Techniques and Tools

CISC836: Models in Software Development: Methods, Techniques and Tools CISC836: Models in Software Development: Methods, Techniques and Tools Topic 4: Code Generation with EMF Meta modeling Languages for meta models: Ecore Using EMF and Ecoreto define a data model Using EMF

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

MBT TO TTCN 3 TOOL CHAIN: THE

MBT TO TTCN 3 TOOL CHAIN: THE Budapest, 26-28 October 2016 MBT TO TTCN 3 TOOL CHAIN: THE ONEM2M EXPERIENCE Presented by Abbas AHMAD (abbas.ahmad@eglobalmark.com) Contents IoT platform testing : Introducing MBT The onem2m MBT use case

More information

ETSI documents published or circulated for vote/comment in May 2018

ETSI documents published or circulated for vote/comment in May 2018 ETSI documents published or circulated for vote/comment in May 2018 ETSI documents issued under AP20180806. Comments should be sent to the named contact by 07/07/2018 EN 303 423 Environmental Engineering

More information

Model driven Engineering & Model driven Architecture

Model driven Engineering & Model driven Architecture Model driven Engineering & Model driven Architecture Prof. Dr. Mark van den Brand Software Engineering and Technology Faculteit Wiskunde en Informatica Technische Universiteit Eindhoven Model driven software

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

Advanced Topics in Software Engineering (02265) Ekkart Kindler

Advanced Topics in Software Engineering (02265) Ekkart Kindler Advanced Topics in Software Engineering (02265) IV. (Meta-) Modelling Frameworks 2 1. Motivation & Overview With MOF, we have: Modelling notation (EMOF / CMOF) Java API (JMI, EMF, etc) Instance model /

More information

From Object Composition to Model Transformation with the MDA

From Object Composition to Model Transformation with the MDA From Object Composition to Transformation with the MDA Jean Bézivin University of Nantes 2, rue de la Houssinière, BP 92208 44322 Nantes cedex 3, France Jean.Bezivin@sciences.univ-nantes.fr Abstract The

More information

Workshop Data Modelling [en]

Workshop Data Modelling [en] Workshop Data Modelling [en] Thorsten Reitz, wetransform INSPIRE and Beyond 2018 24.05.2018 Wetransform GmbH - Why do we create data models at all? - What processes can we use to create models? - What

More information

Software. Test. Architecture. Dr Sigrid Eldh. Ericsson AB Stockholm, Sweden. Public Ericsson AB Page 1

Software. Test. Architecture. Dr Sigrid Eldh. Ericsson AB Stockholm, Sweden. Public Ericsson AB Page 1 Software Test Architecture Dr Sigrid Eldh Radio System & Technology Software Ericsson AB Stockholm, Sweden Public Ericsson AB 2015 2015-04-10 Page 1 Twitter: DrSEldh The Bug Busters 127 Automated Test

More information

ETSI STANDARD Methods for Testing and Specification (MTS); The Test Description Language (TDL); Part 3: Exchange Format

ETSI STANDARD Methods for Testing and Specification (MTS); The Test Description Language (TDL); Part 3: Exchange Format ES 203 119-3 V1.3.1 (2018-05) STANDARD Methods for Testing and Specification (MTS); The Test Description Language (TDL); Part 3: Exchange Format 2 ES 203 119-3 V1.3.1 (2018-05) Reference RES/MTS-203119-3v1.3.1

More information

The Eclipse Modeling Framework and MDA Status and Opportunities

The Eclipse Modeling Framework and MDA Status and Opportunities The Eclipse Modeling Framework and MDA Status and Opportunities David Frankel Consulting df@davidfrankelconsulting.com www.davidfrankelconsulting.com Portions adapted from the book Model Driven Architecture:

More information

ISO/IEC INTERNATIONAL STANDARD. Information technology Metamodel framework for interoperability (MFI) Part 1: Reference model

ISO/IEC INTERNATIONAL STANDARD. Information technology Metamodel framework for interoperability (MFI) Part 1: Reference model INTERNATIONAL STANDARD ISO/IEC 19763-1 First edition 2007-02-01 Information technology Metamodel framework for interoperability (MFI) Part 1: Reference model Technologies de l'information Cadre du métamodèle

More information

All you need are models Anneke Kleppe, Klasse Objecten

All you need are models Anneke Kleppe, Klasse Objecten Model Driven Architecture All you need are models Anneke Kleppe, Klasse Objecten Contents Limited Vision on MDA Modeling Maturity Levels Models Model Driven Development Model Driven Architecture MDA in

More information

The Specifications Exchange Service of an RM-ODP Framework

The Specifications Exchange Service of an RM-ODP Framework The Specifications Exchange Service of an RM-ODP Framework X. Blanc (*+), M-P. Gervais(*), J. Le Delliou(+) (*)Laboratoire d'informatique de Paris 6-8 rue du Capitaine Scott F75015 PARIS (+)EDF Research

More information

Institute of Automatics AGH University of Science and Technology, POLAND. Hybrid Knowledge Engineering.

Institute of Automatics AGH University of Science and Technology, POLAND. Hybrid Knowledge Engineering. Institute of Automatics AGH University of Science and Technology, POLAND Hybrid Knowledge Engineering http://hekate.ia.agh.edu.pl and the process and (AGH-UST) 1 / 57 Outline 1 2 3 4 and the process and

More information

Practical Model-based Testing With Papyrus and RT-Tester

Practical Model-based Testing With Papyrus and RT-Tester Practical Model-based Testing With Papyrus and RT-Tester Jan Peleska and Wen-ling Huang University of Bremen Verified Systems International GmbH Fourth Halmstad Summer School on Testing, 2014-06-11 Acknowledgements.

More information

02291: System Integration

02291: System Integration 02291: System Integration Introduction to UML Hubert Baumeister huba@dtu.dk DTU Compute Technical University of Denmark Spring 2019 What is the UML? Unified Modelling Language (UML) Family of graphical

More information

This paper is more intended to set up a basis for a constructive discussion than to offer definitive answers and closed solutions.

This paper is more intended to set up a basis for a constructive discussion than to offer definitive answers and closed solutions. The TopModL Initiative Pierre-Alain Muller pa.muller@uha.fr INRIA/Irisa Université de Rennes France Cédric Dumoulin cedric.dumoulin@lifl.fr LIFL Université de Lille France Frédéric Fondement frederic.fondement@epfl.ch

More information

MOF 2.0 IDL CORBA Components based Repositories

MOF 2.0 IDL CORBA Components based Repositories MOF 2.0 IDL CORBA Components based Repositories Dr. Olaf Kath kath@ikv.de s describe all aspects of IT systems. IKV ++ Technologies AG General Infrastructure Business Usage Test Resource Design Deployment

More information

Towards Formalizing Domain-specific Modeling Languages. Kai Chen Janos Sztipanovits Sandeep Neema

Towards Formalizing Domain-specific Modeling Languages. Kai Chen Janos Sztipanovits Sandeep Neema Towards Formalizing Domain-specific Modeling Languages Kai Chen Janos Sztipanovits Sandeep Neema Outline! DSML overview! Framework for DSML design Syntax definition Semantic domain specification Semantic

More information

Semantic Web Domain Knowledge Representation Using Software Engineering Modeling Technique

Semantic Web Domain Knowledge Representation Using Software Engineering Modeling Technique Semantic Web Domain Knowledge Representation Using Software Engineering Modeling Technique Minal Bhise DAIICT, Gandhinagar, Gujarat, India 382007 minal_bhise@daiict.ac.in Abstract. The semantic web offers

More information

A Comparison of Ecore and GOPPRR through an Information System Meta Modeling Approach

A Comparison of Ecore and GOPPRR through an Information System Meta Modeling Approach A Comparison of Ecore and GOPPRR through an Information System Meta Modeling Approach Vladimir Dimitrieski, Milan Čeliković, Vladimir Ivančević and Ivan Luković University of Novi Sad, Faculty of Technical

More information

Modellierung operationaler Aspekte von Systemarchitekturen. Master Thesis presentation. October 2005 March Mirko Bleyh - Medieninformatik

Modellierung operationaler Aspekte von Systemarchitekturen. Master Thesis presentation. October 2005 March Mirko Bleyh - Medieninformatik Modellierung operationaler Aspekte von Systemarchitekturen Master Thesis presentation October 2005 March 2006 Agenda Goals Model-Driven Software Development Pro-active Infrastructure (PAI) Operational

More information

Comparing graphical DSL editors

Comparing graphical DSL editors Comparing graphical DSL editors AToM 3 vs GMF & MetaEdit+ Nick Baetens Outline Introduction MetaEdit+ Specifications Workflow GMF Specifications Workflow Comparison 2 Introduction Commercial Written in

More information

An introduction to MOF MetaObject Facility.

An introduction to MOF MetaObject Facility. An introduction to MOF MetaObject Facility pierre-alain.muller@irisa.fr About The MetaObject Facility Specification is the foundation of OMG's industry-standard standard environment where models can be

More information

Acceleo Galileo Simultaneous Release

Acceleo Galileo Simultaneous Release Acceleo 0.8.0 Galileo Simultaneous Release Jonathan Musset Release Review : June 10, 2009 C om m unic a tion C ha nnel :e c lip s e.m o d e lin g.m 2 t n e w s g ro u p P roc es s D oc um enta tion : h

More information

Modelling Constraints

Modelling Constraints Modelling Constraints by Constraining the Models Gerrit Renker RGU Constraints Group The Robert Gordon University, Aberdeen Modelling Constraints p.1/42 Talk Outline 4 Blocks: Purpose and Concept UML and

More information

On the Standardization of Conformance Tests for Communicating Systems. State of the Art and Future Trends. Prof. Dr.

On the Standardization of Conformance Tests for Communicating Systems. State of the Art and Future Trends. Prof. Dr. On the Standardization of Conformance Tests for Communicating Systems State of the Art and Future Trends Prof. Dr. Jens Grabowski Georg-August Universität Göttingen grabowski@informatik.uni-goettingen.de

More information

Model Transformations for Embedded System Design and Virtual Platforms

Model Transformations for Embedded System Design and Virtual Platforms 1 Model Transformations for Embedded System Design and Virtual Platforms Nikos Matragkas, Ian Gray, Richard Paige, Dimitris Kolovos, Neil Audsley, Leandro Indrusiak Department of Computer Science The University

More information

Automated Test Design with TTCN-3

Automated Test Design with TTCN-3 Automated Test Design with TTCN-3 TTCN-3 User Conference Beijing, June 8th 2010 Conformiq Tutorial Copyright Conformiq Inc. and its subsidiaries. All rights reserved. Tuesday, May 11, 2010 1 Conformiq,

More information

Introduction to OpenArchitectureWare

Introduction to OpenArchitectureWare Introduction to OpenArchitectureWare Dr. Neil Loughran Neil.Loughran@sintef.no 20 th April 2009 ICT 1 Objective To give some insights into an alternative model transformation approach i.e. OpenArchitectureWare

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

ECLIPSE MODELING PROJECT

ECLIPSE MODELING PROJECT ECLIPSE MODELING PROJECT A Domain-Specific Language Toolkit Richard С. Gronback AAddison-Wesley Upper Saddle River, NJ Boston Indianapolis San Francisco New York Toronto Montreal London Munich Pans Madrid

More information

ETSI SPECIFICATION Methods for Testing and Specification (MTS); The Test Description Language (TDL)

ETSI SPECIFICATION Methods for Testing and Specification (MTS); The Test Description Language (TDL) SPECIFICATION Methods for Testing and Specification (MTS); The Test Description Language (TDL) 2 Reference DES/MTS-140_TDL Keywords METHODOLOGY, Language, MBT, TESTING, TSS&TP, TTCN-3, UML 650 Route des

More information

Model-Driven Engineering (MDE) Lecture 1: Metamodels and Xtext Regina Hebig, Thorsten Berger

Model-Driven Engineering (MDE) Lecture 1: Metamodels and Xtext Regina Hebig, Thorsten Berger Model-Driven Engineering (MDE) Lecture 1: Metamodels and Xtext Regina Hebig, Thorsten Berger Reuses some material from: Andrzej Wasowski, Model-Driven Development, ITU Copenhagen Where I am from WASP 2017

More information

ETSI CENTRE OF TESTING & INTEROPERABILITY JANUARY 2011

ETSI CENTRE OF TESTING & INTEROPERABILITY JANUARY 2011 ETSI CENTRE OF TESTING & INTEROPERABILITY JANUARY 2011 Standardization and Interoperability We live in an interconnected world and interoperability is key to drive it forward In our homes -Digital Home,

More information

Wikileaking Eclipse Modeling - Spilling the beans on how industry uses EMF based tooling successfully! Ronan Barrett, Ericsson

Wikileaking Eclipse Modeling - Spilling the beans on how industry uses EMF based tooling successfully! Ronan Barrett, Ericsson Wikileaking Eclipse Modeling - Spilling the beans on how industry uses EMF based tooling successfully! Ronan Barrett, Ericsson Public Ericsson AB 2012 2012-03-05 Page 1 The Use Case Modeling Tool We Can

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

Compositional Model Based Software Development

Compositional Model Based Software Development Compositional Model Based Software Development Prof. Dr. Bernhard Rumpe http://www.se-rwth.de/ Seite 2 Our Working Groups and Topics Automotive / Robotics Autonomous driving Functional architecture Variability

More information

Design and Prototypical Implementation of a Pivot Model as Exchange Format for Models and Metamodels in a QVT/OCL Development Environment

Design and Prototypical Implementation of a Pivot Model as Exchange Format for Models and Metamodels in a QVT/OCL Development Environment Faculty of Computer Science, Institute for Software- and Multimedia-Technology, Chair for Software Technology Matthias Bräuer Design and Prototypical Implementation of a Pivot Model as Exchange Format

More information

Kermeta tutorial. How to create a metamodel. François Tanguy, Didier Vojtisek. Abstract

Kermeta tutorial. How to create a metamodel. François Tanguy, Didier Vojtisek. Abstract Kermeta tutorial How to create a metamodel François Tanguy, Didier Vojtisek Abstract This tutorial is part of a serie of tutorials that explain step by step one of the aspect of Kermeta. This one will

More information

ATHABASCA UNIVERSITY RULE ENHANCED BUSINESS PROCESS MODELING OF SERVICE ORIENTED ARCHITECTURES LUIS ROCHA. A project submitted in partial fulfillment

ATHABASCA UNIVERSITY RULE ENHANCED BUSINESS PROCESS MODELING OF SERVICE ORIENTED ARCHITECTURES LUIS ROCHA. A project submitted in partial fulfillment ATHABASCA UNIVERSITY RULE ENHANCED BUSINESS PROCESS MODELING OF SERVICE ORIENTED ARCHITECTURES BY LUIS ROCHA A project submitted in partial fulfillment Of the requirements for the degree of MASTER OF SCIENCE

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

Constraint-enabled Process Modeling. Conrad Bock U.S. National Institute of Standards and Technology November 20, 2007

Constraint-enabled Process Modeling. Conrad Bock U.S. National Institute of Standards and Technology November 20, 2007 Constraint-enabled Process Modeling Conrad Bock U.S. National Institute of Standards and Technology November 20, 2007 1 Overview Models and constraints: Example of structure models Extend to process models:

More information

SCENTOR: Scenario-Based Testing of E-Business Applications

SCENTOR: Scenario-Based Testing of E-Business Applications SCENTOR: Scenario-Based Testing of E-Business Applications Jeremiah Wittevrongel, Frank Maurer The University of Calgary jeremiah@cpsc.ucalgary.ca, maurer@cpsc.ucalgary.ca Abstract E-business software

More information

RDF and Digital Libraries

RDF and Digital Libraries RDF and Digital Libraries Conventions for Resource Description in the Internet Commons Stuart Weibel purl.org/net/weibel December 1998 Outline of Today s Talk Motivations for developing new conventions

More information

The Model-Driven Semantic Web Emerging Standards & Technologies

The Model-Driven Semantic Web Emerging Standards & Technologies The Model-Driven Semantic Web Emerging Standards & Technologies Elisa Kendall Sandpiper Software March 24, 2005 1 Model Driven Architecture (MDA ) Insulates business applications from technology evolution,

More information

Eclipse Automotive Working Group

Eclipse Automotive Working Group Global Embedded Electronics & Networked SYstem Solutions Eclipse Automotive Working Group Activities and Requirements @ Geensys About Geensys - Global Embedded Electronics & Networked SYstem Solutions

More information

CWM: Model Driven Architecture

CWM: Model Driven Architecture CWM: Model Driven Architecture Dr. Daniel T. Chang IBM DBTI for e-business (dtchang@us.ibm.com) Abstract CWM is a new metadata standard for data warehousing and business intelligence, which was adopted

More information

Better Metadata Management through Better Metamodels

Better Metadata Management through Better Metamodels Better Metadata Management through Better Metamodels Issues to consider when developing a metamodel, and why you might care GK Khalsa khalsa@objectrad.com Objectrad, Temecula, CA Discussion The role of

More information

Model Querying with Graphical Notation of QVT Relations

Model Querying with Graphical Notation of QVT Relations Model Querying with Graphical Notation of QVT Relations Dan LI, Xiaoshan LI Faculty of Science and Technology, University of Macau Volker Stolz University of Oslo, Norway Agenda! Motivation! QVT Relations

More information

White Paper on RFP II: Abstract Syntax Tree Meta-Model

White Paper on RFP II: Abstract Syntax Tree Meta-Model White Paper on RFP II: Abstract Syntax Tree Meta-Model OMG Architecture Driven Modernization Task Force August 18, 2004 Contributors: Philip Newcomb, The Software Revolution, Inc. Ed Gentry, Blue Phoenix,

More information

Possibility of SystemC code generation from SDL specication

Possibility of SystemC code generation from SDL specication Possibility of SystemC code generation from SDL specication April 26, 2012 Agenda Network protocol design SDL language and its features Purpose of SDL specication Obtaining an executable SDL model SDL

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

EATOP: An EAST-ADL Tool Platform for Eclipse

EATOP: An EAST-ADL Tool Platform for Eclipse Grant Agreement 260057 Model-based Analysis & Engineering of Novel Architectures for Dependable Electric Vehicles Report type Report name Deliverable D5.3.1 EATOP: An EAST-ADL Tool Platform for Eclipse

More information

UML Semantics FAQ. ECOOP 99 Workshop Proposal

UML Semantics FAQ. ECOOP 99 Workshop Proposal UML Semantics FAQ ECOOP 99 Workshop Proposal 1 Cover Page Title: UML Semantics FAQ Organizers: on behalf of puml (precise UML group), http://www.cs.york.ac.uk/ puml/ Stuart Kent (primary contact), Computing

More information

ETSI and GRID Standardisation. Mike Fisher, BT ETSI TC GRID Chair. 23 October 2006 ITU-T/OGF Workshop on Next Generation Networks and Grids

ETSI and GRID Standardisation. Mike Fisher, BT ETSI TC GRID Chair. 23 October 2006 ITU-T/OGF Workshop on Next Generation Networks and Grids ETSI and GRID Standardisation Mike Fisher, BT ETSI TC GRID Chair 1 ETSI and GRID GRID#2: 2 nd ETSI TC GRID Meeting, 1 Dec 2006 (Sophia- Antipolis) 3 rd ETSI GRID Plugtests, 27 Nov 1 Dec 2006 (Sophia- Antipolis)

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

A Framework for Testing AIS Implementations

A Framework for Testing AIS Implementations A Framework for Testing AIS Implementations Tamás Horváth and Tibor Sulyán Dept. of Control Engineering and Information Technology, Budapest University of Technology and Economics, Budapest, Hungary {tom,

More information

Challenges for advanced domain-specific modeling. István Ráth. Budapest University of Technology and Economics

Challenges for advanced domain-specific modeling. István Ráth. Budapest University of Technology and Economics Challenges for advanced domain-specific modeling frameworks István Ráth Dániel Varró Department of Measurement and Information Systems Department of Measurement and Information Systems Budapest University

More information

Preserving Non-essential Information Related to the Presentation of a Language Instance. Terje Gjøsæter and Andreas Prinz

Preserving Non-essential Information Related to the Presentation of a Language Instance. Terje Gjøsæter and Andreas Prinz Preserving Non-essential Information Related to the Presentation of a Language Instance Terje Gjøsæter and Andreas Prinz Faculty of Engineering and Science, University of Agder Serviceboks 509, NO-4898

More information

Towards Multi-Perspective Modeling with BPMN

Towards Multi-Perspective Modeling with BPMN Faculty of Business and Economics, Chair of Wirtschaftsinformatik, esp. System Development Towards Multi-Perspective Modeling with BPMN Richard Braun, Werner Esswein EEWC 2015, Prague Agenda 1. Motivation

More information

ROLE OF OCL AND ITS SUPPORTING TOOLS IN REQUIREMENT SPECIFICATION

ROLE OF OCL AND ITS SUPPORTING TOOLS IN REQUIREMENT SPECIFICATION ROLE OF OCL AND ITS SUPPORTING TOOLS IN REQUIREMENT SPECIFICATION A thesis submitted in partial fulfillment of the requirements for the award of degree of Master of Engineering in Software Engineering

More information

METADATA INTERCHANGE IN SERVICE BASED ARCHITECTURE

METADATA INTERCHANGE IN SERVICE BASED ARCHITECTURE UDC:681.324 Review paper METADATA INTERCHANGE IN SERVICE BASED ARCHITECTURE Alma Butkovi Tomac Nagravision Kudelski group, Cheseaux / Lausanne alma.butkovictomac@nagra.com Dražen Tomac Cambridge Technology

More information

IOT-TESTWARE AN ECLIPSE PROJECT

IOT-TESTWARE AN ECLIPSE PROJECT IOT-TESTWARE AN ECLIPSE PROJECT Vadim Makhorov Ina Schieferdecker, Sascha Kretzschmann, Michael Wagner, Axel Rennoch QRS, Praha, Czech Republic, July 27, 2017 THE ECLIPSE PROJECT 2 1 THE CONTEXT 3 OUTLINE

More information

Sequence Diagram Generation with Model Transformation Technology

Sequence Diagram Generation with Model Transformation Technology , March 12-14, 2014, Hong Kong Sequence Diagram Generation with Model Transformation Technology Photchana Sawprakhon, Yachai Limpiyakorn Abstract Creating Sequence diagrams with UML tools can be incomplete,

More information

MODEL BASED TESTING AND COVERAGE OF XML REQUIREMENTS Presented by Abderrazek Boufahja

MODEL BASED TESTING AND COVERAGE OF XML REQUIREMENTS Presented by Abderrazek Boufahja Budapest, 26-28 October 2016 MODEL BASED TESTING AND COVERAGE OF XML REQUIREMENTS Presented by Abderrazek Boufahja All rights reserved Abderrazek Boufahja IHE Europe software consultant with gazelle team

More information

* Corresponding Author

* Corresponding Author A Model Driven Architecture for REA based systems Signe Ellegaard Borch, Jacob Winther Jespersen, Jesper Linvald, Kasper Østerbye* IT University of Copenhagen, Denmark * Corresponding Author (kasper@it-c.dk)

More information

SUMMARY: MODEL DRIVEN SECURITY

SUMMARY: MODEL DRIVEN SECURITY SUMMARY: MODEL DRIVEN SECURITY JAN-FILIP ZAGALAK, JZAGALAK@STUDENT.ETHZ.CH Model Driven Security: From UML Models to Access Control Infrastructres David Basin, Juergen Doser, ETH Zuerich Torsten lodderstedt,

More information

A universal PNML Tool. Lukasz Zoglowek

A universal PNML Tool. Lukasz Zoglowek A universal PNML Tool Lukasz Zoglowek Kongens Lyngby 2008 Technical University of Denmark Informatics and Mathematical Modelling Building 321, DK-2800 Kongens Lyngby, Denmark Phone +45 45253351, Fax +45

More information

Content Mirroring in EPiServer

Content Mirroring in EPiServer Content Mirroring in EPiServer Abstract From EPiServer 4.50 it is possible to define a selection of pages that can be mirrored to, for example, another system. This white paper describes the functionality

More information

1Z0-560 Oracle Unified Business Process Management Suite 11g Essentials

1Z0-560 Oracle Unified Business Process Management Suite 11g Essentials 1Z0-560 Oracle Unified Business Process Management Suite 11g Essentials Number: 1Z0-560 Passing Score: 650 Time Limit: 120 min File Version: 1.0 http://www.gratisexam.com/ 1Z0-560: Oracle Unified Business

More information