Technological space travel for developers, researchers, and educators

Transcription

1 11 May 2012 Technological space travel for developers, researchers, and educators Ralf Lämmel Software Languages Team, University of Koblenz-Landau on behalf of the 101companies community

2 Speaker bio Ralf Lämmel Professor of CS at University of Koblenz-Landau Leader of the Software Languages Koblenz Co-founder of SLE conference series Co-founder of GTTSE summer school series Previous jobs: MSFT, VU (A dam), CWI, Uni Rostock Interests: languages, grammars, software language engineering, software linguistics, transformations, automation, lambdas, bananas, programs, technologies, program understanding,...

3 What s the title again? Technological space travel for developers, researchers, and educators (in the 101companies project)

4 Technological space travel for developers, researchers, and educators What s a techn(olog)ical space?

5 Technological space = Technology and community context in software engineering Objectware (more specifically: Javaware) Modelware Grammarware XMLware Ontoware Tableware (aka Tupleware, Dataware)...

6 Technological space travel for developers, researchers, and educators What s technological space travel?

7 Technological space travel Abstractly: Handle multiple spaces simultaneously Less dramatically Handle multiple technologies simultaneously Acquire skills for a new space or technology Concretely: Master Object/Relational/XML mapping Master domain-specific languages

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

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

10 Technological space travel for developers, researchers, and educators Developers may need to travel like this. How do we care as researchers? How do we care as educators?

11 The student-centric view Why would you study computer science, if your ultimate destiny is to get lost in space and technology?

12 Popular faculty opinion 1 Practice is terribly complex. University should not bother.

13 Popular faculty opinion 2 Practice is too complex. University can not bother.

14 Popular faculty opinion 3 Practice is incidentally complex. University must not bother.

15 Proposed opinion shift Practice is amazingly complex and does not go away. University and research should, can, and must bother and help.

16 Technological space travel for developers, researchers, and educators Time to let the cat out of the bag.

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

18 Analogies Examples Abstractions

19 Modelware XMLware Ontoware Tableware 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

20 Analogy in space travel Modelware XMI XMLware Teneo JMI EMF.gen JAXB JDOM Dataware Sesame Ontoware JDBC Hibernate JPA Jena Javaware

21 Use of an ontology here: Classification of technologies 21

22 Use of an ontology here: Classification of mapping capabilities 22

23 Analogies Examples Abstractions

24 Implement many Human Resources Management Systems Company X: Swing + JDBC Company Y: SWT + Hibernate Company Z: GWT + MongoDB... Many different implementations (and specifications) of about the same, in fact, feature-wise differing human-resources management system using different software technologies and software languages.

25 Basic data model of the HRMS

26 Demo $ pwd /Users/laemmel/101companies/contributions/html5local $ open index.html

27 Basic features of the HRMS Serialize companies Total salaries Cut salaries

28 The feature model of the HRMS Cut salaries Total salaries Persist companies All features are optional. Parallelize operations

29 Distribution of files for 101companies implementations # Files Implementations

30 Distribution of LOC for 101companies implementations LOC Implementations

31 Technologies used in 101companies implementations

32 Languages used in 101companies implementations

33 Demo of the 101companies Wiki

34 Plan for the demo Start at 101companies landing page. Enter search string HTML5 Browse github for HTML5 implementation Explore wiki: Themes of implementations The Web programming theme The Java mapping theme Feature model Ontology Show resources

35 Analogies Examples Abstractions

36 What is the essence of technology xyz? Use megamodels as models of the linguistic architecture of software products and software technologies.

37 What s a megamodel? Uses MegaL/yEd

38 What s a megamodel? Uses MegaL/yEd

39 The notion of megamodel Megamodels are (ER) models. Entities of interest Languages Technologies (components thereof) Programs... Relationships of interest Conformance Transformation...

40 That s a megamodel, too!

41 Yet another megamodel! MMM What to think of this part? MM a M a conformsto conformsto conformsto conformsto MM t M t conformsto conformsto MM b Transformation M b Model transformations with ATL

42 That s nearly the same megamodel. Metametamodel conforms to Metamodel conforms to Model + source conforms to conforms to TransformationMetamodel + source conforms to Metamodel + target TransformationModel conforms to Model represented by + target Transformation Model transformations Is this is a function or an application thereof? Bas Graaf: Model-Driven Evolution of Software Architectures, Dissertation, Delft University of Technology, 2007.

43 Research questions Can we do heavy lifting with megamodeling? Does a general megamodeling language exist? What are the entities of linguistic architecture? What are the relationships of interest? (What is a good visual syntax?) How to validate megamodels?

44 Heavy lifting with megamodeling Claim by this speaker: Megamodeling lifts heavily once it can explain, for example, Object/Relational/XML mapping at a high level of abstraction in a comprehensible and falsifiable manner. More generally, megamodeling must help with managing diversity and heterogeneity of software technologies.

45 Megamodel of O/X mapping with xsd.exe Uses MegaL/yEd

46 Megamodel of a software product Uses MegaL/yEd

47 Demo of a linked megamodel MegaModels/implementations/xsdClasses/

48 MegaL/yEd

49

50

51

52

53

54 Cont d

55

56 MegaL -- summary Entities and relationships Types relate to 101companies ontology Actual entities or placeholders thereof MegaL/yEd: visual notation MegaL/Txt: textual notation MegaL/RDF: RDF representation Binding: Turn placeholders into entities Linking: Link online artifacts to entities

57 Summary: why is 101companies important and how to contribute? Compare to Wikipedia Compare to Stack Overflow Semantic web Technology adoption Think of SE/PL courses

58 Conclusion 101companies helps technological space travelers. Megamodels model linguistic architecture. Finally, we understand Object/XML mapping. There is going to be a related summer school in Koblenz: SoTeSoLa -- Software Technologies and Software Languages Thanks! Questions?

59 ... if there is time. A megamodel for Object/XML mapping MegaModels/capabilities/Object_XML_mapping/MegaL/