1 From UML (Fondue) to COOPN. Luis Pedro2 Outline Transformation Approach COOPN2 Meta Model TOC for Models2005 paper.

Slides:



Advertisements
Similar presentations
Visual Model-based Software Development EUD-Net Workshop, Pisa, Italy September 23 rd, 2002 University of Paderborn Gregor Engels, Stefan Sauer University.
Advertisements

Profiles Construction Eclipse ECESIS Project Construction of Complex UML Profiles UPM ETSI Telecomunicación Ciudad Universitaria s/n Madrid 28040,
The role of OCL in the Model Driven Architecture Jos Warmer Klasse Objecten
1Model Driven Architecture – 3. März 2008 – Siegfried Nolte 1.UML – What is it and what is it good for ? 2.MDA – What is it and what is it good for ? 3.MDA.
Compiler Baojian Hua Lexical Analysis (II) Compiler Baojian Hua
Budapest University of Technology and EconomicsDagstuhl 2004 Department of Measurement and Information Systems 1 Towards Automated Formal Verification.
Control Flow Analysis (Chapter 7) Mooly Sagiv (with Contributions by Hanne Riis Nielson)
CS 501: Software Engineering Fall 2000 Lecture 2 The Software Process.
Lecture # 2 : Process Models
CSE 470 : Software Engineering The Software Process.
Formal Techniques in Software Engineering Universiteit AntwerpenIntroduction 1.1 Formal Techniques in Software Engineering 3de BAC Informatica Chapter.
Amit, Keyur, Sabhay and Saleh Model Driven Architecture in the Enterprise.
1 Meta Modeling Tool Transformation from COOPN to COOPN using MDA.
1 CS 501 Spring 2003 CS 501: Software Engineering Lecture 2 Software Processes.
1 From UML (Fondue) to COOPN An iterative approach applying MDA techniques.
Reverse Engineering Valeriya Perelman 12/10/04. Outline Motivation Terminology Related work Approach discussion Challenges References.
Model Driven Architecture (MDA) Partha Kuchana. Agenda What is MDA Modeling Approaches MDA in a NutShell MDA Models SDLC MDA Models (an Example) MDA -
Executable UML By Luca Pellicoro. Definitions Acronym: xtUML or xUML Technology where models (such as state diagrams and class diagrams) are automatically.
Ivano Malavolta, Henry Muccini, Patrizio Pelliccione Computer Science Department University of L'Aquila - Italy Architectural notations interoperability.
Whole Platform Tesi di Dottorato di: RICCARDO SOLMI Università degli Studi di Bologna Facoltà di scienze matematiche, fisiche e naturali Corso di Dottorato.
CPN’04 UML and Petri Nets for Test Case Generation University of Geneva D.Buchs, L.Lúcio, L.Pedro.
1 Model Interface Implementation for Two-Way Obliviousness in Aspect-Oriented Modeling Presented by Wuliang Sun Department of Computer Science Baylor University.
10 December, 2013 Katrin Heinze, Bundesbank CEN/WS XBRL CWA1: DPM Meta model CWA1Page 1.
HL7 UK 2003 (c) Abies Ltd Modelling Clinical Information Using UML Tim Benson Abies Ltd
1 UML and Petri Nets for Test Case Generation From Fondue to CO-OPN: (my) first iteration.
Introduction to Database Systems
MDE Model Driven Engineering Xavier Blanc Université Pierre et Marie Curie
Introduction to MDA (Model Driven Architecture) CYT.
1 MDWE'2008, Toulouse, France, September 30, 2008 A Comparative Analysis of Transformation Engines for User Interface Development Juan Manuel González.
UNIT - 1Topic - 3. Computer software is a program that tells a computer what to do. Computer software, or just software, is any set of machine-readable.
2nd TTCN-3 User Conference, June The TTCN-3 Metamodel – A Basis for Tool Integration Ina Schieferdecker TU Berlin/Fraunhofer Fokus Hajo Eichler,
Test Driven Development in the.Net Framework Sam Lee Mayur Mehta Jaymeen Shah McCoy College of Business Administration Texas State University-San Marcos.
© FPT SOFTWARE – TRAINING MATERIAL – Internal use 04e-BM/NS/HDCV/FSOFT v2/3 Unified Modeling Language (UML) Case Study.
Object Management Group (OMG) Specifies open standards for every aspect of distributed computing Multiplatform Model Driven Architecture (MDA)
Validated Model Transformation Tihamér Levendovszky Budapest University of Technology and Economics Department of Automation and Applied Informatics Applied.
Integration of Clinical Workflows with Privacy Policies on a Common Semantic Domain Jan Werner, Bradley Malin, Yonghwan Lee, Akos Ledeczi, Janos Sztipanovits.
ISO/IEC CD and WD : Core Model and Model Mapping ISO/IEC JTC1/SC32/WG September 2005, Toronto SC32/WG2 Japan (Kanrikogaku Ltd) Masaharu.
Automatic Test Generation from here until the end (of my Phd.) University of Geneva Levi Lúcio SMV & Les Diablerets.
MODA-TEL An IST project on Model Driven Architectures for Telecommunications System Development and Operation.
1 Cisco Unified Application Environment Developers Conference 2008© 2008 Cisco Systems, Inc. All rights reserved.Cisco Public Introduction to Etch Scott.
1 © 1999 Microsoft Corp.. Microsoft Repository Phil Bernstein Microsoft Corp.
MDA – Model Driven Architecture Olivier Riboux. Overview What is MDA? The Challenges MDA addresses Developing in the MDA Benefits / Conclusion Case Study:
Sheet 1 DocEng’03, Grenoble, November 2003 Model Driven Architecture based XML Processing Ivan Kurtev, Klaas van den Berg University of Twente, the Netherlands.
Graphical Modeling Framework (GMF) Richard C. Gronback Project Lead.
Experiences from Representing Software Architecture in a Large Industrial Project Using Model Driven Development Andres Mattsson 1 Björn Lundell 2 Brian.
Semantics for DSL Group Members: Ritu Arora, Diyang Chu, Zekai Demirezen, Jeff Gray, Jacob Gulotta, Luis Pedro, Arturo Sanchez, Greg Sullivan,Ximing Yu.
Software Engineering Emphasis for Engineering Computing Courses William Hankley Computing & Information Sciences Kansas State University.
Introduction to High-Level Language Programming Presented By Omar Y. Tahboub Computer Science Department Kent State University.
CIM LAB MEETING Presentation on UML Rakesh Mopidevi Kwangyeol Ryu.
1 These courseware materials are to be used in conjunction with Software Engineering: A Practitioner’s Approach, 5/e and are provided with permission by.
© Fraunhofer IESE Fraunhofer IESE Multi-Language Development of Embedded Systems Dr. Thomas Kuhn Tel.:
Yu, et al.’s “A Model-Driven Development Framework for Enterprise Web Services” In proceedings of the 10 th IEEE Intl Enterprise Distributed Object Computing.
Fundamentals of Software Engineering. Instructor: Dr. Kal Bugrara Office: Snell Engineering, Rm 267 Office Hours: Sat: 12:00-2:00 pm Phone
Sheet 1 Forum on Specification and Design Languages (FDL), Frankfurt, September 2003 UML to XML-Schema Transformation: a Case Study in Managing Alternative.
Design Pattern Support based on principles of model driven development Zihao Zhao.
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa ProjectIT ProjectIT-Studio, an integrated environment for the.
Metamodel-driven development environments
IVNET’06 Florianópolis, Brazil October 2006
Model Driven Architecture
Hermann Kaindl Vienna Univ. of Technology, ICT, Austria
Modelling Clinical Information Using UML
Towards Automatic Model Synchronization from Model Transformation
Design of Transmission Pipeline Modelling Language
Evaluating Compuware OptimalJ as an MDA tool
Sec 5.5: THE SUBSTITUTION RULE
Ivan Kurtev, Klaas van den Berg Software Engineering Group
CEN/WS XBRL Kick-off meeting
(4)² 16 3(5) – 2 = 13 3(4) – (1)² 12 – ● (3) – 2 9 – 2 = 7
Relationships The first slide is a template for how students could set out their page. There are then 6 slides with questions on. The final slide shows.
On to Object Design c. 14.
Presentation transcript:

