Skip to main content
View expanded cover

International Symposium On Leveraging Applications of Formal Methods, Verification and Validation

ISoLA 2004: Leveraging Applications of Formal Methods pp 42–56Cite as

Using XML Transformations for Enterprise Architectures

  • Conference paper

Part of the Lecture Notes in Computer Science book series (LNTCS,volume 4313)

Abstract

In this paper we report on the use of XML transformations in the context of Enterprise Architectures. We show that XML transformation techniques can be applied to visualize and analyze enterprise architectures in a formal way. We propose transformational techniques to extract views from an XML document containing architectural information and indicate how to perform a specific form of impact analysis on this information. The transformations are formally expressed with the language RML, a compact yet powerful transformation language developed at CWI, which obtains its power from regular expressions defined on XML documents. We discuss a tool that has been built on top of it to visualize the results of the transformations and illustrate the advantages of our approach: the genericity of XML, the application of a single technique (namely XML transformations) for various tasks, and the benefits of having a model viewer which is in complete ignorance of the architectural language used.

This is a preview of subscription content, access via your institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/11925040_4
  • Chapter length: 15 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   69.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-48929-0
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   89.99
Price excludes VAT (USA)
Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Berlea, A., Seidl, H.: fxt a transformation language for XML documents. Journal of Computing and Information Technology 10(1), 19–35 (2002)

    MATH  CrossRef  Google Scholar 

  2. Booch, G., Jacobson, I., Rumbaugh, J.: The Unified Modeling Language Reference Manual. Addison Wesley, Reading (1999)

    Google Scholar 

  3. The Rule Markup Initiative community. url: http://www.dfki.uni-kl.de/ruleml/

  4. World Wide Web Consortium. Extensible markup language (XML). url: http://www.w3.org/XML/

  5. World Wide Web Consortium. XSL transformations (XSLT) version 1.0, W3C recommendation (November 1999), http://www.w3c.org/TR/xslt

  6. Jacob, J.: The rule markup language: a tutorial. URL: http://homepages.cwi.nl/~jacob/rml

  7. Jonkers, H., van Buuren, R., Arbab, F., de Boer, F.S., Bonsangue, M.M., Bosma, H., ter Doest, H., Groenewegen, L., Guillen-Scholten, J., Hoppenbrouwers, S., Jacob, M., Janssen, W., Lankhorst, M., van Leeuwen, D., Proper, E., Stam, A., van der Torre, L., Veldhuijzen van Zanten, G.: Towards a language for coherent enterprise architecture description. In: Steen, M., Bryant, B.R. (eds.) Proceedings 7th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2003), pp. 28–39. IEEE Computer Society Press, Los Alamitos (2003)

    CrossRef  Google Scholar 

  8. McGovern, J., Ambler, S.W., Stevens, M.E., Linn, J., Sharan, V., Jo, E.K.: A Practical Guide to Enterprise Architecture. Prentice Hall PTR, Englewood Cliffs (2003)

    Google Scholar 

  9. Pettersson, M.: RML - a new language and implementation for natural semantics. In: Penjam, J. (ed.) PLILP 1994. LNCS, vol. 844, pp. 117–131. Springer, Heidelberg (1994)

    Google Scholar 

  10. The Archimate Project. URL: http://www.telin.nl/NetworkedBusiness/Archimate/ENindex.htm

  11. IEEE Computer Society. IEEE std 1471-2000: IEEE recommended practice for architectural description of software-intensive systems, October 9 (2000)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LIACS, Leiden University, The Netherlands

    A. Stam, F. S. de Boer & M. M. Bonsangue

  2. CWI, P.O. Box 94079, 1090, Amsterdam, GB, The Netherlands

    J. Jacob & F. S. de Boer

  3. University of Luxembourg, Luxembourg

    L. van der Torre

Authors
  1. A. Stam
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. J. Jacob
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. F. S. de Boer
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. M. M. Bonsangue
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. L. van der Torre
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute for Informatics, University of Potsdam, August-Bebel-Str. 89, 14482, Potsdam, Germany

    Tiziana Margaria

  2. Chair Programming Systems, Universität Dortmund, Otto-Hahn-Str. 14, 44227, Dortmund, Germany

    Bernhard Steffen

Rights and permissions

Reprints and Permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Stam, A., Jacob, J., de Boer, F.S., Bonsangue, M.M., van der Torre, L. (2006). Using XML Transformations for Enterprise Architectures. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods. ISoLA 2004. Lecture Notes in Computer Science, vol 4313. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11925040_4

Download citation

  • DOI: https://doi.org/10.1007/11925040_4

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-48928-3

  • Online ISBN: 978-3-540-48929-0

  • eBook Packages: Computer ScienceComputer Science (R0)