Database-centric architecture

About: Database-centric architecture is a research topic. Over the lifetime, 1799 publications have been published within this topic receiving 48836 citations.

Using Monterey Phoenix to Formalize and Verify System Architectures

Abstract: Modeling and analyzing software architectures are useful for helping to understand the system structures and facilitate proper implementation of user requirements. Despite its importance in the software engineering practice, the lack of formal description and verification support hinders the development of quality architectural models. In this work, we develop an approach for modeling and verifying software architectures specified using Monterey Phoenix (MP) architecture description language. Firstly, we formalize the syntax and operational semantics for MP. This language is capable of modeling system and environment behaviors based on event traces, as well as supporting different architecture composition operations and views. Secondly, a dedicated model checker for MP is developed based on PAT verification framework. Finally, several case studies are presented to evaluate the usability and effectiveness of our approach.

Information Reference Architecture for the Portuguese Health Sector

Abstract: The creation of an information architecture is one of the identified ways that contribute to increase competitiveness, enabling cost reduction and increasing productivity in organizations. When it comes to broaden comprehensive sectors gathering several organizations (for example in the health sector), the creation of a reference architecture acquires a higher importance to guide and constrain the implementation of information architectures of the involved organizations, ensuring interoperability and alignment among them. When creating a reference architecture, following a bottom-up approach, it is essential to identify the informational entities amongst the different data models in order to be possible to integrate these informational entities in the reference architecture that is being developed. This paper describes a process which allows the verification of correspondence between informational entities amongst different data models. As far as the Portuguese case is concerned, there is just one reference architecture for the Public Administration. In this paper we describe its foundations in order to make a specialization in that architecture that can be used, further on, as a reference for the Portuguese health sector in order to increase interoperability. Nevertheless, the presented solution may also be applied to any data models integration following the bottom-up approach.

An axiomatic approach to the specification of distributed computer architectures

Abstract: This paper presents two extensions to the axlomatic architecture description language AADL [11], which together allow for a modular and concise specification of multiprocessor architectures at levels of abstraction ranging from compiler/operating-system interface down to register-transfer-level. The specification method is illustrated by an AADL-definition of a top-level view of DOOM, a distributed object oriented machine, currently developed at Phillps Research Labs., Eindhoven [19,20] within ESPRIT-project 415.

The Design of ERP in the Multi-tier Architecture

Abstract: This article introduce the advantages of Multi-tier architecture indicate the Multi-tier architecture will be the tendency of the future software architecture. And indicate the overall functional structure of the multilayer architecture and ERP. Finally, discuss the specific method of ERP.

Modeling Space Architectures through Graph Theory

Abstract: *† This paper outlines a methodology to mathematically model space architectures by using graph theory. An overview of previous Mars architecture design studies is given, from the early studies in the Apollo era to the Space Exploration Initiative to the latest Design Reference Architecture 5.0. Utilizing graph theo ry to model architectures provides a simple mathematical framework that is flexible enough to model any of these given architectures. Developing the matrices that define a graph—the adjacency and incidence matrices—are easily developed by user-specified nodes and edge options. An example architecture is modeled from beginning to end to show the capability of this framework, which also lends itself to stochastic optimization methods, such as genetic algorithm and particle swarm, among others. There is ongoing work to improve the autonomy of this framework as well as generation of the vehicle sizing hierarchy.