No abstract

EA (Enterprise Architecture) visualization methodologies have been explored by researchers and engineers to conduct EA modeling. The objectives of EA modeling are to clarify enterprise strategies, visualize business processes, and model information systems to manage resources, improve organization structure, adjust information strategy, and create new business value. Therefore, EA models can be broadly applied in various fields. For example, the applications include business modeling, information system architecture design, technology infrastructure configuration, software maintenance, and system security analysis. As the primary source of information, EA models are of paramount importance to researchers, architects, and developers. However, up to now, the purpose and means of these EA visualization methods have never been systematically analyzed and discussed, and a generalized EA visualization methodology with the ability to meet different demands is needed. The paper narrows this gap by conducting a systematic literature review on enterprise architecture visualization methodologies. In this study, 112 papers are retrieved by a manual search in 5 academic databases, a systematic literature review on EA visualization is explained to show a systematized category of visualization approaches, and then a general visualization approach is proposed by systematically reviewing the papers. Finally, the paper is concluded by discussing the contributions and limitations of the study.

Abstract| Numerous formal verication systems have been proposed and developed for Finite Sate Machine based control units (notably SMV[19] as well as others). However, most research on the equivalence checking of datapaths is still conned to the bit-level. F ormal verication of arithmetic expressions and synthesized datapaths, especially considering nite word-length computation, has not been addressed. Thus formal verication techniques have been prohibited from more extensive applications in numerical and Digital Signal Processing.In this paper a formal system, called Conditional Term Rewriting on Attribute Syntax Trees (ConTRAST) is developed and demonstrated for verifying the equivalence between two dierently synthesized datapaths. This result arises from a sophisticated integration of attribute grammars, which provide expressive data structures for syntactic and semantic information about designed datapaths, and term rewriting systems, which transform functionally equivalent datapaths into the same canonical form. The equivalence relation is dened as a congruence closure in the rewriting system, which can be generated from arbitrary axioms, such as associativity, commutativity, etc. in a certain algebraic system. Furthermore, the eect of nite word-lengths and their associated arithmetic precision are also considered in the denition of equivalence classes. As a particular application of ConTRAST, a formal verication system is designed to check equivalence under precision constraints. The results of initial DSP synthesis experiments are displayed, where two dierently implemented IIR lters in direct II and cascaded architectures are automatically compared under given precision constraints.

We investigate the quantum dynamics of the antiferromagnetic transverse field Ising model on the triangular lattice through large-scale quantum Monte Carlo simulations and stochastic analytic continuation. This model effectively describes a series of triangular rare-earth compounds, for example, TmMgGaO4. At weak transverse field, we capture the excitations related to topological quantum strings, which exhibit continuum features described by XY chain along the strings and those in accord with ‘Luttinger string liquid’ in the perpendicular direction. The continuum features can be well understood from the perspective of topological strings. Furthermore, we identify the contribution of strings from the excitation spectrum. Our study provides characteristic features for the experimental search for string-related excitations and proposes a theoretical method to pinpoint topological excitations in the experimental spectra.

We show that the Rokhsar-Kivelson (RK) point in quantum dimer models (QDM) can emerge in realistic quantum Ising spin systems. Specifically, we investigate the 𝐽 1 -𝐽 2 -𝐽 3 transverse field Ising model on the triangular lattice with large-scale quantum Monte Carlo simulations. We find that the multicritical point in the phase diagram corresponds to the RK point of the QDM on the honeycomb lattice. We further measure the spectral functions and identify three branches of quadratic dispersions. In the phase diagram, we also find a sequence of incommensurate states, which meet the microscopic ingredients for the 'Cantor deconfinement' scenario. Our study provides a promising direction to realise the RK deconfinement in experimental platforms such as magnetic materials or programmable Rydberg arrays.

Goal-oriented NFR (Non-Functional Requirement) assurance approaches were used to qualitatively evaluate software architectures. Assurance cases using quantitative method have not been applied to evaluate NFR assurance for software architectures. This paper presents a system architecture evaluation method which is able to conduct quantitative NFR assurance evaluation for system architecture through ArchiMate. The paper also proposes an algorithm to automate the quantitative evaluation process. A questionnaire survey among software engineers and a case study on a vehicular safety monitor system were carried out to verify the necessity of the method. Additionally, we conducted an experimental design with 18 samples divided into 2 groups with the goal of comparing how the independent variables affect the dependent variables. The results of the experiment demonstrate that the proposed method achieves better NFR evaluation effect than the traditional approach. Moreover, compared with the traditional approach, the proposed method shortens the time for NFR evaluation. The proposed method is expected to be used at the early stage of software development projects for system NFR development, such as requirements analysis, system architecture design and system modeling. At present, the method has been applied by software engineers in a practical software project.

No abstract

Enterprise Architecture (EA) has evolved based on the practice of information systems architecture design and implementation. EA is a rigorous description of a structure, and the objectives of EA modeling not only include clarifying corporate strategies, visualizing business processes, and modeling information systems to manage resources but also include improving organizational structures, adjusting information strategies, and creating new business value. Therefore, EA models cover a wide scope that includes both IT and business architectures. Typically, EA modeling is the initial and most important analysis step for researchers, architects, and developers. ArchiMate is the dominant modeling language for EA and it has been shown to improve visualization of EA models. However, few studies have systematically introduced general modeling methods using ArchiMate to meet a broad range of needs and few studies have empirically evaluated the modeling method using ArchiMate. This paper introduces an EA visualization approach to fill that gap and conducts a case study on a wilderness weather station system. Strict controlled experiments are conducted to verify the effectiveness and feasibility of this modeling method, and the experimental results show that this modeling procedure is not only feasible, but also can effectively transform the system metamodel and restore the EA scene.