MegaModeling Software Language Engineering Artefacts

Transcription

1 MegaModeling Software Language Engineering Artefacts ongoing research work Jean-Marie Favre, OneTree Technologies, Luxembourg Dragan Gasevic, Athabasca University, Canada Ralf Lämmel, University of Koblenz-Landau, Germany GPCE/SLE 2010 Tutorial

2 We are smart Since Stone Age when we have problems we invent some technology

3 Today

4 EMF SQL TENEO Java XSD DOM Antlr OWL UML XMI Ecore SQL DDL XLST Saxon Hibernate Awk Json Yacc JAXP Rest OWL RDF ATOM SparQL XSLT DTD BNF XSD OCL Prolog grep MOF OMG QVT jdom Rose Protegé XQuery ODM XMLSpy JPA JAXB JDBC ODBC MySQL ArgoUML Jean Jena Jena Ralf Dragan TXL VLDB EMF.gen ORACLE TCS XText Teneo Jersey GWT Sesame Stratego XPATH JeanBeans UTF8 ASCII RDFa RDF(S) RDFS CFG LALR ER SLE2010 xerces xalan saxon sax sed XSD JMI JMF SBVR

5 XPATH Sesame JPA Today s Issues TXL Jena Rose JDBC EMF.gen XText jdom JAXB Jersey RDF(S) UTF8 Jena ODM XSD MOF UML JeanBeans Teneo BNF VLDB Stratego Silos of knowledge xerces GWT SLE2010 Json OCL sax Combining Ralf RDFS technologies saxon OWL OWL Ecore Rest MySQL Complexity RDF Jean OMG XMI of technologies ORACLE JMI EMF JMF XSD ArgoUML xalan ODBC SparQL XMLSpy Yacc RDFa Teaching technologies? LALR XSLT Prolog JAXP Protegé Entering CFG a SBVR new DOM spacejava ATOM ER SQL DDL Dragan SQL Antlr QVT TENEO XLST Awk DTD sed Saxon TCS grep ASCII XSD Hibernate XQuery

6 XPATH Sesame JPA Today s Issues TXL Jena Rose JDBC EMF.gen XText jdom JAXB Jersey RDF(S) UTF8 Jena ODM XSD MOF UML JeanBeans Teneo BNF VLDB Stratego Silos of knowledge xerces GWT SLE2010 Json OCL sax Combining Ralf RDFS technologies saxon OWL OWL Ecore Rest MySQL Complexity RDF Jean OMG XMI of technologies ORACLE JMI EMF JMF XSD ArgoUML xalan ODBC SparQL XMLSpy Yacc RDFa Teaching technologies? LALR XSLT Prolog JAXP Protegé Entering CFG a SBVR new DOM spacejava ATOM ER SQL DDL Dragan TENEO XLST grep sed Awk Hibernate DTD SQL ASCII Our Approach Analogy Saxon XQuery XSD Antlr Abstraction TCS QVT Common example

7 Working by analogy Modelware XMLware Ontoware Dataware Grammarware Meta language MOF XSD RDFS SQL.DDL EBNF Navigation Query OCL XPath XQuery SPARQL SQL Transfo. QVT XSLT TXL ASF Toolkit ArgoUML Rose XMLSpy VS-XML Protégé Topbeard MySQL Oracle MetaEnv. Conferences MoDELS ECMDA XML VLDB ICSW ESWC VLDB SIGMOD CC POPL

8 From one space to another modelware XMI XMLware Teneo Dataware JMI EMF.gen Sesame JAXB JDOM Ontware JDBC Hibernate JPA javaware Jena

9 We need to be more precise

10 We need a «theory»

11 EMF SQL TENEO Java XSD DOM Antlr OWL UML XMI Ecore SQL DDL XLST Saxon Hibernate Awk Json Yacc JAXP Rest OWL RDF ATOM SparQL XSLT DTD BNF XSD OCL Prolog grep MOF OMG QVT jdom Rose Protegé XQuery ODM XMLSpy JPA JAXB JDBC ODBC MySQL ArgoUML Jean Jena Jena Ralf Dragan TXL VLDB EMF.gen ORACLE TCS XText Teneo Jersey GWT Sesame Stratego XPATH JeanBeans UTF8 ASCII RDFa RDF(S) RDFS CFG LALR ER SLE2010 xerces xalan saxon sax sed XSD JMI JMF SBVR We need megamodeling We need megamodeling

12 Empirical megamodeling (antlr) company.g x ::= xxx yyy y := zzz parse mc.c xxx yyy zzz ttt uuu vvv xxx Meganalysis company A megamodel

13 Specific megamodeling w L(Gc) (antlr) company.g x ::= xxx yyy y := zzz Gc A parse mc.c xxx yyy zzz ttt uuu vvv xxx Meganalysis company a megamodel a megamodel

14 Precise megamodeling antlr Represents ConformsTo IsElementOf company.g IsElementOf ConformsTo mc.c Represents meganalysis THE megamodel metamodel a megamodel

15 Multi-language megamodeling represents( mc.c,meganalysis). conformsto( mc.c, company.g ). elementof( company.g, antlr ).

16 EMF SQL TENEO Java XSD DOM Antlr OWL UML XMI Ecore SQL DDL XLST Saxon Hibernate Awk Json Yacc JAXP Rest OWL RDF ATOM SparQL XSLT DTD BNF XSD OCL Prolog grep MOF OMG QVT jdom Rose Protegé XQuery ODM XMLSpy JPA JAXB JDBC ODBC MySQL ArgoUML Jean Jena Jena Ralf Dragan TXL VLDB EMF.gen ORACLE TCS XText Teneo Jersey GWT Sesame Stratego XPATH JeanBeans UTF8 ASCII RDFa RDF(S) RDFS CFG LALR ER SLE2010 xerces xalan saxon sax sed XSD JMI JMF SBVR

17 Parallel Spaces

18 Orthogonal spaces

19 Bridges between spaces

20 Example of bridges between languages

21 We need a catalog of concrete examples

22 101companies

23

24 ...

25

26

27

28

29 Next steps Please contribute: Let s add some implementations at GPCE/SLE Get in touch with us. Please leverage: There is class-room material related to 101companies. More profound textbook-like material in the planning. To be cont d: GPCE 2010 Keynote.

30 CONCLUSION Many technologies and silos of knowlege Huge essential and accidental complexity Abstraction (=> megamodel) Common example (=> meganalysis company) Analogy