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

Slides:

Advertisements

Similar presentations

Ernst Oberortner Vienna University of Technology.

Advertisements

Diagram Definition: an Overview Third OMG/Eclipse Symposium 25 March 2012 Maged Elaasar, Senior Software Engineer.

Art Foundations Exam 1.What are the Elements of Art? List & write a COMPLETE definition; you may supplement your written definition with Illustrations.

CROSSmeeting UM, Fev T5: Slicing Techniques Applied to OSS Pedro Rangel Henriques Daniela da Cruz Dep. de Informática/CCTC, Universidade do Minho,

Andrea Maurino Web Service Design Methodology Batini, De Paoli, Maurino, Grega, Comerio WP2-WP3 Roma 24/11/2005.

Institut Software- und Systemtechnik Fraunhofer ISS T 1 Current Service Platform and Architecture Design Personalization and Context-Awareness Bernhard.

University of Paderborn Software Engineering Group E. Kindler Handout for the talk given in the eJustice Dialogues at Saarland University. June 6, 2005.

Slide 1 Insert your own content. Slide 2 Insert your own content.

© 2005 by Prentice Hall Appendix 3 Object-Oriented Analysis and Design Modern Systems Analysis and Design Fourth Edition Jeffrey A. Hoffer Joey F. George.

Chapter 7 System Models.

Requirements Engineering Process

By D. Fisher Geometric Transformations. Reflection, Rotation, or Translation 1.

Service Oriented Architecture Reference Model

OMV Ontology Metadata Vocabulary April 10, 2008 Peter Haase.

Cultural Heritage in REGional NETworks REGNET T2.4: Business Process Re-engineering.

1 Aspects of IEEE P1471 Viewpoints in Unified Modeling Language (UML) Manzur Ashraf, BRAC University Humayra Binte Ali, Dhaka University Md.Mahfuz Ashraf,

Business Transaction Management Software for Application Coordination 1 Business Processes and Coordination.

Language Specification using Metamodelling Joachim Fischer Humboldt University Berlin LAB Workshop Geneva

Jeopardy Q 1 Q 6 Q 11 Q 16 Q 21 Q 2 Q 7 Q 12 Q 17 Q 22 Q 3 Q 8 Q 13

Jeopardy Q 1 Q 6 Q 11 Q 16 Q 21 Q 2 Q 7 Q 12 Q 17 Q 22 Q 3 Q 8 Q 13

Title Subtitle.

DIVIDING INTEGERS 1. IF THE SIGNS ARE THE SAME THE ANSWER IS POSITIVE 2. IF THE SIGNS ARE DIFFERENT THE ANSWER IS NEGATIVE.

SUBTRACTING INTEGERS 1. CHANGE THE SUBTRACTION SIGN TO ADDITION

MULT. INTEGERS 1. IF THE SIGNS ARE THE SAME THE ANSWER IS POSITIVE 2. IF THE SIGNS ARE DIFFERENT THE ANSWER IS NEGATIVE.

Profiles Construction Eclipse ECESIS Project Construction of Complex UML Profiles UPM ETSI Telecomunicación Ciudad Universitaria s/n Madrid 28040,

©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 14 Slide 1 Object-oriented Design 1.

Week 2 The Object-Oriented Approach to Requirements

EECE 310: Software Engineering Modular Decomposition, Abstraction and Specifications.

Eugene Syriani and Huseyin Ergin University of Alabama Software Modeling Lab Software Engineering Group Department of Computer Science College of Engineering.

© 2011 TIBCO Software Inc. All Rights Reserved. Confidential and Proprietary. Towards a Model-Based Characterization of Data and Services Integration Paul.

ABC Technology Project

June, 2006 The 11th CAiSE06 International Workshop on Exploring Modeling Methods in Systems Analysis and Design (EMMSAD06), Luxembourg Ontological.

1 ST PHASE: TEAM LEAD, MODEL INSTANTIATION DESIGNER, SCRIBE 2 ND PHASE: MODEL INSTANTIATION DESIGNER, SCRIBE 3 RD PHASE: TEAM LEAD, MODEL INSTANTIATION.

1 UML ++ Mohamed T IBRAHIM University of Greenwich -UK.

September 12 1 An Algorithm for: Explaining Algorithms Tomasz Müldner.

©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 4 Slide 1 Software processes 2.

Past Tense Probe. Past Tense Probe Past Tense Probe – Practice 1.

1 First EMRAS II Technical Meeting IAEA Headquarters, Vienna, 19–23 January 2009.