1 From UML (Fondue) to COOPN

Luis Pedro2 Outline Transformation Approach COOPN2 Meta Model TOC for Models2005 paper

Luis Pedro3 Transformation Approach MDA - Model Driven Architecture  How models defined in one language can be transformed into models in other languages Language L 1 Transformation tool Transformation definition Language L 2 Is written in Is used by Is written in

Luis Pedro4 Transformation Sequence

Luis Pedro5 MDA Transformation

Luis Pedro6 COOPN2 Meta Model

Luis Pedro7 TOC for Models2005 paper Model transformation for software test case generation - from UML(Fondue) to COOPN  Motivation Rule of COOPN in test case generation System modeling using Fondue  Transformation approach COOPN Meta Model definition From Fondue to COOPN using Meta Model definition Transformation Rules …  Integration with Test Case generation framework  Case study

Luis Pedro8 Case Study > eBanking loginUserName loginPasswd loginChallenge sendChallengeNumber errorUserName errorPasswd errorChallenge errorUserBlocked > eBanking userName : String Passwd : Passwd Name : String loginTentativeNumber : Int userState: bool eUser id : CardId expirationDate: Date ChallengeCard position : ChallengeId anserPosition: String ChallengeCardElement position 1 table

Luis Pedro9 Task list Continue to write the Technical Report Finalize the COOPN Meta Model Realize first transformation for ebanking example Formalization of transformation rules  Graph transformation vs Generative Programming

Luis Pedro10 The end Questions... Comments