Formalization of Federated Schema Architectural Style Variability

Hasselbring, Wilhelm (2015) Formalization of Federated Schema Architectural Style Variability Journal of Software Engineering and Applications, 08 (02). pp. 72-92. DOI 10.4236/jsea.2015.82009.

[img]
Preview
Text
JSEA2015.pdf

Download (2716Kb) | Preview

Supplementary data:

Abstract

Data integration requires managing heterogeneous schema information. A federated database system integrates heterogeneous, autonomous database systems on the schema level, whereby both local applications and global applications accessing multiple component database systems are supported. Such a federated database system is a complex system of systems which requires a well-designed organization at the system and software architecture level. A specific challenge that federated database systems face is the organization of schemas into a schema architecture. This paper provides a detailed, formal investigation of variability in the family of schema architectures, which are central components in the architecture of federated database systems. It is shown how the variability of specific architectures can be compared to the reference architecture and to each other. To achieve this, we combine the semi-formal object-oriented modeling language UML with the formal object-oriented specification language Object-Z. Appropriate use of inheritance in the formal specification, as enabled by Object-Z, greatly supports specifying and analyzing the variability among the studied schema architectures. The investigation also serves to illustrate the employed specification techniques for analyzing and comparing software architecture specifications.

Document Type: Article
Keywords: Federated Database Systems, Software Architecture, Formal Specification, Software Product Families, Software Variability
Research affiliation: Kiel University > Software Engineering
Kiel University > Kiel Marine Science
Refereed: Yes
DOI etc.: 10.4236/jsea.2015.82009
ISSN: 1945-3116
Date Deposited: 15 Feb 2015 20:53
Last Modified: 15 Feb 2015 20:53
URI: http://eprints.uni-kiel.de/id/eprint/27451

Actions (login required)

View Item View Item

Document Downloads

More statistics for this item...