Michał Tomana (4RI)

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

• koncepcja przejścia ARD→OWL (modelowanie słownika, vocabulary)

• j.w. + varda i hekate_case_thermostat

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.