Enterprise Architecture Analysis with XML

This paper shows how XML can be used for static and dynamic analysis of architectures. Our analysis 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 provides a formal approach to the design of architectural description languages and a general mathematical foundation for the use of formal methods in enterprise architectures. For dynamic analysis we define transformations of models of architectures, modeled in XML, and for this purpose the XML vocabulary for an architecture is extended with a few constructs defined in the Rule Markup Language (RML). There are RML tools available that perform the desired transformations.

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

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

[3]  Laurian M. Chirica,et al.  The entity-relationship model: toward a unified view of data , 1975, SIGF.

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

[5]  Marcello M. Bonsangue,et al.  A logical viewpoint on architectures , 2004 .

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

[7]  Frank S. de Boer,et al.  A logical viewpoint on architectures , 2004, Proceedings. Eighth IEEE International Enterprise Distributed Object Computing Conference, 2004. EDOC 2004..

[8]  John A. Zachman,et al.  A Framework for Information Systems Architecture , 1987, IBM Syst. J..

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

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

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

[12]  Hoppenbrouwers,et al.  Concepts for Modelling Enterprise Architectures , 2003 .

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

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