A logical viewpoint on architectures

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.

[1]  C. M. Sperberg-McQueen,et al.  Extensible Markup Language (XML) , 1997, World Wide Web J..

[2]  Henk Eertink,et al.  A Business Process Design Language , 1999, World Congress on Formal Methods.

[3]  Peter P. Chen.  The entity-relationship model: toward a unified view of data , 1975, VLDB '75.

[4]  Henk Jonkers,et al.  Concepts For Modeling Enterprise Architectures , 2004, Int. J. Cooperative Inf. Syst..

[5]  Chris Gane,et al.  Structured Systems Analysis: Tools and Techniques , 1977 .

[6]  Gilles Kahn,et al.  The Semantics of a Simple Language for Parallel Programming , 1974, IFIP Congress.

[7]  Zohar Manna,et al.  The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.

[8]  Farhad Arbab,et al.  Towards a language for coherent enterprise architecture descriptions , 2003, Seventh IEEE International Enterprise Distributed Object Computing Conference, 2003. Proceedings..

[9]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[10]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.