TDL. bridging the gap between specifications and testing. Dr. Gusztáv Adamis Dr. GyÖrgy réthy Ericsson Hungary Test Solutions and Competence Center
|
|
- Amos Day
- 5 years ago
- Views:
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) 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 informationIntroducing 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 informationDifferent 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 informationModeling 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 informationSTF 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 informationIngegneria 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 informationAPPLYING 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 informationSTF 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 informationTECHNICAL 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 informationIMS 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 informationFuture 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 informationLTE 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 informationV&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 informationETSI 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 informationModelling 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 informationETSI 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 informationA 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 informationSTF 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 informationWHY 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 informationT : 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 informationIt 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 informationUML 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 informationModeling 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 informationEnabling 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 informationOutline. 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 informationObject 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 informationInformation 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 informationCISC836: 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 informationComputation 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 informationMBT 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 informationETSI 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 informationModel 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 informationExecutive 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 informationAdvanced 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 informationFrom 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 informationWorkshop 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 informationSoftware. 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 informationETSI 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 informationThe 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 informationISO/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 informationAll 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 informationThe 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 informationInstitute 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 informationPractical 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 information02291: 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 informationThis 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 informationMOF 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 informationTowards 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 informationSemantic 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 informationA 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 informationModellierung 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 informationComparing 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 informationAn 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 informationAcceleo 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 informationModelling 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 informationOn 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 informationModel 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 informationAutomated 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 informationIntroduction 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 informationConstruction 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 informationECLIPSE 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 informationETSI 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 informationModel-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 informationETSI 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 informationWikileaking 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 informationMetamodeling. 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 informationCompositional 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 informationDesign 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 informationKermeta 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 informationATHABASCA 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 informationChristian 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 informationConstraint-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 informationSCENTOR: 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 informationRDF 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 informationThe 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 informationEclipse 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 informationCWM: 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 informationBetter 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 informationModel 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 informationWhite 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 informationPossibility 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 informationEvent 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 informationEATOP: 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 informationUML 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 informationETSI 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 informationPapyrus: 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 informationA 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 informationChallenges 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 informationPreserving 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 informationTowards 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 informationROLE 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 informationMETADATA 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 informationIOT-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 informationSequence 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 informationMODEL 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
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 informationSUMMARY: 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 informationA 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 informationContent 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 information1Z0-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