loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Eighth IEEE International Enterprise Distributed Object Computing Conference
A Logical Viewpoint on Architectures
Monterey, California
September 20-September 24
ISBN: 0-7695-2214-9
ASCII Text
x 
 
F. S. de Boer, M. M. Bonsangue, J. Jacob, A. Stam, L.van der Torre, "A Logical Viewpoint on Architectures," Enterprise Distributed Object Computing Conference, IEEE International, pp. 73-83, Eighth IEEE International Enterprise Distributed Object Computing Conference, 2004.
 
 
BibTex
x
 
@article{ 10.1109/EDOC.2004.10026,
author = {F. S. de Boer and M. M. Bonsangue and J. Jacob and A. Stam and L.van der Torre},
title = {A Logical Viewpoint on Architectures},
journal ={Enterprise Distributed Object Computing Conference, IEEE International},
volume = {0},
year = {2004},
issn = {1541-7719},
pages = {73-83},
doi = {http://doi.ieeecomputersociety.org/10.1109/EDOC.2004.10026},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Enterprise Distributed Object Computing Conference, IEEE International
TI - A Logical Viewpoint on Architectures
SN - 1541-7719
SP73
EP83
A1 - F. S. de Boer,
A1 - M. M. Bonsangue,
A1 - J. Jacob,
A1 - A. Stam,
A1 - L.van der Torre,
PY - 2004
VL - 0
JA - Enterprise Distributed Object Computing Conference, IEEE International
ER -
 
F. S. de Boer, CWI, Amsterdam, The Netherlands; LIACS, Leiden University, The Netherlands
M. M. Bonsangue, LIACS, Leiden University, The Netherlands
J. Jacob, CWI, Amsterdam, The Netherlands
A. Stam, LIACS, Leiden University, The Netherlands; Ordina Public Consulting, Rosmalen, The Netherlands
L.van der Torre, CWI, Amsterdam, The Netherlands; Technical University of Delft, The Netherlands
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.
Citation:
F. S. de Boer, M. M. Bonsangue, J. Jacob, A. Stam, L.van der Torre, "A Logical Viewpoint on Architectures," edoc, pp.73-83, Eighth IEEE International Enterprise Distributed Object Computing Conference, 2004
Usage of this product signifies your acceptance of the Terms of Use.