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 ap...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.展开更多
Scientific modeling provides mathematical abstractions of real-world systems and builds software as implementations of these mathematical abstractions.Ocean science is a multidisciplinary discipline developing scienti...Scientific modeling provides mathematical abstractions of real-world systems and builds software as implementations of these mathematical abstractions.Ocean science is a multidisciplinary discipline developing scientific models and simulations as ocean sys-tem models that are an essential research asset.In software engineering and information systems research,modeling is also an essential activity.In particular,business process modeling for business process management and systems engineering is the activity of representing processes of an enterprise,so that the current process may be analyzed,improved and automated.In this paper,we employ process modeling for analyzing sci-entific software development in ocean science to advance the state in engineering of ocean system models and to better understand how ocean system models are developed and maintained in ocean science.We interviewed domain experts in semi-structured inter-views,analyzed the results via thematic analysis,and modeled the results via the Busi-ness Process Modeling Notation(BPMN).The processes modeled as a result describe an aspired state of software development in the domain,which are often not(yet)imple-mented.This enables existing processes in simulation-based system engineering to be improved with the help of these process models.展开更多
文摘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.
基金This work was funded by the Deutsche Forschungsgemeinschaft(DFG——German Research Foundation),grant no.HA 2038/8-1——425916241.
文摘Scientific modeling provides mathematical abstractions of real-world systems and builds software as implementations of these mathematical abstractions.Ocean science is a multidisciplinary discipline developing scientific models and simulations as ocean sys-tem models that are an essential research asset.In software engineering and information systems research,modeling is also an essential activity.In particular,business process modeling for business process management and systems engineering is the activity of representing processes of an enterprise,so that the current process may be analyzed,improved and automated.In this paper,we employ process modeling for analyzing sci-entific software development in ocean science to advance the state in engineering of ocean system models and to better understand how ocean system models are developed and maintained in ocean science.We interviewed domain experts in semi-structured inter-views,analyzed the results via thematic analysis,and modeled the results via the Busi-ness Process Modeling Notation(BPMN).The processes modeled as a result describe an aspired state of software development in the domain,which are often not(yet)imple-mented.This enables existing processes in simulation-based system engineering to be improved with the help of these process models.