1 FOTS Stages/Thesissen MDA -Application-Oriented -Classification (conceptual/theoretical) -Tool-Oriented -Verification AOP.

Slides:

Advertisements

Similar presentations

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

Advertisements

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

TU e technische universiteit eindhoven / department of mathematics and computer science Modeling User Input and Hypermedia Dynamics in Hera Databases and.

Comparison of Several Meta-modeling Tools 2 Yi Lu Computer Science Department McGill University

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

McGill University School of Computer Science ‘07 Eugene Syriani and Hans Vangheluwe McGill University School of Computer Science 1.

ECMDA workshop Thales ATM experience in using MDE ECMDA Workshop From code centric to model centric software engineering Bilbao 11 July 2006.

Aspect Oriented Programming. AOP Contents 1 Overview 2 Terminology 3 The Problem 4 The Solution 4 Join point models 5 Implementation 6 Terminology Review.

Lecture # 2 : Process Models

1 JAC : Aspect Oriented Programming in Java An article review by Yuval Nir and Limor Lahiani.

Formal Techniques in Software Engineering Universiteit AntwerpenIntroduction 1.1 Formal Techniques in Software Engineering 3de BAC Informatica Chapter.

@ VUB Department of Computer Science. p. Department of Computer Science 80+ Researchers 10 professors 15 post-doc’s 55 pre-doc’s Software and Programming.

Software Engineering COMP 201

A model-driven course on Petri-Nets, Metamodels and Graph Grammars Pieter Van Gorp Hans Schippers Dirk.

Two main requirements: 1. Implementation Inspection policies (scheduling algorithms) that will extand the current AutoSched software : Taking to account.

Pieter Van Gorp, Olaf Muliawan, Hans Schippers MoTMoT.sourceforge.net.

Requirements Analysis Concepts & Principles

UML CASE Tool. ABSTRACT Domain analysis enables identifying families of applications and capturing their terminology in order to assist and guide system.

1 SWE Introduction to Software Engineering Lecture 5.

CS 290C: Formal Models for Web Software Lecture 6: Model Driven Development for Web Software with WebML Instructor: Tevfik Bultan.

VLSI DSP 2008Y.T. Hwang3-1 Chapter 3 Algorithm Representation & Iteration Bound.

L ECTURE 2 S OFTWARE P ROCESSES 1. O BJECTIVES To describe outline process models for requirements engineering, software development, testing and evolution.

Qualitative Preconditions for Refactoring Analysis procedures Bart Du Bois FLOWER - 23/01/2006.

1 Scenario-based Analysis of UML Design Class Models Lijun Yu October 4th, 2010 Oslo, Norway.

Generative Programming. Generic vs Generative Generic Programming focuses on representing families of domain concepts Generic Programming focuses on representing.

Community Manager A Dynamic Collaboration Solution on Heterogeneous Environment Hyeonsook Kim  2006 CUS. All rights reserved.

LUCENTIA Research Group Department of Software and Computing Systems Using i* modeling for the multidimensional design of data warehouses Jose-Norberto.

McGill University Proposal Exam School of Computer Science Ph.D. Candidate in the Modelling, Simulation and Design Lab Eugene Syriani.

Chapter 3 Software Processes.

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.

1 Chapter 2 The Process. 2 Process  What is it?  Who does it?  Why is it important?  What are the steps?  What is the work product?  How to ensure.

AToM 3 : A Tool for Multi- Formalism and Meta-Modelling Juan de Lara (1,2) Hans Vangheluwe (2) (1) ETS Informática Universidad Autónoma de Madrid Madrid,

©Ian Sommerville 2000 Software Engineering, 6th edition. Chapter 1 Slide 1 Software Processes (Chapter 3)

©Ian Sommerville 2000 Software Engineering, 6th edition. Chapter 3 Slide 1 Software Processes l Coherent sets of activities for specifying, designing,

VERIFICATION OF ASPECT ORIENTED MODELS BY DON MARTIN JAYASHREE VENKIPURAM PATHANGI PIYUSH SRIVASTAVA REFERENCES F. Mostefaoui and J. Vachon,” Design level.

Building Tools by Model Transformations in Eclipse Oskars Vilitis, Audris Kalnins, Edgars Celms, Elina Kalnina, Agris Sostaks, Janis Barzdins Institute.

