XML document editor

• US 20040268304A1
• Filed: 06/24/2003
• Published: 12/30/2004
• Est. Priority Date: 06/24/2003
• Status: Active Grant

• Current Assignee: Academia Sinica (Government of The Republic of China)
• Original Assignee: Academia Sinica (Government of The Republic of China)
• Inventors: Wang, Jaspher, Shih, Nai-Cheng, Kuo, Yue-Sun
• Granted Patent: US 7,409,673 B2
• Time in Patent Office: Days
• US Class Current: 717/109
• CPC Class Codes: G06F 40/117 Tagging; Marking up details of markup languages G06F40/143; Designating a block; Setting of attributes style sheets, e.g. eXtensible Stylesheet Language Transformation [XSLT], G06F40/154
• CPC Class Codes: G06F 40/143 Markup, e.g. Standard Generalized Markup Language [SGML] or Document Type Definition [DTD]
• CPC Class Codes: G06F 40/174 Form filling; Merging
• CPC Class Codes: G06F 8/33 Intelligent editors

Abstract

A DTD-compliant XML document editor is disclosed. The XML document editor generates hints for required elements and required element slots automatically in the process of document creation and edition so as to guide the user to produce a valid document, while syntactic violations are avoided at the same time. The editor also suggests optional elements that may be added into the document to be edited. The user requires no knowledge about XML and DTD to edit DTD-compliant XML documents. The editing process is user-interface-neutral, being able to support user interfaces based on tree views, presentation views and forms. By combining the DTD-compliant editing process with the simplicity of forms, a simple XML document editor with forms as its user interface is developed.

Claims

1. An XML document editor to enable user to add or delete an element into a working document and to convert said working document into an XML document file;

characterized in that said XML document editor automatically generates in relating to two consecutive elements z_i and z_i+1 of said working document, wherein relation between said elements z_i and z_i+1 complies with document type definition (DTD) of said document, a list of candidate third element to be alerted to user;

wherein said third element z in said list makes relations between elements z_i and z and between elements z and z_i+1 complying with said DTD, after said element z is inserted between elements z_i and z_i+1.

2. The XML document editor according to claim 1, wherein said XML document editor determines whether relation between two consecutive elements comply with said DTD according to the following rule:

suppose G is Glushkov Automaton of said document, z_i is a state in G, 1≦

i≦

p−

1, pε

N, Σ

={z₁, z₂, . . . z_p} is a sequence of states in G where z₁=s, s is start state of G, z_p=f, f is final state of G;

if z_i+1ε

reachable(z_i), wherein reachable(z_i) denote the set of states in G reachable from state z_i,

then the relation between z_i and z_i+1 is determined compliant with DTD of said document.

3. The XML document editor according to claim 1, wherein said XML generates a cell C to include said candidate third element z according to the following rule and displays said candidates in a list:

suppose (z_i, z_i+1)∉

H, H denotes the set of edges in G, G is Glushkov Automaton of regular expression Σ

corresponding to an element of said working document;

further suppose Σ

is a set to include states corresponding to all elements of G, A(E1) is the set of states in subexpression E1 to E, f-reachable(z_i) denotes the set of states in G reachable from z_i through forward edges;

if z_i+1ε

f-reachable(z_i), then let C={zε

Z|zε

f-reachable(z_i) and z_i+1ε

f-reachable(z)};

if z_i+1∉

f-reachable(z_i), then let E1* be the smallest iteration subexpression of E that covers both z_i and z_i+1, C={zε

A(E1)|zε

f-reachable(z_i) or z_i+1ε

f-reachable(z)}.

4. The XML document editor according to claim 1, wherein said XML generates a cell C to include said candidate third element z according to the following rule and displays said candidates in a list:

suppose (z_i, z_i+1)ε

H, H denotes the set of edges in G, G is Glushkov Automaton of regular expression E corresponding to an element of said working document;

further suppose L is a set to include states corresponding to all elements of G, A(E1) is the set of states in subexpression E1 to E, f-reachable(z_i) denotes the set of states in G reachable from z_i through forward edges;

if (z_i, z_i+1) is a forward edge, let C={zε

Σ

|zε

f-reachable(z_i) and z_i+1ε

f-reachable(z)} and;

i) if z_iε

last(E1*) for some iteration subexpression E1* of E and E1 is the largest one, then let C1={zε

A(E1)|z_i+1ε

f-reachable(z_i)}, C=C↑

C1;

ii) If z_i+1ε

first(E2*) for some iteration subexpression E2* of E and E2 is the largest one, then let C2={zε

A(E2)|zε

f-reachable(z_i)} and C=C∉

C2;

