Managing complex documents over the WWW: A case study for XML

IEEE Transactions on Knowledge and Data Engineering

Volumn 11, Issue 4, 1999, Pages 629-636

  Ciancarini, Paolo ^a,b   Vitali, Fabio ^b   Mascolo, Cecilia ^b  

^a IEEE   (Italy)

^b UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

Active documents; Document management systems; Hypertext; Java; Specification documents; XML; Z notation

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER HARDWARE DESCRIPTION LANGUAGES; HTML; HYPERTEXT SYSTEMS; JAVA PROGRAMMING LANGUAGE; WEB BROWSERS; WORLD WIDE WEB;

ACTIVE DOCUMENTS; DOCUMENT MANAGEMENT SYSTEMS; SPECIFICATION DOCUMENTS; Z NOTATION;

MANAGEMENT INFORMATION SYSTEMS;

EID: 0033157722     PISSN: 10414347     EISSN: None     Source Type: Journal    
DOI: 10.1109/69.790821     Document Type: Article

References (31)

1. S. Adler, A. Berglund, J. Clark, I. Cseri, P. Grosso, J. Marsh, G. Nicol, J. Paoli, D. Schach, H. Thompson, and C. Wilson, "A Proposal for XSL," submitted to W3C; http://www.w3.org/TR/ NOTE-XSL.html, Aug. 1997.
2. J. Barman, Intranet Document Management, Addison-Wesley, 1997.
3. B. Bos, H. Lie, C. Lilley, and I. Jacobs, "Cascading Style Sheets, Level 2 CSS2 Specification," W3C recommendation; http:// www.w3.org/TR/REC-CSS2, May 1998.
4. J. Bowen and D. Chippington, "Z on the Web Using Java," J. Bowen, A. Fett, and M. Hinchey, eds., Proc. 11th Int'l Conf. Z Formal Method (ZUM), Lecture Notes in Computer Science, vol. 1,493, pp. 66-80, Springer-Verlag, Berlin, Sept. 1998.
5. T. Bray, D. Hollander, and A. Layman, "Namespaces in XML," World Wide Web Consortium Working Draft, http:// www.w3.org/TR/WD-xml-names, Sept. 1998.
6. T. Bray, J. Paoli, and C. Sperberg-McQueen, "Extensible Markup Language (XML)," World Wide Web J., vol. 2, no. 4, 1997.
7. S. Brien and J. Nicholls, "Z Base Standard," Programming Research Group, Nov. 1992.
8. P. Ciancarini, A. Fantini, and D. Rossi, "A Multi-Agent Process Centered Environment Integrated with the WWW," Proc. Sixth IEEE Workshops Enablings Technologies: Infrastructure for Collaborative Enterprises (WETICE), pp. 113-120, Boston, IEEE CS Press, Los Alamitos, Calif., June 1997.
9. P. Ciancarini, A. Rizzi, and F. Vitali, "An Extensible Rendering Engine for XML and HTML," Computer Networks and ISDN Systems, vol. 30, nos. 1-7, pp. 225-238, 1998.
10. J. Clark and S. Deach, "Extensible Stylesheet Language (XSL)," Version 1.0, World Wide Web Consortium Working Draft, http:// www.w3.org/TR/WD-xsl, Aug. 1998.
11. M. Fraser, K. Kumar, and V. Vaishnavi, "Strategies for Incorporating Formal Specifications in Software Development," Comm. ACM, vol. 37, no. 10, pp. 74-86, Oct. 1994.
12. D. German and D. Cowan, "Experiments with the Z Interchange Format and SGML," J. Bowen and M. Hinchey, eds., Proc. Ninth Int'l Conf. Z Formal Specification Notation (ZUM), Lecture Notes in Computer Science, vol. 967, pp. 224-233, Limerick, Ireland, Springer-Verlag, Berlin, Sept. 1995.
13. S. Holzner, XML Complete, McGraw-Hill, 1998.
14. P. Ion and R. Miner, "Mathematical Markup Language (MathML) 1.0 Specification," W3C recommendation, http://www.w3.org/ TR/REC-MathML, Apr. 1998.
15. X. Jia, "ZTC: A Type Checker for Z - User's Guide," Inst. for Software Eng., Dept. of Computer Science and Information Systems, DePaul Univ., Chicago, 1994.
16. D. Jordan, "CADiZ - Computer Aided Design in Z," S. Prehn and W. Toetenel, eds., Proc. VDM: Formal Software Development Methods, Lecture Notes in Computer Science, vol. 551, pp. 685-690, Springer-Verlag, Berlin, Oct. 1991.
17. "Jumbo browser for CML," http://www.venus.co.uk/omf/cml/.
18. G. Kaiser, S. Dossick, W. Jiang, and J. Yang, "An Architecture for WWW-Based Hypercode Environments," Proc. 19th Int'l Conf. Software Eng. (ICSE), pp. 3-13, Boston, May 1997.
19. D. Knuth, "Literate Programming," The Computer J., vol. 27, no. 2, pp. 97-111, May 1984.
20. L. Lamport, LaTeX: User's Guide and Reference Manual, Addison-Wesley, 1986.
21. H. Lie and B. Bos, Cascading Style Sheets: Designing for the Web, Addison-Wesley, 1997.
22. E. Maler and S. DeRose, "XML Linking Language (XLink)," World Wide Web Consortium Working Draft, http:// www.w3.org/TR/WD-xlink, Mar. 1998.
23. E. Maler and S. DeRose, "XML Pointer Language (XPointer)," World Wide Web Consortium Working Draft, http://www.w3. org/TR/WD-xptr, Mar. 1998.
24. L. Mikusiak, M. Adamy, and T. Seidmann, "Publishing Formal Specifications in Z Notation on the WWW," M. Bidoit and M. Dauchet, eds., Proc. Conf. Theory and Practice of SW Development (TAPSOFT 97), pp. 871-874, Lecture Notes in Computer Science, vol. 1214, Lille, France, Springer-Verlag, Berlin, 1997.
25. L. Mikusiak et al., "Z Browser: A Tool for Visualization of Z Specifications," J. Bowen and M. Hinchey, eds., Proc. Ninth Int'l Conf. Z Formal Specification Notation (ZUM), Lecture Notes in Computer Science, vol. 967, pp. 510-525, Limerick, Ireland. Springer-Verlag, Berlin, Sept. 1995.
26. S. Ressler, The Art of Electronic Publishing, Prentice Hall, 1997.
27. W. Scacchi and J. Noll, "Process-Driven Intranets - Life Cycle Support for Process Reengineering," IEEE Internet Computing, vol. 1, no. 5, pp. 42-51, Sept./Oct. 1997.
28. C. Sperberg-McQueen and R. Goldstein, "HTML to the Max: A Manifesto for Adding SGML Intelligence to the World Wide Web," Electronic Proc. Second Int'l WWW Conf.: Mosaic and the Web, 1994.
29. J. Spivey, The Z Notation: A Reference Manual, second ed., Prentice Hall, 1992.
30. F. Vitali, C. Chiu, and M. Bieber, "Extending HTML in a Principled Way with Displets," Computer Networks and ISDN Systems, vol. 29, nos. 8-13, pp. 1,115-1,128, 1997.
31. "WebEQ," http://www.webeq.com/.