Modularizing Web Services Management with AOP María Agustina Cibrán, Bart Verheecke { Maria.Cibran, System and Software Engineering.

Validated Model Transformation Tihamér Levendovszky Budapest University of Technology and Economics Department of Automation and Applied Informatics Applied.

Lecture 3 Software Engineering Models (Cont.)

VERIFICATION OF ASPECT-ORIENTED MODELS Review of Aspect-Oriented Definitions aspect – crosscutting concern that may involve multiple classes pointcut –

Model Driven Development An introduction. Overview Using Models Using Models in Software Feasibility of MDA MDA Technologies The Unified Modeling Language.

A Meta-Level Specification and Profile for AspectJ in UML Joerg Evermann School of Information Management Victoria University of Wellington.

An Introduction to Software Engineering. Communication Systems.

1 Introduction to Software Engineering Lecture 1.

A Static Approach to Consistency Verification of UML Models Andrea Baruzzo Department of Computer Science University of Udine MoDeV.

Generating Correct EPCs from Configured C-EPCs* Jan MendlingVienna University of Economics Jan ReckerQueensland University of Technology Michael RosemannQueensland.

Hybrid Transformation Modeling Integrating a Declarative with an Imperative Model Transformation Language Pieter Van Gorp

Dr. Darius Silingas | No Magic, Inc. Domain-Specific Profiles for Your UML Tool Building DSL Environments with MagicDraw UML.

1 24 October 2004 Vancouver, Canada The 4th OOPSLA Workshop on Domain-Specific Modeling Group reports.

© Siemens AG, CT SE 2 C O R P O R A T E T E C H N O L O G Y 1 Model-Driven Development for Pluggable Collaborations Iris Groher, Stephan Bleicher, Christa.

Software Engineering Laboratory, Department of Computer Science, Graduate School of Information Science and Technology, Osaka University IWPSE 2003 Program.

Trip Report: DSL ‘97 October 15-17, 1997 Santa Barbara CA.

CIM LAB MEETING Presentation on UML Rakesh Mopidevi Kwangyeol Ryu.

MDD approach for the Design of Context-Aware Applications.

1 OO Analysis & Design - Introduction to main ideas in OO Analysis & design - Practical experience in applying ideas -A large element is use of UML as.

Software Engineering1  Verification: The software should conform to its specification  Validation: The software should do what the user really requires.

Chapter 5 System Modeling. What is System modeling? System modeling is the process of developing abstract models of a system, with each model presenting.

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

PI2134 Software Engineering IT Telkom.  Layered technology  Software Process  Generic Process (by Pressman)  Fundamental activities (by Sommerville)

21/1/ Analysis - Model of real-world situation - What ? System Design - Overall architecture (sub-systems) Object Design - Refinement of Design.

2000 Research Overview Dr. Kim Mens Programming Technology Lab Vrije Universiteit Brussel.

 The processes used for RE vary widely depending on the application domain, the people involved and the organisation developing the requirements.  However,

1 Hybrid Rule Scheduling in Story Driven Modeling a tool-independent approach by Bart Meyers Principal Adviser: prof. dr. Dirk Janssens Principal Co-Adviser:

1 Process activities. 2 Software specification Software design and implementation Software validation Software evolution.

SDN challenges Deployment challenges

Software Engineering Lecture 7

Definition CASE tools are software systems that are intended to provide automated support for routine activities in the software process such as editing.

Automatic Derivation, Integration and Verification

ARV: Aspect Refactoring Verifier

Presentation transcript:

1 FOTS Stages/Thesissen MDA -Application-Oriented -Classification (conceptual/theoretical) -Tool-Oriented -Verification AOP

2 AJAX/MDA Application projects Nieuwe paradigma's: MDA, AJAX Praktisch: Ontwikkelen van webapplicaties Ontwikkel Sudoku met AJAX dmv MDA Bestaande AJAX applicatie voor Sudoku Hergenereer Sudoku met MDA technieken Nieuwigheid: AJAX binnen MDA kaderen Online veilingapplicatie met OCL en AJAX Constraint based programming Front-end: AJAX constraints (bvb verkeerd paswoord) Back-end: OCL constraints (bvb ongeldig bod)  Olaf Muliawan (G028)

3 Implementing consistency kinds on a modeling use case Context: model-driven engineering Consistency between models is described by different consistency classifications Example: syntactic consistency, evolution consistency, etc. Goal:  Apply different classifications to common use case  Compare classifications Research & implementation tasks Thesis (or stage)  Anne Keller (G028)

4 Consistency Management Support for MagicDraw using MoTMoT Context: model-driven engineering Consistency between models is managed with the help of an inconsistency meta-model  Generate inconsistency information when consistency rule fails  Display information to the user Goal: MagicDraw plug-in to instantiate and display the inconsistency meta-model Thesis (or stage)  Anne Keller (G028)

5 Concurrent control structures in Graph Transformation systems Graph Transformation: -Rule-based, graph as configuration -Control Structures Conditional, loop,... No concurrency => Add it! -Concrete Tools MoTMoT: Story Diagrams AToM 3 : Dataflow diagrams instead of Activity diagrams  Hans Schippers & Pieter Van Gorp (G028)

6 Implicit Rule Scheduling in Controlled Graph Transformation systems Graph Transformation: -Rule Scheduling Implicit (uncontrolled, priorities, layers,...) Explicit (loop, conditional, call,...) -Today: Implicit OR Explicit -After Thesis Integrate both in one language -Concrete Tool MoTMoT, Fujaba: Story Diagrams AGG, AToM 3 : examples of implicit rule scheduling  Pieter Van Gorp (G028)

7 Improving AToM 3 (Meta-)modeling tool Graph Transformation THESIS: Reverse Engineering & Debugging -Improve the tool, be a hero! -Access to original developers in McGill (Canada) THESIS: Controlled Graph Transformation -Introduce control flow for graph transformation rules  Hans Schippers (G028)

8 Application of SPIN and/or Alloy to transformation models. MoTMoT: complex transformation models Verification? Model Checking -Generate valid models automatically -Languages/Tools Alloy SPIN/Promela  Dirk Janssens

9 Aspect-Oriented Virtual Machine Aspect-Oriented Programming (AOP) -Modularizing Crosscutting Concerns -Weaving => Deserves VM Support => DelAOP THESIS: Thread-Local Aspect Deployment -Multi-threading! THESIS: Performance -Caching, Garbage Collection THESIS: Implement new languages -CaesarJ, ObjectTeams, pj,...  Hans Schippers (G028)