![](bg8.png)
discussed how construction rules for DoGs are
specified at the meta-type-level, how business
domains are modeled at the type-level and how valid
domain instances are provided at the instance-level.
This leads to a clear separation of structure and
content and is proposed as a flexible way to deliver
semantic data. The concept of type hierarchies as
well as the approach of recursive link composition
were introduced as powerful means of abstraction.
We have based the domain graph model (DGM)
on set- and algebra- theories, providing a sound
mathematical foundation for the formal definition of
operations and transformations and to prove the
correctness and completeness of design methods.
The formal verification of valid domain graphs and
of valid domain instances, by use of algebraic
specifications, satisfies the requirement for
robustness of semantic data. It was outlined, that by
proposing an XML-encoding for domain graphs and
for domain instances we provide an approach to
apply domain semantics to XML-structures. This
allows to utilize DGM theories for interchange of
semantic data in XML-based B2B applications.
We have discussed structural constraints, the
specification of static and dynamic business rules
and different abstraction mechanisms. The definition
of operations, built on the mathematical basis of the
DGM, is considered to specify additional dynamic
aspects as part of future work. Manipulating a
domain instance by inserting, deleting or updating
nodes and links, thereby maintaining consistency
and validity of the domain instance are such
dynamic aspects to be specified. New and extended
design methods, which can be formally specified
and verified, are seen to be another profitable output
of future work based on this paper.
REFERENCES
Wang W., Rada R., 1998. “Structured Hypertext with
Domain Semantics”; ACM TIS, 16,4, pp.372-412
Schnase J.L., Leggett J.J., Hicks D.L., Szabo R.L., Jan.
1993. “Semantic data modeling of hypermedia
associations”, ACM Trans. Inf. Syst. 11, 1, pp. 27-50
Tochtermann K., Dittrich G., 1995. “Towards a family of
formal models for hypermerdia”, HIM’95
Proceedings, pp. 77–91
Bench-Capon T., Dunne P., 1989. “Some computational
properties of a model for electronic documents”,
Electr. Pub.Orig.Dissem. Des.2, 4, pp. 231–256.
Peckham J., Mariansky F., 1988. “Semantic data models”,
ACM Comput. Surv. 20,3, pp. 153-189
Abitoul S., Hull R., 1987. “IFO: a formal semantic
database model”, ACM Trans. Database Syst. 12, 4
Chidlovskii B., 2000. “Using Regular Tree Automata as
XML Schemas”, Proceedings of the IEEE Advances
in Digital Libraries 2000
Schleicher A., Westfechtel B., 2001. “Beyond
Stereotyping: Metamodeling Approaches for the
UML”, Proceedings of the 34th Hawaii International
Conference on System Sciences 2001 ( HICSS-34)
Schmidt H.A., Swenson J.R., 1975. “On the semantics of
the relational data models”, Proceedings of the
SIGMOD San Jose, Calif.
Lange D., 1990. “A formal model for hypertext”,
Proceedings of the NIST Hypertext Standardisation
Workshop. NIST, Gaithersburg, Md., pp. 145-166
Gogolla M., U. Hohenstein, 1991. “Towards a semantic
view of an extended entity-relationship model”, ACM
Trans. Database Syst. 16, 3, pp.369-416
Chen, P.P., 1976. “The Entity-Relationship Model -
Toward a Unified View of Data” ACM Transactions
on Database Systems, 1976. 1(1): p. 9-36.
Chen P.P., Akoka J., Kangassalo H., Thalheim B (Eds.),
1999. “Conceptual Modeling, Current Issues and
Future Directions”, Selected Papers from Symposium
on Conceptual Modeling, held before ER'97. Lecture
Notes in Computer Science, Vol.1565, Springer 1999.
Chen P.P., 1999. “ER Model, XML and the Web” in J.
Akoka, M. Bouzeghoub, I. Comyn-Wattiau, E. Métais
(Eds.): Conceptual Modeling - ER '99, 18
th
International Conference on Conceptual Modeling,
Paris, France, Nov. 15-18, 1999, Proceedings.
Jagadish H. V., Lakshmanan L. V. S., Srivastava D., and
Thompson K., 2001. “TAX: A Tree Algebra for
XML” In Proceedings of DBPL'01.
Trastour D., Bartolini C., Preist C., 2002. “Semantic Web
Support for the Business-to-Business E-Commerce
Lifecycle”, Proc. of WWW2002
Rada R., 1990. “Hypertext Writing and Document Reuse:
The Role of a Semantic Net". Electr. Pub. Orig.
Dissem. and Design, 3(3):125-140, August 1990.
W3C, XML Information Set http://www.w3.org/TR/xml-
infoset/
W3C, Web-Ontology
http://www.w3.org/2001/sw/WebOnt/
UML, Meta-Model Specification ( v1.4)
http://www.rational.com/uml
OMG-MOF, Meta Object Facility Specification (v1.3),
http://www.omg.org, march 2000
W3C, DAML + OIL
http://www.w3.org/TR/daml+oil-reference
OMG, Specification of the Object Constraint Language
http://www.omg.org/
W3C XPath, XML Path Language Recommendation,
http://www.w3c.org/TR/xpath, Nov. 1999
ICEIS 2004 - INFORMATION SYSTEMS ANALYSIS AND SPECIFICATION
216