]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/work-packages/work-package.dtd
DTD improved (and committed) with new elements "task" and "tasks".
[helm.git] / helm / mowgli / home / xml / work-packages / work-package.dtd
diff --git a/helm/mowgli/home/xml/work-packages/work-package.dtd b/helm/mowgli/home/xml/work-packages/work-package.dtd
new file mode 100644 (file)
index 0000000..897adfd
--- /dev/null
@@ -0,0 +1,46 @@
+<?xml version="1.0" encoding="iso-8859-1"?>
+
+<!ELEMENT work-package (name,begin,end,person-month+,objectives,description,
+                        deliverable*,milestones)>
+<!ATTLIST work-package
+          number CDATA #REQUIRED>
+
+<!ELEMENT name (#PCDATA)>
+
+<!ELEMENT begin (#PCDATA)>
+
+<!ELEMENT end (#PCDATA)>
+
+<!ELEMENT person-month EMPTY>
+<!ATTLIST person-month
+          participant CDATA #REQUIRED
+          number      CDATA #REQUIRED>
+
+<!ELEMENT objectives (p|dl|ul)*>
+
+<!ELEMENT description ((p|dl|ul)*,tasks?,(p|dl|ul)*)>
+
+<!ELEMENT tasks (task*)>
+
+<!ELEMENT task (p|dl|ul)*>
+<!ATTLIST task
+          name ID #REQUIRED>
+
+<!-- Constraint: the element is empty iff the file attribute is specified -->
+<!ELEMENT deliverable (#PCDATA)>
+<!ATTLIST deliverable
+          file CDATA #IMPLIED>
+
+<!ELEMENT milestones (p|dl|ul)*>
+
+<!-- A subset of XHTML -->
+<!ELEMENT p (#PCDATA|I|a)*>
+<!ELEMENT I (#PCDATA)>
+<!ELEMENT a (#PCDATA)>
+<!ATTLIST a
+          href CDATA #REQUIRED>
+<!ELEMENT dl (dt|dd)+>
+<!ELEMENT dt (#PCDATA)>
+<!ELEMENT dd (#PCDATA)>
+<!ELEMENT ul (li)+>
+<!ELEMENT li (#PCDATA)>