publication . Conference object . 2005

enterprise architecture analysis with xml

Boer, F. S.; Marcello Bonsangue; Jacob, J.; Stam, A.; Torre, L.;
Restricted
  • Published: 01 Jan 2005
  • Publisher: IEEE
  • Country: Netherlands
Abstract
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 ...
Subjects
free text keywords: Semantic data model, XML validation, XML, computer.internet_protocol, computer, Markup language, Document Structure Description, XML Schema Editor, Formal methods, XML Signature, Computer science, Programming language, computer.software_genre
16 references, page 1 of 2

[1] The Description Logic Handbook: Theory, Implementation and Applications, Cambridge University Press, 2003.

[2] F.S. de Boer, M.M. Bonsangue, J. Jacob, A. Stam, and L. van der Torre. A Logical Viewpoint on Architectures. In Proceedings of the 8th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2004), IEEE Computer Society Press, 2004.

[3] G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language, Addison-Wesley, 1999.

[4] P. Chen. The Entity-Relationship Model-Toward a Unified View of Data. ACM Transactions on Database Systems, Volume 1(1):9 - 36, 1976.

[5] H. Eertink, W. Janssen, P. Oude Luttighuis, W. Teeuw, and C. Vissers. A business process design language. In Proceedings of the 1st World Congress on Formal Methods, 1999. [OpenAIRE]

[6] C. Gane and T. Sarson. Structured Systems Analysis: Tools and Techniques. Prentice Hall, Englewood Cliffs, 1979.

[7] C.A.R. Hoare. Communicating Sequential Processes, Prentice Hall, 1985.

[8] IEEE Computer Society. IEEE Std 1471-2000: IEEE Recommended Practice for Architectural Description of SoftwareIntensive Systems, Oct. 9, 2000.

[9] J. Jacob. The ASCII Markup Language (AML) whitepaper. Available at http://homepages.cwi.nl/˜jacob/aml.

[10] J. Jacob. The Rule Markup Language: a tutorial. Available at http://homepages.cwi.nl/˜jacob/rml.

[11] H. Jonkers. et al.. Towards a Language for Coherent Enterprise Architecture Description. In M. Steen and B.R. Bryant (eds.), Proceedings 7th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2003), IEEE Computer Society Press, 2003. [OpenAIRE]

[12] H. Jonkers et al.. Concepts for modelling enterprise architectures. International Journal of Cooperative Information Systems, 2004. [OpenAIRE]

[13] G. Kahn. The semantics of a simple language for parallel programming. In IFIP 7th Congress. North Holland, Amsterdam, 1974.

[14] Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag, 1992.

[15] World Wide Web Consortium. Extensible Markup Language (XML). Available athttp://www.w3.org/XML/.

16 references, page 1 of 2
Powered by OpenAIRE Open Research Graph
Any information missing or wrong?Report an Issue
publication . Conference object . 2005

enterprise architecture analysis with xml

Boer, F. S.; Marcello Bonsangue; Jacob, J.; Stam, A.; Torre, L.;