Research Topics MDD & PL 2009 Stefan Tilkov stefan.tilkov@innoq.com

Transcription

1 Research Topics 2009 MDD & PL 2009 Stefan Tilkov

2 About innoq Technology Consultancy Focus: Efficient software development & Service-oriented architecture Ratingen, Darmstadt, Munich, Zurich ~50 Employees (Q1 2009)

3 Company History Founded in Switzerland 1998, Germany 1999 Java/J2EE/Java EE development Model-driven approaches since 1999 iqgen template generator product 2001 Web services since 2002 SOA since 2003 REST since 2005 Ruby/Rails since 2006

4 Model Driven Engineering (MDE) Eclipse iqgen Visualization MDD External DSLs Test Automation DSM EMF Code Analysis MDSD UML MOF oaw Legacy Modernization

5 DSM vs. UML OrderEntry OrderManager <<ui>> OrderEntry Customer name address 1 n Order date total <<uses>> <<service>> OrderManager submitorder() cancelorder() <<manages>> <<entity>> Customer name address 1 n <<manages>> <<entity>> Order date total

6 Service-oriented Architecture (SOA) Transition WSDL Governance OWL Re-Use JAX-RS RDF XSD WS-* SOAP URI REST UDDI XML HTTP Loose JAX-WS WCF Coupling JSON Autonomy Service Life Cycle

7 SOAP/WSDL vs. REST/HTTP

8 Dynamic Languages & Rails CoC DRY Agile JRuby Ruby Prototyping KISS Internal DSLs Ruby on Rails Web 2.0 Clojure Merb BDD Groovy YAML Sinatra TDD Scala Rapid Development Polyglot Development

9 External vs. Internal DSL cancel: transitions from submitted to cancelled, accept: transitions from received to accepted, from checking to checked event :cancel do transitions :from => :submitted, :to => :cancelled end event :accept do transitions :from => :received, :to => :accepted transitions :from => :checking, :to => :checked end

10 Rails ActiveRecord class Project < ActiveRecord::Base belongs_to :portfolio has_one :project_manager has_many :milestones has_and_belongs_to_many :categories end

11 Generated Methods class Project < ActiveRecord::Base belongs_to :portfolio has_one :project_manager Project.portfolio Project.portfolio=(portfolio) Project.portfolio.nil? Project.project_manager, Project.project_manager=(project_manager) Project.project_manager.nil? has_many :milestones Project.milestones.empty? Project.milestones.size Project.milestones Project.milestones<<(milestone) Project.milestones.delete(milestone) Project.milestones.find(milestone_id) Project.milestones.find(:all, options) Project.milestones.build, Project.milestones.create has_and_belongs_to_many :categories Project.categories.empty? Project.categories.size Project.categories Project.categories<<(category1) Project.categories.delete(category1) end

12 MDE Connections Interfaces Object Models Processes Dependencies Policies Deployment Plans Configuration Visualization SOA Interfaces Object Models Visualization Model Information Model Transformation Textual Representation (Internal) DSLs Statistics Dependencies Interfaces Schemas Processes Implementation Testing Introspection Interfaces Schemas Dynamic Languages

13

14 Options Diploma, Master, PhD Theses Open Source Development Collaboration w/ Interested Parties Research Grant Combined onsite/offsite work

15 1. Modeling for REST Research existing modeling notations for RESTful HTTP (hint: there are none) Define metamodel for REST Develop graphical notation (DSM) Develop textual notation (DSL) Implement prototype

16 2. DSL for REST Clients Define (internal or external) domain specific language for consuming RESTful HTTP services Focus on hypermedia Separate into concepts and syntax Implement and validate

17 3. Using Dynamic Languages for Model Transformation Research and describe existing model transformation languages Design Ruby- or Clojure-based internal DSL Implement prototype Contrast with other approaches

18 4. Model Analysis in 3 Dimensions Explore options for navigation through models in 3D Import models from existing tools Discover connections according to architectural definitions Visualize using 3D lib or game engine

19 5. Hybrid UML/XSD Modeling Integrate XML Schema (for document types) and UML (for service modeling) Define hybrid modeling approach Select and integrate tooling Roundtrip-engineer appropriate artefacts

20 6. Model Validation Define concepts and notation for architectural constraints/rules Define validation scheme (similar to Schematron for XML) Implement validation for XMI/EMF import

21 7. UML DSM Migration Start with large-scale existing MDA project Define approach and method for migration towards Eclipse/EMF-based DSM Perform migration Analyse advantages/disadvantages

22 8. RESTful Orchestration Define model, textual / graphical notation for orchestrating RESTful services Integrate both human and machine usage Incorporate hypermedia Prototype and compare to WS-* alternatives

23 n. Many more Open to new and exciting ideas Integration of existing tooling Applicability in customer projects

24 innoq Deutschland GmbH Halskestr Ratingen Q&A Stefan Tilkov Phone: