@proceedings{DBLP:conf/isola/2004i,
  bibsource = {DBLP, http://dblp.uni-trier.de},
  booktitle = {ISoLA (Preliminary proceedings)},
  editor = {Tiziana Margaria and Bernhard Steffen and Anna Philippou and Manfred Reitenspie{\ss}},
  publisher = {Department of Computer Science, University of Cyprus},
  series = {Technical Report},
  title = {International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings},
  volume = {TR-2004-6},
  year = {2004}
}
@inproceedings{DBLP:conf/isola/JacobBBST04,
  abstract = {In this paper we report on the use of XML transformations in the context of Enterprise Architectures. We show that XML transforma- tion techniques are valuable to the analysis, selection and, especially, the visualization of enterprise architectures. We propose a way to describe architectural information within a single XML document. Moreover, we propose transformational techniques to extract views from such a docu- ment and indicate how to perform a specific form of impact analysis on it. The transformations are 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 dis- cuss 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 bene{\^A}¯ts of having a model viewer which is in complete ignorance of the architectural language used.},
  author = {Joost Jacob and Frank S. de Boer and Marcello M. Bonsangue and Andries Stam and Leendert van der Torre},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  booktitle = {ISoLA (Preliminary proceedings)},
  crossref = {DBLP:conf/isola/2004i},
  pages = {67-73},
  title = {Using {XML} Transformations for Enterprise Architectures},
  url = {http://icr.uni.lu/leonvandertorre/papers/isola04.pdf},
  year = {2004},
  bdsk-url-1 = {http://icr.uni.lu/leonvandertorre/papers/isola04.pdf}
}