@proceedings{DBLP:conf/edoc/2004,
  bibsource = {DBLP, http://dblp.uni-trier.de},
  booktitle = {EDOC},
  isbn = {0-7695-2214-9},
  publisher = {IEEE Computer Society},
  title = {8th International Enterprise Distributed Object Computing Conference (EDOC 2004), 20-24 September 2004, Monterey, California, USA, Proceedings},
  year = {2004}
}
@inproceedings{DBLP:conf/edoc/BoerBJST04,
  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.},
  author = {Frank S. de Boer and Marcello M. Bonsangue and Joost Jacob and Andries Stam and Leendert W. N. van der Torre},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  booktitle = {EDOC},
  crossref = {DBLP:conf/edoc/2004},
  ee = {http://csdl.computer.org/comp/proceedings/edoc/2004/2214/00/22140073abs.htm},
  pages = {73-83},
  title = {A Logical Viewpoint on Architectures},
  url = {http://icr.uni.lu/leonvandertorre/papers/edoc04.ps},
  year = {2004},
  bdsk-url-1 = {http://icr.uni.lu/leonvandertorre/papers/edoc04.ps}
}