A set theory based approach on applying domain semantics to XML-structures

Proceedings of the Annual Hawaii International Conference on System Sciences

Volumn 2002-January, Issue , 2002, Pages 1210-1219

  Schuetzelhofer, W ^a   Goeschka, K M ^b  

^a IBM   (Austria)

^b VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

Algebra; Data models; Design methodology; Equations; Formal specifications; Mathematical model; Robustness; Set theory; Software engineering; XML

Indexed keywords

ALGEBRA; DATA STRUCTURES; DIRECTED GRAPHS; FORMAL SPECIFICATION; GRAPH THEORY; MATHEMATICAL MODELS; ROBUSTNESS (CONTROL SYSTEMS); SEMANTICS; SET THEORY; SOFTWARE ENGINEERING; XML;

BUSINESS TO BUSINESS; DATA INTERCHANGE; DESIGN METHODOLOGY; EQUATIONS; FORMAL DEFINITION; LEVELS OF ABSTRACTION; MATHEMATICAL FOUNDATIONS; RELATIONAL ALGEBRA;

FORMAL METHODS;

EID: 84948700765     PISSN: 15301605     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HICSS.2002.994070     Document Type: Conference Paper

References (19)

1. W. Wang, R. Rada, "Structured Hypertext with Domain Semantics"; ACM TIS, 16,4, 1998, pp. 372-412
2. J.L. Schnase, J.J. Leggett, D.L. Hicks, R.L. Szabo, "Semantic data modeling of hypermedia associations", ACM Trans. Inf. Syst. 11, 1, Jan. 1993, pp. 27-50
3. K. Tochtermann, G. Dittrich, "Towards a family of formal models for hypermerdia", HIM'95 Proceedings, 1995, pp. 77-91
4. T. Bench-Capon, P. Dunne, "Some computational properties of a model for electronic documents", Electr. Pub. Orig. Dissem. Des. 2, 4, 1989, pp. 231-256.
5. J. Peckham, F. Mariansky, "Semantic data models", ACM Comput. Surv. 20,3, 1988, pp. 153-189
6. S. Abitoul, R. Hull, "IFO: a formal semantic database model", ACM Trans. Database Syst. 12, 4, 1987
7. J. Conklin, "Hypertext: An introduction and survey", Computer 20, 9, 1987, pp. 17-41
8. B. Chidlovskii, "Using Regular Tree Automata as XML Schemas", Proceedings of the IEEE Advances in Digital Libraries 2000, 2000
9. A. Schleicher, B. Westfechtel, "Beyond Stereotyping: Metamodeling Approaches for the UML", Proceedings of the 34th Hawaii International Conference on System Sciences 2001 ( HICSS-34), 2001
10. H.A. Schmidt, J.R. Swenson, "On the semantics of the relational data models", Proceedings of the SIGMOD San Jose, Calif., 1975
11. Abrial, Klimbie, Koffemen, "Data Semantics In Database Management", Eds. North-Holland, Amsterdam, 1974, pp. 1-59.
12. D. Lange, "A formal model for hypertext", Proceedings of the NIST Hypertext Standardisation Workshop. NIST, Gaithersburg, Md., 1990, pp. 145-166
13. M. Gogolla, U. Hohenstein, "Towards a semantic view of an extended entity-relationship model", ACM Trans. Database Syst. 16, 3, 1991, pp. 369-416
14. OMG CORBA-IDL, Interface Definition Language Specification, http://www.omg.org
15. W3C XLink, XML Linking Language Proposed Recommendation, http://www.w3c.org/XML/linking, Dec. 2000
16. W3C XPath, XML Path Language Recommendation, http://www.w3c.org/TR/xpath, Nov. 1999
17. W3C XML Schema, XML Schema Specification, http://www.w3c.org/XML/schema, 2001
18. UML, Meta-Model Specification (v1.3) http://www.rational.com/uml
19. OMG-MOF, Meta Object Facility Specification (v1.3), http://www.omg.org, march 2000