A Logical Viewpoint on Architectures (bibtex)
by Frank S. de Boer, Marcello M. Bonsangue, Joost Jacob, Andries Stam, Leendert W. N. van der Torre
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.
Reference:
A Logical Viewpoint on Architectures (Frank S. de Boer, Marcello M. Bonsangue, Joost Jacob, Andries Stam, Leendert W. N. van der Torre), In EDOC, 2004.
Bibtex Entry:
@InProceedings{Boer2004,
  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},
  Timestamp                = {2013.07.26},
  Url                      = {http://icr.uni.lu/leonvandertorre/papers/edoc04.ps}
}
Powered by bibtexbrowser