if (z_i, z_i+1) is a backward edge, then let C=A(E3), wherein E3* is the largest iteration subexpression of E satisfying z_iε

last(E3) and z_i+1ε

first(E3).

5. The XML document editor according to claim 1, wherein said XML document editor automatically generates a required element between element pair z_i and z and element pair z and z_i+1 after said third element z is inserted between element pair z_i and z_i+1 such that said working document is effective;

wherein said requirement comprises articulation points between elements z_i and z (and z and z_i+1) in Glushkov Automaton G;

i.e., states through which all paths between z_i and z (and z and z_i+1) shall pass.

6. The XML document editor according to claim 1, wherein said XML document editor automatically generates an element slot allowing user to add elements into said document, if no required element between element pair z_i and z and element pair z and z_i+1 is found after said third element z is inserted between element pair z_i and z_i+1 and if (z_i, z)∉

H((z, z_i+1)∉

H), wherein H denotes set of edges in G; and

wherein said requirement comprises articulation points between elements z_i and z (and z and z_i+1) in Glushkov Automaton G;

i.e., states through which all paths between z_i and z (and z and z_i+1) shall pass.

7. Method for editing an XML document using an XML document editor to enable user to add or delete an element into a working document and to convert said working document into an XML document file;

characterized in that said method comprising enabling said XML document editor to automatically generate in relating to two consecutive elements z_i and z_i+1 of said working document, wherein relation between said elements z_i and z_i+1 complies with document type definition (DTD) of said document, a list of candidate third element to be alerted to user;

wherein said third element z in said list makes relations between elements z_i and z and between elements z and z_i+1 complying with said DTD, after said element z is inserted between elements z_i and z_i+1.

8. The method according to claim 7, wherein whether relation between two consecutive elements complies with said DTD is determined according to the following rule:

suppose G is Glushkov Automaton of said document, z_i is a state in G, 1≦

i≦

p−

1, pε

N, Σ

={z₁, z₂, . . . z_p} is a sequence of states in G where z₁=s, s is start state of G, z_p=f, f is final state of G;

if z_i+1ε

reachable(z_i), wherein reachable(z_i) denote the set of states in G reachable from state z_i,

then the relation between z_i and z_i+1 is determined compliant with DTD of said document.

9. The method according to claim 7, wherein a cell C to include said candidate third element z is generated according to the following rule and displayed as a list:

suppose (z_i, z_i+1)∉

H, H denotes the set of edges in G, G is Glushkov Automaton of regular expression E corresponding to an element of said working document;

further suppose Σ

is a set to include states corresponding to all elements of G, A(E1) is the set of states in subexpression E1 to E, f-reachable(z_i) denotes the set of states in G reachable from z_i through forward edges;

if z_i+1ε

f-reachable(z_i), then let C={zε

Σ

|zε

f-reachable(z_i) and z_i+1ε

f-reachable(z)};

if z_i+1∉

f-reachable(z_i), then let E1* be the smallest iteration subexpression of E that covers both z_i and z_i+1, C={zε

A(E1)|zε

f-reachable(z_i) or z_i+1ε

f-reachable(z)}.

10. The method according to claim 7, wherein a cell C to include said candidate third element z is generated according to the following rule and displayed as a list:

suppose (z_i, z_i+1)ε

H, H denotes the set of edges in G, G is Glushkov Automaton of regular expression E corresponding to an element of said working document;

further suppose Σ

is a set to include states corresponding to all elements of G, A(E1) is the set of states in subexpression E1 to E, f-reachable(z_i) denotes the set of states in G reachable from z_i through forward edges;

if (z_i, z_i+1) is a forward edge, let C={zε

Σ

|zε

f-reachable(z_i) and z_i+1ε

f-reachable(z)} and;

iii) if z_iε

last(E1*) for some iteration subexpression E1* of E and E1 is the largest one, then let C1={zε

A(E1)|z_i+1ε

f-reachable(z)}, C=C∪

C1;

iv) If z_i+1ε

first(E2*) for some iteration subexpression E2* of E and E2 is the largest one, then let C2={zε

A(E2)|zε

f-reachable(z_i)} and C=C∪

C2;

if (z_i, z_i+1) is a backward edge, then let C=A(E3), wherein E3* is the largest iteration subexpression of E satisfying z_iε

last(E3) and z_i+1ε

first(E3).

11. The method according to claim 7, further comprising automatically generating a required element between element pair z_i and z and element pair z and z_i+1 after said third element z is inserted between element pair z_i and z_i+1, such that said working document is effective;

wherein said requirement comprises articulation points between elements z_i and z (and z and z_i+1) in Glushkov Automaton G;

i.e., states through which all paths between z_i and z (and z and z_i+1) shall pass.

