A Logical Viewpoint on Architectures

Authors:
F. S. de Boer;M. M. Bonsangue;J. Jacob;A. Stam;L. van der Torre
Affiliations:
CWI, Amsterdam, The Netherlands/ LIACS, Leiden University, The Netherlands;LIACS, Leiden University, The Netherlands;CWI, Amsterdam, The Netherlands;LIACS, Leiden University, The Netherlands/ Ordina Public Consulting, Rosmalen, The Netherlands;CWI, Amsterdam, The Netherlands/ Technical University of Delft, The Netherlands
Venue:
EDOC '04 Proceedings of the Enterprise Distributed Object Computing Conference, Eighth IEEE International
Year:
2004

Citing 0
Cited 3

Towards a Common Terminology in the Discipline of Enterprise Architecture

Service-Oriented Computing --- ICSOC 2008 Workshops
Landscape maps for enterprise architectures

CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
The Reference Model of Open Distributed Processing: Foundations, experience and applications

Computer Standards & Interfaces

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we introduce a logical viewpoint on architectures. The logical viewpoint 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 leads to more precise characterization of the concepts introduced in IEEE standard 1471-2000, and provides a formal approach to the design of enterprise of architectural description languages and a general mathematical foundation for the use of formal methods in enterprise architectures. Additionally, we show how this logical viewpoint allows for the definition of a simple general XML language for the description of both static and dynamic aspects of an architecture. For the meta-analysis of both these aspects we introduce a new XML tool for general XML transformations based on a Rule Markup Language.