l6 - CS 290C: Formal Models for Web Software Lecture 6:...

Info iconThis preview shows pages 1–7. Sign up to view the full content.

View Full Document Right Arrow Icon
CS 290C: Formal Models for Web Software Lecture 6: Model Driven Development for Web Software with WebML Instructor: Tevfik Bultan
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Model Driven Development (MDD) In MDD approach software development is driven by models Models are written in a software modeling language such as UML These high level models are systematically translated to concrete implementations Models provide an abstract, implementation platform independent view of the software system
Background image of page 2
Model Driven Development Software development is a modeling activity Even if the developers do not use any modeling language they have mental models of the problem and the solution they are developing These models are then translated to code using the abstractions provided by the programming language MDD adds more layers of abstraction that can be used for modeling both the problem domain and the solution Different aspects of an application can be modeled using different modeling techniques
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Separation of Concerns MDD promotes separation of concerns Different modeling techniques are used for modeling different aspects of the application MDD separates technology dependant concerns from the application logic
Background image of page 4
Automation MDD promotes automation Automated analysis and verification of models Since models do not contain implementation details they are easier to analyze Automated code generation from models Guaranteeing conformance to models Runtime monitoring based on models Using runtime monitoring to make sure that the implementation follows the behavior specified in the model Automated test generation Models can be used to generate tests for testing the implementation
Background image of page 5

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Model Driven Architecture (MDA) MDA is supported by the Object Management Group
Background image of page 6
Image of page 7
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 12/27/2011 for the course CMPSC 290h taught by Professor Chong during the Fall '09 term at UCSB.

Page1 / 17

l6 - CS 290C: Formal Models for Web Software Lecture 6:...

This preview shows document pages 1 - 7. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online