This work was partially funded by the RNTL initiative (LUTIN project) 1 Refactoring to Object-Oriented Design Patterns Mikal Ziane (LIP6 and Université.

2009 – E. Félix Security DSL Toward model-based security engineering: developing a security analysis DSML Véronique Normand, Edith Félix, Thales Research.

Addition 1’s to 20.

Requirements Analysis 1. 1 Introduction b501.ppt © Copyright De Montfort University 2000 All Rights Reserved INFO2005 Requirements Analysis Introduction.

25 seconds left…...

Test B, 100 Subtraction Facts

We will resume in: 25 Minutes.

©Ian Sommerville 2006Software Engineering, 8th edition. Chapter 31 Slide 1 Service-centric Software Engineering 1.

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.

1 Distributed Agents for User-Friendly Access of Digital Libraries DAFFODIL Effective Support for Using Digital Libraries Norbert Fuhr University of Duisburg-Essen,

Chapter 12 User Interface Design

From Model-based to Model-driven Design of User Interfaces.

1 UML – an overview What is UML? UML stands for Unified Modelling Language. ”The Unified Modelling Language is a visual language for specifying, constructing.

Kari R. Schougaard, PhD Stud. Værktøjer og Teknikker, 2006 UNIVERSITY OF AARHUS Department of Computer Science Unified Modeling Language Visual language.

Basic Concepts The Unified Modeling Language (UML) SYSC System Analysis and Design.

Workshop on Integrated Application of Formal Languages, Geneva J.Fischer Mappings, Use of MOF for Language Families Joachim Fischer Workshop on.

Interfacing Registry Systems December 2000.

FDT Foil no 1 On Methodology from Domain to System Descriptions by Rolv Bræk NTNU Workshop on Philosophy and Applicablitiy of Formal Languages Geneve 15.

Semantics for DSL Group Members: Ritu Arora, Diyang Chu, Zekai Demirezen, Jeff Gray, Jacob Gulotta, Luis Pedro, Arturo Sanchez, Greg Sullivan,Ximing Yu.

Automaton-Based Approach for Defining Dynamic Semantics of DSLs Ulyana Tikhonova St. Petersburg State Polytechnical University,

Object Oriented Analysis & Design By Rashid Mahmood.

Comparison of ZOOM with other Formal Methodologies Hsiu-Chien Jing SE690 Initial Presentation School of CTI, DePaul University Supervised by Dr. Jia October,

OPCAT: Object-Process CASE Tool

SysML 2.0 Requirements for Visualization

SysML v2 Formalism: Requirements & Benefits

Implementing Language Extensions with Model Transformations

Constructing MDA-based Application Using Rational XDE for .NET

Implementing Language Extensions with Model Transformations

UML Design for an Automated Registration System

Presentation transcript:

Visual Model-based Software Development EUD-Net Workshop, Pisa, Italy September 23 rd, 2002 University of Paderborn Gregor Engels, Stefan Sauer University of Paderborn (Germany) Information Systems Group

Engels, Sauer Uni Paderborn Visual Model-based Software Development 2 Software Development: Traditional (?) Approach problem domain program implementation

Engels, Sauer Uni Paderborn Visual Model-based Software Development 3 Software Development: Reality problem domain program

Engels, Sauer Uni Paderborn Visual Model-based Software Development 4 Software Development: Model-based Approach problem domain program model analyse and design code abstracts from irrelevant details abstracts from implementation details

Engels, Sauer Uni Paderborn Visual Model-based Software Development 5 Software Development: Model-based Approach problem domain program model analyse and design code modeling language defined by coded by programming language

Engels, Sauer Uni Paderborn Visual Model-based Software Development 6 Requirements for a Model and the Modeling Language problem domain program model analyse and design code Requirements for a Model user-friendly, understandable complete expressive, adequate correct, precise, analysable Requirements for a Modeling Language visual, diagrammatic structure & behavior syntax & semantics problem domain-specific

Engels, Sauer Uni Paderborn Visual Model-based Software Development 7 Language Engineering end-user aspect language definition aspect abstract syntax (formal) semantics (visual) [modeling] language mapping concrete syntax intuition/ meaning

Engels, Sauer Uni Paderborn Visual Model-based Software Development 8 Language Engineering end-user aspect language definition aspect abstract syntax (formal) semantics (visual) [modeling] language mapping concrete syntax intuition/ meaning OMMMA (UML profile) meta modeling graph transformation dynamic meta modeling Object-oriented Modeling of MultiMediaApplications

Engels, Sauer Uni Paderborn Visual Model-based Software Development 9 OMMMA – Object-oriented Modeling of Multimedia Applications User interface multi-media multi-functional multi-modal interactive integrated model of user interface and system functionality

Engels, Sauer Uni Paderborn Visual Model-based Software Development 10 OMMMA Presentation Diagram – Concrete Syntax

Engels, Sauer Uni Paderborn Visual Model-based Software Development 11 OMMMA Presentation Diagram – Concrete Syntax

Engels, Sauer Uni Paderborn Visual Model-based Software Development 12 Our Research Topics Language Engineering UML abstract syntax definition via meta modeling graph transformations as technical tool semantics definition via dynamic meta modelling UML profiles multimedia applications (OMMMA) web applications agent-based systems Consistency within UML models

Engels, Sauer Uni Paderborn Visual Model-based Software Development 13 Consistency problem domain program model analyse and design code problem domain view 1 view 2 view 3 view 4 model consistent integration of structural and behavioral views

Engels, Sauer Uni Paderborn Visual Model-based Software Development 14 Our Research Topics Language Engineering UML abstract syntax definition via meta modeling graph transformations as technical tool semantics definition via dynamic meta modelling UML profiles multimedia applications (OMMMA) web applications agent-based systems Consistency within UML models Requirements Engineering video-based modeling eLearning

Engels, Sauer Uni Paderborn Visual Model-based Software Development 15 Video-based Modeling real world (UML) Model modeling virtual world modeling. new modeling approach eLearning approach

Engels, Sauer Uni Paderborn Visual Model-based Software Development 16 Our Research Topics Language Engineering UML abstract syntax definition via meta modeling graph transformations as technical tool semantics definition via dynamic meta modelling UML profiles multimedia applications (OMMMA) web applications agent-based systems Consistency within UML models Requirements Engineering video-based modeling eLearning

Engels, Sauer Uni Paderborn Visual Model-based Software Development 17 The End