15,093 research outputs found
Enterprise Architecture Analysis with XML
This paper shows how XML can be used for static and
dynamic analysis of architectures. Our analysis is based
on the distinction between symbolic and semantic models of
architectures. The core of a symbolic model consists of its
signature that specifies symbolically its structural elements
and their relationships. A semantic model is defined as a
formal interpretation of the symbolic model. This provides
a formal approach to the design of architectural description
languages and a general mathematical foundation for
the use of formal methods in enterprise architectures. For
dynamic analysis we define transformations of models of architectures,
modeled in XML, and for this purpose the XML
vocabulary for an architecture is extended with a few constructs
defined in the Rule Markup Language (RML). There
are RML tools available that perform the desired transformations.
1. Introductio
Book reviews online
As the number of new academic books published each year continues to rise, such that it becomes evermore difficult to keep abreast of them in one's discipline, the bookâreview procedure takes on an increasing importance. This paper outlines the design and development of an automated system for handling book reviews. Descriptions are given of some prototypes that have been developed for use on an intranet server and/or the Internet. These systems, based on SGML and HTML, are briefly discussed and compared
VMEXT: A Visualization Tool for Mathematical Expression Trees
Mathematical expressions can be represented as a tree consisting of terminal
symbols, such as identifiers or numbers (leaf nodes), and functions or
operators (non-leaf nodes). Expression trees are an important mechanism for
storing and processing mathematical expressions as well as the most frequently
used visualization of the structure of mathematical expressions. Typically,
researchers and practitioners manually visualize expression trees using
general-purpose tools. This approach is laborious, redundant, and error-prone.
Manual visualizations represent a user's notion of what the markup of an
expression should be, but not necessarily what the actual markup is. This paper
presents VMEXT - a free and open source tool to directly visualize expression
trees from parallel MathML. VMEXT simultaneously visualizes the presentation
elements and the semantic structure of mathematical expressions to enable users
to quickly spot deficiencies in the Content MathML markup that does not affect
the presentation of the expression. Identifying such discrepancies previously
required reading the verbose and complex MathML markup. VMEXT also allows one
to visualize similar and identical elements of two expressions. Visualizing
expression similarity can support support developers in designing retrieval
approaches and enable improved interaction concepts for users of mathematical
information retrieval systems. We demonstrate VMEXT's visualizations in two
web-based applications. The first application presents the visualizations
alone. The second application shows a possible integration of the
visualizations in systems for mathematical knowledge management and
mathematical information retrieval. The application converts LaTeX input to
parallel MathML, computes basic similarity measures for mathematical
expressions, and visualizes the results using VMEXT.Comment: 15 pages, 4 figures, Intelligent Computer Mathematics - 10th
International Conference CICM 2017, Edinburgh, UK, July 17-21, 2017,
Proceeding
Approaches Regarding Business Logic Modeling in Service Oriented Architecture
As part of the Service Oriented Computing (SOC), Service Oriented Architecture (SOA) is a technology that has been developing for almost a decade and during this time there have been published many studies, papers and surveys that are referring to the advantages of projects using it. In this article we discuss some ways of using SOA in the business environment, as a result of the need to reengineer the internal business processes with the scope of moving forward towards providing and using standardized services and achieving enterprise interoperability.Business Rules, Business Processes, SOA, BPM, BRM, Semantic Web, Semantic Interoperability
- âŚ