Michał Tomana (4RI)

Translacja ARDML do innych formatów z użyciem XSLT. Ontologie, graphviz.

Historia spotkań.

• ARDML: Thermostat (download: thermostat_ardml.xml)
• OWL dla ARD: abstract syntax
• Przykład ontologii dla termostatu

• XSLT for OWL: ARDML->OWL (download: ardml_owl.xsl)
• XSLT for ARD graph: ARDML->(ARD)->DOT (download: ardml_ard_dot.xsl)
• XSLT for TPH graph: ARDML->(TPH)->DOT (download: ardml_tph_dot.xsl)

• Graph examples (using DokuViz plugin): notatki

lll

XSLT (tutoriale):

• ZVON XSLT
• W3S XSLT
• XSLT, specyfikacja.

narzędzia:

• http://protege.stanford.edu/

ARD:

• Towards Formalization of ARD+ Conceptual Design and Refinement Method
• An ARD+ Design and Visualization Toolchain Prototype in Prolog
• UServ Case Study, Conceptual Design with ARD+ Method.