Workshop Program

• 9.00-10.30: Session 1
  • Ed Willink: Two Decades of OCL - A Personal View slides
  • Manuel Clavel and Hoàng Nguyễn Phước Bảo. Mapping OCL into SQL: Challenges and Opportunities Ahead
  • Edward Willink. OCL Visualization - A Reality Check slides
• 10.30-11.00: Coffee Break
• 11.00-12.30: Session 2
  
  • Daniel Calegari and Marcos Viera. Experimenting with functional features of the Object Constraint Language slides
  • Robert Clarisó and Martin Gogolla. A Feasibility Study on Using Classifying Terms in Alloy slides
  • Víctor Ortiz, Loli Burgueño, Antonio Vallecillo and Martin Gogolla. Native Support for UML and OCL Primitive Datatypes Enriched with Uncertainty in USE slides
• 12.30-14.00: Lunch Break
• 14.00-15.30: Session 3
  
  • Martin Gogolla: Two Decades of OCL - A Personal View slides
  • Patrick Neubauer, Robert Bill, Dimitris Kolovos, Richard F. Paige and Manuel Wimmer. Reusable Textual Notations for Domain-Specific Languages slides
  • Paula Muñoz, Loli Burgueño, Martin Gogolla and Antonio Vallecillo. Automatic Generation of Valid Behavioral Scripts from UML Sequence Diagrams slides
• 15.30-16.00: Coffee Break

• 16.00-17.30: Session 4

  • Lightning Talks

    • Christophe Ponsard: Some Guidelines About When to Use Textual And/Or Graphical Modelling in MBSE
    • Ed Willink: A Map Type for OCL slides
    • Martin Gogolla: Tweaking Class Model Verification with Specialized Association Bounds slides

  • Panel Discussion