1. Devon M. Simmonds Computer Science Department, CSC592 1 Devon M. Simmonds Computer Science Department University of North Carolina, Wilmington simmondsd@uncw.edu August 19, 2008 The Directive-Based Transformation Language (DBTL)

2. Devon M. Simmonds Computer Science Department, CSC592 2 Software Development Simple Tools Power Tools Blueprints International Space Station International Airport Baggage Handling System

3. Devon M. Simmonds Computer Science Department, CSC592 3 Models in Engineering Benefits of models – Help us understand and manage complex systems – Communicate understanding – Drive implementation – Save resources Need to improve the use of models in software development!

4. Devon M. Simmonds Computer Science Department, CSC592 4 4 Model A AA BB CC Model C B2B2B2B2 B2B2B2B2 DD CC A1A1A1A1 A1A1A1A1 B1B1B1B1 B1B1B1B1 A2A2A2A2 A2A2A2A2 Model Transformation Model B MM AA PP KK Transformation

5. Devon M. Simmonds Computer Science Department, CSC592 5 Model-Driven Engineering (MDE) CodeCode Create Model Model of the Program AA BB CC Compile Model Compile Code Binary instructions Code-centric Development Manually Create Code Realizing the dream – MDD challenges – Model Specification – Model Transformation Model to model Model to code – Managing technologies – Model Analysis

6. Devon M. Simmonds Computer Science Department, CSC592 6 6 Transformation Languages Needed to support MDE! Model B MM BB CC AA PP KK Project #4

7. Devon M. Simmonds Computer Science Department, CSC592 7 7 class Department { private: char name[40]; Student csc[100]; public: void manageStudents(){ csc[i]->register(); csc[i]->grade(); csc[i]->graduate(); }} Generating code from aspect-oriented design models Project #5 :Student:Department takeCourse() graduate()

8. Devon M. Simmonds Computer Science Department, CSC592 8 8 Model-to-model Transformation Conceptual Model Source Pattern Transformation Schema Interpreter Target Pattern

9. Devon M. Simmonds Computer Science Department, CSC592 9 The Directive-Based Transformation Language Source pattern – Describes valid input models Transformation schema – Describes transformation to change input model to output model – Transformations are specified using five directives.

10. Devon M. Simmonds Computer Science Department, CSC592 10 |Participant |participantOp(|a:|Ptype-1, |b:|Ptype-2) |manageUser * |TransactionManager |clientID:String |serviceID:String |transOperation(|param1:||Type1, |param2:Type2) source.|TransactionManager new |transState:String redefine |clientID:String{name=Integer} source.|Participant new commit() new abort() handlesParticipant 0..1* new |getState():Boolean new commit() new abort() * MoneyTransferService transID:String serviceID:String AccountManager deposit(a:Account, amt:float) withdraw(a:Account, amt:float) handlesParticipant 0..1* moneyTransfer(a:Account, b:Account, amt:float) Source Model Source Pattern Transformation Schema

11. Devon M. Simmonds Computer Science Department, CSC592 11 A Transformation Schema

12. Devon M. Simmonds Computer Science Department, CSC592 12 Transformation Directives The source directive – Copy model elements The name directive – Supply platform-specific name The redefine directive – Modify copied elements The new directive – Create new model elements The exclude directive – Eliminate model elements

13. Devon M. Simmonds Computer Science Department, CSC592 13 The source Directive

14. Devon M. Simmonds Computer Science Department, CSC592 14 The rename Directive

15. Devon M. Simmonds Computer Science Department, CSC592 15 The exclude, new & edefine Directives

16. Devon M. Simmonds Computer Science Department, CSC592 16 The source Directive

17. Devon M. Simmonds Computer Science Department, CSC592 17 The source Directive

18. Devon M. Simmonds Computer Science Department, CSC592 18 DBTL Model transformation Process

19. Devon M. Simmonds Computer Science Department, CSC592 19 Q u e s t i o n s ? TheEnd Devon M. Simmonds, Computer Science Department, University of North Carolina Wilmington