CSSE 490 Model-Based Software Engineering: MDSD and Case Study

Transcription

1 CSSE 490 Model-Based Software Engineering: MDSD and Case Study Shawn Bohner Office: Moench Room F212 Phone: (812)

2 Learning Outcomes: MBE Discipline Relate Model-Based Engineering as an engineering discipline. Outline major elements of MBSE Examine transition from traditional to modelbased development Introduce the Milestone 1 assignment Q3

3 Traditional Software Development Gather Requirements & Design it Build it Images by Johan den Haan, Mendix.nl

4 Model-Based Software Engineering a.k.a. Model- Driven So=ware Development (MDSD), MDD, MDA, MDSE Model it Generate it Images by Johan den Haan, Mendix.nl

5 So, what would you do differently for a situation like the following? You are the software developer for your firm s (Acme, Corp.) webbased social network system (Acme Facebook J ). You are working on AFBE for collaborative engineering projects. It was such a hit that they want you to do it for the marketing and human resources folks in the coming year. You have been told that next year you are to write your AFB application for some of your business partners in the 5 key product lines. The boss is already starting to talk like they would like to make AFB a product-line itself as it looks like it could be a revenue generator. Think for a minute Turn to a neighbor and discuss it for a minute Q2

6 Model-Based Engineering Essentials Everything is a Model Models used for Simulation Software is a simulation in operation Start with understanding Application Domain Domain Engineering Specify System Generate System Repeat Populate Repository and Refine Knowledge Q1,2

7 Leading w/ Limitation: Observations about Architecture Centric MBSE Software System Families as opposed to unique items Architecture Centric Design Forward engineering (no emphasis on Roundtrip) Model-to-Model transformation for modularization Source code generation without explicit use of target Metamodel Not 100% generation 60-80% with HITL Q3,4

8 Basic Model Layers One or model levels per layer Mappings and Transforms between models Mappings Transforms Computation Independent Models Platform Independent Models Platform Specific Models Q5,6

9 Computational Independent Model (CIM) What is it? Computation Independent Models not well documented provides contexts and constraints to other layers description of the environment requirements constraints of the system domain models For a house county building code budgetary constraints available suppliers lot details For software budget constraints best practices/style guides available resources

10 Platform Independent Model (PIM) Platform Independent Models What is it? Description of what the system does, but not necessarily how it does it A complete specification of the system without platform details House Example blueprints artists renditions wiring diagrams Software Example Class diagrams Interaction diagrams State diagrams

11 Platform Independent Model (continued) Business Logic Models the core system Problem Specific Services Defined by developers of the PIM Domain Specific Services Lexicon Query Service, Pervasive Services Naming, directory, transaction, security Business Logic Problem Specific Services Domain Specific Services Pervasive Services

12 Platform Specific Model (PSM) What is it? Abstraction layer on top of the actual platform May provide skeletons for low level details to be filled in Platform Specific Models House Example chalk lines and markers noise penetration measures Software Examples middleware platforms code in high level languages templates and skeletons

13 Model-Base Engineering for High- Performance Reconfigurable Computing Specific Application Models (Software Defined Radio) Computation Independent Models Application Domain Models (ADM) (e.g., Digital Signal Processing) Application Components Models (ACM) (e.g., NCO, MUX, Filters) Platform Independent Models Architecture Specific Models (e.g., Xilinx, Altera) High Level Language Development Environment Platform Specific Models

14 MBE-HPRC Strategy/Issues Application Components Models (ACM) (e.g., NCO, MUX, Filters) Use Compose Complete /Correct Models? Complete Mappings? Automated Transforms? Manual (HITL) Transforms? Populate Model Repository Architecture Specific Models (ASM) (e.g., Xilinx, Altera) Generate Complete/Correct Models? Complete Mappings? Automated Transforms? Manual (HITL) Transforms? High Level Language Development Environment

15 An Example Architecture Interaction through a graphical editor Assembly and Transformations enabled through tools Use of OCL Parsers are key XML-based interchange JET for final transforms OCL Profiles OCL Interpreter Graphical Editor Mapping Profiles OCL Generator JET Templates xadl Framework XML Data Binder XML Parser xadl-based Model Manager Model Compiler/Code Generator Model Repository

16 Software Defined Radio Prototype

17 Homework Discussion Assignment: Create an application that keeps tracks of the information in such a simple social network. The application allows for user profiles to be added to, deleted from, or looked-up in the social network For each profile, you will keep track of: Person's name associated with that profile An optional image that the person may wish to display with the profile An optional "current status" for the profile (just a String indicating activity the owner is currently engaged in) A list of friends for each profile

18 Case Study Discussion: What makes Car Sharing a reasonable application for MBSE? Do you think their approach was transform driven? Why? Using the Architecture Driven approach, what was the significance of the Metamodel/ Profile Implementation? What was the role of Template programming?

19 Basic FacePamphlet

20 Adding a Person Shawn Bohner Shawn Bohner

21 Changing Status Shawn Bohner Shawn Bohner Shawn Bohner

22 Change/Add Picture Shawn Bohner Shawn Bohner Shawn Bohner

23 Other features Similarly you can: Add others to the system Delete them List them as your friends Etc. I will put the DETAILED description and a demo app on Angel tonight or by tomorrow This is an assignment given to first year CS students at Stanford to complete in about 2 weeks with 5 team members, you should be able to finish in a week Keep Model-Based Engineering in mind!

24 Homework and Milestone Reminders Read Chapter 4 of MBSD Text Concept Formulation Let s talk tomorrow about the project this term