@Proceedings{DBLP:conf/edoc/2004,
  Title                    = {8th International Enterprise Distributed Object Computing Conference (EDOC 2004), 20-24 September 2004, Monterey, California, USA, Proceedings},
  Year                     = {2004},
  Publisher                = {IEEE Computer Society},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Booktitle                = {EDOC},
  ISBN                     = {0-7695-2214-9}
}
@InProceedings{DBLP:conf/edoc/BoerBJST04,
  Title                    = {A Logical Viewpoint on Architectures},
  Author                   = {Frank S. de Boer and Marcello M. Bonsangue and Joost Jacob and Andries Stam and Leendert W. N. van der Torre},
  Booktitle                = {EDOC},
  Year                     = {2004},
  Pages                    = {73-83},

  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.},
  Bdsk-url-1               = {http://icr.uni.lu/leonvandertorre/papers/edoc04.ps},
  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Crossref                 = {DBLP:conf/edoc/2004},
  Ee                       = {http://csdl.computer.org/comp/proceedings/edoc/2004/2214/00/22140073abs.htm},
  Url                      = {http://icr.uni.lu/leonvandertorre/papers/edoc04.ps}
}