12. The method according to claim 7, further comprising automatically generating an element slot allowing user to add elements into said document, if no required element between element pair z_i and z and element pair z and z_i+1 is found after said third element z is inserted between element pair z_i and z_i+1 and if (z_i, z)∉

H ((z, z_i+1)∉

H), wherein H denotes set of edges in G; and

wherein said requirement comprises articulation points between elements z_i and z (and z and z_i+1) in Glushkov Automaton G;

i.e., states through which all paths between z₁ and z (and z and z_i+1) shall pass.

13. An XML document editor, comprising a user interface enabling user to add or delete an element into a working document, whereby said working document is converted into an XML document file;

characterized in that said XML document editor automatically generates in relating to two consecutive elements z_i and z_i+1 of said working document, wherein relation between said elements z_i and z_i+1 complies with document type definition (DTD) of said document, a list of candidate third element to be alerted to usef;

wherein said third element z in said list makes relations between elements z_i and z and between elements z and z_i+1 complying with said DTD, after said third element z is inserted between elements z_i and z_i+1.

14. The XML document editor according to claim 13, wherein said XML document editor determines whether relation between two consecutive elements comply with said DTD according to the following rule:

suppose G is Glushkov Automaton of said document, z_i is a state in G, 1≦

i≦

p−

1, pε

N, Σ

{z₁, z₂, . . . z_p} is a sequence of states in G where z₁=s, s is start state of G, z_p=f, f is final state of G;

if z_i+1ε

reachable(z_i), wherein reachable(z_i) denote the set of states in G reachable from state z_i,

then the relation between z_i and z_i+1 is determined compliant with DTD of said document.

15. The XML document editor according to claim 13, wherein said XML generates a cell C to include said candidate third element z according to the following rule and displays said candidates in a list:

suppose (z_i, z_i+1)∉

H, H denotes the set of edges in G, G is Glushkov Automaton of regular expression E corresponding to an element of said working document;

further suppose Σ

is a set to include states corresponding to all elements of G, A(E1) is the set of states in subexpression E1 to E, f-reachable(z_i) denotes the set of states in G reachable from z_i through forward edges;

if z_i+1ε

f-reachable(z_i), then let C={zε

Σ

|zε

f-reachable(z_i) and z_i+1ε

f-reachable(z)};

if z_i+1∉

f-reachable(z_i), then let E1* be the smallest iteration subexpression of E that covers both z_i and z_i+1, C={zε

A(E1)|zε

f-reachable(z_i) or z_i+1ε

f-reachable(z)}.

16. The XML document editor according to claim 13, wherein said XML generates a cell C to include said candidate third element z according to the following rule and displays said candidates in a list:

suppose (z_i, z_i+1)ε

H, H denotes the set of edges in G, G is Glushkov Automaton of regular expression E corresponding to an element of said working document;

further suppose Σ

is a set to include states corresponding to all elements of G, A(E1) is the set of states in subexpression E1 to E, f-reachable(z_i) denotes the set of states in G reachable from z_i through forward edges;

if (z_i, z_i+1) is a forward edge, let C={zε

Σ

|zε

f-reachable(z_i) and z_i+1ε

f-reachable(z)} and;

v) if z_iε

last(E1*) for some iteration subexpression E1* of E and E1 is the largest one, then let C1={zε

A(E1)|z_i+1ε

f-reachable(z)}, C=C∉

C1;

vi) If z_i+1ε

first(E2*) for some iteration subexpression E2* of E and E2 is the largest one, then let C2={z∉

A(E2)|zε

f-reachable(z_i)} and C=C∉

C2;

if (z_i, z_i+1) is a backward edge, then let C=A(E3), wherein E3* is the largest iteration subexpression of E satisfying z_iε

last(E3) and z_i+1ε

first(E3).

17. The XML document editor according to claim 13, wherein said XML document editor automatically generates a required element between element pair z_i and z and element pair z and z_i+1 after said third element z is inserted between element pair z_i and z_i+1, such that said working document is effective;

wherein said requirement comprises articulation points between elements z_i and z (and z and z_i+1) in Glushkov Automaton G;

i.e., states through which all paths between z₁ and z (and z and z_i+1) shall pass.

18. The XML document editor according to claim 13, wherein said XML document editor automatically generates an element slot allowing user to add elements into said document, if no required element between element pair z_i and z and element pair z and z_i+1 is found after said third element z is inserted between element pair z_i and z_i+1 and if (z_i, z)∉

H ((z, z_i+1)∉

H), wherein H denotes set of edges in G; and

wherein said requirement comprises articulation points between elements z_i and z (and z and z_i+1) in Glushkov Automaton G;

i.e., states through which all paths between z_i and z (and z and z_i+1) shall pass.