Executable UML By Luca Pellicoro. Definitions Acronym: xtUML or xUML Technology where models (such as state diagrams and class diagrams) are automatically.

Slides:



Advertisements
Similar presentations
Chapt.2 Machine Architecture Impact of languages –Support – faster, more secure Primitive Operations –e.g. nested subroutine calls »Subroutines implemented.
Advertisements

Lockheed Martin Aeronautics Company © 2001 Lockheed Martin Corporation F-16 Modular Mission Computer Application Software Achieving Cross-Platform Compatibility.
Chapter 22 UML Tooks and UML as Blueprint Model-Driven Architecture (MDA) Object-Constraint Language (OCL)
A Brief Introduction. Acknowledgements  The material in this tutorial is based in part on: Concurrency: State Models & Java Programming, by Jeff Magee.
Job No/ 1 © British Crown Copyright 2008/MOD Developing a High Integrity Code Generator Using iUML/iCCG Sam Moody AWE plc, Aldermaston, Berkshire, United.
Formal Techniques in Software Engineering Universiteit AntwerpenIntroduction 1.1 Formal Techniques in Software Engineering 3de BAC Informatica Chapter.
Model-Based Programming: Executable UML with Sequence Diagrams By Ruben Campos Cal State L.A. Computer Science Thesis Work Spring 2007.
MDA > Model Driven Architecture > Orçun Dayıbaş > December, 2006 > METU, Ankara.
Amit, Keyur, Sabhay and Saleh Model Driven Architecture in the Enterprise.
Final Thesis Presentation on TEST DERIVATION AND REUSE THROUGH HORIZONTAL TRANSFORMATION OF SYSTEM MODELS Submitted by-Supervised by- Jenis KavadiyaAntonio.
Secure Middleware (?) Patrick Morrison 3/1/2006 Secure Systems Group.
Reference Book: Modern Compiler Design by Grune, Bal, Jacobs and Langendoen Wiley 2000.
Ontologies Reasoning Components Agents Simulations An Overview of Model-Driven Engineering and Architecture Jacques Robin.
HAS. Patterns The use of patterns is essentially the reuse of well established good ideas. A pattern is a named well understood good solution to a common.
CS 290C: Formal Models for Web Software Lecture 6: Model Driven Development for Web Software with WebML Instructor: Tevfik Bultan.
CS294-6 Reconfigurable Computing Day 3 September 1, 1998 Requirements for Computing Devices.
Chapter 10 Application Development. Chapter Goals Describe the application development process and the role of methodologies, models and tools Compare.
1 A Student Guide to Object- Orientated Development Chapter 9 Design.
Chapter 5 – System Modeling 1Chapter 5 System modeling.
Chapter 5 System modeling Chapter 5 – System Modeling Lecture 1 1.
ARCH-6: UML Modeling with Enterprise Architect Phillip Magnay Technical Architect.
- Chaitanya Krishna Pappala Enterprise Architect- a tool for Business process modelling.
Chapter 5 – System Modeling 1Chapter 5 System modeling.
Chapter 5 – System Modeling Lecture 1 1Chapter 5 System modeling.
Programming Languages Generations
Modeling XML. XML Schema Languages DTD, XML Schema, Relax NG Specification of structure of XML documents What elements and attributes can be used Problems.
Executable UML The Models are the Code - Executable UML CS387 Paul Krause.
High level & Low level language High level programming languages are more structured, are closer to spoken language and are more intuitive than low level.
Compuware Corporation Business Driven SOA Edwin Schumacher Director of Product Management
An intro to programming. The purpose of writing a program is to solve a problem or take advantage of an opportunity Consists of multiple steps:  Understanding.
Model Driven Development with Rhapsody By Will Fritz.
Lecture 6 Systems Modeling
Chapter 5 – System Modeling
3 April SOA: Services Oriented Architecture MDA: Model Driven Architecture.
Copyright © 2004 InteliData A Real-World Example of MDA without Automation Ed Seidewitz 26 August 2004.
Executable Translatable UML Stephen J. Mellor Chief Scientist.
Chapter 5 – System Modeling 1Chapter 5 System modeling CS 425 October 13, 2011 Ian Sommerville, Software Engineering, 9 th Edition Pearson Education, Addison-Wesley.
Introduction and Features of Java. What is java? Developed by Sun Microsystems (James Gosling) A general-purpose object-oriented language Based on C/C++
WSMX Execution Semantics Executable Software Specification Eyal Oren DERI
University of Southern California Center for Systems and Software Engineering Model-Based Software Engineering Supannika Koolmanojwong Spring 2013.
1 Timothy D. Korson Model Driven Development: A New Symbiotic Relationship Between Developers and Testers.
© 2012 xtUML.org Bill Chown – Mentor Graphics Model Driven Engineering.
Model Driven Development An introduction. Overview Using Models Using Models in Software Feasibility of MDA MDA Technologies The Unified Modeling Language.
A Static Approach to Consistency Verification of UML Models Andrea Baruzzo Department of Computer Science University of Udine MoDeV.
Improving Code Generation for Associations: Enforcing Multiplicity Constraints and Ensuring Referential Integrity SERA 2013SERA 2013 (August 7, 2013 in.
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.
Programming language. Definition Programming language is a formal language designed to communicate instructions to a computer. Programming languages can.
Introducing Allors Applications, Tools & Platform.
Lab 5 CPIT 250 System Analysis and Design.
A compiler is a computer program that translate written code (source code) into another computer language Associated with high level languages A well.
Chapter 5 – System Modeling 1Chapter 5 System modeling CS 425 October 18, 2010 Ian Sommerville, Software Engineering, 9 th Edition Pearson Education, Addison-Wesley.
Compilers and Interpreters. HARDWARE Machine LanguageAssembly Language High Level Language C++ Visual Basic JAVA Humans.
The New Solution? Translate XHTML to Java GUI.. Advantages Using XML W3C support XSLT Language Testing Language Specification Using XHTML Reuse web tools.
Chapter 5 System Modeling. What is System modeling? System modeling is the process of developing abstract models of a system, with each model presenting.
Chapter 5 – System Modeling Chapter 5 System Modeling130/10/2014.
Software Engineering Lecture 6 – System Modelling
® IBM Software Group © 2007 IBM Corporation Module 3: Creating UML Diagrams Essentials of Modeling with IBM Rational Software Architect, V7.5.
Design and implementation Chapter 7 – Lecture 1. Design and implementation Software design and implementation is the stage in the software engineering.
Whole Test Suite Generation. Abstract Not all bugs lead to program crashes, and not always is there a formal specification to check the correctness of.
Ontologies Reasoning Components Agents Simulations An Overview of Model-Driven Engineering and Architecture Jacques Robin.
Lecturer: Eng. Mohamed Adam Isak PH.D Researcher in CS M.Sc. and B.Sc. of Information Technology Engineering, Lecturer in University of Somalia and Mogadishu.
Chapter 5 – System Modeling Lecture 1 1Chapter 5 System modeling.
Definition CASE tools are software systems that are intended to provide automated support for routine activities in the software process such as editing.
Model Driven Architecture
UML UML Data Modeling.
CS310 Software Engineering Dr.Doaa Sami
Programming Language Basics
Programming language translators
Presentation transcript:

Executable UML By Luca Pellicoro

Definitions Acronym: xtUML or xUML Technology where models (such as state diagrams and class diagrams) are automatically translated into executable code. Supports on Model Driven Architecture (MDA) Allows for Platform Independent Models (PIM)

Machine code Hardware - switches Assembly C C++ - Java Models Human Tasks Machine Instructions:

How it works

Exectuable UML vs UML xUML is a subset of UML: –Less association types (no aggregation and composition) –Assications are always named –No multi-value attibutes –Multiplicities are always stated

Advantages and difficulties Rapidly generate efficient code Good teaching tool Higher abstraction level: design not implementation Ultimate OO Translation: static vs dynamic models No more coding errors, only design errors!

References Wikipedia article on executable UML: Image: Exploring the Role of Executable UML in Model-Driven Architecture :