Successfully reported this slideshow.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.

Incremental model compiler for executable UML

432 views

Published on

EclipseCon France 2016

Published in: Software
  • DOWNLOAD THIS BOOKS INTO AVAILABLE FORMAT (2019 Update) ......................................................................................................................... ......................................................................................................................... Download Full PDF EBOOK here { https://soo.gd/irt2 } ......................................................................................................................... Download Full EPUB Ebook here { https://soo.gd/irt2 } ......................................................................................................................... Download Full doc Ebook here { https://soo.gd/irt2 } ......................................................................................................................... Download PDF EBOOK here { https://soo.gd/irt2 } ......................................................................................................................... Download EPUB Ebook here { https://soo.gd/irt2 } ......................................................................................................................... Download doc Ebook here { https://soo.gd/irt2 } ......................................................................................................................... ......................................................................................................................... ................................................................................................................................... eBook is an electronic version of a traditional print book THIS can be read by using a personal computer or by using an eBook reader. (An eBook reader can be a software application for use on a computer such as Microsoft's free Reader application, or a book-sized computer THIS is used solely as a reading device such as Nuvomedia's Rocket eBook.) Users can purchase an eBook on diskette or CD, but the most popular method of getting an eBook is to purchase a downloadable file of the eBook (or other reading material) from a Web site (such as Barnes and Noble) to be read from the user's computer or reading device. Generally, an eBook can be downloaded in five minutes or less ......................................................................................................................... .............. Browse by Genre Available eBooks .............................................................................................................................. Art, Biography, Business, Chick Lit, Children's, Christian, Classics, Comics, Contemporary, Cookbooks, Manga, Memoir, Music, Mystery, Non Fiction, Paranormal, Philosophy, Poetry, Psychology, Religion, Romance, Science, Science Fiction, Self Help, Suspense, Spirituality, Sports, Thriller, Travel, Young Adult, Crime, Ebooks, Fantasy, Fiction, Graphic Novels, Historical Fiction, History, Horror, Humor And Comedy, ......................................................................................................................... ......................................................................................................................... .....BEST SELLER FOR EBOOK RECOMMEND............................................................. ......................................................................................................................... Blowout: Corrupted Democracy, Rogue State Russia, and the Richest, Most Destructive Industry on Earth,-- The Ride of a Lifetime: Lessons Learned from 15 Years as CEO of the Walt Disney Company,-- Call Sign Chaos: Learning to Lead,-- StrengthsFinder 2.0,-- Stillness Is the Key,-- She Said: Breaking the Sexual Harassment Story THIS Helped Ignite a Movement,-- Atomic Habits: An Easy & Proven Way to Build Good Habits & Break Bad Ones,-- Everything Is Figureoutable,-- What It Takes: Lessons in the Pursuit of Excellence,-- Rich Dad Poor Dad: What the Rich Teach Their Kids About Money THIS the Poor and Middle Class Do Not!,-- The Total Money Makeover: Classic Edition: A Proven Plan for Financial Fitness,-- Shut Up and Listen!: Hard Business Truths THIS Will Help You Succeed, ......................................................................................................................... .........................................................................................................................
       Reply 
    Are you sure you want to  Yes  No
    Your message goes here
  • DOWNLOAD THIS BOOKS INTO AVAILABLE FORMAT (2019 Update) ......................................................................................................................... ......................................................................................................................... Download Full PDF EBOOK here { https://soo.gd/irt2 } ......................................................................................................................... Download Full EPUB Ebook here { https://soo.gd/irt2 } ......................................................................................................................... Download Full doc Ebook here { https://soo.gd/irt2 } ......................................................................................................................... Download PDF EBOOK here { https://soo.gd/irt2 } ......................................................................................................................... Download EPUB Ebook here { https://soo.gd/irt2 } ......................................................................................................................... Download doc Ebook here { https://soo.gd/irt2 } ......................................................................................................................... ......................................................................................................................... ................................................................................................................................... eBook is an electronic version of a traditional print book THIS can be read by using a personal computer or by using an eBook reader. (An eBook reader can be a software application for use on a computer such as Microsoft's free Reader application, or a book-sized computer THIS is used solely as a reading device such as Nuvomedia's Rocket eBook.) Users can purchase an eBook on diskette or CD, but the most popular method of getting an eBook is to purchase a downloadable file of the eBook (or other reading material) from a Web site (such as Barnes and Noble) to be read from the user's computer or reading device. Generally, an eBook can be downloaded in five minutes or less ......................................................................................................................... .............. Browse by Genre Available eBooks .............................................................................................................................. Art, Biography, Business, Chick Lit, Children's, Christian, Classics, Comics, Contemporary, Cookbooks, Manga, Memoir, Music, Mystery, Non Fiction, Paranormal, Philosophy, Poetry, Psychology, Religion, Romance, Science, Science Fiction, Self Help, Suspense, Spirituality, Sports, Thriller, Travel, Young Adult, Crime, Ebooks, Fantasy, Fiction, Graphic Novels, Historical Fiction, History, Horror, Humor And Comedy, ......................................................................................................................... ......................................................................................................................... .....BEST SELLER FOR EBOOK RECOMMEND............................................................. ......................................................................................................................... Blowout: Corrupted Democracy, Rogue State Russia, and the Richest, Most Destructive Industry on Earth,-- The Ride of a Lifetime: Lessons Learned from 15 Years as CEO of the Walt Disney Company,-- Call Sign Chaos: Learning to Lead,-- StrengthsFinder 2.0,-- Stillness Is the Key,-- She Said: Breaking the Sexual Harassment Story THIS Helped Ignite a Movement,-- Atomic Habits: An Easy & Proven Way to Build Good Habits & Break Bad Ones,-- Everything Is Figureoutable,-- What It Takes: Lessons in the Pursuit of Excellence,-- Rich Dad Poor Dad: What the Rich Teach Their Kids About Money THIS the Poor and Middle Class Do Not!,-- The Total Money Makeover: Classic Edition: A Proven Plan for Financial Fitness,-- Shut Up and Listen!: Hard Business Truths THIS Will Help You Succeed, ......................................................................................................................... .........................................................................................................................
       Reply 
    Are you sure you want to  Yes  No
    Your message goes here
  • DOWNLOAD THIS BOOKS INTO AVAILABLE FORMAT (Unlimited) ......................................................................................................................... ......................................................................................................................... Download Full PDF EBOOK here { https://soo.gd/qURD } ......................................................................................................................... Download Full EPUB Ebook here { https://soo.gd/qURD } ......................................................................................................................... Download Full doc Ebook here { https://soo.gd/qURD } ......................................................................................................................... Download PDF EBOOK here { https://soo.gd/qURD } ......................................................................................................................... Download EPUB Ebook here { https://soo.gd/qURD } ......................................................................................................................... Download doc Ebook here { https://soo.gd/qURD } ......................................................................................................................... ......................................................................................................................... ................................................................................................................................... eBook is an electronic version of a traditional print book THIS can be read by using a personal computer or by using an eBook reader. (An eBook reader can be a software application for use on a computer such as Microsoft's free Reader application, or a book-sized computer THIS is used solely as a reading device such as Nuvomedia's Rocket eBook.) Users can purchase an eBook on diskette or CD, but the most popular method of getting an eBook is to purchase a downloadable file of the eBook (or other reading material) from a Web site (such as Barnes and Noble) to be read from the user's computer or reading device. Generally, an eBook can be downloaded in five minutes or less ......................................................................................................................... .............. Browse by Genre Available eBooks .............................................................................................................................. Art, Biography, Business, Chick Lit, Children's, Christian, Classics, Comics, Contemporary, Cookbooks, Manga, Memoir, Music, Mystery, Non Fiction, Paranormal, Philosophy, Poetry, Psychology, Religion, Romance, Science, Science Fiction, Self Help, Suspense, Spirituality, Sports, Thriller, Travel, Young Adult, Crime, Ebooks, Fantasy, Fiction, Graphic Novels, Historical Fiction, History, Horror, Humor And Comedy, ......................................................................................................................... ......................................................................................................................... .....BEST SELLER FOR EBOOK RECOMMEND............................................................. ......................................................................................................................... Blowout: Corrupted Democracy, Rogue State Russia, and the Richest, Most Destructive Industry on Earth,-- The Ride of a Lifetime: Lessons Learned from 15 Years as CEO of the Walt Disney Company,-- Call Sign Chaos: Learning to Lead,-- StrengthsFinder 2.0,-- Stillness Is the Key,-- She Said: Breaking the Sexual Harassment Story THIS Helped Ignite a Movement,-- Atomic Habits: An Easy & Proven Way to Build Good Habits & Break Bad Ones,-- Everything Is Figureoutable,-- What It Takes: Lessons in the Pursuit of Excellence,-- Rich Dad Poor Dad: What the Rich Teach Their Kids About Money THIS the Poor and Middle Class Do Not!,-- The Total Money Makeover: Classic Edition: A Proven Plan for Financial Fitness,-- Shut Up and Listen!: Hard Business Truths THIS Will Help You Succeed, ......................................................................................................................... .........................................................................................................................
       Reply 
    Are you sure you want to  Yes  No
    Your message goes here
  • DOWNLOAD THAT BOOKS INTO AVAILABLE FORMAT (2019 Update) ......................................................................................................................... ......................................................................................................................... Download Full PDF EBOOK here { http://bit.ly/2m77EgH } ......................................................................................................................... Download Full EPUB Ebook here { http://bit.ly/2m77EgH } ......................................................................................................................... Download Full doc Ebook here { http://bit.ly/2m77EgH } ......................................................................................................................... Download PDF EBOOK here { http://bit.ly/2m77EgH } ......................................................................................................................... Download EPUB Ebook here { http://bit.ly/2m77EgH } ......................................................................................................................... Download doc Ebook here { http://bit.ly/2m77EgH } ......................................................................................................................... ......................................................................................................................... ................................................................................................................................... eBook is an electronic version of a traditional print book that can be read by using a personal computer or by using an eBook reader. (An eBook reader can be a software application for use on a computer such as Microsoft's free Reader application, or a book-sized computer that is used solely as a reading device such as Nuvomedia's Rocket eBook.) Users can purchase an eBook on diskette or CD, but the most popular method of getting an eBook is to purchase a downloadable file of the eBook (or other reading material) from a Web site (such as Barnes and Noble) to be read from the user's computer or reading device. Generally, an eBook can be downloaded in five minutes or less ......................................................................................................................... .............. Browse by Genre Available eBooks .............................................................................................................................. Art, Biography, Business, Chick Lit, Children's, Christian, Classics, Comics, Contemporary, Cookbooks, Manga, Memoir, Music, Mystery, Non Fiction, Paranormal, Philosophy, Poetry, Psychology, Religion, Romance, Science, Science Fiction, Self Help, Suspense, Spirituality, Sports, Thriller, Travel, Young Adult, Crime, Ebooks, Fantasy, Fiction, Graphic Novels, Historical Fiction, History, Horror, Humor And Comedy, ......................................................................................................................... ......................................................................................................................... .....BEST SELLER FOR EBOOK RECOMMEND............................................................. ......................................................................................................................... Blowout: Corrupted Democracy, Rogue State Russia, and the Richest, Most Destructive Industry on Earth,-- The Ride of a Lifetime: Lessons Learned from 15 Years as CEO of the Walt Disney Company,-- Call Sign Chaos: Learning to Lead,-- StrengthsFinder 2.0,-- Stillness Is the Key,-- She Said: Breaking the Sexual Harassment Story That Helped Ignite a Movement,-- Atomic Habits: An Easy & Proven Way to Build Good Habits & Break Bad Ones,-- Everything Is Figureoutable,-- What It Takes: Lessons in the Pursuit of Excellence,-- Rich Dad Poor Dad: What the Rich Teach Their Kids About Money That the Poor and Middle Class Do Not!,-- The Total Money Makeover: Classic Edition: A Proven Plan for Financial Fitness,-- Shut Up and Listen!: Hard Business Truths that Will Help You Succeed, ......................................................................................................................... .........................................................................................................................
       Reply 
    Are you sure you want to  Yes  No
    Your message goes here
  • Be the first to like this

Incremental model compiler for executable UML

  1. 1. INCREMENTAL MODEL COMPILER FOR EXECUTABLE UML ÁKOS HORVÁTH, PHD MANAGING DIRECTOR
  2. 2. Executable Modeling – the birth of xUML-RT We are proud user of executable modeling! At an undisclosed Nordic telecommunication company Which standard are you using? UML-RT of course! xtUML of course! ?? We are proud user of UML executable modeling! ??
  3. 3. Executable UML Modeling approaches UML-RT • UML for Real Time • Capsule o For defining structure and behaviour • Capsule + Class + hierarchical state machines • Own state machine execution semantics • Supported by Papyrus- RT xtUML • Successor of Shlaer– Mellor method • Domain + Class + simple State machines • Special generalization semantics • Own state machine execution semantics • Supported by BridgePoint and (Papyrus-xtUML)
  4. 4. Executable UML Modeling approaches UML-RT • UML for Real Time • Capsule o For defining structure and behaviour • Capsule + Class + hierarchical state machines • Own state machine execution semantics • Supported by Papyrus- RT xtUML • Successor of Shlaer– Mellor method • Domain + Class + simple State machines • Special generalization semantics • Own state machine execution semantics • Supported by BridgePoint and (Papyrus-xtUML)
  5. 5. Executable Modeling – the birth of xUML-RT We are proud user of executable modeling! At an undisclosed Nordic telecommunication company I did not know that we’re using similar standards! We are proud user of executable modeling! Lets try to create a novel language that combines the two approaches! We are proud user of executable modeling! Lets call it xUML-RT!
  6. 6. Executable Modeling – the birth of xUML-RT We are proud user of executable modeling! At an undisclosed Nordic telecommunication company I did not know that you we’re using similar standards! We are proud user of executable modeling! Lets try to create a novel language that combines the two approaches We are proud user of executable modeling! Lets call it xUML-RT!
  7. 7. xUML-RT Model Compiler xUML-RT Incremental code-generation for xUML-RT End-to-end • Traceability support on model level • Incremental code generation Faster turn-around time (modify, generate, build) • For large systems 8h+ • Initial measurement  one order of magnitude faster for code generation Workflow based execution using (MWE2) Cpp Papyrus EMF-UML [EMF] Structure [EMF] Cpp structure [EMF] Behaviour [Xtext] C++ [source] Editor Platform configuration [source, XML] Compiler Platform [EMF]
  8. 8. xUML-RT Model Compiler xUML-RT Incremental code-generation for xUML-RT Cpp Papyrus EMF-UML [EMF] Structure [EMF] Cpp structure [EMF] Behaviour [Xtext] C++ [source] Editor Platform configuration [source, XML] Compiler Platform [EMF] End-to-end • Traceability support on model level • Incremental code generation Faster turn-around time (modify, generate, build) • For large systems 8h+ • Initial measurement  one order of magnitude faster for code generation Workflow based execution using (MWE2)
  9. 9. xUML-RT Model Compiler xUML-RT Incremental code-generation for xUML-RT Front-end agnostic model storage and processing On-the fly synchronization between EMF-UML and xUML-RT using VIATRA • Transaction aware synchronization points • Advanced EMF-UML support o Incremental evaluation of UML derived features o Querying UML profiles o https://wiki.eclipse.org/VIATRA/Integration/UMLSupport Cpp Papyrus EMF-UML [EMF] Structure [EMF] Cpp structure [EMF] Behaviour [Xtext] C++ [source] Editor Platform configuration [source, XML] Compiler Platform [EMF]
  10. 10. xUML-RT Model Compiler xUML-RT Incremental code-generation for xUML-RT Front-end agnostic model storage and processing On-the fly synchronization between EMF-UML and xUML-RT using VIATRA • Transaction aware synchronization points • Advanced EMF-UML support o Incremental evaluation of UML derived features o Querying UML profiles o https://wiki.eclipse.org/VIATRA/Integration/UMLSupport Cpp Papyrus EMF-UML [EMF] Structure [EMF] Cpp structure [EMF] Behaviour [Xtext] C++ [source] Editor Platform configuration [source, XML] Compiler Platform [EMF]
  11. 11. xUML-RT Model Compiler xUML-RT Incremenetal code-generation for xUML-RT Platform level optimizations • External library configuration • Template definition on model level o Platform specific data structures and libraries Reusability • Same xUML-RT model with multiple Platform instances • Easy extension due to MWE2 Cpp Papyrus EMF-UML [EMF] Structure [EMF] Cpp structure [EMF] Behaviour [Xtext] C++ [source] Editor Platform configuration [source, XML] Compiler Platform [EMF]
  12. 12. xUML-RT Model Compiler xUML-RT Incremenetal code-generation for xUML-RT Platform level optimizations • External library configuration • Template definition on model level o Platform specific data structures and libraries Reusability • Same xUML-RT model with multiple Platform instances • Easy extension due to MWE2 Cpp Papyrus EMF-UML [EMF] Structure [EMF] Cpp structure [EMF] Behaviour [Xtext] C++ [source] Editor Platform configuration [source, XML] Compiler Platform [EMF]
  13. 13. xUML-RT Model Compiler xUML-RT Incremenetal code-generation for xUML-RT Cpp Papyrus EMF-UML [EMF] Structure [EMF] Cpp structure [EMF] Behaviour [Xtext] C++ [source] Editor Platform configuration [source, XML] Compiler Platform [EMF] C++ source code • Support for query execution • Optimized container usage • Unity build Platform configuration • Execution environment • Interfaces with hand-coded components
  14. 14. xUML-RT Model Compiler xUML-RT Incremenetal code-generation for xUML-RT Cpp Papyrus EMF-UML [EMF] Structure [EMF] Cpp structure [EMF] Behaviour [Xtext] C++ [source] Editor Platform configuration [source, XML] Compiler Platform [EMF] C++ source code • Support for query execution • Optimized container usage • Unity build Platform configuration • Execution environment • Interfaces with hand-coded components
  15. 15. Incremental query engine for EMF • Declarative language • Incremental, live queries • Highly scalable Advanced support for • On-the-fly validation • Custom views • Traceability • Derived features Model transformation framework • Event-based + reactive execution platform • Xtend based API • Scalable M2M & M2T High-level features • Complex event processing • Design space exploration • Incremental transform. Based on the VIATRA query and transformation framework Transformatio n Official Eclipse member 4 Project co-leads 14 Eclipse committers Tool integration with: Papyrus UML, Sirius, RMF, Capella, ARTOP, mbeddr Query
  16. 16. Incremental query engine for EMF • Declarative language • Incremental, live queries • Highly scalable Advanced support for • On-the-fly validation • Custom views • Traceability • Derived features Model transformation framework • Event-based + reactive execution platform • Xtend based API • Scalable M2M & M2T High-level features • Complex event processing • Design space exploration • Incremental transform. Based on the VIATRA query and transformation framework Transformatio n Tool integration with: Papyrus UML, Sirius, RMF, Capella, ARTOP, mbeddr Query Official Eclipse member 4 Project co-leads 14 Eclipse committers
  17. 17. Incremental query engine for EMF • Declarative language • Incremental, live queries • Highly scalable Advanced support for • On-the-fly validation • Custom views • Traceability • Derived features Model transformation framework • Event-based + reactive execution platform • Xtend based API • Scalable M2M & M2T High-level features • Complex event processing • Design space exploration • Incremental transform. Based on the VIATRA query and transformation framework Transformatio n Tool integration with: Papyrus UML, Sirius, RMF, Capella, ARTOP, mbeddr Query Official Eclipse member 4 Project co-leads 14 Eclipse committers
  18. 18. Incremental query engine for EMF • Declarative language • Incremental, live queries • Highly scalable Advanced support for • On-the-fly validation • Custom views • Traceability • Derived features Model transformation framework • Event-based + reactive execution platform • Xtend based API • Scalable M2M & M2T High-level features • Complex event processing • Design space exploration • Incremental transform. Based on the VIATRA query and transformation framework Transformatio n Query Official Eclipse member 4 Project co-leads 14 Eclipse committers Tool integration with: Papyrus UML, Sirius, RMF, Capella, ARTOP, mbeddr
  19. 19. Conclusions Initial version is out • Model compiler https://github.com/IncQueryLabs/EMDW-MC o Out of the box compatibility with CDT • Simulator http://modelexecution.eltesoft.hu/ Model Compiler frontend integrated into Papyrus Built on VIATRA Your contributions (feedback, forum posts, ideas, bugzillas, patches) are very welcome!
  20. 20. http://www.eclipse.org/viatra/ http://www.incquerylabs.com/ info@incquerylabs.com Tel: +36 70 633 3973 Email: akos.horvath@incquerylabs.com @IncQueryLabs https://www.facebook.com/incquerylabs / https://www.linkedin.com/company/incquery-labs- ltd- https://github.com/IncQueryLabs/EMDW- MC

×