Loading...
Please wait, while we are loading the content...
Formalizing and Comparing Software Architectures of Federated Database Management Systems
| Content Provider | Semantic Scholar |
|---|---|
| Author | Hasselbring, Wilhelm |
| Copyright Year | 2000 |
| Abstract | Constructing a formal specification requires some effort that should be justified. A motivation for formalizing software architectures is to enable a precise analysis and comparison of specific architectures for evaluating and selecting appropriate architectural variations. This contribution discusses a detailed investigation of schema architectures, which are central components in the software architecture of federated database management systems. It is shown how 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. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://eprints.uni-kiel.de/14605/1/ISAW2000.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
